Pertanyaan yang diberi tag «cc.complexity-theory»

Dalam deskripsi masalah Clay resmi untuk P versus NP dinyatakan bahwa akan mengikuti dari yang menunjukkan bahwa "setiap bahasa dalam [kelas bahasa dikenali dalam waktu eksponensial dengan mesin Turing deterministik] dapat dihitung oleh keluarga sirkuit Boolean sedemikian rupa sehingga untuk setidaknya satu , memiliki gerbang lebih sedikit daripada maksimum yang …

18 cc.complexity-theory  circuit-complexity 

Saya tertarik mempelajari hubungan antara "kekacauan", atau lebih luas, sistem dinamis, dan pertanyaan . Berikut adalah contoh jenis literatur yang saya cari:P= NPP=NPP{=}NP Ercsey-Ravasz, Mária, dan Zoltán Toroczkai. "Optimalisasi kekerasan sebagai kekacauan sementara dalam pendekatan analog untuk membatasi kepuasan." Fisika Alam 7, no. 12 (2011): 966-970. ( Tautan jurnal .) …

18 cc.complexity-theory  p-vs-np 

Yang terkenal isomorfisma dugaan dari Berman dan Hartmanis mengatakan bahwa semua bahasa -Lengkap adalah waktu polinomial isomorfik (p-isomorfik) satu sama lain. Pentingnya kunci dari dugaan adalah bahwa hal itu menyiratkan P ≠ N P . Itu diterbitkan pada tahun 1977, dan sepotong bukti pendukung adalah bahwa semua N P masalah …

18 cc.complexity-theory  complexity-classes  p-vs-np  np-complete 

Masalah penghentian untuk mesin Turing mungkin adalah set kanonik yang tidak dapat ditentukan. Namun demikian, kami membuktikan bahwa ada algoritma yang memutuskan hampir semua instance dari itu. Masalah penghentian karena itu di antara koleksi yang berkembang dari mereka yang menunjukkan "lubang hitam" fenomena teori kompleksitas, dimana kesulitan dari masalah yang …

18 cc.complexity-theory  reference-request  computability  undecidability 

Apakah ada urutan grafik diarahkan , di mana masing-masing C n memiliki tepat n simpul dan masalah{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Mengingat dan grafik G , adalah C n merupakan subgraf diinduksi G ?nnnGGGCnCnC_nGGG dikenal di kelas ? (Misalnya, ketika C n = K n , ini adalah masalah klik NP-lengkap.)PP\mathsf{P}Cn=KnCn=KnC_n=K_n

18 cc.complexity-theory  graph-theory 

Gagasan pengurangan waktu polinomial (pengurangan Cook) adalah abstraksi dari konsep yang sangat intuitif: secara efisien menyelesaikan masalah dengan menggunakan algoritma untuk masalah yang berbeda. Namun, dalam teori NPNP\mathcal{NP} kelengkapan, gagasan NPNP\mathcal{NP} kekerasan ditangkap melalui pemetaan reduksi (pengurangan Karp). Konsep pengurangan "terbatas" ini kurang intuitif (setidaknya bagi saya). Bahkan tampaknya sedikit …

18 cc.complexity-theory  np-hardness  soft-question 

Apakah semua fungsi yang Fourier berat terkonsentrasi pada set berukuran kecil (atau istilah dengan tingkat rendah) dihitung dengan sirkuit?AC0AC0\mathsf{AC}^0

18 cc.complexity-theory  circuit-complexity  boolean-functions  fourier-analysis 

Kategori teori dan aljabar abstrak berhubungan dengan cara fungsi dapat dikombinasikan dengan fungsi lainnya. Teori kompleksitas berkaitan dengan seberapa sulit suatu fungsi dikomputasi. Aneh bagi saya bahwa saya belum pernah melihat orang yang menggabungkan bidang studi ini, karena mereka tampak seperti pasangan alami. Adakah yang pernah melakukan ini sebelumnya? Sebagai …

18 cc.complexity-theory  algebra  algebraic-complexity 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Misalkan adalah kelas dari masalah keputusan yang memiliki algoritma acak kesalahan dua sisi terikat yang berjalan dalam waktu O ( f ( n ) ) .BPTIME(f(n))BPTIME(f(n))\mathsf{BPTIME}(f(n))O(f(n))O(f(n))O(f(n)) Apakah kita tahu ada masalah sedemikian sehingga Q ∈ B P T I M E ( n k ) tetapi Q ∉ D T …

18 cc.complexity-theory  ds.algorithms  randomized-algorithms  derandomization 

The Kompleksitas kebun binatang tidak memiliki banyak tentang SCSC\mathsf{SC} . Saya mencari masalah † bagus yang ada di level hirarki yang lebih tinggi, yaitu masalah di D T i m e S p a c e ( n O ( 1 ) , lg O ( 1 ) n ) …

18 cc.complexity-theory  complexity-classes 

Apakah ada pekerjaan yang telah dilakukan tentang bagaimana kompleksitas kejadian acak # 2-SAT bervariasi dengan kepadatan klausa? Yaitu: bagaimana kesulitan menghitung solusi yang memuaskan untuk contoh 2-SAT yang dihasilkan secara acak bervariasi, karena kepadatan klausa bervariasi? Secara khusus, apakah ada hasil yang diketahui melibatkan melibatkan ambang kritis? Tentu saja, karena …

18 cc.complexity-theory  counting-complexity  random-k-sat 

Mafia adalah permainan permainan peran yang populer di pesta-pesta, deskripsi terperinci tersedia di wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 . Pada dasarnya, ini berfungsi sebagai berikut: Pada awalnya, masing-masing pemain NNN diam-diam diberi peran, baik selaras dengan Mafia atau dengan Kota. Setiap peran mungkin memiliki kemampuan khusus; lebih lanjut tentang itu nanti. Ada dua …

18 cc.complexity-theory  gt.game-theory  combinatorial-game-theory 

IP = PSPACE terdaftar sebagai contoh kanonik dari hasil non-relativizing, dan bukti untuk ini adalah bahwa ada oracle sedemikian sehingga , sementara {\ sf CoNp} ^ O \ subseteq {\ sf PSPACE} ^ O untuk semua nubuat O .OOOcoNPO⊈IPOcoNPO⊈IPO{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcoNPO⊆PSPACEO{\sf coNP}^O \subseteq {\sf PSPACE}^OOOO Namun, saya telah …

18 cc.complexity-theory  interactive-proofs  relativization 

Saya pikir itu akan menjadi ide yang baik untuk membuat daftar teorema yang menyatakan bahwa P tidak sama dengan NP jika dan hanya jika ini dan itu keluar, beberapa kelas kompleksitas terkandung dalam kelas kompleksitas lain dan seterusnya dan seterusnya.

18 cc.complexity-theory  big-list  p-vs-np