Problemy milenijne: Różnice pomiędzy wersjami
| [wersja nieprzejrzana] | [wersja przejrzana] |
Usunięta treść Dodana treść
aktualizacja informacji |
m Wycofano edycje użytkownika 81.219.205.150 (dyskusja). Autor przywróconej wersji to PawełMM. |
||
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-nie|Nierozwiązany. Wielokrotnie przedstawiano próby jej udowodnienia, jak i obalenia, a także wykazania niedowodliwości<ref>{{Cytuj stronę|url=http://www.win.tue.nl/~gwoegi/P-versus-NP.htm|tytuł=P-versus-NP page|nazwisko=Woeginger|imię=Gerhard J.|data=2016-06-19|język=en}}</ref>.|left}}
|-
! 2
| |||