Komentáře: Podaří se letos průlom v otázce P vs. NP? https://www.scienceworld.cz/aktuality/podari-se-letos-prulom-v-otazce-p-vs-np-6174/ Web pro popularizaci přírodních věd a technologií Thu, 21 Aug 2025 10:46:21 +0000 hourly 1 https://wordpress.org/?v=4.2.39 Od: Czenek https://www.scienceworld.cz/aktuality/podari-se-letos-prulom-v-otazce-p-vs-np-6174/#comment-254 Thu, 13 Jan 2011 22:52:52 +0000 http://scienceworld.monty.cz/aktuality/podari-se-letos-prulom-v-otazce-p-vs-np-6174/#comment-254 Vezměme si třeba Lambda kalkulus, je to v podstatě naprosto odlišná koncepce matematiky, naprosto nahrazuje teorii množin a i když je s Cantorovou teorií ekvivalentní, tak může přinášet úplně odlišný pohled na věc. Právě P vs.NP má, díky své „snadné“ pochopitelnosti, potenciál aby přilákal matematiky se všemožnými specializacemi a ti vytvořili nové přístupy a nebo modifikovaly stávající. Rozvoj třeba toho lambda kalkulu, který je jako stvořený k řešení obdobných problémů, nebo spojení zdánlivě nespojitelných disciplín můžou přinést vzrušující překvapení.
Když to přirovnám k revolucím v klasické matematice – objevení imaginárních čísel, nekonečných veličin, … Teorie výpočetní složitost je poměrně mladá disciplína a není vyloučeno, že se objeví něco jako „imaginární algoritmus“.

ad nerozhodnutelnost. Vlastně si moc nedokážu představit, co by v praxi znamenala nerozhodnutelnost. Znamenalo by to asi, že nikdy nikdo nemůže najít P algoritmus pro problém z NP(complete), protože kdyby jej našel, tak je tím problém rozhodnutý. A naopak, když jej nemůžeme najít, tak je tím pádem vlastně rozhodnutelný taky.
V praktické algoritmice by se ale asi nic podstatného nezměnilo, a to by byla škoda.

]]> Od: Czenek https://www.scienceworld.cz/aktuality/podari-se-letos-prulom-v-otazce-p-vs-np-6174/#comment-253 Wed, 12 Jan 2011 23:09:34 +0000 http://scienceworld.monty.cz/aktuality/podari-se-letos-prulom-v-otazce-p-vs-np-6174/#comment-253 Osobně doufám, že se současnou matematikou se to prokázat nepovede. Doufám totiž, že uzraje čas tak tento problém bude působit jako katalizátor nového přístupu k celé problematice. Pokud by se to v blízké budoucnosti povedlo prokázat, tak se obávám, že to nic nového nepřinese. Stejně, žádný matematik nevěří, že se ty třídy rovnají a velká část odborných článků v teorii složitosti stejně už začíná slovy „Předpokládejme, že se P nerovná NP …“.
Ovšem naprostá bomba by byla, kdyby výzkum této oblasti prokázal, že se ty třídy rovnají. Něco takového by mělo obrovské následky, ale škoda, že to je jen takový nereálný sen. Ale kdo ví …

]]>