Rubikova kocka vždy vyriešiteľná na 20 ťahov, dokázali výpočtom na serveroch Google
Diskusia k článku: Rubikova kocka vždy vyriešiteľná na 20 ťahov, dokázali výpočtom na serveroch Google
Prispievajte do diskusií ako
prihlásený užívateľ.
Komentár, na ktorý odpovedáte:
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
dokaz
Od: Pjetro de
|
Pridané:
2010-08-12 18:41:31
Trocha ma zaujal typ dokazu. Ziadna highest matika typu ako v dokaze P <> NP ci Velkej Fermatovaj vete, to by na PC slo asi tazko. Jednoducho brutal force skumanie vsetkych moznosti. Technika samozrejme pomohla a skumanie vsetkych moznosti nebolo nahodne ci nesystematicke, ale vysoko organizovane a roztriedene do skupin kombinacii podla istych znakov. Podone bezal aj dokaz vety o styroch farbach z teorie grafov v 70tych rokoch 20. storocia.
Zaujimalo by ma ci raz bude vseobecny dokaz na baze high-math, bez preskumania jedinej moznosti, najvyssia abstrakcia vyuzivajuca topologiu ci teoriu grup.
|