Grafik isomorfisme dengan hubungan ekivalensi pada set simpul


9

Grafik berwarna dapat digambarkan sebagai tuple mana adalah grafik dan adalah pewarnaannya. Dua grafik berwarna dan dikatakan isomorfis jika ada isomorfisma sedemikian rupa sehingga pewarnaannya dipatuhi, yaitu untuk semua .(G,c)Gc:V(G)N(G,c)(H,d)π:V(G)V(H)c(v)=d(π(v))vV(G)

Gagasan ini menangkap isomorfisme dari grafik berwarna dalam arti yang sangat ketat. Pertimbangkan kasus di mana Anda memiliki dua peta politik dari wilayah yang sama tetapi mereka menggunakan set warna yang berbeda. Jika seseorang bertanya apakah mereka diwarnai dengan cara yang sama, orang akan menganggap ini berarti apakah ada pemetaan bijective antara dua set warna sedemikian rupa sehingga warna kedua peta bertepatan melalui pemetaan ini. Gagasan ini dapat diformalkan dengan menggambarkan grafik berwarna sebagai tuple di mana adalah relasi ekivalen pada himpunan titik dari . Kita kemudian dapat mengatakan dua grafik seperti itu dan isomorfis jika terdapat isomorfisme sedemikian rupa sehingga untuk semua pasangan(G,)G(G,1)(H,2)π:V(G)V(H)v1,v2V(G) menyatakan bahwa

v11v2 iff π(v1)2π(v2)

Pertanyaan saya adalah apakah konsep ini telah dipelajari sebelumnya dan menemukan bentuk kanonik dll. Dan jika demikian dengan nama apa ia dikenal?


3
Tolong jangan gunakan notasi " " untuk apa pun selain hubungan kesetaraan! =
David Richerby

Jawaban:


9

Masalah yang Anda jelaskan telah dipertimbangkan (saya ingat mendiskusikannya di sekolah pascasarjana, dan pada saat itu sudah dibahas jauh sebelum itu), meskipun saya tidak dapat menunjuk ke referensi tertentu dalam literatur. Mungkin karena ini secara linear setara dengan isomorfisme graf tidak berwarna, seperti berikut (ini berlaku bahkan untuk bentuk kanonik). Sebut masalah yang Anda gambarkan EQ-GI.

GI hanyalah kasus khusus dari EQ-GI di mana setiap grafik hanya memiliki satu kelas ekivalensi yang terdiri dari semua simpul.

Di arah lain, untuk mengurangi EQ-GI ke GI, misalkan menjadi grafik dengan hubungan ekivalensi dengan simpul, tepi , dan kelas ekuivalensi . Buat grafik yang set simpulnya terdiri dari simpul , bersama dengan simpul baru , satu untuk setiap kelas ekuivalensi dalam , serta simpul baru . Hubungkan di jalur , hubungkan setiap ke , dan untuk setiap titik din m c G G v 1 , , v c = G n + c + 1 w 0 , , w n + c w i w 0 - w 1 - w 2 - - w n + c v i w 0 G v i G (G,G)nmcGGv1,,vc=Gn+c+1w0,,wn+cwiw0w1w2wn+cviw0G , hubungkan ke vertex kelas kesetaraan sesuai . Maka memiliki paling banyak simpul dan dapat dibangun pada dasarnya terikat waktu yang sama. (Ini juga memiliki paling banyak tepi - yang merupakan untuk grafik yang terhubung - tapi itu agak kurang relevan karena sebagian besar algoritma GI memiliki waktu berjalan yang pada dasarnya hanya bergantung pada .)viGm + n + c + ( n + c + 1 ) m + 4 n + 1 O ( m + n ) O ( m ) nn+2c+n+1O(n)m+n+c+(n+c+1)m+4n+1O(m+n)O(m)n

Pembaruan : Karena ada beberapa kebingungan dalam komentar, saya menambahkan di sini sketsa kebenaran dari argumen di atas. Diberikan dan , biarkan dan menjadi grafik yang dibuat seperti di atas; misalkan menunjukkan vertex dari atas di , dan yang ada di , dan juga untuk dan . Jika ada isomorfisme , itu harus mengirim ke untuk semua( G 2 , 2 ) G 1 G 2 v i , 1 v i G 1 v i , 2 G 2 w i , 1 w i , 2 G 1G 2 w i , 1 w i , 2 i w(G1,1)(G2,2)G1G2vi,1viG1vi,2G2wi,1wi,2G1G2wi,1wi,2i, karena di setiap grafik adalah simpul unik yang merupakan titik akhir dari setiap lintasan panjang setidaknya . Secara khusus, peta ke . Karena tetangga yang bukan persis , isomorfisma harus memetakan set ke set (dan khususnya dan harus memiliki nomor yang sama, , dari kelas ekivalensi). Perhatikan bahwa isomorfisma tidak perlu mengirim ke untuk semua n+c+1 w 0 , 1 w 0 , 2 w 0 w 1 v i { v 1 , 1 ,, v c , 1 }{ v 1 , 2 ,, v c , 2 }1 ~ 2 c v i , 1 v i , 2wn+cn+c+1w0,1w0,2w0w1vi{v1,1,,vc,1}{v1,2,,vc,2}12cvi,1vi,2v G 1 G 2 ( G 1 , 1 ) ( G 2 , 2 ) G 1G 2i , tetapi diizinkan untuk mengubah indeks selama kelas kesetaraan yang sesuai dapat dipetakan satu sama lain. Sebaliknya, berdasarkan uraian tentang bagaimana isomorfisma antara dan dapat terlihat, mudah untuk melihat bahwa jika maka ini memberikan isomorfisma .vG1G2(G1,1)(G2,2)G1G2


Sejauh yang saya mengerti ada masalah mendasar dengan pengurangan Anda. Anda pada dasarnya menegakkan properti invarian unik pada set simpul dari setiap kelas kesetaraan. Dalam hal ini Anda memilih eksentrisitas sebuah simpul sebagai properti invarian. Untuk grafik biarkan menjadi pewarnaan. Katakanlah adalah relasi ekivalensi yang dipicu oleh , yaitu iff . f = f f u = f v f ( u ) = f ( v )Gf=ffu=fvf(u)=f(v)
John D.

Sekarang, pertimbangkan mengurangi EQ-GI menjadi GI berwarna. Dengan argumen Anda untuk input sudah cukup untuk melewati dan memilih pewarnaan yang menginduksi . Masalahnya di sini adalah bahwa menyiratkan tetapi arah lain belum tentu benar karena kita tidak tahu korespondensi antara dua set kelas kesetaraan a priori. (G,=1),(H,=2)G,Hc1,c2=1,=2(G,c)(H,d)(G,=c)(H,=d)
John D.

Dengan kata lain, saya gagal untuk melihat bagaimana mungkin untuk transformasi grafik belaka untuk mengurangi EQ-GI menjadi GI berwarna sama sekali karena kendala yang lebih kompleks. Namun jelas bahwa konstruksi Anda akan berhasil mengurangi GI berwarna menjadi GI.
John D.

@ user17410 EQ-GI yang berwarna GI. "Sebut masalah yang kamu gambarkan EQ-GI." Sangat mungkin untuk transformasi grafik untuk mengurangi EQ-GI menjadi GI: pada kenyataannya hal ini dapat dilakukan untuk masalah isomorfisme pada struktur relasional ke GI. Pengurangan Joshua terlihat benar bagiku; Saya telah memikirkan yang sedikit lebih sederhana yang menambahkan simpul lebih banyak.
David Richerby

1
Argumen kebenaran Anda telah meyakinkan saya. Saya langsung mengambil kesimpulan untuk berpuasa sebelum meluangkan waktu untuk menganalisis pengurangan Anda, saya minta maaf.
John D.

3

Saya membaca komentar terakhir Anda dalam jawaban Yosua yang benar; jika Anda perlu mengubah EQ-GI menjadi GI berwarna (yaitu Anda berada dalam masalah dengan warna yang ditetapkan untuk kelas-kelas kesetaraan) Anda dapat menggunakan reduksi berikut:

Misalkan grafik awal adalah , dan ada kelas ekuivalensi ; maka Anda dapat menambahkan ke setiap grafik "permutator", yaitu grafik lengkap pada simpul ( , ) dan gunakan warna .G1=(V1,E1)G2=(V2,E2)q|V1|+1=|V2|+1K|V1|+1K|V2|+1q+1c1,...,cq,cq+1

Dalam dan , node dibedakan dan diwarnai dengan node yang tersisa diwarnai dengan . Node diwarnai dengan warna dan node dalam kelas ekivalensi yang sama ditautkan dengan warna yang sesuai dalam ; node diwarnai dengan warna dan node dalam kelas ekivalensi yang sama dihubungkan ke warna yang sesuai dalam .KKqc1,...,cqcq+1G1cq+1KG2q+1K

Perhatikan juga bahwa Anda dapat menjatuhkan warna dan mendapatkan instance GI yang setara :-)

masukkan deskripsi gambar di sini
Pengurangan menanggapi contoh dalam komentar Anda


Ini terlihat menjanjikan. Saya akan memeriksa kebenarannya nanti.
John D.

@ user17410: ok, beri tahu saya jika Anda memerlukan lebih banyak klarifikasi
Marzio De Biasi
Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.