Bearbeiten: Es gibt jetzt eine Folgefrage zu diesem Beitrag.
Definitionen
Sei und ganze Zahlen. Wir verwenden die Notation .k [ i ] = { 1 , 2 , . . . , i }
Eine Matrix wird als to- Farbmatrix bezeichnet, wenn Folgendes gilt:M = ( m i , j ) c k
- wir haben für alle ,i , j ∈ [ c ]
- für alle mit und wir .i ≠ j j ≠ l m i , j ≠ m j , l
Wir schreiben wenn es eine c- to- k- Farbmatrix gibt.
Beachten Sie, dass die diagonalen Elemente irrelevant sind. wir sind nur in den Nicht-Diagonalelemente von Interesse .
Die folgende alternative Perspektive kann hilfreich sein. Sei die Menge nichtdiagonaler Elemente in Zeile , und sei in ähnlicher Weise ist die Menge der nicht diagonalen Elemente in der Spalte . Nun ist eine to- Farbmatrix, wenn
Es kann hilfreich sein oder auch nicht, zu versuchen, als eine spezielle Art von Hash-Funktion von bis zu interpretieren .[ c ] 2 [ k ]
Beispiele
Hier ist eine zu- Farbmatrix:4 [ - 2 2 1 1 1 3 - 3 1 1 1 4 4 - 1 1 1 3 2 2 - 3 2 4 2 2 4 - 2 3 4 3 4 3 - ] .
Im Allgemeinen ist bekannt, dass wir für jedesZum Beispiel und . Um dies zu sehen, können wir die folgende Konstruktion verwenden (z. B. Naor & Stockmeyer 1995).( 2 n20⇝66⇝4
Sei und sei . Sei eine Bijektion von zur Menge aller Teilmengen von , dh und für alle . Wählen Sie für jedes mit beliebig
Beachten Sie, dass . Es ist einfach zu überprüfen, ob die Konstruktion tatsächlich eine Farbmatrix ist. insbesondere haben wir und .
Frage
Ist die obige Konstruktion optimal? Anders , haben wir für jedes ?
Es ist bekannt, dass die obige Konstruktion asymptotisch dicht ist; notwendigerweise . Dies folgt beispielsweise aus dem Ergebnis von Linial (1992) oder aus einer einfachen Anwendung der Ramsey-Theorie. Mir ist aber nicht klar, ob die Konstruktion auch konstant ist. Einige numerische Experimente legen nahe, dass die obige Konstruktion optimal sein könnte.
Motivation
Die Frage bezieht sich auf die Existenz schnell verteilter Algorithmen für die Farbgebung von Graphen. Nehmen wir zum Beispiel an, dass wir einen gerichteten Baum erhalten (alle Kanten sind auf einen Wurzelknoten ausgerichtet), und nehmen wir an, dass wir eine korrekte Färbung des Baums erhalten. Jetzt gibt es einen verteilten Algorithmus berechnet , dass ein ordnungsgemäßen des Baumes in Einfärben synchrone Kommunikationsrunde , wenn und nur wenn .