Saya ingin menghubungkan masalah yang sedang saya kerjakan dengan masalah NP-hard yang diketahui. Saya pikir saya bisa memodelkan masalah saya sebagai sumber daya masalah jalur terpendek yang dibatasi. Namun, struktur grafik saya tidak sepenuhnya arbitrer. Dengan demikian, akan berguna untuk...
Biarkan menjadi matriks persegi yang diberikan. Apakah ada bukti bahwa mengalahkan batas bawah kuadratik untuk B sehingga det ( B ) = per ( A ) bisa sulit?AAABBBdet(B)=per(A)det(B)=per(A)\text{det}(B) = \text{per}(A) Adakah dugaan masuk akal yang menyiratkan bahwa membuktikan batas bawah itu...
Pertimbangkan algoritma berikut, di mana adalah konstanta tetap.ccc void partition(A[1..m], B[1..n]) { if m=1 or n=1 return k = random(min(c,m,n)); partition A into k sublists Asub[1..k] at k-1 distinct random indices partition B into k sublists Bsub[1..k] at k-1 distinct random indices...
Banyak hasil dalam kriptografi bergantung pada hasil / dugaan ketidakmungkinan dalam teori kompleksitas. Sebagai contoh, kriptografi kunci publik menggunakan RSA diyakini dimungkinkan karena dugaan tentang tidak layaknya anjak piutang (dan masalah pencarian akar modular). Pertanyaanku adalah :...
Gagasan diameter dibatasi MST adalah bahwa Anda menjaga semua simpul terhubung dan dalam jarak tertentu satu sama lain. Tetapi semua kertas yang saya lihat menjaga persyaratan bahwa Anda menghasilkan pohon, ketika memungkinkan siklus dapat membantu mengurangi diameter. Adakah yang tahu makalah yang...
ini adalah penulisan ulang pertanyaan saya yang lain baru-baru ini [1] yang tidak dinyatakan dengan baik (memiliki penyederhanaan yang jelas, mea culpa) tapi saya pikir masih ada pertanyaan yang tidak penting di jantungnya. telah melihat masalah serupa dalam literatur tetapi tidak yang satu ini...
Masalah keputusan memiliki karakterisasi yang baik jika ada dalam . Banyak masalah grafik alami memiliki karakterisasi yang baik. Misalnya, Teorema Kuratuwski memberikan karakterisasi grafik planar yang baik. Teorema Konig memberikan karakterisasi grafik bipartit yang baik. Teorema Tutte memberikan...
Saat mempelajari masalah optimisasi, kami biasanya menganggap pemrograman linier (atau lebih umum: optimisasi cembung) sebagai contoh paling sederhana. Ini dapat dipecahkan dalam waktu polinomial, dan memiliki algoritma yang relatif mudah dipahami. Namun, versi keputusan LP adalah -lengkap. Ini...
Mari dan menjadi set, dan menjadi partisi . Saya ingin membuktikan bahwa ada distribusi lebih dari yang marginalnya seragam lebih dari , dan sedemikian rupa sehingga distribusi lebih dari diinduksi oleh memiliki entropi besar ( distribusi terakhir didefinisikan dengan menetapkan setiap massa...
Penyortiran menggunakan perbandingan 2-elemen memiliki kompleksitas kasus terburuk asimptotik dari (dicapai oleh mergesort, heapsort, penyisipan biner, setidaknya ford-johnson), yang optimal.nlog2(n)nlog2(n)n \log_2(n) Jika kita mengurutkan menggunakan perbandingan yang mengurutkan elemen k...
Apakah ada batas bawah non-sepele pada waktu berjalan algoritma grafik dalam RAM / PRAM / model perhitungan? Saya tidak mencari hasil NP-Hardness di sini. Berikut ini adalah hasil yang bisa saya temukan [lihat ref L92]: 3-Pewarnaan dari n-cycle membutuhkan waktu .Ω ( log∗n
Apakah diketahui jika tensor rank tiga dimensi tensor terletak pada VNP (non-deterministic class valiant)? Jika ya, apa yang diketahui tentang peringkat tensor dimensi tinggi? Sebenarnya saya tertarik pada masalah yang jauh lebih sederhana. Saya ingin tahu apakah seseorang dapat membangun...
Saya tahu varian masalah SUBSETSUM berikut: ( Elberfeld at., 2010 ), NP-complete , dan NEXP-complete ( tautan ).S U B S E T S U M S U C C I N C T - S U B S E T S U MUN A R Y - S UB S E T S UM ∈ LUNARY-SUBSETSUM∈L \mathtt{UNARY\mbox{-}SUBSETSUM} \in \mathsf{L} S UB S E T S UM.SUBSETSUM....
Misalkan kita ingin menemukan elemen terkecil dari himpunan , yang elemennya diindeks dari ke . Kami tidak memiliki akses ke nilai-nilai elemen ini, tetapi kami dapat membandingkan dua elemen untuk melihat mana yang lebih kecil. Untuk setiap indeks dan , ada terkait biaya untuk membandingkan th dan...
Apakah itu diketahui sesuatu tentang bahasa yang dikenali oleh automaton counter multihead deterministik dua arah atau logspace TM dengan counter (model setara)? Kelas ini bernama Aux2DC dalam makalah penasihat saya . Atau tentang kelas nondeterministik seperti itu? Saya telah memperoleh bahwa...
Apakah masalah berikut NP-hard? Diberikan satu set bilangan real (target) x 1 , … , x N dan "trisula" yang didefinisikan oleh dua jarak a , b dari pusat trisula, berapakah angka minimum K dari posisi p 1 , ... , p K dari trisula untuk mencakup semua target, yaitu K ⋃ k = 1 { p k - a , p k , p k +...
Apakah mungkin untuk menemukan pengurangan penghitungan dari #SAT ke #HornSAT? Saya belum menemukan pertanyaan ini diposting di sini, jadi memutuskan untuk memeriksa apakah ada yang punya jawaban untuk ini. Biarkan saya menjelaskan apa yang saya maksud dengan menghitung pengurangan. Misalkan...
Dalam makalah Savitch 1969, "Hubungan Antara Nondeterministik dan Kompleksitas Pita Deterministik", ia menyatakan bahwa "semua fungsi penyimpanan umum L (n)> = lg n dapat diukur. Khususnya, setiap polinomial dalam n dan lg n dapat diukur." Definisinya yang dapat diukur adalah: "Suatu fungsi L...
Tidak sulit untuk menunjukkan bahwa mengurutkan array angka sulit untuk . Jika input adalah array dari 1s dan 0s maka pada dasarnya fungsi (diberikan bit, output jumlah 1s dalam biner) karena lengkap untuk dan dimungkinkan untuk mengkonversi angka unary ke angka biner dan (logaritmik) angka biner...
Net (dikenal juga sebagai FreeNet, atau NetWalk) adalah permainan puzzle yang dimainkan di kotak dengan objek-objek berikut:n × nn×nn \times n ada komputer ; setiap komputer menempati satu sel dan memiliki satu kabel tautan;mmm setiap komputer harus terhubung ke unit pusat yang menempati satu...