Logo
Unionpedia
Komunikacja
pobierz z Google Play
Nowy! Pobierz Unionpedia na urządzeniu z systemem Android™!
Darmowy
Szybszy dostęp niż przeglądarce!
 

Niedeterministyczna maszyna Turinga

Indeks 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. Niedeterministyczna maszyna Turinga – teoretyczny model rozważany w teorii obliczeń w celu badania problemów decyzyjnych.

12 kontakty: Algorytm deterministyczny, Algorytm faktoryzacji Shora, Iloczyn kartezjański, Komputer kwantowy, Maszyna Turinga, Maszyna Turinga z wyrocznią, Problem decyzyjny, Problem NP, Problem NP-zupełny, Problem stopu, Przeszukiwanie wszerz, Teoria obliczeń.

Algorytm deterministyczny

Algorytm deterministyczny – algorytm, którego działanie jest całkowicie zdeterminowane przez warunki początkowe (wejście).

Nowy!!: Niedeterministyczna maszyna Turinga i Algorytm deterministyczny · Zobacz więcej »

Algorytm faktoryzacji Shora

Kwantowy algorytm Shora – algorytm kwantowy umożliwiający rozkład na czynniki pierwsze liczby naturalnej N w czasie \Omicron((\log N)^3) i wykorzystując pamięć \Omicron(\log N), przy wykorzystaniu komputera kwantowego.

Nowy!!: Niedeterministyczna maszyna Turinga i Algorytm faktoryzacji Shora · Zobacz więcej »

Iloczyn kartezjański

Iloczyn kartezjański, produkt zbiorów – dla danych zbiorów A i B zbiór wszystkich takich par uporządkowanych (a, b), że a należy do zbioru A i b należy do zbioru B. Iloczyn kartezjański zbiorów A i B oznacza się symbolem A\times B. Nazwa iloczyn kartezjański odwołuje się do pojęcia kartezjańskiego układu współrzędnych na płaszczyźnie ze względu na następującąanalogię: punkty w kartezjańskim układzie współrzędnych na płaszczyźnie opisane sąza pomocąuporządkowanych par liczb (pierwsza liczba nazywana jest odciętą, druga rzędną) – elementy iloczynu kartezjańskiego \mathbb\times \mathbb można zatem utożsamiać z punktami na płaszczyźnie.

Nowy!!: Niedeterministyczna maszyna Turinga i Iloczyn kartezjański · Zobacz więcej »

Komputer kwantowy

300x300px Komputer kwantowy – komputer, do opisu którego wymagana jest mechanika kwantowa, zaprojektowany tak, aby wynik ewolucji tego układu reprezentował rozwiązanie określonego problemu obliczeniowego.

Nowy!!: Niedeterministyczna maszyna Turinga i Komputer kwantowy · Zobacz więcej »

Maszyna Turinga

Artystyczna wizja maszyny Turinga Maszyna Turinga – stworzony przez Alana Turinga abstrakcyjny model urządzenia służącego do wykonywania algorytmów.

Nowy!!: Niedeterministyczna maszyna Turinga i Maszyna Turinga · Zobacz więcej »

Maszyna Turinga z wyrocznią

Maszyna Turinga z wyrocznią– w teorii obliczeń abstrakcyjny model stosowany w celu badania problemów decyzyjnych.

Nowy!!: Niedeterministyczna maszyna Turinga i Maszyna Turinga z wyrocznią · Zobacz więcej »

Problem decyzyjny

Problem decyzyjny – pojęcie z zakresu teorii decyzji, oznaczające sytuację problemową, w której podmiot (decydent) staje przed koniecznościąwyboru jednego z przynajmniej dwóch możliwych wariantów działania.

Nowy!!: Niedeterministyczna maszyna Turinga i Problem decyzyjny · Zobacz więcej »

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.

Nowy!!: Niedeterministyczna maszyna Turinga i Problem NP · Zobacz więcej »

Problem NP-zupełny

Problem NP-zupełny (NPC) – problem zupełny w klasie NP, ze względu na redukcje wielomianowe, to problem, który należy do klasy NP oraz dowolny problem należący do NP może być do niego zredukowany w czasie wielomianowym.

Nowy!!: Niedeterministyczna maszyna Turinga i Problem NP-zupełny · Zobacz więcej »

Problem stopu

Problem stopu – zagadnienie algorytmiczne odpowiadające, dla danego algorytmu, na pytanie, czy realizujący go program zatrzyma się (w skończonym czasie); pytanie może dotyczyć konkretnych danych wejściowych albo wszystkich możliwych.

Nowy!!: Niedeterministyczna maszyna Turinga i Problem stopu · Zobacz więcej »

Przeszukiwanie wszerz

Animowany przykład algorytmu przeszukiwania wszerz Przeszukiwanie wszerz – jeden z najprostszych algorytmów przeszukiwania grafu.

Nowy!!: Niedeterministyczna maszyna Turinga i Przeszukiwanie wszerz · Zobacz więcej »

Teoria obliczeń

Teoria obliczeń – dział informatyki i matematyki, który dzieli się na: teorię automatów i języków formalnych, teorię obliczalności oraz teorię złożoności.

Nowy!!: Niedeterministyczna maszyna Turinga i Teoria obliczeń · Zobacz więcej »

TowarzyskiPrzybywający
Hej! Jesteśmy na Facebooku teraz! »