Jaka jest złożoność Median-SAT?

14

Niech będzie formułą CNF z n zmiennymi i klauzulami m . Niech t { 0 , 1 } n reprezentuje przypisanie zmiennej, a f φ ( t ) { 0 , , m } zliczają liczbę klauzul spełnionych przez przypisanie zmiennej do φ . Następnie zdefiniuj Median-SAT jako problem obliczania mediany wartości f φ ( t ) dla wszystkich t { 0 , 1φnmt{0,1}nfφ(t){0,,m}φfφ(t) . Na przykład, jeśli φ jest tautologią, wówczas rozwiązaniem dla Median-SAT będzie m, ponieważ niezależnie od przypisania każda klauzula będzie spełniona. Jednak w przypadku ¯ S A T rozwiązaniem dla Median-SAT może być gdziekolwiek między 0 a m - 1 .t{0,1}nφmSAT¯0m1

To pytanie powstało, gdy zastanawiałem się nad dwoma naturalnymi rozszerzeniami SAT, MAX-SAT i #SAT i jaka byłaby trudność wynikającego z tego problemu, gdyby zostały one połączone razem. Dla MAX-SAT musimy znaleźć konkretne przypisanie zmiennych, aby zmaksymalizować liczbę zmiennych spełnianych przez . Dla #SAT musimy policzyć, ile przypisań spełnia wszystkie m klauzul φ . Ten wariant kończy się głównie jako rozszerzenie #SAT (a właściwie #WSAT ), ale zachowuje trochę smaku MAX-SAT, ponieważ liczymy liczbę spełnionych klauzul, a nie tylko decydujemy, czy wszyscy są zadowoleni, czy nie.φmφ

φφ

Zdaję sobie sprawę, że ten problem jest nieco arbitralny; obliczanie średniej lub liczby trybów klauzul spełnianych przez każde przypisanie zmiennej wydaje się przechwytywać tę samą jakość. Prawdopodobnie robi to również wiele innych problemów.

Czy ten problem został zbadany, być może pod innym pozorem? Jak trudne jest to w porównaniu do #SAT? A priori nie jest dla mnie jasne, że Median-SAT jest nawet zawarty w FPSPACE, chociaż wydaje się, że jest zawarty w FEXPTIME.

Huck Bennett
źródło
3
FP#PFPSPACEkmk
1
@Colin uczynić z tego odpowiedź?
Suresh Venkat,
km
@Tsuyoshi, jaka jest twoja definicja SAT? Czy zezwalamy na powtarzanie klauzul? lub literały i / lub zmienne w danych klauzulach? Ponieważ jeśli nie pozwalasz na powtarzanie literałów i / lub zmiennych w podanych klauzulach, nie możesz mieć formuły CNF, która jest tautologią.
Tayfun Pay
@Tayfun - faktycznie zadałem to pytanie, Tsuyoshi pomógł przy drobnej edycji. Masz rację co do tautologii w formule CNF, która wymaga powtarzających się literałów. Każdy wariant SAT byłby interesujący, powtarzanie CNF-SAT bez var w klauzulach (w którym to przypadku tautologie są niemożliwe), a może bardziej ogólnie CIRCUIT-SAT. Nie sądzę, aby ten wybór zmienił smak pytania.
Huck Bennett

Odpowiedzi:

13

kkkk

#PFP#PFPSPACE

Colin McQuillan
źródło
Masz całkowitą rację. Jest to bardzo czysty argument, i wydaje mi się, że dość oczywiste z definicji #P. Nauczyłem się czegoś.
Huck Bennett
1
k#P#PFP#P
3

lgm+1

M(φ)φkψkxxkφφkψk

ψkψkM(φ)kM(φ)k=m/2klgm+1M(φ). Każda iteracja wymaga jednego zapytania do naszej wyroczni dla MAJSAT.

DW
źródło