Pertanyaan yang diberi tag «cc.complexity-theory»

Asumsikan NP = co-NP dan polinomial membatasi panjang bukti ketidakpuasan untuk instance 3-CNF . Lalu apakah ada hasil pada bentuk apa bukti tidak memuaskan untuk panjang dapat mengambil? Yaitu secara umum, akankah bukti semacam itu harus, misalnya, menggunakan kekuatan penuh dari logika orde dua atas struktur yang tak terbatas (saya …

11 cc.complexity-theory  lo.logic  np  proof-complexity 

Untuk grafik diberikan , Masalah Pemisah menanyakan apakah set vertex atau edge dari kardinalitas kecil (atau berat) ada yang memindahkan partisi G menjadi dua grafik terpisah dengan ukuran yang kira-kira sama. Ini disebut Masalah Pemisah Verteks ketika himpunan yang dihapus adalah himpunan simpul, dan Masalah Pemisah Tepi saat itu merupakan …

11 cc.complexity-theory  approximation-hardness 

Sementara seorang mahasiswa S1 EE saya menghadiri beberapa kuliah yang menyajikan karakterisasi bagus sirkuit boolean dalam hal berapa banyak loop bersarang yang mereka miliki. Dalam kerumitannya, sirkuit boolean sering dianggap sebagai dag, tetapi dalam siklus perangkat keras yang sebenarnya adalah hal biasa. Sekarang, modulo beberapa teknis mengenai apa loop dan …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Apa kompleksitas waktu yang tepat dari algoritma ruang log st-konektivitas yang tidak diarahkan oleh Omer Reingold?

11 cc.complexity-theory  randomness 

Diberikan grafik G sederhana yang tidak terarah, adalah nontrivial untuk menentukan apakah G memiliki automorfisme nontrivial (bukan identitas). Tetapi apa hasil pada batas atas / bawah masalah keputusan ini?

11 cc.complexity-theory  graph-isomorphism  automorphism 

Berikut adalah dua variasi definisi NP. Mereka (hampir pasti) mendefinisikan kelas kompleksitas yang berbeda, tetapi pertanyaan saya adalah: adakah contoh alami masalah yang cocok dengan kelas-kelas ini? (Ambang batas saya untuk apa yang dianggap alami di sini sedikit lebih rendah dari biasanya.) Kelas 1 (superclass NP): Masalah dengan saksi ukuran …

11 cc.complexity-theory  complexity-classes  np 

Biarkan menjadi oracle generik dalam arti kategori Cohen / Baire. Biarkan menjadi oracle acak.GGGRRR Apakah ada kompleksitas kelas A dan B dengan atau sebaliknya, AG=BGandAR≠BRAG=BGandAR≠BR\mathrm{A}^G=\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R\ne \mathrm{B}^RAG≠BGandAR=BR?AG≠BGandAR=BR?\mathrm{A}^G\ne\mathrm{B}^G\quad\text{and}\quad\mathrm{A}^R= \mathrm{B}^R\text{?} Pertanyaan itu diilhami oleh komentar oleh Scott Aaronson .

11 cc.complexity-theory  complexity-classes 

Masalah N-queen adalah ini: Input: N Keluaran: Penempatan N "ratu" pada papan catur NXN sehingga tidak ada dua ratu yang berada di baris, kolom, atau diagonal yang sama. Melakukan pencarian google pada ini, saya menemukan bahwa banyak slide oleh banyak profesor mengklaim ini adalah masalah NP-Hard. (Mis. Web.mst.edu/~ercal/387/slides/NP-Hard.ppt) Namun saya …

11 cc.complexity-theory  np-hardness  csp 

Saya bekerja di laboratorium ilmu saraf komputasi yang menghitung informasi timbal balik antara pasangan atau kelompok neuron. Baru-baru ini, bosnya menggeser fokusnya untuk mengukur "kompleksitas dinamika saraf". Dalam mengejar garis penelitian itu, beberapa orang dalam kelompok saya tampaknya menyamakan "kompleks" dengan "memiliki entropi tinggi". Adakah yang bisa membimbing saya tentang …

11 cc.complexity-theory  it.information-theory 

Pertanyaan ini mungkin tidak bersifat teknis. Sebagai pembicara non-asli dan TA untuk kelas algoritma, saya selalu bertanya-tanya apa arti gadget dalam 'gadget klausa' atau 'gadget variabel'. Kamus mengatakan gadget adalah mesin atau perangkat, tapi saya tidak yakin apa artinya bahasa sehari-hari dalam konteks bukti NP-complete.

11 cc.complexity-theory  np-hardness  terminology  reductions 

Saya tertarik pada variasi SAT di mana rumus CNF adalah monoton (tidak ada variabel yang dinegasikan). Formula seperti itu jelas memuaskan. Tetapi katakanlah jumlah variabel benar adalah ukuran seberapa baik solusi kami. Jadi kami memiliki masalah berikut: MINIMUM TRUE MONOTONE 3SAT INSTAN: Tetapkan U variabel, koleksi C dari klausa disjungtif …

11 cc.complexity-theory  np-hardness  sat 

Apakah ada masalah yang kompleksitas kasus rata-ratanya sama dengan kompleksitas kasus terburuknya? Apa sifat dasar dari masalah ini yang membuat mengurangi kasus terburuk menjadi rata-rata?

11 cc.complexity-theory  reductions  average-case-complexity 

Saya ingin tahu apakah kelas NPC didefinisikan oleh banyak-satu pengurangan dan pengurangan Turing adalah sama. Sunting: Pertanyaan lain, apakah pengurangan Turing hanya menciutkan kelas C dan co-C untuk beberapa C atau apakah ada kelas seperti ada masalah tidak dalam C ∪ c o - C di bawah pengurangan Karp dan …

11 cc.complexity-theory  np-hardness  reductions 

Masalah pencocokan sempurna dua-warna adalah memutuskan apakah grafik memiliki pewarnaan dengan dua warna sedemikian rupa sehingga setiap simpul memiliki satu tetangga yang persis sama dengan warnanya. Masalahnya terbukti NP-lengkap oleh Schaefer . Itu tetap NP-lengkap bahkan untuk grafik kubik planar. Saya tertarik pada varian di mana kami ingin memutuskan apakah …

10 cc.complexity-theory  np-hardness 

Kita tahu di bawah kita tidak bisa menyelesaikan -SUM dalam waktu bawah fungsi apa pun f ( K ) (biasanya 2 O ( K ) ).ETHETHETHKKKf( K) p o l y( n K.)f(K)halHaily(nK)f(K)poly(nK)f( K)f(K)f(K)2O ( K)2HAI(K)2^{O(K)} Apakah ada dugaan yang mencegah kompleksitas ( logn )O ( K)(catatan⁡n)HAI(K)(\log n)^{O(K)} (ini sepenuhnya …

10 cc.complexity-theory  subset-sum