Pertanyaan yang diberi tag «cc.complexity-theory»

Pertanyaan ini dimigrasikan dari Computer Science Stack Exchange karena dapat dijawab di Theoretical Computer Science Stack Exchange. Bermigrasi 6 tahun yang lalu . (Pertanyaan ini sedikit "survei".) Saya saat ini sedang mengerjakan masalah di mana saya mencoba untuk membagi tepi turnamen menjadi dua set, yang keduanya diperlukan untuk memenuhi beberapa …

20 cc.complexity-theory  reference-request  np-hardness 

Grafik garis hypergraph adalah (sederhana) grafik memiliki tepi sebagai simpul dengan dua tepi berdekatan dalam jika mereka memiliki persimpangan nonempty. Hypergraph adalah -hypergraph jika masing-masing ujungnya memiliki paling banyak simpul.GHHHGGGHHHHHHGGGrrrrrr Apa kompleksitas masalah berikut: Mengingat grafik , tidak terdapat suatu -hypergraph sehingga adalah grafik garis ?GGG333HHHGGGHHH Sudah diketahui bahwa mengenali …

20 cc.complexity-theory  graph-algorithms  hypergraphs 

Dua pertanyaan terkait tentang komputasi kedalaman terbatas: 1) Misalkan Anda mulai dengan n bit, dan untuk memulai dengan bit saya bisa 0 atau 1 dengan beberapa probabilitas p (i), secara independen. (Jika itu membuat masalah lebih sederhana, kita dapat mengasumsikan bahwa semua p (i) s adalah 0,1, atau 1/2.atau bahkan …

20 cc.complexity-theory  quantum-computing  circuit-complexity  randomness  circuit-depth 

Masalah menarik berikut muncul dalam penelitian saya baru-baru ini: INSTAN: Grafik .G ( V, E)G(V,E)G(V, E) SOLUSI: Selesai siklus aneh chordless, didefinisikan sebagai superset dari edge set sehingga grafik memiliki properti yang setiap tepi dalam terkandung dalam siklus aneh chordless. E G ′ ( V , E ′ ) G …

20 cc.complexity-theory  reference-request  graph-theory  np-hardness 

Negara-negara PCP teorema bahwa tidak ada algoritma waktu polinomial untuk MAX 3SAT untuk menemukan tugas memuaskan klausul formula 3SAT satisfiable kecuali P = N P .7 / 8 + ε7/8+ϵ7/8+ \epsilonP= NPP=NPP = NP Ada sepele polinomial waktu algoritma yang memenuhi dari klausa. Jadi, bisa kita lakukan lebih baik dari …

20 cc.complexity-theory  pcp 

Dalam kompleksitas yang , . Dugaan bahwa masing-masing wadah adalah tepat.⊆ W [ 2 ] ⊆ … ⊆ W [ P ]F P T ⊆ W [1]FPT⊆W[1]\mathsf{FPT} \subseteq \mathsf{W}[1] ⊆ W [ 2 ]⊆W[2]\subseteq \mathsf{W}[2] ⊆ ... ⊆ W [ P.]⊆…⊆W[P]\subseteq \ldots \subseteq \mathsf{W}[P] Jika maka .P = W [ …

20 cc.complexity-theory  parameterized-complexity  fixed-parameter-tractable 

Dalam pertanyaan ini , kami tampaknya telah mengidentifikasi masalah alami yang NP-lengkap di bawah reduksi acak, tetapi mungkin tidak di bawah reduksi deterministik (meskipun ini tergantung pada asumsi yang tidak terbukti dalam teori bilangan yang benar). Apakah ada masalah lain yang diketahui? Apakah ada masalah alami yang NP-lengkap di bawah …

20 cc.complexity-theory  np-hardness  big-list  randomness  reductions 

The Karp – Lipton Theoem menyatakan bahwa jika , maka runtuh menjadi . Oleh karena itu, dengan asumsi pemisahan antara dan , no - masalah lengkap akan menjadi milik .P H Σ P 2 Σ P 2 Σ P 3 N P P / p o l yN P ⊂ …

20 cc.complexity-theory  np  conditional-results  advice-and-nonuniformity  average-case-complexity 

Diskusi : Saya telah menghabiskan waktu pribadi akhir-akhir ini mempelajari berbagai hal dalam kompleksitas komunikasi. Sebagai contoh, saya telah membiasakan diri dengan bab yang relevan di Arora / Barak, mulai membaca beberapa makalah, dan memesan buku oleh Kushilevitz / Nisan. Secara intuitif, saya ingin membedakan kompleksitas komunikasi dengan kompleksitas komputasi. …

20 cc.complexity-theory  complexity-classes  big-picture  communication-complexity 

Judulnya kurang lebih menyebutkan semuanya, tapi saya rasa saya bisa menambahkan sedikit latar belakang dan beberapa contoh spesifik yang saya minati. Para ahli teori kompleksitas deskriptif, seperti Immerman dan Fagin, telah mengkarakterisasi banyak kelas kompleksitas yang paling terkenal menggunakan logika. Misalnya, NP dapat dikarakterisasi dengan kueri eksistensial orde dua; P …

20 cc.complexity-theory  quantum-computing  descriptive-complexity 

Saya mencari survei yang bagus tentang algoritma dan kompleksitas aljabar linier (operasi seperti pangkat, kebalikan, nilai eigen, ... untuk Boolean, , dan matriks bilangan bulat / rasional) dengan penekanan pada paralel ( hierarki ) dan algoritma polytime. Saya tidak dapat menemukan yang baru. NCFhalFp\mathbb{F}_pNCNCNC Apakah Anda tahu survei terbaru atau …

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Misalkan kita memiliki masalah yang diparameterisasi dengan p-parameter bernilai riil yang "mudah" untuk dipecahkan ketika dan "hard" ketika untuk beberapa nilai , . p = p 1 p 0 p 1p = p0p=p0p=p_0p = p1p=p1p=p_1hal0p0p_0hal1p1p_1 Salah satu contohnya adalah menghitung konfigurasi putaran pada grafik. Menghitung pewarnaan yang tepat, set independen, …

20 cc.complexity-theory  counting-complexity  approximation-hardness  phase-transition 

Immerman dan Szelepcsenyi independen membuktikan bahwa . Menggunakan teknik penghitungan induktif mereka, Borodin et al membuktikan bahwa S A C i ditutup dengan komplemen, untuk i > 0 . Sebelum teorema Reingold ( S L = L ), Nisan dan Ta-Shma membuktikan S L = c o S L , …

20 cc.complexity-theory  space-bounded 

Lima pertanyaan terkait diajukan, dan satu jawaban terintegrasi diharapkan: T1: Apakah ada bahasa yang dikenali semata-mata oleh mesin-mesin Turing dalam yang runtime eksponennya tidak dapat ditentukan ?LLLPPP T2: Dapatkah contoh mesin Turing ini dibuat secara halus? Q3: Dapatkah mesin Turing ini dipakai secara konkret? ( misalnya , dengan nubuat yang …

20 cc.complexity-theory 

Dalam kelas kompleksitas , ada beberapa masalah yang diduga TIDAK berada di kelas , yaitu masalah dengan algoritma paralel deterministik. Masalah Arus Maksimum adalah salah satu contohnya. Dan ada masalah PERCAYA berada di , tetapi bukti belum ditemukan.N C N CPP\mathsf{P}NCNC\mathsf{NC}NCNC\mathsf{NC} Matching sempurna masalah adalah salah satu masalah mendasar yang …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp