Problem decyzyjny
Biorąc pod uwagę logiczną formułę , czy ϕ ma dokładnie jedno zadowalające zadanie?
mogą być widoczne w , U P -hard i c o N P -hard. Czy jest coś bardziej znanego na temat jego złożoności?
Problem decyzyjny
Biorąc pod uwagę logiczną formułę , czy ϕ ma dokładnie jedno zadowalające zadanie?
mogą być widoczne w , U P -hard i c o N P -hard. Czy jest coś bardziej znanego na temat jego złożoności?
Problem jest znany jako problem, który jest U S -Complete. Problemem jest D p , ale nie wiadomo, D P -hard pod deterministycznych wielomianowych ograniczenia czasowe, w którym grupa D P = { l 1 ∩ Ż L 2 | L 1 , L 2 ∈ N P } .
[1] Papadimitriou, Christos H. i Mihalis Yannakakis. „Złożoność aspektów (i niektóre aspekty złożoności)”. Materiały z czternastego dorocznego sympozjum ACM na temat teorii obliczeń. ACM, 1982.