Pertanyaan yang diberi tag «cc.complexity-theory»

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 …

8 cc.complexity-theory  reference-request  np-hardness  polynomial-hierarchy  subset-sum 

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 )Ω(catatan∗⁡n)\Omega(\log^*{n}) Saya ingin tahu apakah ada kemajuan …

8 cc.complexity-theory  reference-request  graph-algorithms  lower-bounds 

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 probabilitas total elemen bawah ). Kita dapat menggunakan …

8 cc.complexity-theory  co.combinatorics  communication-complexity 

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 sebagai blok bangunan, teori informasi batas bawah adalah . Kita dapat dengan mudah mencapai dengan penyisipan k-ary.nlogk!(n)nlogk!⁡(n)n \log_{k!}(n)nlogk(n)nlogk⁡(n)n \log_k(n) Pertanyaan: …

8 cc.complexity-theory  ds.algorithms  reference-request  sorting 

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 menunjukkan bahwa ini adalah salah satu masalah tersulit yang dapat kita pecahkan …

8 cc.complexity-theory  optimization  linear-programming 

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 karakterisasi grafik yang memiliki kecocokan sempurna. Teorema Euler memberikan karakterisasi grafik Euler …

8 cc.complexity-theory  graph-theory  proof-complexity 

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 pada khususnya. akan menulisnya dalam bentuk …

8 cc.complexity-theory  reference-request  circuit-complexity  lower-bounds 

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 mengeksplorasi ini? (Sulit untuk mencari.) Sebagai contoh, perhatikan …

8 cc.complexity-theory  reference-request  graph-theory 

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 : apakah kita memiliki hasil yang serupa dalam teori komputabilitas? Apakah ada konstruksi positif …

8 cc.complexity-theory  cr.crypto-security  computability 

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 sulit? Adakah bukti yang membuktikan bahwa baris (atau kolom) …

8 cc.complexity-theory  lower-bounds  counting-complexity  algebraic-complexity  permanent 

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 for i = 1 to k for j …

8 cc.complexity-theory  ds.algorithms  randomness  randomized-algorithms  recursive 

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 mengetahui kapan RCSP menjadi sulit. Apakah sulit untuk DAG, untuk …

8 cc.complexity-theory  graph-algorithms  np-hardness  optimization 

Meskipun L.Berman membuktikan bahwa masalah memverifikasi atau memalsukan pernyataan urutan pertama tentang bilangan real yang menggunakan penambahan dan perbandingan tetapi tidak multiplikasi ada di EXPSPACE. Apakah sudah diperlihatkan berapa banyak waktu atau ruang yang akan Anda perlukan untuk memverifikasi atau memalsukan pernyataan orde pertama tentang bilangan real yang menggunakan perbandingan …

8 cc.complexity-theory  lo.logic  model-theory 

Diberikan grafik , masalah pencocokan maksimum klasik adalah memilih subset maksimum tepi st, untuk setiap tepi , .M ( u , v ) ∈ M d ( u ) = d ( v ) = 1G ( V, E)G(V,E)G(V,E)M.MM( u , v ) ∈ M(u,v)∈M(u,v) \in Md( u ) = …

8 cc.complexity-theory  ds.algorithms  graph-theory  co.combinatorics 

Apakah ada perangkap-pintu-seperti fungsi yang kompleksitas encoding adalah waktu polinomial nk1nk1n^{k_{1}} dan pembalik kompleksitas (tanpa kunci rahasia) juga merupakan fungsi polinom panjang masukan nk2nk2n^{k_{2}} dengan k1&lt; &lt; K2k1&lt;&lt;k2k_{1} << k_{2} (mengatakan k1= 2k1=2k_{1} = 2 dan k2k2k_{2} terbukti tanpa syarat dapat dibatasi di bawah 100010001000 )? Apa implikasi dari fungsi-fungsi …

8 cc.complexity-theory  complexity-classes  cr.crypto-security  one-way-function