Algoritma Quantum untuk Nomor Tuhan

9

Nomor Allah adalah kasus terburuk dari algoritma Allah yang

gagasan yang berasal dari diskusi tentang cara-cara untuk memecahkan teka-teki Rubik's Cube, tetapi yang juga dapat diterapkan pada teka-teki kombinasi dan permainan matematika lainnya. Ini merujuk pada algoritma apa pun yang menghasilkan solusi yang memiliki gerakan sesedikit mungkin, gagasan bahwa makhluk mahatahu akan mengetahui langkah optimal dari konfigurasi yang diberikan.

Menghitung angka Tuhan menjadi 20 dengan waktu "35 CPU-tahun waktu komputer idle (klasik)."

Kecepatan macam apa yang bisa dicapai dengan pendekatan kuantum?

meowzz
sumber
1
"Nomor Tuhan" untuk teka-teki kombinatorial terkait dengan diameter grafik seperti Cayley, yaitu jalur terkecil terkecil dalam grafik. Saya tidak berpikir masalah digeneralisasi untuk teka-teki dalam N P . Saya belum mempelajari makalah ini - arxiv.org/abs/quant-ph/0303131 - tapi saya pikir itu mengklaim kecepatan-Grover atas klasik. n×n×nNP
Mark S
1
Anda dapat mengajukan pertanyaan seperti ini untuk apa pun yang sulit untuk dihitung. Ini sepertinya tidak terlalu konstruktif. Mengapa Anda berpikir bahwa masalah khusus ini mungkin menarik dengan algoritma kuantum?
Norbert Schuch
@Norbert Schuch I kubus & melakukan komputasi kuantum. Ini masalah yang sangat menarik bagi saya (& saya akan berpikir untuk siapa pun yang tertarik dengan optimasi kombinatorial kuantum).
meowzz
1
Lihat juga mathoverflow.net/questions/77836/… dari situs saudara.
Mark S

Jawaban:

4

Kita bisa memikirkan kubus Rubik Cayley grafik dengan masing-masing (berwarna) tepi E menjadi salah satu langkah singmaster U , U 2 , U 3 = U - 1 , D , D 2 , D 3 , dan setiap simpul V menjadi salah satu dari 43252003274489856000 4.3 e 19 konfigurasi yang berbeda dari 3 × 3Γ=(V,E)EU,U2,U3=U1,D,D2,D3,V432520032744898560004.3e19 kubus.3×3×3

The diameter dari grafik adalah jalan terpendek terpanjang dalam grafik. Algoritma klasik untuk menentukan diameter adalah polinomial dalam ; lihat, misalnya, jawaban ini dari situs saudara.|V|

Seperti disebutkan di atas, angka Allah adalah (terkait dengan) diameter ini; untuk mengetahui jalur terpendek terpendek antara ke simpul untuk grafik Cayley pada suatu kelompok, cukup untuk mengetahui berapa banyak langkah menjauh dari keadaan terselesaikan yang ada. Kita tahu, terima kasih kepada Rokicki, Kociemba, Davidson, dan Dethridge, antara lain, bahwa jumlah Tuhan adalah . Algoritma yang mereka jalankan adalah polinomial dalam | V | , misalnya polinomial dalam 4.3 e 19 .20|V|4.3e19

Algoritma kuantum Heiligman untuk diameter grafik, disebutkan dalam komentar, mencapai percepatan Grover lebih algoritma Djikstra, dengan "total biaya kuantum ." Namun, saya percaya Heiligman mengkodekan grafik sebanyak algoritma klasik; misal dengan qubit O ( | V | ) . Jelas jika | V | = 4.3 e 19 maka ini tidak akan membantu.O(|V|9/4)O(|V|)|V|=4.3e19

Sebaliknya, cara lain untuk menyandikan kubus Rubik, seperti yang ditunjukkan dalam pertanyaan lain, tentu saja untuk mempersiapkan superposisi yang seragam di semua negara. Ini hanya membutuhkan log 4.3 e 19 qubit.4.3e19log4.3e19

Algoritme kuantum pandai berbicara tentang "nilai eigen" dan "vektor eigen" dan "status eigen." Menerapkan semua perpindahan Singmaster ke superposisi seragam dari semua negara tidak mengubah negara; yaitu superposisi yang seragam adalah status eigen dari rantai Markov pada grafik Cayley.4.3e19

Ada hubungan antara diameter grafik dan nilai eigen / vektor eigen dari adjacency yang sesuai / matriks Laplacian, terutama kesenjangan spektral, jarak antara dua nilai eigen terbesar ( ). Pencarian Google cepat "nilai eigen diameter" menghasilkan ini ; Saya sarankan menjelajahi pencarian Google serupa.λ1λ2

Kesenjangan spektral adalah persis apa yang membatasi algoritma adiabatik . Jadi, mungkin dengan mengetahui seberapa cepat algoritma adiabatik perlu dijalankan untuk berevolusi dari superpositon yang seragam ke keadaan terpecahkan untuk berbagai subkelompok / subruang dari kelompok kubus Rubik, orang dapat memperkirakan celah spektral, dan menggunakannya untuk mengikat angka Tuhan. Tapi saya dengan cepat keluar dari liga saya di sini dan saya ragu rasa akurasi dapat dicapai.

Tanda
sumber
3<n
1
186n×nτnτnλ2δλ2δ
1
Ketika membaca jawaban itu belum sepenuhnya jelas "Apa jenis mempercepat dapat dicapai dengan pendekatan kuantum?".
JanVdA
1
@ JanVdA Terima kasih atas komentar Anda. Saya tidak pernah mengaku tahu semua detail jawaban untuk pertanyaan yang dicetak tebal itu. Saya hanya mencoba memberikan umpan balik tentang pendekatan yang mungkin perlu ditelusuri lebih lanjut, dan juga dengan ringan menangkal komentar lain dalam pertanyaan itu. Juga, seseorang sangat menyambut pertanyaan serupa dari saya.
Mark S