Ist die Komplexität dieses Pfadproblems bekannt?

9

Instanz: Ein ungerichteter Graph mit zwei unterschiedlichen Eckpunkten s t und einer ganzen Zahl k 0 .Gstk0

Frage: Gibt es in G einen - Pfad , so dass sich der Pfad höchstens k Dreiecke schneidet ? (Für dieses Problem wird gesagt, dass ein Pfad ein Dreieck schneidet, wenn der Pfad mindestens eine Kante des Dreiecks enthält.)stGk

Andras Farago
quelle
3
Ist das falsch? Wir weisen jeder Kante Gewicht zu und finden dann den kürzesten M. Weg. Das Gewicht jeder Kante ist die Anzahl der Dreiecke, die diese Kante enthalten. Das Gewicht dieses Pfades entspricht nicht der Anzahl der Dreiecke, auf die er trifft, aber es ist ein erster Pfad mit einer minimalen Anzahl von Dreiecken. (Das mögliche Problem ist, dass wir ein oder mehrere Dreiecke zweimal zählen können, weil wir zwei Kanten dieses Dreiecks besuchen. Der Grund, warum wir sie auswählen, ist, dass sie kleiner sind als die andere Kante des Dreiecks und wir auch einfache Pfadmittel haben zwei Kanten eines Dreiecks liegen nebeneinander).
Saeed
3
@Saeed Ich verstehe nicht: Was ist das Argument, dass Überzählung Sie nicht dazu bringt, einen suboptimalen Pfad zu wählen? Ihr Algorithmus ist sicherlich eine 2-Näherung. Vielleicht besteht eine Lösung darin, für jeden Pfad u v w eine Kante hinzuzufügen , deren Gewicht der Anzahl der Dreiecke entspricht, die sowohl ( u , v ) als auch ( v , w ) enthalten(u,w)uvw(u,v)(v,w)
Sasho Nikolov
2
αα
1
u>v>w>xPu,v,wv,w,xvxuwu>wv,w,xu>vv>wu>w
1
Meine Idee wird nicht funktionieren - ich müsste mehrere Sets warten, und ich denke, es werden zu viele davon sein.
Reinierpost

Antworten:

1

G

vivjGE[i,j]=1E[i,j]=0n×nC[i,j]=k=1nE[i,k]E[k,j]vivjvivjGD[i,j]=E[i,j]C[i,j]D[i,j]=CO(n3)G

n×nAA[i,j]=min(D[i,j],mink(D[i,k]+D[k,j]E[i,j]))AD

Berechnen Sie nun einfach den kürzesten Weg zwischen und in in einem neuen Graphen, dessen die (gewichtete) Adjazenzmatrix ist, mit Dijkstra (da alle Kantengewichte positiv sind), dh und bestimmen Sie, ob , wobei der Verschluss über dem tropischen Semiring ist (was die Distanzmatrix ergibt).vivjGAA[i,j]kA

Edgar
quelle