Problemy milenijne: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m Wycofano edycje użytkownika 2A00:F41:38A1:F7C8:DF9D:62F7:7F99:B804 (dyskusja). Autor przywróconej wersji to Thraen. |
aktualizacja informacji |
||
Linia 12:
| 1971<ref>{{Cytuj stronę|url=http://portal.acm.org/citation.cfm?coll=GUIDE&dl=GUIDE&id=805047|tytuł=The complexity of theorem-proving procedures|opublikowany=ACM Digital Library|data=1971|nazwisko=Cook|imię=Stephen Arthur|język=en}}</ref>
| [[Problem NP|P vs NP]]: czy istnieją pytania, na które odpowiedź – jeśli się ją zna – można szybko zweryfikować, lecz których rozwiązanie – bez znajomości odpowiedzi – zabierze więcej czasu (mierzonego poprzez [[złożoność obliczeniowa|złożoność obliczeniową]])?
| {{tabela-
|-
! 2
|