Buku untuk mempelajari sendiri algoritma dalam teori grup


12

Saya seorang jurusan matematika yang tertarik pada TCS.

Saya ingin mempelajari sendiri algoritme, dan kompleksitasnya untuk menyelesaikan masalah teoretis kelompok seperti urutan elemen, penghitungan coset, menemukan generator, menguji apakah subset yang diberikan menghasilkan grup.

Buku apa yang harus saya baca?


4
Bisakah Anda lebih spesifik tentang apa yang Anda maksud dengan "masalah teori kelompok mendasar"? Bergantung pada minat Anda, sumber yang berbeda mungkin lebih atau kurang tepat ...
Joshua Grochow

Hal-hal seperti menemukan kosmetik, menemukan generator, menguji apakah subset dari grup adalah generator, menemukan urutan elemen, menemukan subkelompok
ricardorr

@ricardorr mungkin Anda dapat mengedit pertanyaan Anda untuk membuatnya lebih tepat? Seperti yang dikatakan Joshua, ada beberapa kelas masalah yang berbeda terkait dengan teori grup.
András Salamon

Jawaban:


6

Jika Anda tertarik pada teori grup yang relevan untuk Graph Isomorphism, maka selain buku Seress yang David Eppstein sebutkan, saya akan sangat merekomendasikan

Kelompok Permutasi Dixon dan Mortimer

Di atas adalah sebuah buku tentang teori kelompok "hanya", tetapi dari buku-buku tentang teori kelompok murni, itu mungkin yang paling relevan dengan Graph Isomorphism.

Sebuah buku yang lebih langsung tentang algoritma untuk graf isomorfisme, yang menempatkan algoritme grup-teoretis di tengah panggung, adalah:

Christoph Hoffman. Algoritma kelompok-teoritik dan grafik isomorfisme . Catatan Kuliah Springer dalam Ilmu Komputer 136.

Yang terakhir (bersama-sama dengan tesis Paolo Codenotti) saat ini adalah salah satu dari sedikit tempat yang dapat diakses secara luas di mana Anda dapat benar-benar menemukan akun lengkap dari beberapa algoritma kelompok-teoretis yang lebih untuk isomorfisme grafik.


16

Itu benar-benar membuat perbedaan apa input untuk algoritma: bagaimana Anda menentukan grup?

Jika Anda ingin grup yang diberikan oleh generator dan relator, saya akan menyarankan Combinatorial Group Theory , oleh Magnus, Karrass, dan Solitar (tetapi algoritma ada yang jarang karena terlalu banyak masalah penting tidak dapat ditentukan).

Jika Anda ingin grup otomatis (grup yang elemen-elemennya adalah rangkaian simbol dan yang grup operasinya dijalankan oleh finata automata, dengan aplikasi dalam topologi dimensi rendah), saya akan menyarankan Word Processing in Groups oleh Epstein (bukan saya!), Cannon, Holt , Levy, Paterson, dan Thurston.

Jika Anda menginginkan grup permutasi (jenis grup-teoritik algoritma yang paling relevan misalnya untuk graf isomorfisme) maka Seress memiliki buku Algoritma Permutasi Grup tetapi saya tidak memiliki salinan jadi saya tidak dapat memberi tahu Anda apakah itu bagus.

Seharusnya ada paragraf keempat di sini tentang algoritma kelompok matriks tapi saya tidak tahu buku tentang topik itu. Ada sedikit liputan dalam buku Seress.


6

Referensi paling modern dan komprehensif mungkin adalah "Buku Pegangan Teori Grup Komputasi" oleh Holt, Eick dan O'Brien (tautan)

Referensi klasik adalah "Komputasi dalam Grup yang Dipresentasikan dengan Sempurna" oleh Charles Simms.



2

Jika Anda hanya khawatir tentang grup permutasi terbatas, saya menemukan buku "Algoritma Fundamental untuk Grup Permutasi" oleh Gregory Butler sangat mudah dibaca. Ini hanya untuk grup permutasi terbatas tetapi merupakan satu-satunya buku yang memberikan kode pseudo dan deskripsi algoritmik yang dapat saya pahami (untuk Schreirer-Sims, perangkat pembangkit kuat, dll.). Buku Seress yang direkomendasikan oleh orang lain adalah layak tetapi untuk beberapa alasan dia memiliki keengganan untuk kode semu sehingga sangat sulit bagi saya untuk mengerti. Secara pribadi, saya menggunakan buku Butler untuk pemahaman konkret tentang algoritma dan buku Seress sebagai bantuan dalam memahami bukti kebenaran.

Buku Butler sudah cukup tua sekarang tapi saya masih belum menemukan pengantar yang lebih baik pada algoritma grup permutasi terbatas.


1

Saya memotong gigi pada Pencarian Pencacahan Generasi Algoritma Kombinatorial, http://www.math.mtu.edu/~kreher/cages.html .

Saya akan sangat merekomendasikannya. Anda belajar algoritma pengodean grup yang jauh lebih cepat karena contoh tangan akan rusak dengan sangat cepat. Juga ambil sistem seperti Sage atau Magma untuk digunakan sebagai kalkulator bangku.


Hanya sebuah catatan bahwa bab buku ini tentang kelompok tampaknya terutama tentang kelompok permutasi.
David Eppstein
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.