Baru-baru ini saya menemukan formulasi dari fenomena-meta : " dua itu mudah, tiga itu sulit " (diucapkan seperti ini oleh Federico Poloni), yang dapat dijelaskan, sebagai berikut:
Ketika masalah tertentu dirumuskan untuk dua entitas, itu relatif mudah untuk diselesaikan; Namun, algoritma untuk formulasi tiga entitas meningkat dalam kesulitan luar biasa, bahkan mungkin membuat solusi tidak layak atau tidak dapat dicapai.
(Saya menyambut saran untuk membuat frasa lebih indah, ringkas, dan akurat.)
Contoh bagus apa dalam berbagai bidang ilmu komputasi (mulai dari aljabar linier murni dan diakhiri dengan fisika komputasi istilah selimut) yang Anda tahu?
linear-algebra
computational-physics
computational-geometry
computational-chemistry
Anton Menshov
sumber
sumber
Jawaban:
Salah satu contoh yang muncul di banyak bidang fisika, dan khususnya mekanika klasik dan fisika kuantum, adalah masalah dua tubuh. Masalah dua tubuh di sini berarti tugas menghitung dinamika dua partikel yang berinteraksi, misalnya, berinteraksi dengan gaya gravitasi atau gaya Coulomb. Solusi untuk masalah ini sering dapat ditemukan dalam bentuk tertutup oleh transformasi variabel menjadi pusat massa dan koordinat relatif.
Namun, begitu Anda mempertimbangkan tiga partikel, secara umum tidak ada solusi bentuk tertutup .
sumber
Contoh terkenal adalah masalah kepuasan boolean (SAT). 2-SAT tidak rumit untuk diselesaikan dalam waktu polinomial, tetapi 3-SAT adalah NP-lengkap.
sumber
Dalam satu dan dua dimensi, semua jalan mengarah ke Roma, tetapi tidak dalam tiga dimensi.
Secara khusus, diberi jalan acak (sama-sama cenderung bergerak ke segala arah) pada bilangan bulat dalam satu atau dua dimensi, maka tidak peduli titik awal, dengan probabilitas satu (alias hampir pasti), jalan acak akhirnya akan sampai ke tempat yang ditentukan khusus. point ("Roma").
Namun, untuk tiga dimensi atau lebih, probabilitas untuk sampai ke "Roma" kurang dari satu; dengan probabilitas menurun seiring meningkatnya jumlah dimensi.
Jadi misalnya, jika melakukan simulasi stokastik (Monte Carlo) jalan acak yang dimulai dari "Roma", yang akan berhenti ketika Roma kembali ke, maka dalam satu dan dua dimensi, Anda dapat yakin pada akhirnya membuatnya kembali ke Roma dan menghentikan simulasi - sangat mudah. Dalam tiga dimensi, Anda mungkin tidak akan pernah bisa kembali, sekeras itu.
https://en.wikipedia.org/wiki/Random_walk#Higher_dimensions
Lihat http://mathworld.wolfram.com/PolyasRandomWalkConstants.html untuk nilai numerik.
sumber
Berikut ini satu hal yang dekat dengan hati para kontributor di SciComp.SE:
The Navier-Stokes keberadaan dan kelancaran masalah
Versi tiga dimensi tentu saja merupakan masalah terbuka yang terkenal dan menjadi subjek Hadiah jutaan dolar Clay. Tetapi versi dua dimensi telah dipecahkan sejak lama, dengan jawaban yang meyakinkan. Terry Tao mencatat bahwa solusinya pada dasarnya kembali ke tesis Leray pada tahun 1933!
Mengapa masalah tiga dimensi jauh lebih sulit untuk dipecahkan? Respon standar, tangan-bergelombang adalah bahwa turbulensi menjadi jauh lebih tidak stabil dalam tiga dimensi daripada dua. Untuk jawaban yang lebih matematis, lihat pernyataan masalah resmi Charles Fefferman di Clay Institute atau penjelasan bagus Terry Tao tentang strategi bukti yang mungkin .
sumber
Dalam teori pilihan sosial, merancang skema pemilihan dengan dua kandidat itu mudah (aturan mayoritas), tetapi merancang skema pemilihan dengan tiga kandidat atau lebih tentu melibatkan melibatkan pertukaran antara berbagai kondisi yang masuk akal. ( Teorema ketidakmungkinan Arrow ).
sumber
Namun, ketika pengurangan simultan dari tiga matriks ke bentuk kanonik (kondisi yang lebih lemah dibandingkan dengan yang di atas) diperlukan:
Sumber: CF van Loan, "Kuliah 6: Dekomposisi nilai singular umum tingkat tinggi," CIME-EMS Summer School, Cetraro, Italia, Juni 2015.
sumber
Ada banyak contoh dalam komputasi kuantum, meskipun saya sudah keluar dari ini untuk sementara waktu dan jadi tidak ingat banyak. Satu yang utama adalah bahwa keterikatan bipartit (keterikatan antara dua sistem) relatif mudah sedangkan keterikatan di antara tiga atau lebih sistem adalah kekacauan yang tidak terpecahkan dengan kemungkinan seratus makalah yang ditulis pada topik.
Makalah ini tampaknya relevan, meskipun saya belum membacanya: Sebagian besar masalah tensor NP-hard
sumber
Pembelahan sudut dengan penggaris lurus dan kompas adalah sederhana, pembagian tiga sudut pada umumnya tidak mungkin.
sumber
Ketik inferensi untuk tipe Peringkat-n . Ketik inferensi untuk Peringkat-2 tidak terlalu sulit, tetapi inferensi tipe untuk Peringkat-3 atau di atas tidak dapat ditentukan.
sumber
Berikut ini salah satu dari optimasi: algoritma Alternating Direction of Multipliers (ADMM).
Diberikan fungsi objektif yang tidak terpisahkan dan cembung dari dua variabel (variabel itu sendiri bisa menjadi vektor) dan kendala linear yang menyertai dua variabel:
(Catatan: beberapa peneliti seperti Eckstein membuang pandangan pemisahan Gauss-Siedel yang mendukung operator proksimal, misalnya lihat http://rutcor.rutgers.edu/pub/rrr/reports2012/32_2012.pdf )
Untuk masalah cembung, algoritma ini telah terbukti konvergen - untuk dua set variabel. Ini bukan kasus untuk tiga variabel. Misalnya masalah optimasi
https://web.stanford.edu/~yyye/ADMM-final.pdf
sumber
Melipat selembar kertas menjadi dua tanpa alat itu mudah. Melipatnya menjadi tiga adalah sulit.
Memfaktorkan polinomial dengan dua akar itu mudah. Anjak polinomial dengan tiga akar secara signifikan lebih rumit.
sumber
Perbedaan ini memiliki beberapa implikasi:
sumber
The
TREE
fungsi.Kita dapat menghitung
TREE(2) = 3
, tetapiTREE(3)
tidak dapat dihitung dalam masa hidup semesta, kita hanya tahu bahwa itu terbatas.sumber
TREE(3)
Dalam ruang dua dimensi, Anda dapat memperkenalkan struktur kompleks, yang dapat digunakan untuk menyelesaikan banyak masalah secara elegan (misalnya masalah aliran potensial ), tetapi tidak ada analog dalam 3 dimensi.
sumber
Dalam fisika banyak-tubuh kuantum, kita mempelajari berbagai kisi-kisi n berputar dalam kerangka model yang berbeda (misalnya model Heisenberg, model Bose-Hubbard, model Ising, ...). Anda tentu saja memiliki metode numerik yang berbeda untuk mempelajarinya (DMRG, diagonalisasi yang tepat, jaringan saraf, ...) dan salah satu alasan kami mencoba mengembangkan metode yang berbeda adalah karena Anda tidak dapat menyelesaikan model ini ketika n menjadi terlalu "tinggi" , dan tentu saja lebih buruk jika Anda belajar di dimensi yang lebih tinggi. Misalnya, untuk Model Ising, diagonisasi yang tepat bekerja dengan baik dalam 1d untuk n tidak lebih tinggi dari 20. Jadi, untuk n yang lebih tinggi, Anda mencoba metode lain: DMRG. Tetapi yang terakhir ini memang bekerja dengan baik untuk n yang lebih tinggi (seperti n = 70 tetapi tidak baik untuk n yang lebih tinggi). Sekali lagi, Anda ingin metode lain untuk jaringan saraf yang lebih tinggi (yaitu kecerdasan buatan). Dan di samping dengan jaringan saraf, Anda dapat mempelajari "lebih mudah" (yaitu dengan relatif lebih tinggi n) model-model ini dalam dimensi yang lebih tinggi (tetapi untuk dimensi = 3 dan n kecil, misalnya, masih membutuhkan banyak jam (beberapa hari) untuk mendapatkan keadaan dasar atau diamati Anda inginkan ...). Bref, ketika n menjadi "terlalu tinggi" untuk metode numerik Anda (tetapi juga kapasitas komputer Anda), Anda perlu melakukan metode baru (dan jika Anda bisa, gunakan komputer super) dan itu adalah masalah yang sama dengan dimensi Anda Sistem tetapi lebih buruk tentu saja karena Anda dengan cepat terjebak (dimensi = 4 sulit diperoleh kecuali jika Anda menunggu banyak waktu ...). masih membutuhkan banyak jam (beberapa hari) untuk mendapatkan kondisi dasar atau yang dapat diamati yang Anda inginkan ...). Bref, ketika n menjadi "terlalu tinggi" untuk metode numerik Anda (tetapi juga kapasitas komputer Anda), Anda perlu melakukan metode baru (dan jika Anda bisa, gunakan komputer super) dan itu adalah masalah yang sama dengan dimensi Anda Sistem tetapi lebih buruk tentu saja karena Anda dengan cepat terjebak (dimensi = 4 sulit diperoleh kecuali jika Anda menunggu banyak waktu ...). masih membutuhkan banyak jam (beberapa hari) untuk mendapatkan kondisi dasar atau yang dapat diamati yang Anda inginkan ...). Bref, ketika n menjadi "terlalu tinggi" untuk metode numerik Anda (tetapi juga kapasitas komputer Anda), Anda perlu melakukan metode baru (dan jika Anda bisa, gunakan komputer super) dan itu adalah masalah yang sama dengan dimensi Anda Sistem tetapi lebih buruk tentu saja karena Anda dengan cepat terjebak (dimensi = 4 sulit diperoleh kecuali jika Anda menunggu banyak waktu ...).
Tentu saja, di sini, ini lebih banyak informasi tambahan untuk pertanyaan Anda karena sebenarnya, dalam fisika kuantum banyak-tubuh, n = 3 tidak tinggi (tetapi jika Anda mengambil kisi yang merupakan hypercube, Anda tidak dapat mengambil n = 3 dari Tentu saja (karena kondisi)).
sumber
Dunia nyata:
Automation% - mis. Mudah untuk mengotomatisasi sesuatu dalam 30% atau 50% atau 80% sementara itu sulit untuk pergi misalnya di atas 95% dan sangat sulit atau bahkan hampir tidak mungkin mencapai 100%.
sumber