Jarkko Kari | |
---|---|
ploutev. Jarkko Kari | |
Datum narození | 23. června 1964 [1] (ve věku 58 let) |
Místo narození | |
Země | |
Vědecká sféra | matematika , programování |
Místo výkonu práce | |
Alma mater | Univerzita v Turku |
Akademický titul | doktor filozofie (PhD) |
vědecký poradce | Arto Salomaa |
webová stránka | users.utu.fi/jkari/ |
Jarkko Kari je finský matematik a programátor, známý svými příspěvky k vývoji Domino Van a celulárního automatu . Kari je v současné době profesorem na katedře matematiky na univerzitě v Turku .
Kari získal doktorát v roce 1990 na univerzitě v Turku. Jeho disertační práci vedl Arto Salomaa.
Byl ženatý s Lilou Kari, která svého času studovala v Turku. Po rozvodu se Leela Kari stala profesorkou počítačových věd na University of Western Ontario v Kanadě .
Wangovo domino je sada jednotkových čtverců, jejichž strany jsou různě barevné. Z nich můžete vyskládat celou mozaiku, ale tak, aby na sebe navazovaly pouze okraje stejné barvy. K provedení tohoto úkolu nemůžete otáčet a převracet čtverce. Wangův problém souvisí s problémem nerozhodnutelnosti v matematické logice. Wang navrhl, že dlaždice, rozložené s různými čtverci, by nakonec měly formu periodického obkladu. K vyřešení Wangova problému v roce 1964 použil Robert Berger 20 426 různých čtverců. Kari zase použil sadu pouze 14 čtverců, což mu umožnilo najít sadu, která replikovala proces Beattyho sekvence na automatech Mealy . Následně tento přístup umožnil vyskládat aperiodickou mozaiku ze sady 13 čtverečků, což je v současnosti sada s minimálním počtem čtverečků. Kari také prokázal, že Wangův problém zůstává pro hyperbolickou rovinu neřešitelný, zatímco objevil Wangovy prvky s dalšími matematickými vlastnostmi.
Kari také, opírající se o Wangův problém, dokázal, že v teorii celulárních automatů existuje řada algoritmických problémů, které lze považovat za neřešitelné. Zejména Kari ukázal, že je nemožné určit, zda je daný buněčný aparát reverzibilní ve dvou nebo více dimenzích nebo ne. U 1D celulárních automatů se předpokládá, že reverzibilita je rozhoditelná a Kari nastavil pevné hranice velikosti okolí bodu potřebného k simulaci zpětné dynamiky reverzibilních 1D automatů.
Tematické stránky | ||||
---|---|---|---|---|
|