Aplikasi kombinatorik aditif dalam desain algoritma

12

Saya membaca survei oleh Trevisan dan Lovett tentang aplikasi kombinatorik aditif di TCS. Sebagian besar aplikasi ini berada di bawah kompleksitas komputasi , misalnya batas bawah. Saya ingin tahu apakah kombinatorik aditif telah menemukan aplikasi dalam desain algoritma juga.

Motivasi untuk pertanyaan saya adalah sebagai berikut: sementara hubungan antara aditif kombinatorik dan kompleksitas tampaknya agak alami, saya ingin tahu bagaimana struktur aljabar yang ditemukan oleh kombinatorik aditif dapat dieksploitasi dalam merancang algoritma yang efisien, jika ada. Pointer ke literatur akan dihargai.

pengguna32373
sumber
Saya pikir 'penerimaan' untuk jenis pertanyaan ini tidak ada gunanya, karena tujuannya adalah menyusun daftar petunjuk yang relevan. Tapi, saya menerima Ryan karena hasil yang direferensikan jelas merupakan jenis koneksi yang saya cari: penggunaan kombinatorik aditif eksplisit dalam desain algoritma, dan resolusi yang menarik dalam mengapa BSG gagal memecahkan 3SUM yang terkenal.
user32373

Jawaban:

17

Timothy Chan dan Moshe Lewenstein memiliki makalah tentang 3SUM dan masalah terkait dalam STOC mendatang, yang menerapkan versi efektif teorema BSG dari kombinatorik aditif untuk menyelesaikan varian 3SUM lebih cepat daripada n ^ 2 kali.

Lihat tautan ini ke surat kabar Chan .

Ryan Williams
sumber
3SAT
1
3SAT3SAT1.308n
8

The algoritma DC3 untuk menghitung array akhiran mengambil keuntungan dari kombinatorika aditif. Menggunakan perbedaan penutup di bagian kunci dari algoritma. Ide-idenya sangat keren dan mudah diakses. Algoritma ini juga memiliki kinerja yang sangat baik dalam praktik, dan diajarkan secara luas.

GSgGs,tSg=stGn

Berikut kutipannya:

Juha Kärkkäinen, Peter Sanders, Stefan Burkhardt. Konstruksi Lini Sufiks Pekerjaan Linier . Jurnal ACM, 2006.

DW
sumber
5

Jika Anda memasukkan pengujian dalam desain algoritma, Samorodnitsky menggunakan kombinatorik aditif untuk menunjukkan bahwa transformasi linear dapat diuji secara efisien [di sini] .

Manu
sumber