Pertanyaan yang diberi tag «cc.complexity-theory»

Pertanyaan saya adalah tentang algoritma kuantum untuk komputasi QED (kuantum elektrodinamika) yang terkait dengan konstanta struktur halus. Perhitungan seperti itu (seperti yang dijelaskan kepada saya) sama dengan menghitung seri Taylor-like mana adalah konstanta struktur halus (sekitar 1/137) dan adalah kontribusi diagram Feynman dengan -loops. ∑ckαk,∑ckαk,\sum c_k\alpha^k,αα\alphackckc_kkkk Pertanyaan ini dimotivasi oleh …

10 cc.complexity-theory  quantum-computing  physics 

Riemann Hypothesis berusia lebih dari 1½ abad memiliki implikasi yang mendalam dalam matematika dan bangunan besar teori matematika sekarang terbukti secara kondisional dan banyak varian. Baru-baru ini saya menemukan referensi untuk hasil bersyarat di TCS berdasarkan pada hipotesis Riemann. Karena itu saya bertanya-tanya, apa implikasi utama hipotesis Riemann dalam TCS? …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Menggunakan model real-RAM / BSS, kami memiliki kelas NP R , (di mana BSS adalah model Blum-Shub-Smale komputer dengan operasi lebih dari real). Kami memiliki masalah lengkap NP R. Jadi, pertanyaannya adalah adakah analog dugaan Berman Hartmanis untuk kelas NP R ? Tentu saja, pertanyaan yang diajukan di sini tergantung …

10 cc.complexity-theory  computing-over-reals 

Apakah ada masalah yang dapat dipecahkan dalam waktu polinomial hanya jika P! = NP, dan sebaliknya dipecahkan dalam waktu (katakanlah) waktu?O ( 2n)O(2n)O(2^n) Contoh sederhana adalah: Jika P! = NP, hitung tes primality untuk angka n-bit acak, jika tidak, evaluasi posisi kasus terburuk acak dalam catur umum papan nxn dengan …

10 cc.complexity-theory  reference-request 

Apa definisi standar Planar 3-SAT? Saya telah melihat sejumlah definisi berbeda. Apa kertas asli yang mendefinisikannya dan membuktikannya sebagai NP-complete?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

Saya menemukan masalah terbuka yang diajukan oleh David Eppstein dan saya tertarik dengan status kompleksitasnya. Dia menduga itu NP-lengkap. Input: oleh n matriks 0's dan 1's, urutan n 2 0's dan 1'snnnnnnn2n2n^2 Pertanyaan: Apakah ada jalur melalui entri matriks yang berdekatan, yang mencakup setiap entri matriks tepat satu kali, dengan …

10 cc.complexity-theory  graph-theory 

Dalam Topik Lanjutan dalam Jenis dan Bahasa Pemrograman disebutkan, dalam bab tentang sistem tipe sub-struktural, bahwa kalkulus affine lambda "dibuat dengan hati-hati" dengan kombinator rekursi untuk daftar hanya dapat mengetik istilah yang memiliki waktu berjalan polinomial (tidak menyajikan buktinya karena kerumitan). Ini akan sangat menarik jika kita juga bisa menyelesaikan …

10 cc.complexity-theory  type-theory  lambda-calculus 

Mari kita sebut bahasa NP yang jarang memiliki sertifikat jika dan hanya jika:L ∈L∈L \in Ada polinomial sedemikian rupa sehingga untuk setiap input ukuran , jika maka set sertifikat yang memverifikasi bahwa berukuran polinomially, yaitu . x ∈ Σ ∗ n x ∈ L U x u x ∈ L …

10 cc.complexity-theory  complexity-classes 

Diberikan grafik terarah, kami ingin memutuskan apakah itu berisi siklus terarah dengan panjang genap. Makalah tahun 1997 oleh YUSTER dan ZWICK ini menyatakan bahwa masalahnya tidak diketahui dalam dan juga tidak diketahui lengkap.PPPNPNPNP Apakah ada hasil terbaru yang menyelesaikan kompleksitas masalah siklus genap dalam grafik yang diarahkan?

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

Jika kita dapat membuktikan bahwa , apakah itu menyiratkan bahwa ?L = PL.=P\mathsf{L}=\mathsf{P}N L = N PNL.=NP\mathsf{NL}=\mathsf{NP} Saya pikir itu masalahnya, tapi saya tidak bisa membuktikannya (juga untuk yang sebaliknya).

10 cc.complexity-theory  complexity-classes  nondeterminism 

Saya memiliki masalah berikut: Input: dua set interval dan T (semua titik akhir adalah bilangan bulat). Pertanyaan: adakah bijih monoton f : S → T ?SSSTTTf: S→ Tf:S→Tf:S \to T Bijection adalah monoton wrt set masuknya order pada dan T . ∀ X ⊆ Y ∈ S , f ( …

10 cc.complexity-theory  ds.algorithms  np-hardness  partial-order  matching 

Mengingat satu set poin di ruang Euclides dimensi, masalahnya adalah untuk menentukan apakah convex hull berisi bola Unit berpusat pada titik asal.nnnddd Apakah masalah ini dalam NP? Itu dalam co-NP karena orang dapat memberikan titik di bola di luar lambung cembung sebagai saksi dan memverifikasi fakta ini menggunakan pemrograman linier. …

10 cc.complexity-theory  cg.comp-geom 

Pohon rentang dari suatu grafik disebut pohon kelengkapan jika rangkaian daunnya menginduksi subgraf lengkap dalam grafik host. Diberikan grafik dan bilangan k k , apa kompleksitas memutuskan jika G berisi pohon kelengkapan dengan paling banyak k daun?GGGkkkGGGkkk Alasan untuk mengajukan pertanyaan ini adalah bahwa masalah terkait untuk pohon independensi adalah …

10 cc.complexity-theory  graph-theory  graph-algorithms 

Apakah grafik isomorfisme (masalah keputusan) dalam ? Berikut U P adalah kelas masalah keputusan diterima oleh mesin Turing ambigu (lihat kebun binatang kompleksitas ).UP∩coUPUP∩coUP\mathsf{UP}\cap \mathsf{coUP}UPUP\mathsf{UP}

10 cc.complexity-theory  graph-isomorphism 

Saya mencoba memahami kelas-kelas ini tetapi selalu bingung ... pertanyaannya adalah: Apa hubungan antara dan # P , khususnya apakah ini merupakan pertanyaan terbuka?FNPFNPFNP#P#P\#P Apa hubungan dan N P ? apakah pertanyaan ini terbuka?⊕P⊕P\oplus PNPNPNP Bagaimana dengan hubungan antara dan P F N P ? apakah pertanyaan ini terbuka?PHPHPHPFNPPFNPP^{FNP}

10 cc.complexity-theory