Matematické Fórum
Nevíte-li si rady s jakýmkoliv matematickým problémem, toto místo je pro vás jako dělané.
Nástěnka
❗22. 8. 2021 (L) Přecházíme zpět na doménu forum.matweb.cz!
❗04.11.2016 (Jel.) Čtete, prosím, před vložení dotazu, děkuji!
❗23.10.2013 (Jel.) Zkuste před zadáním dotazu použít některý z online-nástrojů, konzultovat použití můžete v sekci CAS.
Nejste přihlášen(a). Přihlásit
#3 11. 05. 2010 00:46
- Kondr
- Veterán
- Místo: Linz, Österreich
- Příspěvky: 4247
- Škola: FI MU 2013
- Pozice: Vývojář, JKU
- Reputace: 38
Re: řešení diofantické rovnice
Matisevičova věta říká akorát že množina je diofantická, právě když je rekurzivně vyčíslitelná. Tedy že existuje algoritmus, který skončí v konečném čase je-li vstup z dané množiny. Takový algoritmus nemůže "řešit problém", protože není schopen rozhodnout, jestli rovnice jiná řešení nemá nebo je pouze neumí najít. Z helediska složitosti platí
RE>Rec>EXPSPACE >= EXPTIME (přižemž poslední nerovnost nejspíš platí ostře, ale důkaz není znám).
a n! je v O(2^(n^2)), tedy v EXPTIME
BRKOS - matematický korespondenční seminář pro střední školy
Offline