Bipartite Matching mit Grad Dominanz


8

Bei einem ungewichteten zweigliedrigen Graphen ist . Ist es wahr , dass es existiert immer ein nicht leeren Matching (nicht unbedingt maximal), so dass für jeden mit abgestimmt und unübertroffen, es hält ? Hier ist nicht geordnet, dh kann auf beiden Seiten sein.M E ( i , j ) E i j Grad ( i ) > Grad ( j ) ( i , j ) iG=(V,E)ME(i,j)Eijdeg(i)>deg(j)(i,j)i

Meine Intuition darüber, warum dies wahr ist, ist, wenn jeder Scheitelpunkt in den gleichen Grad hat, gibt es immer eine perfekte Übereinstimmung, die die Übereinstimmung ist, die wir benötigen. Für einige einfache Diagrammstrukturen wie Bäume oder unicyclische Diagramme ist eine maximale Übereinstimmung erwünscht, da der Grad eines Blattes immer kleiner als sein übergeordnetes ist.V

Ich habe versucht, es aus Halls Theorem zu beweisen, bin aber gescheitert. Ein Teil der Komplexität dieses Problems besteht darin, dass die Lösung nicht immer eine maximale Übereinstimmung ist. Betrachten zum Beispiel einen Graphen, der aus zwei 4-Zyklen und . Dann sind und seine symmetrischen Übereinstimmungen die einzigen Lösungen, die nicht maximal sind.d e f g M = { a b , c d }abcddefgM={ab,cd}


@Gamow Die beiden Scheitelpunkte, die Sie angegeben haben, bilden in keine Kante . E
Willard Zhan

@ AndrewMorgan In meinem letzten Beispiel ist da es in beiden Zyklen erscheint. Die Einschränkungen gelten nur für Kanten, bei denen genau ein Endpunkt übereinstimmt. Wir berücksichtigen also nicht wenn weder noch übereinstimmen. ( u , v ) u vdeg(d)=4(u,v)uv
Willard Zhan

Können Sie ein Beispiel zeigen, in dem Ihre Eigenschaft für ein nicht zweigeteiltes Diagramm nicht gilt?
JimN

3
@ JimNastos ein Dreieck sollte den Trick tun
Yonatan N

Sie sagen in der Frage, dass "... nicht unbedingt maximal ..." ist ... also kann es nur eine Kante enthalten, nicht wahr? Was ist mit einem Zyklus von gleicher Länge? M
Marzio De Biasi

Antworten:


4

Es gibt nicht immer eine Übereinstimmung mit Ihrer Eigenschaft in einem zweigeteilten Diagramm.

Betrachten Sie zum Beispiel den Graphen wobeiG=(V,E)

  • undV={a1,a2,a3,b1,b2,b3,c1,c2,d1,d2,x}
  • E={a1,a2}×{c1,c2,x}{b1,b2}×{d1,d2,x}{(a3,c1),(a3,d2),(a3,x),(b3,d1),(b3,c2),(b3,x)}

Dieser Graph ist zweiteilig (mit als einem Teil und V 2 = { c 1 , c 2 , d 1 , d 2 , x } wie der andere). Jeder Scheitelpunkt in diesem Diagramm mit Ausnahme von x hat Grad 3 . Scheitelpunkt x hat Grad 6 .V1={a1,a2,a3,b1,b2,b3}V2={c1,c2,d1,d2,x}x3x6

Nehmen wir aus Gründen des Widerspruchs an, dass ein mit Ihrem Eigentum übereinstimmendes existiert. Betrachten Sie zwei benachbarte Eckpunkte v 1 und v 2 , die den gleichen Grad haben. Es stellt sich heraus, dass die Bedingungen für M implizieren, dass beide dieser Scheitelpunkte den gleichen Status haben, der übereinstimmt oder nicht (dh entweder beide oder keiner der Scheitelpunkte muss in M übereinstimmen ). Dies kann sehr einfach durch Widerspruch bewiesen werden: Angenommen, ein Scheitelpunkt (wlog v 1 ) stimmt überein und der andere nicht; dann, da es eine Kante zwischen ihnen gibt, sagt uns die gegebene Eigenschaft auf M , dass d e g ( v 1 )Mv1v2MMv1M , was ein Widerspruch ist.deg(v1)>deg(v2)

Somit ist der Übereinstimmungsstatus benachbarter Scheitelpunkte gleichen Grades der gleiche. Wenn dann eine Menge von Scheitelpunkten die Eigenschaft hat, dass jeder Scheitelpunkt den gleichen Grad hat und der durch diese Scheitelpunkte induzierte Teilgraph verbunden ist, können wir diese Regel mehrmals anwenden, um zu schließen, dass alle Scheitelpunkte in der Menge dieselbe Übereinstimmung haben müssen oder nicht Status. Insbesondere muss in der Matched-or-Not-Status jedes Scheitelpunkts in V { x } gleich sein, da diese Scheitelpunkte alle Grad 3 haben und verbunden sind. Mit anderen Worten, entweder wird jeder Scheitelpunkt in V { x } in M abgeglichen , oder es wird kein solcher Scheitelpunkt in M abgeglichenGV{x}3V{x}MM. Wenn der Übereinstimmungs- oder Nichtübereinstimmungsstatus für diese Scheitelpunkte "übereinstimmt", wird jeder Scheitelpunkt im -Teil der Bipartition in M abgeglichen ; Dies ist unmöglich, da es in V 1 mehr Eckpunkte gibt als im anderen Teil V 2 . Wenn die Matched-oder-nicht - Status für diesen Scheiteln wird als „nicht zugeordnet“ , dann der einzige Knoten in G , die in angepaßt werden kann M ist x ; Da eine nicht leere Übereinstimmung (wie M sein muss) mit mindestens zwei Eckpunkten übereinstimmt , sehen wir, dass dieser Fall ebenfalls unmöglich ist.V1MV1V2GMxM

Im Widerspruch dazu existiert in G kein Matching mit der fraglichen Eigenschaft .MG


Ja, ich wollte im Wesentlichen das gleiche Argument verwenden, um zu beweisen, dass praktisch jeder 3-reguläre zweigliedrige Expander zu einem Gegenbeispiel gemacht werden kann, wenn wir einen Scheitelpunkt löschen und seine 3 Nachbarn mit einem anderen, ausreichend weit entfernten Scheitelpunkt verbinden.
Domotorp
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.