Problemy milenijne: Różnice pomiędzy wersjami
[wersja przejrzana] | [wersja nieprzejrzana] |
Usunięta treść Dodana treść
m Wycofano edycje użytkownika 150.254.222.138 (dyskusja). Autor przywróconej wersji to Jaszczuroczłek. |
Błąd merytoryczny Znaczniki: Z urządzenia mobilnego Z wersji mobilnej (przeglądarkowej) |
||
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
|