Pracujemy nad przywróceniem aplikacji Unionpedia w Google Play Store
TowarzyskiPrzybywający
🌟Uprościliśmy nasz projekt, aby ułatwić nawigację!
Instagram Facebook X LinkedIn
Twoja własna Unionpedia z Twoim logo i domeną, od 9,99 USD/miesiąc
Utwórz mój Unionpedia

PSPACE

Indeks PSPACE

W teorii złożoności obliczeniowej PSPACE jest zbiorem wszystkich problemów decyzyjnych, które można rozwiązać za pomocąmaszyny Turinga wykorzystującej wielomianowąprzestrzeń.

Spis treści

  1. 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