Bukti Interaktif Angka Allah?


11

Saya telah belajar tentang bukti interaktif akhir-akhir ini dan saya bertanya-tanya apakah semuanya itu tidak lebih dari rasa ingin tahu teoretis, atau apakah itu memiliki aplikasi praktis. Saya pikir saya akan memulai dengan sebuah contoh yang terpikir oleh saya di kamar mandi:

Belakangan ini diberitakan bahwa "Angka Tuhan" = 20. (Angka Tuhan adalah jumlah minimal langkah yang diperlukan untuk menyelesaikan Rubik's Cube). Meskipun ini cukup menarik, tampaknya ada sedikit twist ... Ini bukan bukti "normal" dalam buku pelajaran, waktu yang dapat diverifikasi jumlahnya banyak. Bukti ini memiliki citarasa "brute force" yang jelas - maksud saya, dudes di lab Dr Morley mencoba dengan miliaran dan milyaran kombinasi kubus dalam superkomputer besar Google untuk menemukan ini, batas bawah yang rapi dan ketat.

Bagaimanapun, pertanyaannya adalah: Bagaimana kita dapat yakin bahwa Dr Morley Davidson dan timnya jujur? Nah, segera dapat membuang argumen dari otoritas ke luar jendela karena tidak matematis. Alternatif yang jelas adalah memverifikasi ulang buktinya, dengan memeriksa kode sumber dan menjalankan semuanya lagi, yang tampaknya merupakan pemborosan sumber daya komputasi, belum lagi fakta bahwa setiap orang yang ingin diyakinkan akan hal ini akan perlu melakukannya di workstation sendiri - proposisi yang sangat membosankan dan tidak menyenangkan bagi skeptis sejati. Jadi ini tampaknya semacam deilema ontologis.

Jadi yang saya percaya adalah ini adalah situasi yang tepat di mana kita membutuhkan bukti interaktif . Superkomputer Google bisa menjadi Prover yang kuat tetapi menipu, dan kami yang skeptis, jika bukan anggota anal publik, adalah Penguji yang terikat secara polinomi. Jika kita entah bagaimana dapat menanyakan "Oracle" kita beberapa kali jumlahnya banyak, dan diyakinkan tentang batas bawah ini, kita dapat diyakinkan oleh fakta bahwa dia benar, tanpa keraguan.

Jadi sepertinya masalah Keputusan "Nomor Tuhan adalah <20" terletak pada atau dapat dinyatakan kembali sebagai berikut (tidak resmi)Π2p

Untuk semua kombinasi awal di Rubik's Cube, ada solusi yang mengambil <= 20 langkah, β yang menyelesaikannya.αβ

(tidak yakin apakah itu benar, tetapi dan β keduanya berukuran kecil, mengingat konfigurasi awal dan solusi mudah untuk memverifikasi bahwa memang memang memecahkan kubus)αβ

dan masalah Keputusan "nomor Tuhan adalah 20" dapat dinyatakan kembali sebagai

Angka Tuhan adalah <20 dan ada solusi untuk beberapa kombinasi awal kubus Rubik yang mengambil 20 langkah.

Jadi mungkin ada bukti IP [n] untuk ini. (Sekali lagi, periksa pekerjaan saya)

Pertanyaan saya ada dua

  1. Apakah ada cara aktual untuk melakukan ini?
  2. Apa contoh lain dari penggunaan bukti interaktif "praktis" yang ada?

Saya pikir maksud Anda "Angka Tuhan" adalah jumlah maksimum gerakan yang diperlukan untuk menyelesaikan Rubix Cube. Demikian pula Anda menyebutkan beberapa kali "batas bawah ini rapi, ketat" sementara yang Anda maksud "batas atas."
Ross Snider

1
Bagaimanapun, sebagian jawaban untuk pertanyaan Anda. Ada kemungkinan pertanyaan terkait cstheory.stackexchange.com/questions/2461/… . Untuk pemahaman saya, jawaban untuk pertanyaan pertama Anda adalah ya - cukup ikuti protokolnya. Namun, itu juga pemahaman saya bahwa sebenarnya terlibat dalam pengaturan bukti interaktif belum "menarik perhatian." Adakah yang tahu kalau konstanta yang terlibat sangat tinggi?
Ross Snider

Π2PSPACE

Jawaban:


10

Π2p

PHP#PLPH

Menggunakan teknik mereka, Shamir membuktikan bahwa IP = PSPACE .

Sebelumnya terbukti bahwa semua IP memiliki bukti nol-pengetahuan , jadi:

Semua bahasa di PSPACE memiliki bukti interaktif tanpa pengetahuan.


Π2#P

@ Peter: Jika dengan "praktis" yang Anda maksudkan adalah BPP, maka Anda benar. Faktanya, hanya bahasa NP yang memiliki bukti seperti itu.
MS Dousti

Saya maksudkan dengan "praktis" sesuatu di mana pepatah memiliki kekuatan komputasi yang kira-kira sama dengan bukti bahwa angka Allah = 20.
Peter Shor

1
α

2
@sadeq: Mungkin beberapa masalah di MA dan AM mungkin, tapi saya tidak mengetahui apa pun di luar kelas-kelas ini yang memiliki bukti interaktif "praktis".
Peter Shor

1

20Gs=U,U,U2,D,D,D2,mϵπ

n<mnmπAG AM

|s|=18m

  • nmϵgG18n|G|gsn

  • n<mk=|A|gGg18n2|G|n

ϵ1109|G|k110|G|

n

  1. gGhG18n|G|yh
  2. Wng
  3. Wh(W)=yng
  4. Arthur dan Merlin mengulangi untuk menguatkan sesuai kebutuhan

Karena, untuk kelompok saya pikir, waktu pencampuran setidaknya diameter (angka Tuhan), ini juga memberikan bukti Arthur-Merlin untuk mengikat jumlah Tuhan dari kelompok besar.

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.