Ini adalah pertanyaan yang menarik dan agak lucu tetapi dirumuskan dengan buruk dalam bentuk saat ini.
Saya akan mengambil tikaman / risiko lain pada jawaban yang berharap bahwa penilaian akan mengambil kesulitan asli dan ambiguitas "lunak" yang mendasar / inheren dari pertanyaan dalam pikiran dan bahwa berdasarkan pengetahuan literatur saat ini ada beberapa jalan yang mungkin tetapi tidak bisa dibilang "jawaban yang benar" ".
Permintaan utama tampaknya adalah "analogi fisika dalam ilmu komputer" yang volumenya adalah salah satunya. Oleh karena itu sangat terkait dengan pertanyaan lain ini.
Hasil Fisika dalam TCS?
Untuk menjawab pertanyaan ini saya akan mengambil beberapa pendekatan berbeda yang menurut saya semua memiliki kelebihan.
pertama, satu pendekatan yang kadang-kadang digunakan dalam bidang fisika dan teknik adalah
"analisis dimensi".
Dalam hal ini ditafsirkan secara ketat, volume adalah dalam unit "ruang" atau "panjang potong dadu". (Meskipun catatan dalam fisika kadang-kadang istilah "ruang" diukur dalam bentuk panjang atau panjang potong dadu.)
O(n3)
O(n3)
O(nc)
Pendekatan lain untuk analogi volume (dan jumlah fisika lainnya) dalam TCS adalah sebagai berikut, seperti yang dibahas dalam pertanyaan lain. Diketahui bahwa SAT memiliki titik transisi yang sangat analog dengan titik transisi dalam fisika / termodinamika, Yang terjadi misalnya dengan gas ideal di bawah kompresi dari satu fase ke fase lain, misalnya gas ke cairan. Ini terjadi di bawah penurunan volume (misalnya dari wadah gas). Sekarang di SAT dengan input acak dua parameter utama pada ukuran input adalah klausa dan variabel. (Parameter lain adalah jumlah variabel dalam klausa, meskipun itu sering diperbaiki pada 3 untuk 3-SAT.)
Menyesuaikan baik klausa atau variabel sambil tetap tetap lainnya mendorong kesulitan masalah melalui titik transisi mudah-sulit-mudah. Oleh karena itu sepertinya parameter ini entah bagaimana analog dengan Volume walaupun saya belum melihat spesifiknya dipetakan. Menggali ke dalam beberapa makalah yang mendalam tentang fisika statistik SAT dapat mengubah analog Volume. Lihat [5] untuk pemetaan dasar SAT ke terminologi fisika statistik.
[5] Solusi Analitik dan Algoritmik dari Masalah Kepuasan Acak oleh Mezard, Parisi, Zechina
http://dynamics.org/Altenberg/UH_ICS/EC_REFS/K-SAT/Mezard.Science.297_812.pdf
lp
l3p