Złożoność obliczeniowa/Test 12: Problemy funkcyjne i złożoność zliczania

Problem FSAT polega na:

odpowiedzi na pytanie czy formuła jest tautologią Źle

znalezieniu wartościowania spełniającego formułę Dobrze

znalezieniu formuły równoważnej Źle

odpowiedzi na pytanie czy formuła jest spełnialna Źle

obliczeniu liczby rozwiązań spełniających formułę Źle

Klasę $\mathrm{F}\mathrm{N}\mathrm{P}$ definiujemy przy pomocy:

relacji liniowo zrównoważonej Źle

relacji wielomianowo rozstrzygalnej Dobrze

dowolnej relacji binarnej Źle

relacji wielomianowo zrównoważonej Dobrze

Klasa $\mathrm{T}\mathrm{F}\mathrm{N}\mathrm{P}$ to:

podzbiór klasy $\mathrm{F}\mathrm{N}\mathrm{P}$ Dobrze

podzbiór klasy $\mathrm{F}\mathrm{P}$ Źle

klasa problemów funkcyjnych, w których rozwiązanie zawsze istnieje Dobrze

klasa problemów definiowanych na liczbach całkowitych Źle

Która z poniższych implikacji jest prawdziwa?

$\mathrm{F}\mathrm{P}=\mathrm{F}\mathrm{N}\mathrm{P}\Leftarrow \mathrm{P}=\mathrm{N}\mathrm{P}$ Źle

$\mathrm{P}=\mathrm{N}\mathrm{P}\Leftarrow \mathrm{F}\mathrm{P}=\mathrm{F}\mathrm{N}\mathrm{P}$ Źle

obydwie Dobrze

żadna Źle

Problem ANOTHER HAMILTON CYCLE

należy do klasy $\mathrm{F}\mathrm{P}$ Źle

należy do klasy $\mathrm{F}\mathrm{N}\mathrm{P}$ Dobrze

$\mathrm{F}\mathrm{N}\mathrm{P}$-zupełny Dobrze

należy do klasy $\mathrm{T}\mathrm{F}\mathrm{N}\mathrm{P}$ Źle

Problem PERMANENT

to inna nazwa dla problemu $\mathrm{\#}$ MATCHING Dobrze

jest wielomianowy Źle

polega na obliczaniu permanentu macierzy Dobrze

jest $\mathrm{\#}\mathrm{P}$-zupełny Dobrze

Twierdzenie Valianta mówi o tym, że:

problem PERMANENT należy do $\mathrm{\#}\mathrm{P}$ Źle

problem $\mathrm{\#}$ SAT jest $\mathrm{\#}\mathrm{P}$-zupełny Źle

problem $\mathrm{\#}$ HAMILTONIAN PATH jest $\mathrm{\#}\mathrm{P}$-zupełny Źle

problem $\mathrm{\#}$ SAT należy do $\mathrm{\#}\mathrm{P}$ Źle

problem PERMANENT jest $\mathrm{\#}\mathrm{P}$-zupełny Dobrze