Bagaimana cara membuat grafik expander biasa?


14

Saya perlu membuat d-regular expander graph untuk beberapa simpul tetap kecil (seperti 3 atau 4) dari n simpul.

Apa metode termudah untuk melakukan ini dalam praktek? Membuat grafik d-reguler acak, yang terbukti sebagai expander?

Saya juga membaca tentang konstruksi Margulis dan grafik Ramanujan yang merupakan ekspander dan konstruksi yang menggunakan produk zig-zag. Wikipedia memberikan ikhtisar yang bagus tapi sangat singkat: http://en.wikipedia.org/wiki/Expander_graph#cite_note-10 Tapi metode apa yang saya pilih dalam praktik?

Bagi saya, metode ini tampaknya sangat rumit untuk diterapkan dan khususnya untuk dipahami dan mungkin sangat spesifik. Apakah tidak ada metode yang lebih mudah, mungkin berdasarkan permutasi atau lebih, untuk secara praktis menghasilkan urutan grafik ekspander d-reguler?

Apakah mungkin lebih mudah untuk membuat grafik d-reguler bipartite expander?

Saya juga punya pertanyaan lain: Bagaimana dengan keluarga ekspander buruk biasa? Apakah gagasan seperti itu masuk akal? Bisakah seseorang membuat keluarga grafik d-reguler (yang tentu saja terhubung) yang seburuk mungkin dalam arti expander?

Terima kasih sebelumnya.


2
Ada konstruksi eksplisit yang lebih mudah daripada yang Anda daftarkan, tetapi grafik acak harus melakukan trik dan memiliki parameter yang lebih baik.
Yuval Filmus

Bisakah Anda memberi nama atau referensi konstruksi? Dengan parameter yang lebih baik, maksud Anda ekspansi (tepi) yang lebih baik, saya kira?
user2145167

1
András memberikan contoh yang ada dalam pikiran saya, tetapi secara umum, grafik acak (hampir selalu) lebih baik daripada konstruksi eksplisit. Tidak hanya perluasan tepi yang lebih besar, properti serupa lainnya yang membantu algoritme Anda mungkin secara otomatis dipenuhi oleh grafik acak.
Yuval Filmus

Ok, untuk tingkat 3, contoh András atau grafik acak tampaknya cukup baik untuk aplikasi saya. Akan menarik, khususnya berkenaan dengan grafik acak, untuk membangun keluarga grafik 3-reg yang bukan ekspander. Tapi ini mungkin sangat sulit atau tidak mungkin?
user2145167

3
Ambil penyatuan s. Jika Anda ingin grafik terhubung, hapus satu sisi dari masing-masing K 4 (membentuk grafik yang dikenal sebagai grafik berlian), dan hubungkan mereka dalam satu siklus. K4K4
Yuval Filmus

Jawaban:


9

Jika Anda tidak keberatan grafik dengan loop-diri, keluarga ekspander "termudah" mungkin yang ini, memberikan ekspander yang 3-reguler.

Mulailah dengan beberapa bilangan prima , dan buat simpul bernomor 0 hingga p - 1 . Untuk setiap simpul u 0 , hubungkan u ke u - 1 dan u + 1 , modulo p . Juga sambungkan Anda dengan simpul unik v sehingga u v 1p0p1u0uu1u+1halkamuv .kamuv1modhal

Sebagai contoh, grafik 7-simpul dalam keluarga adalah 7-siklus dengan simpul diberi nomor secara berurutan di sekitar siklus; ada loop otomatis pada , 0 , dan 1 ; Akhirnya, ada akor yang bergabung dengan 3 dan 5 , dan 2 dan 4 .6013524

Lihat /mathpro/124708/an-expander-graph untuk diskusi dan referensi lebih lanjut. Ada banyak petunjuk yang lebih rinci dengan mencari "expander" di CSTheory , Math.SE , dan MO .

Seperti yang ditunjukkan Yuval Filmus, konstruksi acak cenderung memberikan hasil yang lebih baik secara umum, tetapi tentu saja tidak dapat menghasilkan expander (terutama untuk grafik kecil).


Terima kasih atas komentarnya. Saya telah mencari ekspander sebelumnya di situs lain tetapi tidak di MO, sepertinya ada lebih banyak hasil.
user2145167

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.