Powstaje pytanie, czy dla wszystkich problemów, dla których komputer może sprawdzić dane rozwiązanie szybko czyli w czasie wielomianowym, może również okazać, że rozwiązanie szybko. Były opisuje klasę problemów nazwał P, podczas gdy drugi opisuje NP. Pytanie brzmi, czy wszystkie problemy w NP są również w P. To jest powszechnie uważany za najważniejszą kwestią otwartą w teoretycznej informatyki jak to daleko idące konsekwencje w zakresie matematyki, biologii, filozofii 1 i kryptografii patrz P w porównaniu konsekwencje NP dowód problem. Jeśli na pytanie, czy P = NP miały być odpowiedziało twierdząco to bagatelizować pozostałych Millennium Problemy miejsce a nawet wszystkich, ale nie do udowodnienia twierdzenia w matematyce wątpliwe - omówienie, ponieważ wszyscy oni mają bezpośredni rozwiązania łatwo rozwiązany przez formalnego systemu. |
|
Słowa kluczowe: |
|
Adres www: |
|