Kompleksitas mengenali grafik vertex-transitif

16

Saya tidak memiliki pengetahuan di bidang teori kompleksitas yang melibatkan kelompok, jadi saya minta maaf jika ini adalah hasil yang diketahui.

Pertanyaan 1. Biarkan menjadi grafik pesanan sederhana yang tidak diarahkan n . Apa kompleksitas komputasi (dalam hal n ) untuk menentukan apakah G adalah verteks-transitif?GnnG

Ingat bahwa grafik adalah titik-transitif jika A u t ( G ) bertindak transitif pada V ( G ) .GAut(G)V(G).

Saya tidak yakin jika definisi di atas memungkinkan untuk algoritma waktu polinomial karena dapat bahwa urutan adalah eksponensial.Aut(G)

Namun grafik vertex-transitif memiliki beberapa sifat struktural lain yang mungkin dieksploitasi agar dapat menentukannya secara efisien, jadi saya tidak yakin apa status dari pertanyaan di atas.

Subkelas lain yang menarik dari grafik vertex-transitive yang memiliki struktur lebih banyak lagi adalah kelas grafik Cayley . Jadi wajar juga jika mengajukan pertanyaan terkait berikut

Pertanyaan 2. Apa kompleksitas komputasi dalam menentukan apakah grafik adalah grafik Cayley?G

Jernej
sumber
3
Meskipun kelompok automorfisme dapat menjadi super-eksponensial, saya pikir itu dapat diwakili dalam ruang polinom karena jumlah minimum generator paling banyak adalah logaritma di |Aut(G)|
Timothy Sun
2
Perhatikan bahwa setiap grafik verteks-transitif adalah grafik Cayley-Schrier: ada beberapa grup dengan himpunan S dan subkelompok H sedemikian rupa sehingga simpul dari grafik adalah cosets G / H , dan dua cosets dihubungkan oleh edge jika beberapa elemen S mengambil satu ke yang lain. GSHG/HS
Joshua Grochow

Jawaban:

14

Saya tidak punya jawaban yang lengkap, tetapi saya pikir kedua masalah itu terbuka.


Makalah karya Jajcay, Malnič, Marušič [3] terkait dengan pertanyaan pertama Anda. Mereka menyediakan beberapa alat untuk menguji transitex verteks. Mereka mengatakan dalam pendahuluan bahwa:

Untuk grafik yang terbatas diberikan , itu jelas sulit untuk menentukan apakah Γ adalah titik-transitif, dan jawaban utama datang biasanya hanya setelah bagian penting dari kelompok automorphism penuh Γ telah ditentukan.ΓΓΓ

Perhatikan bahwa uji transit-simpul dapat dilakukan dengan menguji grafik isomorfisme kali. Buatlah dua salinan G dan G ' dari grafik Anda, dengan jangkar khusus (seperti jalan panjang n + 1 ) di u V ( G ) dan v V ( G ' ) . Ada isomorfisme antara G dan G jika dan hanya jika grafik asli memiliki pemetaan automorfisme u ke v . Dengan demikian Anda dapat menguji verteks-tansitivity dengan memperbaiki vertexn1GGn+1uV(G)vV(G)GGuvx, dan memeriksa bahwa ada pemetaan automorfisme x ke semua simpul lainnya.

Perhatikan juga bahwa jika uji transeksif verteks dapat dilakukan dalam waktu polinomial, maka uji isomorfisme untuk grafik transeks-verteks. Ini karena dua grafik verteks-transitif adalah isomorfik jika dan hanya jika persatuan terpisahkan mereka adalah transeks-verteks. Saya percaya bahwa kompleksitas isomorfisme grafik untuk grafik vertex-transitif tidak diketahui.


Untuk pertanyaan ke-2, saya menemukan hasil parsial. Sebuah grafik circulant adalah grafik Cayley pada sekelompok siklik. Evdokimov dan Ponomarenko [2] menunjukkan bahwa pengenalan grafik peredaran dapat dilakukan dalam waktu polinomial. Juga bab buku karya Alspach [1, Bab 6: Grafik Cayley, Bagian 6.2: Pengakuan] akan menarik bagi Anda, meskipun dikatakan bahwa:

Kami akan mengabaikan masalah komputasi untuk mengenali apakah grafik arbitrer adalah grafik Cayley. Alih-alih, kami selalu menganggap bahwa grafik Cayley telah dideskripsikan berdasarkan kelompok tempat mereka dibangun, bersama dengan set koneksi. Untuk sebagian besar masalah, ini bukan kelemahan.


  1. Beineke, Wilson, Cameron. Topik dalam Teori Grafik Aljabar . Cambridge University Press, 2004.
  2. Evdokimov, Ponomarenko. Grafik Circulant: Mengenali dan menguji isomorfisme dalam waktu polinomial. St Petersburg Math. J. 15 (2004) 813-835. doi: 10.1090 / S1061-0022-04-00833-7
  3. Jajcay, Malnič, Marušič. Pada jumlah jalan tertutup dalam grafik vertex-transitive. Matematika Terpisah. 307 (2007) 484-493. doi: 10.1016 / j.disc.2005.09.039
Yota Otachi
sumber
4
n1xx