Masalah sederhana yang sifat keputusasaannya tidak diketahui

92

Saya sedang mempersiapkan ceramah yang ditujukan untuk jurusan matematika sarjana, dan sebagai bagian dari itu, saya sedang mempertimbangkan untuk membahas konsep decidability. Saya ingin memberikan contoh masalah yang saat ini tidak kita ketahui tidak dapat ditentukan atau tidak dapat ditentukan. Ada banyak masalah seperti itu, tetapi sejauh ini tidak ada yang tampak sebagai contoh yang bagus.

Apa masalah sederhana-untuk-menggambarkan yang kesopanannya terbuka?

Lev Reyzin
sumber
26
Masalah Collatz adalah masalah sederhana untuk dijelaskan yang keputusasaannya terbuka. Generalisasi masalah Collatz terbukti tidak dapat dipastikan. math.mit.edu/~poonen/papers/sampler.pdf mathworld.wolfram.com/CollatzProblem.html
Mohammad Al-Turkistany
2
Mungkin Anda juga dapat menunjukkan "trik" bagus ini: menulis sebuah program kecil (Anda dapat menyebutnya "goldbach") yang diulang melalui bilangan genap dan memeriksa bahwa n i = p j + p k untuk beberapa bilangan prima p j , p k < n i dan berhenti dalam kasus negatif ... lalu katakan "baiklah, kami tidak tahu apakah masalah penghentian untuk program ini dapat diputuskan!" :-). Ini menunjukkan korelasi kuat antara masalah teori bilangan dan masalah penghentian. ni5ni=pj+pkpj,pk<ni
Marzio De Biasi
8
Ini kelihatannya bagus, tetapi konsep decidability tidak berlaku hanya untuk satu contoh spesifik, karena untuk kedua kasus ini, jawabannya adalah tetap ya / tidak.
Lev Reyzin
6
@MarzioDeBiasi, itu bukan "korelasi kuat" antara masalah berhenti dan teori bilangan. Dugaan apa pun dari bentuk "widget frangible tidak / tidak ada" dapat diubah menjadi program yang berhenti jika ada widget frangible, asalkan frangibilitas dapat ditentukan dan widget secara rekursif dapat dihitung. Keberadaan program semacam itu hanya merupakan tautan paling sepele antara masalah berhenti dan teori widget.
David Richerby
2
@ DavidRicherby: cukup meyakinkan :-). Saya hanya mencoba untuk mengeluarkan fakta (mengejutkan bagi saya) yang menyelesaikan masalah berhenti untuk beberapa bit kode yang sesuai untuk memecahkan dugaan matematis lama. Jadi saya harus mengganti "korelasi kuat" dengan "korelasi lemah tapi mencengangkan bagi saya" :-) :-)
Marzio De Biasi

Jawaban:

91

Masalah Matriks Kematian untuk matriks 2x2. Yaitu, diberi daftar terbatas matriks bilangan bulat 2x2 M 1 , ..., Mk , dapatkah M i dikalikan dalam urutan apa pun (dengan banyak pengulangan sewenang-wenang) untuk menghasilkan semua-0 matriks?

(Kasus 3x3 diketahui tidak dapat diputuskan. Kasus 1x1, tentu saja, dapat ditentukan.)

Scott Aaronson
sumber
6
epubs.siam.org/doi/abs/10.1137/1.9781611974782.12 Igor Potapov dan Pavel Semukhin baru-baru ini menunjukkan ini dapat dipilih.
Chao Xu
4
@ChaoXu: Makalah itu sepertinya hanya untuk matriks non-tunggal .
2
@ RickyDemer Anda benar, kesalahan saya.
Chao Xu
57

UPDATE: Masalah yang saya sebutkan di sini sekarang diketahui tidak dapat dipastikan! http://arxiv.org/abs/1605.05274 Selain itu, makalah ini terinspirasi oleh membaca jawaban ini. :)


Pemrogram dalam audiens mayor matematika Anda mungkin terkejut mengetahui bahwa pertanyaan "apakah tipe ini secara implisit dapat dikonversi ke tipe itu?" tidak diketahui dapat dipilih dalam Java 5, C # 4 dan Scala 2.

Untuk detail lebih lanjut, lihat makalah Andrew Kennedy dan Benjamin Pierce "Tentang Decidability of Nominal Subtyping with Variance" . Makalah ini memberikan beberapa contoh pembatasan tambahan untuk sistem jenis bahasa-bahasa ini, di mana subtyping nominal diketahui dapat ditentukan atau diketahui tidak dapat diputuskan.

Menariknya, makalah ini ditulis jauh sebelum kovarians generik dan contravariance ditambahkan ke C #, tetapi penulis dengan benar mengantisipasi arah bahasa yang dituju. (Ini tidak mengejutkan; penulis merancang dukungan yang mendasari varian di CLR yang saya manfaatkan ketika menambahkan varian ke C #! Mereka melakukan angkat berat.)

Eric Lippert
sumber
7
@ vzn: Kompiler Microsoft C # dapat dibuat untuk masuk ke rekursi tanpa batas. Lihat artikel saya tentang masalah ini: blogs.msdn.com/b/ericlippert/archive/2008/05/07/…
Eric Lippert
3
@ vzn: Ada cara untuk membuat kompiler Java berperilaku buruk juga, tetapi saya tidak tahu detailnya.
Eric Lippert
2
@vzn Bahasa jenis Scala adalah Turing lengkap, dan karenanya tipe-pemeriksa Scala dapat diulang. Lihat di sini untuk detailnya. Hal yang sama berlaku untuk Haskell . Saya tidak cukup akrab dengan C # dan Java untuk mengetahui apakah seseorang bisa mendapatkan checker tipe repektif mereka ke loop.
Martin Berger
3
@vzn: Mungkin ini juga menarik bagi Anda: resolusi kelebihan di C # 3 setidaknya NP-HARD karena Anda dapat memaksa kompiler untuk memecahkan masalah SAT yang sewenang-wenang: blogs.msdn.com/b/ericlippert/archive/2007/03 / 28 / ...
Eric Lippert
7
@ vz: Akhirnya, pertanyaan "apakah ini agak akademis?" tentu saja dijawab ya. Pertanyaannya "apakah bla diketahui dapat dipercaya?" pada dasarnya adalah pertanyaan akademis. Kasus-kasus ini tidak muncul dalam kode lini bisnis realistis. Pentingnya pertanyaan ini dari perspektif teknik dalam keamanan ; dapatkah pihak ketiga yang bermusuhan memberikan kode di mana menganalisanya sebelum menjalankannya dapat menyebabkan perilaku buruk? Itulah situasi kami di internet, di mana pihak ketiga yang bermusuhan mengirim JavaScript ke browser Anda.
Eric Lippert
47

Masalah kesepuluh Hilbert atas rasional: "Apakah persamaan polinomial ini punya solusi rasional?"

Boris Bukh
sumber
1
Terima kasih - apakah Anda memiliki tautan ke tempat yang katanya terbuka?
Lev Reyzin
1
Lihat www-math.mit.edu/~poonen/papers/subrings.pdf (paragraf kedua). Ada juga artikel ekspositori di www-math.mit.edu/~poonen/papers/aws2003.pdf
Boris Bukh
juga akan membantu untuk melihat deskripsi sketsa / garis besar mengapa masalah ini tidak setara dengan masalah ke-10 Hilberts & bukti yang sama tidak berlaku.
vzn
2
vzn: Persamaan atas rasional dapat dilihat sebagai kasus khusus persamaan atas bilangan bulat (dengan mengalikan untuk menghapus penyebut). Jadi pertanyaannya adalah apakah kasus khusus masalah 10 Hilbert sudah diputuskan. Persamaan Diophantine yang dihasilkan oleh bukti yang ada tidak memiliki bentuk khusus yang diperlukan.
Scott Aaronson
1
@vzn Salah satu alasan mengapa hal itu tidak kentara adalah bahwa sebagian besar (mungkin semua) strategi bukti akan melanggar dugaan Mazur. Lihat halaman 1 dari tautan pertama Boris Bukh untuk lebih lanjut.
David E Speyer
23

Masalah sederhana yang decidability-nya tidak diketahui adalah sebagai berikut (saya pikir itu masih terbuka):

Catur tak terbatas :

Masukan : Daftar terbatas buah catur dan posisi awal mereka pada papan catur; Pertanyaan : Bisakah White memaksa sobat?Z×Z

Jika kita menambahkan batasan bahwa White harus kawin dalam gerakan ( n adalah bagian dari input), maka itu menjadi dapat ditentukan: lihat Dan Brumleve, Joel David Hamkins, dan Philipp Schlicht, Masalah pasangan dalam catur tak terbatas dapat diatasi. .nn


Masalah sederhana lainnya adalah perilaku semut Langton pada konfigurasi awal yang terbatas.

Perilaku semut Langton dengan dukungan terbatas :

Kotak di pesawat berwarna beragam baik hitam atau putih. Kami secara sewenang-wenang mengidentifikasi satu kotak sebagai "semut". Semut dapat melakukan perjalanan dalam salah satu dari empat arah mata angin pada setiap langkah yang diambilnya. Semut bergerak menurut aturan di bawah ini:

  • Di kotak putih, putar 90 ° ke kanan, balikkan warna kotak, maju satu unit
  • Di kotak hitam, belok kiri 90 °, balikkan warna kotak, maju satu unit

Input : konfigurasi terbatas (hitam / putih) dari pesawat dan posisi semut;
Pertanyaan : Apakah semut selalu berakhir membangun "jalan raya" tak terbatas berulang?

masukkan deskripsi gambar di sini

Untuk dukungan tanpa batas, masalahnya tidak dapat dipastikan, lihat: A. Gajardo, A. Moreira dan E. Goles, Kompleksitas semut Langton

Marzio De Biasi
sumber
20

Masalah Collatz adalah masalah sederhana untuk dijelaskan yang keputusasaannya terbuka. Ini melibatkan pengulangan sederhana operasi aritmatika dasar.

f(n)={ n/23n+1

n0

Menariknya, generalisasi masalah Collatz terbukti tidak dapat diputuskan.

Referensi:

1- MASALAH YANG TIDAK TERPUTUS: SAMPLER , BJORN POONEN

2- Weisstein, Eric W. "Masalah Collatz." Dari MathWorld - Sumber Daya Web Wolfram.

3- Masalah 3X + 1: Suatu Tinjauan , Jeffrey C. Lagarias

Mohammad Al-Turkistany
sumber
13
Sebenarnya, jawaban untuk pertanyaan khusus Anda adalah "ya" atau "tidak," sehingga tidak bisa dipungkiri. Di sisi lain, memberi tahu apakah nomor tertentu adalah nomor Collatz mungkin tidak dapat ditentukan.
Lev Reyzin
@LevReyzin Terima kasih. Diedit untuk memperbaiki masalah.
Mohammad Al-Turkistany
senang jawaban ini sekarang disertakan & menyarankan semua masalah teori bilangan terbuka utama lainnya dapat dirumuskan dengan cara yang sama seperti di komentar / jawaban & pikir tautan mendasar ini dekat dengan teorema jembatan penting yang belum dijelajahi oleh komunitas teoretis.
vzn
mempelajari dugaan Collatz dari sudut yang lebih TCS / empiris dengan banyak referensi di sini (misalnya melalui rekursi transduser FSM , sistem tag dll)
vzn
16

Desidabilitas penahanan query konjungtif telah terbuka selama lebih dari dua puluh tahun. Memecahkan ini akan menjadi terobosan dalam teori database.

Q1Q2Q1IQ2I

Dalam pertanyaan konjungtif, seseorang menggunakan DAN untuk menghubungkan bersama predikat yang dikuantifikasi secara eksistensial. Dalam istilah SQL, kueri konjungtif adalah kueri SELECT-FROM-WHERE menggunakan "=" dan "AND" tetapi tidak ada subquery atau agregasi. Ini mungkin jenis yang paling umum dari permintaan basis data, dan termasuk sebagian besar permintaan mesin pencari.

IQ1Q2

(N,+,×)(N,+,×)

Untuk petunjuk ke literatur yang luas dan perawatan yang ketat, lihat kertas ToDS (di media cetak) oleh beberapa orang.

QRQQ AND RQ

András Salamon
sumber
Berikut artikel terkait .
Martin Berger
1
@ MartinBerger: Versi ToDS mencakup bukti NP-hardness yang disebutkan di atas, memiliki bukti penuh, dan merupakan akses terbuka (meskipun menghilangkan materi tentang serikat CQ karena kurangnya ruang). dx.doi.org/10.1145/2556524
András Salamon
15

Masalah Korespondensi Post dengan jumlah ubin tetap antara 3 dan 6.

Walaupun tidak terlalu sederhana untuk dijelaskan, itu memang memiliki deskripsi yang sangat "lucu", dan saya merasa cocok untuk pembicaraan tingkat intuisi.

Shaull
sumber
13

Masalah Ketinggian-bintang umum: "Berapa banyak sarang bintang-bintang Kleene yang saya perlukan untuk mewakili bahasa reguler ini, dengan ekspresi reguler dengan komplementasi yang diizinkan?"

Kami bahkan tidak tahu apakah algoritme yang selalu mengembalikan 1 (kecuali 0 untuk bahasa bebas bintang, yang merupakan kasus yang dapat ditentukan) benar.

Denis
sumber
10

Masalah dari Teori Automata.

D

xDxxL(D)Primes

Komentar: Saya awalnya mendengar masalah ini dari jawaban stackexchange oleh Jeffrey Shallit. Jika Anda mengetahui referensi untuk itu, beri tahu saya. Terima kasih!

Posting terkait:

(1) Apakah ada masalah terbuka yang tersisa tentang DFA?

(2) https://cs.stackexchange.com/questions/48084/determining-if-infinite-binary-language-dfas-contain-at-least-1-prime

Pekerjaan Terkait: https://cs.uwaterloo.ca/~shallit/Papers/br10.pdf

"Elemen Minimal untuk Bilangan Prime" oleh C. Bright, R. Devillers, dan J. Shallit

Michael Wehar
sumber
7

Peta berulang pada interval (deskripsi dari sini ):

(sangat terkait dengan masalah yang diajukan oleh Magnus Find)

FxxxF(x)F(F(x))FxF

Fxyxy

F

FxyxF

Referensi: Asarin 2011 .

Nicolas Perrin
sumber
2

tampaknya ada cara / sudut yang cukup alami untuk mempelajari pertanyaan ini yang digunakan dalam setidaknya 3 makalah sebagai berikut.

TM(k,l)klk,lk,l

hasilnya dapat ditampilkan pada kotak seperti pada beberapa referensi berikut. juga di daerah perantara sebenarnya diketahui bahwa beberapa mesin (tidak terselesaikan) mampu mensimulasikan dugaan Collatz untuk beberapa input.

oleh karena itu jelas ada "titik transisi" seperti fenomena yang beroperasi di sini tetapi tidak dalam wilayah yang dapat dihitung tetapi dalam pengertian yang tidak biasa antara dapat dihitung dan tidak dapat dihitung.

ay
sumber
ps the De Mol ref pdf tidak dapat diunduh untuk saya dari arxiv pada saat penulisan, itu hang
vzn
-10

ada cara yang cukup alami untuk memetakan sebagian besar masalah terbuka ke pertanyaan (tidak) kepastian. kebanyakan masalah terbuka umumnya tidak diketahui dapat dibuktikan atau tidak dapat dibuktikan.

di web ada beberapa kebingungan informal tentang ketidakpastian masalah P vs NP , yang bukan semata-mata masalah keputusan, oleh karena itu untuk berbicara tentang keraguannya itu secara teknis tidak benar. tetapi di sisi lain tampaknya ada hubungan dekat / alami antara ketidakpastian dan provabilitas sebagai berikut.

misalnya pertimbangkan

LxO(nx)

apakah bahasa ini dapat dipilih? itu adalah pertanyaan tentang bahasa dengan decidability terbuka yang pada dasarnya terkait erat (bahkan, hampir identik) dengan masalah P vs NP dan provabilitas yang melekat (tidak?).

Sedangkan untuk P vs NP sebagai "sederhana untuk digambarkan", itu hanya memerlukan konsep TMs , notasi runtime Big , nondeterminisme yang cukup sederhana (beberapa konsep TCS yang paling dasar) dan diajarkan di tingkat sarjana atau yang berbakat siswa sekolah menengah bisa mengerti.

sebenarnya NP vs P / Poly juga terbuka, dan dapat dipetakan ke pertanyaan terbuka tentang desidabilitas dengan cara yang sama, dan ini dapat dinyatakan sebagai masalah yang cukup sederhana tentang pertumbuhan sirkuit minimal (monoton?) untuk mengenali NP lengkap masalah (misalnya klik).

ay
sumber
3
LxL=xΘ(nx)LL
2
mengatakan bahwa integer tidak dapat dihitung adalah omong kosong. dan saya tidak berpikir prinsip menengah yang dikecualikan dipengaruhi oleh apakah pernyataan itu dapat dibuktikan.
Sasho Nikolov
5
perbaiki jawaban Anda atau berhenti meninggalkan komentar. Saya telah melihat pertanyaan-pertanyaan ini, tetapi jika Anda tidak dapat menggunakannya atau jawaban yang diberikan kepada mereka untuk memperbaiki kekacauan jawaban Anda sendiri, atau, lebih buruk lagi, jika Anda tidak mau, mungkin Anda harus pergi ke komunitas lain.
Sasho Nikolov
5
to the point, masalah dalam jawaban Anda sepele dapat diputuskan, terlepas dari resolusi atau independensi formal masalah P vs NP dari ZFC. juga, menciptakan masalah yang mungkin tidak dapat diputuskan atau dapat diputuskan secara sepele tergantung pada kebenaran dugaan yang terkenal tidak lebih dari latihan yang lucu (yang sejauh ini sama sekali gagal), dan dalam banyak kasus tidak menunjukkan apa pun tentang kesulitan intrinsik dugaan. .
Sasho Nikolov