Wird durch die Entscheidung, ob durch Ändern eines Eintrags die Permanente einer Matrix in der Polynomhierarchie verringert wird?

11

Betrachten Sie das folgende Problem: gegeben eine Matrix , Indizes i , j { 1 , , n } und eine ganze Zahl a . Ersetzen M [ i , j ] durch eine neue Matrix nennen M . Ist p e r ( M ) > pM{m,,0,,m}n×ni,j{1,,n}aM[i,j]aM^ ?per(M)>per(M^)

Liegt dieses Problem in der Polynomhierarchie?

T ....
quelle
4
Es kann durch zwei Aufrufe eines # P-Orakels gelöst werden ... Wenn es in PH wäre, würde dies bedeuten, dass PP auch in PH ist ... Wenn sich PP jedoch in PH befindet, bricht PH zusammen. Daher halte ich es für unwahrscheinlich, dass es sich um eine PH handelt.
Tayfun Pay
1
@TayfunPay Ich denke nicht, dass dieses Argument richtig ist. Das Problem kann mit 2 Aufrufen von #P gelöst werden, aber es kann nicht so einfach ausgeschlossen werden, dass es einen einfacheren Algorithmus gibt, der möglicherweise anzeigt, dass es sich um PH handelt. Sie müssten zeigen, dass es für #P schwierig ist, z. B. indem Sie Permanent darauf reduzieren.
Jan Johannsen
8
Wenn Sie die Definition der Permanente einfügen und die resultierende Ungleichung vereinfachen, läuft Ihr Problem auf die Frage hinaus, ob die Permanente einer gegebenen (n-1) -by- (n-1) -Matrix streng positiv ist.
Gamow
2
PER(M)>0MMMM1PER(M)=PER(M)=PER(M)PER(M)>0M(i,j)=(0,0)a=1gibt true zurück.
Holf
@holf: Ich denke du solltest dies als Antwort posten. Es beantwortet die Frage ziemlich definitiv, und dann wird die Frage nicht mehr als "unbeantwortet" angezeigt.
Joshua Grochow

Antworten:

10

Ihr Problem entspricht dem Testen bei , ob .MPER(M)>0

Beweis : Angenommen, Sie erhalten und möchten entscheiden, ob . Wir konstruieren wie folgt: Es ist leicht zu erkennen, dass . Definieren Sie nun als wobei wir den -Eintrag von durch ersetzen . Aus der Multilinearität folgt, dass . Also genau dann, wennMPER(M)>0M

[1000M0]
PER(M)=PER(M)M^M(0,0)M1PER(M)=PER(M)=PER(M^)PER(M)>0PER(M)>PER(M^)

Nehmen wir nun an, Sie erhalten , und und definieren wie in Ihrer Frage, dh indem Sie in ändern . Wir haben M(i,j)aM^M[i,j]a

PER(M)>PER(M^) iffσk=1nM[k,σ(k)]>σk=1nM^[k,σ(k)] iffσ,σ(i)=jM[i,j]kinM[k,σ(k)]>σ,σ(i)=jakinM[k,σ(k)] iff(M[i,j]a)σ,σ(i)=jkinM[k,σ(k)]>0 iff(M[i,j]a)PER(M)>0

wobei die Matrix ist, die aus durch Entfernen der Linie und der Spalte . M(n1)×(n1)Mij

holf
quelle
Gute Antwort, aber es lohnt sich wahrscheinlich, die Antwort auch auf die Frage des OP explizit anzugeben.
Stella Biderman