Küçük bir grafiktir arıyorum olan vektör renk sayısı renk sayısı, daha küçük olan .
( vektör renk sayısı sahip q bir atama ise X : V → R, d köşe komşu ilişkili vektörler birbirinden uzak olan sezgisel bir gerekliliktir. ⟨ X ( h ) , X ( ağırlık ) ⟩ ≤ - 1 / ( q - 1 ) . Örneğin, için q = 3 ., bir üçgen yeterli olurken köşeler)
Bir grafiğin vektör kromatik sayısı kromatik sayıdan büyük değildir: . Örnekler ile grafikler bilinmektedir χ v ( G ) = 3 χ ( G ) = N ö . (Karger, Motwani, Sudan'ın orijinal makalesi [JACM, 45: 246-265] ( el yazması ) genelleştirilmiş Kneser grafiklerini önermektedir, daha yeni bir makalede rastgele birim vektörlerine dayanan bir yapı kullanılmaktadır.)
Ben χ v ( K ) = 4 ve χ ( K ) = 8 (bilgisayar hesaplamasına göre) ile bir örnek grafik olduğunu düşünüyorum . Bu grafik 20 köşeye ve 90 kenara sahiptir.
Daha küçük bir örnek var mı? Cazip bir yol, böyle bir canavar varsa, Chvatal veya Grötzsch grafiğinin somut bir vektör 3-renklendirmesi olacaktır.
( tamsayı olmamalı, ancak iyi olurdu. Güncelleme: Aşağıda belirtildiği gibi, integral olmayan durum gerçekten kolaydır. Teşekkürler.)
Güncelleme: Grötzsch ve Chvátal
Chvátal ve Grötzsch grafiklerini vektör 3 renklendirmeyi düşünmeye dayanamadım.
Grötsch grafiği aşağıdaki şekilde 3 renkli olabilir: Beşinci derece düğümü Kuzey kutbuna yerleştirin. 5 derece-4 düğüm, kuzeyden yaklaşık 77 derece aynı enlem üzerine eşit olarak yerleştirilir: Dünya'nın kuzey yarım küresine boyanmış bir pentragram hayal edin. Kalan 5 düğüm (derece 3), kuzey yarımkürede, kuzeyden 135 derece uzakta bulunur. Diğerleri ile aynı boylama sahiptirler. (Bir tane aldığımda bir çizim yükleyeceğim, ancak TikZ'de düşündüğümden jeodezik çizgiler çizmek daha zor.)
Bir SDP çözücüsüne göre, Chvátal bir vektör 3 renklemesini de kabul ediyor, ancak çıktı, yorumlamakta zorlandığım 5 boyuttaki bir grup vektör.
(Üçüncü bir deneme başarısız oldu: Yury'nin yapısından esinlenerek, 5 döngüyü alın ve diğerlerine bitişik bir tepe noktası ekleyin. Bu grafik 4 numaralı kromatiktir. Ama çözücüme göre 3 renk vektörü değil.)