Jarkko Kari - Jarkko Kari

Jarkko Kari, Alexander Kirillov ve Tero Laihonen, Turku Üniversitesi, 2019

Jarkko J. Kari bir Fince matematikçi ve bilgisayar uzmanı teorisine katkılarıyla tanınan Wang fayans ve hücresel otomata. Kari şu anda Matematik Bölümü'nde profesör, Turku Üniversitesi.[1]

Biyografi

Kari doktorasını aldı. 1990 yılında Turku Üniversitesi'nden; tezi, danışmanı Arto Salomaa.[2]

O evli Lila Kari, daha sonra Turku'da matematik öğrencisi; boşandılar ve daha sonra Lila Kari profesörü oldu bilgisayar Bilimi -de Western Ontario Üniversitesi içinde Kanada.[3]

Araştırma

13'lük bir periyodik olmayan set Wang fayans Kari'nin araştırmasından türetilmiştir

Wang fayans vardır birim kareler her iki tarafta renkli işaretler bulunan; alışkın olabilirler mozaiklemek düzlem, ancak yalnızca bitişik kenarlarda eşleşen renklere sahip döşemelerle. Bir dizi Wang döşemesinin geçerli bir mozaik oluşturup oluşturmadığını belirleme sorunu şudur: karar verilemez ve karar verilemezliği, yalnızca uçağı mozaikleyebilen Wang karo setlerini bulmaya dayanıyor. periyodik olarak öyle ki düzlemin ötelemesi döşemenin simetrisi olmayacak şekilde. Robert Berger tarafından bulunan ilk periyodik olmayan Wang çinileri setinde 20.000'den fazla farklı karo vardı. Kari, (düzlemi döşemek için kullanıldığında) bir aracın yapısını simüle eden bir dizi karo bularak bu setin boyutunu yalnızca 14'e düşürdü. Beatty dizisi tarafından Mealy makineleri.[4] Aynı yaklaşım daha sonra, bilinen minimum 13 karodan oluşan periyodik olmayan setlere yol açtığı gösterildi.[5] Kari ayrıca Wang döşeme sorununun kararlaştırılamaz olduğunu da göstermiştir. hiperbolik düzlem,[6] ve ek matematiksel özelliklere sahip Wang karo setlerini keşfetti.[7]

Kari ayrıca Wang döşeme problemini, teorideki birkaç algoritmik problemin kanıtlarının temeli olarak kullandı. hücresel otomata karar verilemez. Özellikle tez araştırmasında, belirli bir hücresel otomat kuralının iki veya daha fazla boyutta olup olmadığının belirlenmesinin karar verilemez olduğunu gösterdi. tersine çevrilebilir.[8] Tek boyutlu hücresel otomata için, tersinebilirliğin karar verilebilir olduğu bilinmektedir ve Kari, tersine çevrilebilir tek boyutlu otomatların ters dinamiklerini simüle etmek için gereken mahallenin boyutu konusunda sıkı sınırlar sağlamıştır.[9]

Referanslar

  1. ^ Personel profili Arşivlendi 2008-12-05 Wayback Makinesi, U. Turku matematik departmanı, erişim tarihi: 2011-09-09.
  2. ^ Jarkko Kari -de Matematik Şecere Projesi
  3. ^ Hamalainen, Anna-Liisa (Aralık 1992), "Tytto joka haluaa kaiken" (PDF), Kodin Kuvalehti (Fince): 22–24.
  4. ^ Kari, Jarkko (1996), "Küçük bir periyodik olmayan Wang karo seti", Ayrık Matematik, 160 (1–3): 259–264, doi:10.1016 / 0012-365X (95) 00120-L, BAY  1417578.
  5. ^ Culik, Karel; Kari, Jarkko (1997), "Periyodik Wang karoları üzerine", Bilgisayar Biliminin Temelleri: Potansiyel - Teori - Biliş, Bilgisayar Bilimlerinde Ders Notları, 1337, Springer, s. 153–162, doi:10.1007 / BFb0052084.
  6. ^ Kari, Jarkko (2007), "Döşeme sorunu yeniden ele alındı", 5. Uluslararası Makineler, Hesaplamalar ve Evrensellik Konferansı Bildirileri (MCU 2007), Bilgisayar Bilimleri Ders Notları, 4664, Springer, s. 72–79, doi:10.1007/978-3-540-74593-8_6.
  7. ^ Kari, J .; Papaşoğlu, P. (1999), "Deterministik periyodik olmayan çini setleri", Geometrik ve Fonksiyonel Analiz, 9 (2): 353–369, doi:10.1007 / s000390050090, BAY  1692474.
  8. ^ Kari, Jarkko (1990), "2D hücresel otomatın tersine çevrilebilirliği karar verilemez", Hücresel otomata: teori ve deney (Los Alamos, NM, 1989), Physica D: Doğrusal Olmayan Olaylar, 45, s. 379–385, doi:10.1016 / 0167-2789 (90) 90195-U, BAY  1094882.
  9. ^ Czeizler, Eugen; Kari, Jarkko (2007), "Bijective automata'nın senkronizasyon gecikmesine ilişkin sıkı bir doğrusal sınır", Teorik Bilgisayar Bilimleri, 380 (1–2): 23–36, doi:10.1016 / j.tcs.2007.02.052, BAY  2330639.

Dış bağlantılar