Pertanyaan yang diberi tag «cc.complexity-theory»

Untuk merayakan ulang tahun Alan Turing, Google menerbitkan doodle yang menunjukkan mesin. Mesin seperti apa doodle itu? Bisakah itu mengekspresikan bahasa Lengkap Turing? Ada perbedaan yang jelas dengan mesin turing klasik: pita terbatas, kendala dalam bagaimana negara dapat dihubungkan, ... Orat-oret masih tersedia di sini (Tampilan di kanan atas menunjukkan …

10 cc.complexity-theory  turing-machines 

Misalkan menjadi grafik yang tidak terarah. Sebuah dekomposisi V menjadi beberapa bagian yang menguraikan V i disebut dekomposisi Hamilton dari G jika subgraph disebabkan oleh masing-masing set V i adalah salah grafik Hamilton atau terdiri dari tepi tunggal dengan | V i | = 2 .G = ( V, E)G=(V,E)G=(V,E)VVVVsayaViV_iGGGVsayaViV_i| …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Matriks Moore mirip dengan matriks Vandermonde tetapi memiliki definisi yang sedikit dimodifikasi. http://en.wikipedia.org/wiki/Moore_matrix Apa kompleksitas komputasi determinan dari yang diberikan n×nn×nn \times n rank penuh Moore matriks modulo suatu bilangan bulat? Can Moore penentu dikurangi dari O(n3)O(n3)O(n^{3}) menggunakan teknik FFT ke O(nlogan)O(nloga⁡n)O(n\log^{a}n) untuk beberapa a∈R+∪{0}a∈R+∪{0}a \in \mathbb{R}_{+} \cup \{0\} ? …

10 cc.complexity-theory  algebraic-complexity 

Apakah sulit untuk memperkirakan angka kromatik fraksional pada grafik derajat terbatas?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Saya mencari contoh masalah sulit (dalam NP atau lebih keras) dari ilmu komputer yang dapat direduksi menjadi model proses fisik. Misalnya, maks-2-sat dapat dikurangi menjadi minimalisasi energi dalam model Ising. Saya ingin menemukan lebih banyak contoh pengurangan jenis ini.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Konteks: Kami hanya mempertimbangkan digraf. Biarkan CYCLE menjadi bahasa grafik dengan siklus; itu adalah masalah NL-lengkap. Biarkan HASEDGE menjadi bahasa grafik dengan setidaknya satu sisi. Kemudian sepele, tidak lagi NL-hard, sementara tetap seperti itu.CYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Masalah aktual: Saya ingin tahu apakah bahasa masih NL-hard.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Bahasa L.LL ada di kelas D PDPDP jika ada dua bahasa L 1 ∈ NPL1∈NPL1 \in NP dan L 2 ∈ c o NPL2∈coNPL2 \in coNP sehingga L=L1∩L2L=L1∩L2L = L1 \cap L2 Sebuah kanonik DPDPDP masalah -Lengkap adalah SAT-UNSAT: diberikan dua ekspresi 3-CNF, FFF dan GGG , apakah benar bahwa …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Misalkan adalah bahasa Boolean, dengan string hingga . Biarkan menjadi jumlah string dalam dengan panjang . Untuk fungsi dari bilangan bulat positif ke bilangan real positif, memiliki kepadatan atas jika untuk semua cukup besar .L.LL{ 0 , 1 }{0,1}\{0,1\}L.nLnL_nL.LLnnnd( n )d(n)d(n)L.LL d( n )d(n)d(n)L.n≤ 2nd( n )Ln≤2nd(n)L_n \le 2^n d(n)nnn …

10 cc.complexity-theory  reference-request  p-hardness 

Diberikan grafik campuran G=(V,E,A)G=(V,E,A)G=(V,E,A) dengan tepi EEE dan busur AAA , cari kecocokan dalam EEE yang meminimalkan jumlah busur dalam G/MG/MG/M , di mana G/MG/MG/M diperoleh dari GGG dengan mengontrak simpul yang cocok dan menghapus busur paralel. Apakah (versi keputusan) masalah ini NP-complete? Apakah sudah dipelajari dalam literatur?

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

Saya membaca makalah survei Watrous yang sangat bagus di atas kertas tentang teori kompleksitas kuantum. Di dalamnya ia menyatakan bahwa akan mengejutkan jika masalah lengkap QMA ditemukan memiliki janji yang kosong (Ie Be a language). Kenapa begitu? Apakah itu ada hubungannya dengan fakta bahwa masalah Hamiltonian k-local adalah masalah yang …

10 cc.complexity-theory  quantum-computing 

Rumus CNF monoton dengan istilah m pada n variabel ( ) adalah rumus dari bentuk f ( x 1 , ... , x n ) = ⋀ C i , di mana setiap C i adalah ATAU dari beberapa bagian dari variabel x 1 , … , x n , …

10 cc.complexity-theory  circuit-complexity  formulas 

Mengingat grafik diarahkan dan dua simpul . Sepasang jalur sederhana dari ke adalah edge disjoint jika mereka tidak berbagi edge.G=(V,E)G=(V,E)G = (V,E)s,t∈Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Menggunakan aliran maks, mudah untuk memutuskan apakah ada sepasang jalur disjoint ujung dari ke . Sekarang, apakah ada algoritma waktu tunda polinomial untuk menghitung semua pasangan …

10 cc.complexity-theory  graph-algorithms 

Meskipun pemisahan eksponensial antara kompleksitas kueri-kuantum kesalahan terbatas ( Q(f)Q(f)Q(f) ) dan kompleksitas kueri deterministik ( D(f)D(f)D(f) ) atau kompleksitas kueri acak terbatas ( R(f)R(f)R(f) ) diketahui, mereka hanya berlaku untuk fungsi parsial tertentu. Jika fungsi parsial memiliki beberapa struktur khusus maka mereka juga terkait secara polinomi dengan D(f)=O(Q(f)9))D(f)=O(Q(f)9))D(f) = …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Pertimbangkan masalah Set yang Mendominasi dalam grafik umum, dan biarkan menjadi jumlah simpul dalam grafik. Algoritma pendekatan serakah memberikan jaminan perkiraan faktor 1 + log n , yaitu mungkin untuk menemukan dalam waktu polinomial solusi S sedemikian rupa sehingga | S | ≤ ( 1 + log n ) o …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness 

Program rentang adalah cara linier-aljabar menentukan fungsi boolean yang diperkenalkan di sini . Baru-baru ini, model ini digunakan untuk menunjukkan bahwa metode musuh negatif memberikan karakterisasi yang ketat (setidaknya hingga ) dari kompleksitas kueri.catatann / logcatatanncatatan⁡n/catatan⁡catatan⁡n\log n/ \log \log n Ukuran kompleksitas yang menghubungkan program rentang ke kompleksitas permintaan kuantum …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity