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 »