Яркко Кари
Яркко Дж. Кари — финский математик и ученый-компьютерщик , известный своим вкладом в теорию плиток Ванга и клеточных автоматов . Кари в настоящее время является профессором кафедры математики Университета Турку . [1]
Биография
[ редактировать ]Кари получил докторскую степень. в 1990 г. – Университет Турку; свою диссертацию под руководством Арто Саломаа . [2]
Он женился на Лиле Кари , позже студентке-математике в Турку; они развелись, и впоследствии Лила Кари стала профессором информатики в Университете Западного Онтарио в Канаде . [3]
Исследовать
[ редактировать ]
Плитки Вана представляют собой квадраты с цветной маркировкой на каждой стороне; их можно использовать для мозаики плоскости, но только с плитками, имеющими одинаковые цвета на соседних краях. Проблема определения того, образует ли набор плиток Ванга действительную мозаику, неразрешима мозаику плоскости , и ее неразрешимость основана на поиске наборов плиток Ванга, которые могут только апериодически , таким образом, что никакой сдвиг плоскости не является симметрией мозаики. укладка плитки. Первый набор апериодических плиток Ванга, найденный Робертом Бергером, содержал более 20 000 различных плиток. Кари уменьшил размер этого набора всего до 14, найдя набор плиток, который (при использовании для замощения плоскости) имитирует построение последовательности Битти машинами Мили . [4] Позже было показано, что тот же подход приводит к апериодическим наборам из 13 плиток (минимум из известных). [5] Кари также показал, что проблема замощения Ванга остается неразрешимой в гиперболической плоскости . [6] и обнаружил наборы плиток Ванга с дополнительными математическими свойствами. [7]
некоторых алгоритмических задач теории клеточных автоматов Кари также использовал проблему замощения Ванга в качестве основы для доказательства неразрешимости . В частности, в своем диссертационном исследовании он показал, что невозможно определить, является ли данное правило клеточного автомата в двух или более измерениях обратимым . [8] Известно, что для одномерных клеточных автоматов обратимость разрешима, и Кари предоставил точные границы размера окрестности, необходимой для моделирования обратной динамики обратимых одномерных автоматов. [9]
Ссылки
[ редактировать ]- ↑ Профиль персонала . Архивировано 5 декабря 2008 г. в Wayback Machine , математический факультет Университета Турку, получено 9 сентября 2011 г.
- ^ Яркко Кари в проекте «Математическая генеалогия»
- ^ Хамалайнен, Анна-Лииза (декабрь 1992 г.), «Девочка, которая хочет всего» (PDF) , Кодин Кувалехти (на финском языке): 22–24 .
- ^ Кари, Яркко (1996), «Небольшой апериодический набор плиток Ванга», Discrete Mathematics , 160 (1–3): 259–264, doi : 10.1016/0012-365X(95)00120-L , MR 1417578 .
- ^ Чулик, Карел; Кари, Яркко (1997), «Об апериодических множествах плиток Ванга», «Основы информатики: потенциал — теория — познание» , конспект лекций по информатике , том. 1337, Springer, стр. 153–162, doi : 10.1007/BFb0052084 .
- ^ Кари, Яркко (2007), «Возврат к проблеме мозаики», Материалы 5-й Международной конференции по машинам, вычислениям и универсальности (MCU 2007) , Конспекты лекций по информатике, том. 4664, Springer, стр. 72–79, номер документа : 10.1007/978-3-540-74593-8_6 .
- ^ Кари, Дж.; Папасоглу, П. (1999), «Детерминированные апериодические наборы плиток», Геометрический и функциональный анализ , 9 (2): 353–369, doi : 10.1007/s000390050090 , MR 1692474 .
- ^ Кари, Яркко (1990), «Обратимость двумерных клеточных автоматов неразрешима», Клеточные автоматы: теория и эксперимент (Лос-Аламос, Нью-Мексико, 1989) , Physica D: Nonlinear Phenomena , vol. 45, стр. 379–385, doi : 10.1016/0167-2789(90)90195-U , MR 1094882 .
- ^ Цейцлер, Ойген; Кари, Яркко (2007), «Точная линейная граница задержки синхронизации биективных автоматов», Theoretical Computer Science , 380 (1–2): 23–36, doi : 10.1016/j.tcs.2007.02.052 , MR 2330639 .
Внешние ссылки
[ редактировать ]| Международный | |
|---|---|
| Национальный | |
| академики | |
| Другой | |
   | Эта статья о финском ученом незавершена . Вы можете помочь Википедии, расширив ее . |
 | статья о европейском математике незавершена Эта . Вы можете помочь Википедии, расширив ее . |