Label Hardness of Computing Weisfeiler-Lehman


15

The 1-dim algoritma Weisfeiler-Lehman (WL) umumnya dikenal sebagai label kanonik atau algoritma warna perbaikan. Ia bekerja sebagai berikut:

  • Pewarnaan awal seragam, untuk semua simpul .C0C0(v)=1vV(G)V(H)
  • Dalam putaran st, warna C i + 1 ( v ) didefinisikan sebagai pasangan yang terdiri dari warna sebelumnya C i - 1 ( v ) dan multiset warna C i - 1 ( u ) untuk semua u berdekatan dengan v . Misalnya, C 1 ( v ) = C 1 ( w ) iff v dan w memiliki derajat yang sama.(saya+1)Csaya+1(v)Csaya-1(v)Ci1(u)uvC1(v)=C1(w)vw
  • Agar penyandian warna tetap singkat, setelah setiap putaran warna diubah namanya.

Diberikan dua graf tidak berarah dan H , jika multiset warna (alias label) dari simpul G berbeda dari multiset warna dari simpul H , algoritma melaporkan bahwa grafik tersebut bukan isomorfik; jika tidak, itu menyatakan mereka sebagai isomorfik.GHGH

Sudah diketahui bahwa 1-dim WL bekerja dengan benar untuk semua pohon dan hanya membutuhkan putaran .O(logn)

Pertanyaanku adalah :

Berapakah tingkat kesulitan menghitung 1-dim WL label pohon? Apakah batas bawah lebih baik daripada logspace diketahui?

Jawaban:


11

Masalah dalam memutuskan apakah dua grafik memiliki pelabelan yang setara dan karenanya juga masalah penghitungan pelabelan kanonik selesai PTIME. Lihat

M. Grohe, Kesetaraan dalam logika variabel hingga selesai untuk waktu polinomial. Combinatorica 19: 507-532, 1999. (Versi konferensi di FOCS'96.)

Perhatikan bahwa kesetaraan penyempurnaan warna sesuai dengan kesetaraan dalam logika C ^ 2.

-Martin


3
Hai Martin. Selamat datang di cstheory.
Kaveh

@ Martin Apa kekerasan yang paling dikenal dari menghitung label WL dari grafik minor-gratis? Apakah masih lengkap? Saya mencoba untuk membuktikan bahwa Grafik Isomorfisme dari grafik bebas-kecil ada di AC1.
Shiva Kintali
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.