Lassen Sie ein einfacher Graph auf seine n Ecken ( n > 3 ) ohne Ecke vom Grad n - 1 . Nehmen wir an, dass für je zwei Ecken von G , gibt es eine einzigartige Eckpunkt benachbart zu beiden. Es ist eine Übung von A Course in Kombinatorik , van Lint und Wilson, zu beweisen , dass ein solcher Graph regulär.
Meine Frage ist jedoch, ob Diagramme, die die gegebenen Randbedingungen erfüllt, sogar existieren. Während der Besprechung der ursprünglichen Übung während einer Problemlösungssitzung fragte jemand, ob wir ein Beispiel für ein Diagramm finden könnten, in dem jedes Eckpunktpaar einen eindeutigen gemeinsamen Nachbarn hat und es keine globalen Eckpunkte gibt. Weder konnten wir ein konkretes Beispiel oder ein konkretes Konstruktionsverfahren finden, noch haben wir den Beweis erbracht, dass kein Graph diese Eigenschaften hat.
Irgendwelche Vorschläge?
Hinweis: Um zu beweisen, dass ein solches Diagramm regelmäßig ist, stellt sich heraus, dass es ziemlich einfach ist. Die grobe Idee besteht darin, die Nachbarn jedes Scheitelpunktpaares unter Verwendung der Unique-Common-Neighbor-Kriterien zu paaren, um die Tatsache zu ermitteln, dass jedes Paar von Ecken den gleichen Grad haben, und dann ein transitivity Argument, mit Hilfe der nicht-global-Vertex-Einschränkung, gibt uns, dass der graph regulär.