Жан Вийемен
Жан Вюймен — французский учёный-компьютерщик, известный своими работами в области структур данных и параллельных вычислений . Он является профессором информатики в Высшей нормальной школе (Париж) . [1]
Взносы
[ редактировать ]Вийемен изобрел биномиальную кучу. [2] [Б] и декартовы древовидные структуры данных. [3] [С] Совместно с Роном Ривестом он доказал гипотезу Андераа–Розенберга , согласно которой любой детерминированный алгоритм, проверяющий нетривиальное монотонное свойство графов, используя запросы, проверяющие, являются ли пары вершин смежными, должен выполнять квадратичное число запросов на смежность. [4] [А]
В 1980-х годах Вийемен был директором проекта по разработке рабочей станции с использованием технологии СБИС , в рамках которой был разработан язык программирования Le Lisp . [5] Вместе с Франко П. Препаратой он также представил циклы, связанные с кубом, как топологию сети в параллельных вычислениях . [6] [Д]
Образование и карьера
[ редактировать ]Вюймен получил степень инженера в Политехнической школе в 1968 году, докторскую степень (тройной цикл) в Парижском университете в 1969 году, степень доктора философии. Стэнфордского университета в 1972 году под руководством Зохара Манны и степень государственного доктора Парижского университета Дидро в 1974 году. [1] [7]
Он стал доцентом Калифорнийского университета в Беркли в 1974 году, но затем вернулся во Францию в 1975 году на должность в Университете Париж-Юг . Он перешел в Политехническую школу в 1982 году, в Школу менеджмента Леонара де Винчи в 1994 году и в Высшую нормальную школу в 1997 году. [1]
Избранные публикации
[ редактировать ]А. | Ривест, Рональд Л .; Вийемен, Жан (1975), «Обобщение и доказательство гипотезы Андераа – Розенберга», Proc. 7-й симпозиум ACM по теории вычислений , стр. 6–11, CiteSeerX 10.1.1.309.7236 , doi : 10.1145/800116.803747 |
Б. | Вуйемен, Жан (апрель 1978 г.), «Структура данных для управления очередями с приоритетами», Communications of the ACM , 21 (4): 309–314, CiteSeerX 10.1.1.309.9090 , doi : 10.1145/359460.359478 |
С. | Вийемен, Жан (1980), «Объединяющий взгляд на структуры данных», Communications of the ACM , 23 (4): 229–239, doi : 10.1145/358841.358852 |
Д. | Препарата, Франко П .; Вуйемен, Жан (1981), «Циклы, связанные с кубом: универсальная сеть для параллельных вычислений», Communications of the ACM , 24 (5): 300–309, doi : 10.1145/358645.358660 , hdl : 2142/74219 |
Ссылки
[ редактировать ]- ^ Перейти обратно: а б с Биография , получено 19 октября 2019 г.
- ^ Хинце, Ральф (январь 1999 г.), «Объяснение биномиальных куч», Журнал функционального программирования , 9 (1): 93–104, doi : 10.1017/s0956796899003317
- ^ Вайс, Марк Аллен (декабрь 1994 г.), «Построение ловушек и декартовых деревьев в линейном времени», Information Processing Letters , 52 (5): 253–257, doi : 10.1016/0020-0190(94)00150-2
- ^ Тарьян, Роберт Эндре (1978), «Сложность комбинаторных алгоритмов», SIAM Review , 20 (3): 457–491, doi : 10.1137/1020067 , MR 0483708
- ^ Шайу, Ж.; Девин, М.; Халлот, Дж. М. (1984), Le_Lisp, портативная и эффективная система Lisp , отчет RR-0319, INRIA
- ^ Бородин А. ; Хопкрофт, Дж. Э. (1982), «Маршрутизация, слияние и сортировка в параллельных моделях вычислений», Труды четырнадцатого ежегодного симпозиума ACM по теории вычислений (STOC '82) , номер документа : 10.1145/800070.802209.
- ^ Жан Вюймен в проекте «Математическая генеалогия»