Ричард Липтон
-
Биография и карьера
- Ричард Джей Липтон родился 6 сентября 1946 года.
- Получил степень бакалавра математики в университете Кейс Вестерн Резерв в 1968 году.
- В 1973 году получил степень доктора философии в Университете Карнеги-Меллон.
- Преподавал в Йеле, Беркли и Принстоне.
- С 2000 года работает в Технологическом институте Джорджии.
-
Основные достижения
- Теорема Карпа-Липтона: доказательство, что SAT может быть решена с помощью булевых схем с полиномиальным числом логических элементов.
- Параллельные алгоритмы: упрощение доказательств корректности параллельных систем.
- Безопасность базы данных: модели безопасности баз данных для ограничения запросов пользователей.
- Онлайн-планирование: рандомизированный алгоритм онлайн-планирования интервалов.
- Проверка программы: рандомизированное тестирование для доказательства корректности программ.
- Обработка сигналов: быстрое преобразование Фурье и другие функции с высокой степенью распараллеливаемости.
- Игры с простыми стратегиями: стратегии эпсилон-равновесия с логарифмической поддержкой числа чистых стратегий.
- Оценка размера запроса: адаптивный алгоритм случайной выборки для запросов к базе данных.
- Формальная проверка программ: критика идеи формальной проверки программ.
- Многосторонние протоколы: обобщение двусторонних коммуникационных протоколов на многосторонние.
- Компромисс между временем и пространством в SAT: доказательство, что SAT не может быть вычислена с ограничениями на время и пространство.
-
Награды и почести
- Стипендиат Гуггенхайма, 1981.
- Член Ассоциации вычислительной техники, 1997.
- Член Национальной инженерной академии.
- Лауреат премии Кнута, 2014.
-
Стили и форматирование
- Использование различных шрифтов и переносов слов
- Применение различных цветов и фоновых изображений
- Использование идентификаторов для различных типов контента
-
Идентификаторы и их значения
- Идентификаторы для различных типов контента: бесплатно, общество, регистрация, подписка
- Использование значков для обозначения различных типов контента
-
Корпусные и внешние стили
- Настройка стилей для различных типов корпусов и тем
- Использование различных цветов и размеров для различных элементов
-
Библиографическое описание и ссылки
- Настройка стилей для библиографического описания и ссылок
- Использование различных шрифтов и размеров для ссылок
-
Дополнительные ресурсы
- Ссылки на статьи и работы Ричарда Липтона
- Ссылки на его личный блог и другие внешние ресурсы