Złożoność obliczeniowa/Test 10: Algorytmy probabilistyczne

Z Studia Informatyczne
Wersja z dnia 23:29, 11 cze 2020 autorstwa Luki (dyskusja | edycje) (Zastępowanie tekstu - "\cc{" na "\mathrm{")
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Algorytmy dla języków z klasy RP:

mają ograniczone prawdopodobieństwo błędu

działają w czasie oczekiwanym wielomianowym

mogą dawać fałszywe odpowiedzi pozytywne

mogą popełniać błąd dwustronny

mogą dawać fałszywe odpowiedzi negatywne

działają w czasie wielomianowym


Klasa ZPP to:

klasa języków posiadających algorytm typu Las Vegas

suma klas RP oraz coRP

klasa języków posiadających algorytm typu Monte Carlo

część wspólna klas RP oraz coRP


Klasa PP:

jest przydatna z punktu widzenia praktycznego

zawiera w sobie klasę NP.

jest nieprzydatna z punktu widzenia praktycznego

jest zawarta w klasie NP.


Klasa BPP:

zawiera w sobie klasę NP.

jest przydatna z punktu widzenia praktycznego

zawiera w sobie klasę PP

jest nieprzydatna z punktu widzenia praktycznego

jest zawarta w klasie PP

jest zawarta w klasie NP.


Problem MAJSAT

jest problemem z klasy NP.

polega na stwierdzeniu czy większość możliwych wartościowań formuły jest spełniająca

jest problemem z klasy PP

polega na znalezieniu największego leksykograficznie wartościowania spełniającego

jest problemem zupełnym z klasy PP


Rozpoznawanie liczb pierwszych przy pomocy testu Millera-Rabina jest algorytmem z klasy:

RP

coRP

ZPP

BPP

PP


Prawdopodobieństwo błędu jednej iteracji testu Millera-Rabina wynosi:

0

14

12

34

1