Algoritme yang efisien untuk pewarnaan hypergraphs yang mendekati optimal

12

Masalah pewarnaan grafik sudah cukup sulit bagi kebanyakan orang . Meski begitu, saya harus sulit dan menanyakan masalah tentang pewarnaan hypergraph.

Pertanyaan.

Algoritme efisien apa yang ada untuk menemukan pewarnaan tepi yang kurang lebih optimal untuk hypergraphs k-uniform?

Detail ---

  • Hypergraph k-uniform adalah di mana setiap sisi mengandung simpul k yang tepat; kasus biasa dari grafik sederhana adalah k = 2. Lebih tepatnya, saya tertarik pada hypergraphs berlabel k-uniform, di mana dua sisi sebenarnya memiliki set vertex yang sama; tapi saya akan puas dengan sesuatu pada k-reguler hypergraphs dengan ujung-ujungnya berpotongan tidak lebih dari k vert 1 simpul.

  • Pewarnaan tepi dari hypergraphs adalah di mana ujung-ujungnya dengan warna yang sama tidak berpotongan, seperti halnya dengan grafik. Indeks kromatik χ '(H) adalah jumlah warna yang dibutuhkan, seperti biasa.

  • Saya ingin hasil pada algoritma waktu polinomial deterministik atau acak.

  • Saya mencari faktor pendekatan / aditif-gap yang paling dikenal antara apa yang dapat ditemukan secara efisien, dan indeks kromatik aktual χ '(H) --- atau dalam hal ini, hasil terbaik yang dapat dicapai secara efisien dalam hal parameter seperti derajat vertex maksimum Δ (H), ukuran hypergraph, dll.

Sunting: diminta oleh pernyataan Suresh tentang dual hypergraph di bawah ini, saya harus mencatat bahwa masalah ini setara dengan masalah menemukan pewarnaan simpul yang kuat dari hypergraph k-reguler : yaitu, di mana setiap simpul milik k tepi yang berbeda [tetapi ujungnya sekarang dapat berisi jumlah simpul yang berbeda], dan kami ingin pewarnaan simpul sehingga setiap simpul yang berdekatan memiliki warna yang berbeda. Reformulasi ini juga tampaknya tidak memiliki solusi yang jelas.

Catatan

Dalam kasus grafik, Teorema Vizing tidak hanya menjamin bahwa angka kromatik tepi untuk grafik G adalah Δ (G) atau Δ (G) +1, bukti standarnya juga memberikan algoritma yang efisien untuk menemukan Δ (G) ) + 1-tepi-pewarnaan. Hasil ini akan cukup baik bagi saya jika saya tertarik pada kasus k = 2; Namun, saya secara khusus tertarik pada k> 2 sewenang-wenang.

Tampaknya tidak ada hasil yang diketahui tentang batas pada pewarnaan tepi hypergraph, kecuali jika Anda menambahkan batasan seperti setiap tepi berpotongan di paling banyak simpul. Tapi aku tidak butuh batasan pada χ '(H) itu sendiri; hanya sebuah algoritma yang akan menemukan pewarnaan tepi yang "cukup baik". [Saya juga tidak ingin menempatkan batasan pada hypergraphs saya, kecuali karena k-uniform, dan mungkin terikat pada derajat verteks maksimum, misalnya Δ (H) ≤ f (k) untuk beberapa f ∈ ω (1) .]

[ Adendum. Saya sekarang telah mengajukan pertanyaan terkait pada MathOverlow tentang batasan pada nomor berwarna, konstruktif atau lainnya.]

Niel de Beaudrap
sumber
Tampaknya masalah ini kadang-kadang disebut pengemasan hypergraph . Apakah halaman berikut membantu? en.wikipedia.org/wiki/Packing_in_a_hypergraph
Tsuyoshi Ito
Saya takut artikel Wikipedia yang saya tautkan di komentar sebelumnya mungkin bukan bahan yang baik untuk belajar tentang subjek; terminologinya membingungkan, gagasan yang sama tampaknya didefinisikan lebih dari sekali, dan seterusnya. Saya berharap seseorang tahu materi yang lebih baik.
Tsuyoshi Ito
Penanya baru-baru ini memposting pertanyaan terkait erat pada MathOverflow: mathoverflow.net/questions/38853/… . @Niel de Beaudrap: Lain kali Anda mengirim ulang pertanyaan di tempat yang berbeda, tambahkan tautan di kedua arah.
Tsuyoshi Ito
@ Tsuyoshi: Terima kasih atas minat Anda pada masalah saya. Saya tidak menambahkan tautan dari sini ke MO karena minat pada topik tersebut tampaknya telah mati di sini, tanpa banyak kemajuan ke arah yang saya anggap sebagai jawaban yang memuaskan. (Bagaimanapun, saya menghubungkan kembali ke pertanyaan ini dalam pertanyaan MO; dan prioritas dapat dengan mudah ditetapkan dengan melihat ketika ditanya.) —— Tidak jelas bagi saya mengapa Anda merasa penting bahwa saya menautkan secara timbal balik , sebelum ada jawaban atas pertanyaan di MO untuk menginformasikan kemungkinan jawaban di sini; tetapi karena Anda bertanya, saya akan melakukannya.
Niel de Beaudrap
ΔΘ(Δr)

Jawaban:

3

Jawaban di bawah ini mematahkan kondisi Anda bahwa Anda tidak ingin pembatasan serius diberikan pada hypergraph Anda, tetapi mungkin menarik jika hanya sebagai pekerjaan terkait.

rr

Ada beberapa karya terbaru tentang masalah "pewarnaan warna-warni" untuk ruang jangkauan geometris, sebagian dimotivasi oleh masalah dalam jaringan sensor. Pertanyaan standar yang diajukan adalah:

kScS(k)cS(k)rSmin(|r|,k)

cS(Δ)Δ

cS~(k)S~

S2cS(k)3k2

Referensi yang baik untuk badan kerja ini adalah makalah DCG oleh Aloupsis et al , dan referensi di dalamnya.

Suresh Venkat
sumber