Лэнс Фортноу - Lance Fortnow - Wikipedia
Лэнс Фортноу | |
---|---|
Родившийся | 15 августа 1963 г. | (возраст57)
Национальность | Американец |
Альма-матер | Корнелл Университет Массачусетский Институт Технологий |
Известен | Интерактивные доказательства |
Награды | Член ACM, NSF Научный сотрудник президентского факультета, Ученый Фулбрайта, Приз Нероде |
Научная карьера | |
Поля | Информатика |
Учреждения | Иллинойсский технологический институт Технологический институт Джорджии Северо-Западный университет Чикагский университет |
Докторант | Майкл Сипсер |
Докторанты | Карстен Лунд |
Интернет сайт | http://lance.fortnow.com/ http://blog.computationalcomplexity.org/ |
Лэнс Джереми Фортноу (родился 15 августа 1963 г.) специалист в области информатики известен значительными результатами в вычислительная сложность и интерактивные системы доказательства. В настоящее время он является деканом Научного колледжа Иллинойсский технологический институт.
биография
Лэнс Фортноу получил докторскую степень по прикладной математике в Массачусетском технологическом институте в 1989 году.[1] под руководством Майкл Сипсер. С момента окончания учится на факультете Чикагский университет (1989-1999, 2003-2007), Северо-Западный университет (2008-2012), и совсем недавно Технологический институт Джорджии (2012 – настоящее время) в качестве председателя Школа компьютерных наук.[2][3]
Фортноу был главным редактором журнала ACM Transactions on Computing Theory.[4] Он был председателем ACM SIGACT.[5] и его преемником стал Пол Бим. Он был председателем конференции IEEE по вычислительной сложности.[6] с 2000 по 2006 год. В 2003 году Fortnow начал один из первых блогов, посвященных теоретической информатике.[7] и с тех пор пишет для него; с 2007 года у него есть со-блогер, Уильям Гасарх. В сентябре 2009 года Фортноу привлек внимание общественности к теории сложности, когда он опубликовал статью, в которой анализировался прогресс, достигнутый в P против проблемы NP в Коммуникациях Ассоциации вычислительной техники.[8][9]
Работа
В своих многочисленных публикациях Фортноу внес важные результаты в область вычислительная сложность. Еще будучи аспирантом Массачусетского технологического института, Фортноу показал, что не существует идеального нулевого знания. протоколы за НП-полный языков, если только полиномиальная иерархия рушится.[10] Вместе с Майклом Сипсером он также продемонстрировал, что по отношению к конкретному оракулу существует язык в со-НП у которого нет интерактивного протокола.[11]
В ноябре 1989 года Fortnow получил электронное письмо от Ноам Нисан показывая, что co-NP имеет несколько интерактивных доказательств (MIP). С Карстен Лунд и Говарда Карлоффа, он использовал этот результат для разработки алгебраической техники для построения интерактивных систем доказательства и доказательства того, что каждый язык в иерархии полиномиального времени имеет интерактивную систему доказательства.[12] Их работе едва исполнилось две недели, когда Ади Шамир использовал это, чтобы доказать, что IP =PSPACE.[13] Вскоре после этого (17 января 1990 г., менее чем через два месяца после получения электронного письма Нисана) Фортноу вместе с Ласло Бабай и Карстен Лунд доказали, что MIP =NEXP.[14] Эти алгебраические методы были расширены Фортноу, Бабаем, Леонид Левин, и Марио Сегеди когда они представили новый общий механизм для проверки вычислений.[15]
С этого времени Fortnow продолжал публиковать публикации по различным темам в области вычислительной сложности, включая дерандомизация, редкие языки, и машины-оракулы. Fortnow также опубликовал квантовые вычисления, теория игры, секвенирование генома, и экономика.
Работа Ланса Фортноу в области экономики включает в себя работу по теории игр, оптимальным стратегиям и прогнозам. Вместе с герцогом Вангом Фортноу исследовал классическую проблему теории игр Дилемма заключенного, расширяя проблему так, что дилемма ставится последовательно бесконечное число раз. Они исследовали, какие стратегии должны использовать игроки с учетом ограничений, которые они извлекают из своих вычислительно ограниченных множеств, и вводят «льготные периоды», чтобы предотвратить доминирование стратегий мести.[16] Фортноу также исследовал логарифмический правило рыночной оценки (LMSR) с маркет-мейкеры. Он помог показать, что цены на LMSR # P-hard и предложить метод аппроксимации для рынков перестановки цен.[17] Он также внес свой вклад в исследование поведения информированных трейдеров, работающих с маркет-мейкерами LMSR.[18]
Фортноу также является автором научно-популярной книги под названием Золотой билет: P, NP и поиск невозможного.[19], который был основан на статье, которую он ранее написал для CACM в 2009 году.[20] В своей книге Фортноу дает нетехническое введение в проблему P и NP и ее алгоритмические ограничения. Далее он описывает свою книгу и показывает, почему проблемы NP так важны на Подкаст Data Skeptic.[21]
Награды и отличия
- 2007 Член ACM
- NSF Сотрудник президентского факультета с 1992–1998 гг.
- Ученый Фулбрайта в Нидерланды в 1996 и 1997 годах
- 2014 Приз Нероде
Рекомендации
- ^ Лэнс Фортноу на Проект "Математическая генеалогия"
- ^ «Колледж вычислительной техники нанимает Фортнау, Антон руководить школами» (Пресс-релиз). Компьютерный колледж Джорджии. 19 марта 2012 г.. Получено 4 октября, 2012.
- ^ Факультет кафедры электротехники и информатики Северо-Западного университета
- ^ Транзакции ACM по теории вычислений
- ^ ACM SIGACT
- ^ Конференция IEEE по вычислительной сложности
- ^ Журнал вычислительной сложности
- ^ Дж. Марков. Помимо призов, у головоломки P-NP есть свои последствия. Нью-Йорк Таймс 7 октября 2009 г.
- ^ Л. Фортноу. Статус проблемы P по сравнению с NP. Коммуникации ACM 9 (2009).
- ^ Л. Фортноу. Сложность идеального нулевого знания. В С. Микали, редактор, Случайность и вычисление, том 5 из Достижения в компьютерных исследованиях, страницы 327-343. JAI Press, Гринвич, 1989.
- ^ Л. Фортноу и М. Сипсер. Существуют ли интерактивные протоколы для языков co-NP? Письма об обработке информации, 28:249-251, 1988.
- ^ К. Лунд, Л. Фортноу, Х. Карлофф и Н. Нисан. Алгебраические методы для интерактивных систем доказательства. Журнал ACM, 39(4):859-868, 1992.
- ^ А. Шамир. IP = PSPACE. Журнал ACM 39(4):869-877, 1992.
- ^ Л. Бабай, Л. Фортноу и К. Лунд. Недетерминированное экспоненциальное время имеет интерактивные протоколы с двумя проверяющими. Вычислительная сложность, 1(1):3-40, 1991.
- ^ Л. Бабай, Л. Фортнов, Л. Левин и М. Сегеди. Проверка вычислений в полилогарифмическом времени. В Материалы 23-го симпозиума ACM по теории вычислений, страницы 21-31. ACM, Нью-Йорк, 1991.
- ^ Л. Фортноу и Д. Ванг. Оптимальность и доминирование в повторяющихся играх с ограниченными игроками. В Материалы 26-го симпозиума ACM по теории вычислений, страницы 741-749. ACM, Нью-Йорк, 1994.
- ^ Ю. Чен, Л. Фортноу, Н. Ламберт, Д. Пеннок и Дж. Вортман. Сложность комбинаторный маркет-мейкеры. В Материалы 9-й конференции ACM по электронной коммерции, страницы 190-199. ACM, Нью-Йорк, 2008 г.
- ^ Ю. Чен, С. Димитров, Р. Сами, Д. Ривз, Д. Пеннок, Р. Хэнсон, Л. Фортноу и Р. Гонен. Рынки прогнозирования игр: стратегии равновесия с маркет-мейкером. Алгоритмика, 2009.
- ^ Фортнау, Лэнс. Золотой билет: P, NP и поиск невозможного. Издательство Принстонского университета, 2013 г.
- ^ Фортноу, Лэнс. Статус проблемы P по сравнению с NP. Коммуникации ACM, 52 (9): 78-86. Сентябрь 2009 г. Обзорная статья.
- ^ П против НП. Data Skeptic, 2017 г.