Spis treści
9 kontakty: Dopełnienie (teoria złożoności), EXPTIME, Język kontekstowy, Maszyna Turinga, Niedeterministyczna maszyna Turinga, Problem decyzyjny (teoria obliczeń), Problem NP, Problem P, Wielomian.
Dopełnienie (teoria złożoności)
Dopełnienie – problem decyzyjny powstający po zamianie miejscami odpowiedzi tak i nie.
Zobaczyć PSPACE i Dopełnienie (teoria złożoności)
EXPTIME
W obliczeniowej teorii złożoności klasa złożoności EXPTIME (czasami nazywana EXP lub DEXPTIME) jest zbiorem wszystkich problemów decyzyjnych, które mająwykładniczy czas wykonywania, tj.
Zobaczyć PSPACE i EXPTIME
Język kontekstowy
Język kontekstowy (ang. context-sensitive language) – język formalny generowany przez gramatykę kontekstową.
Zobaczyć PSPACE i Język kontekstowy
Maszyna Turinga
Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.
Zobaczyć PSPACE i Maszyna Turinga
Niedeterministyczna maszyna Turinga
Drzewo obliczeń niedeterministycznej maszyny Turinga. Niedeterminizm można interpretować jako stworzenie tylu kopii maszyny Turinga ile jest możliwych stanów do których może przejść maszyna, a następnie zastosowanie poszczególnych możliwych ruchów dla każdej kopii.
Zobaczyć PSPACE i Niedeterministyczna maszyna Turinga
Problem decyzyjny (teoria obliczeń)
Problem decyzyjny – pytanie sformułowane w systemie formalnym, na które możliwe sątylko odpowiedzi tak i nie.
Zobaczyć PSPACE i Problem decyzyjny (teoria obliczeń)
Problem NP
LadneraR.E. Ladner, ''On the structure of polynomial time reducibility'', J.ACM, 22, 1975, s. 151–171. Corollary 1.1. http://portal.acm.org/citation.cfm?id.
Zobaczyć PSPACE i Problem NP
Problem P
Problem P (deterministycznie wielomianowy) – problem decyzyjny, dla którego rozwiązanie można znaleźć w czasie wielomianowym.
Zobaczyć PSPACE i Problem P
Wielomian
Wielomian (inaczej suma algebraiczna) – wyrażenie algebraiczne będące sumąjednomianów; używane w wielu działach matematyki.
Zobaczyć PSPACE i Wielomian

