Pertanyaan yang diberi tag «cc.complexity-theory»

Ada beberapa bukti untuk batas bawah loglinear untuk elemen keunikan / masalah perbedaan (berdasarkan pohon perhitungan aljabar atau argumen permusuhan), tapi saya mencari satu yang cukup sederhana untuk digunakan dalam kursus pertama dalam analisis dan desain algoritma. "Tingkat kesulitan" yang sama dengan batas bawah untuk penyortiran akan baik-baik saja. Juga, …

13 cc.complexity-theory  lower-bounds  proofs 

Misalkan kita memiliki seperangkat S grafik (grafik berhingga, tetapi sejumlah tak terbatas dari mereka) dan sekelompok P permutasi yang bekerja pada S. Instance: P permutasi di P. Pertanyaan: Apakah ada grafik g di S yang menerima p automorfisme? Apakah ini masalah NP-complete untuk beberapa set S? Akan mudah untuk memeriksa …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

Dalam makalah berjudul "On Deniability dalam Common Reference String dan Random Oracle Model," tulis Rafael Pass: Kami mencatat bahwa ketika membuktikan keamanan sesuai dengan definisi nol-pengetahuan standar dalam model RO [Random Oracle], simulator memiliki dua keunggulan dibandingkan simulator model biasa, yaitu, Simulator dapat melihat nilai-nilai apa yang diminta pihak oracle. …

13 cc.complexity-theory  cr.crypto-security  oracles  black-box 

Setelah diskusi tentang batas bawah untuk 3SAT [ 1 ], saya bertanya-tanya apa hasil batas bawah utama yang dirumuskan sebagai pertukaran ruang-waktu. Saya mengecualikan hasil seperti, katakanlah, teorema Savitch; entri yang bagus akan fokus pada satu masalah dan batasannya. Contohnya adalah: "Biarkan T dan S menjadi batas waktu berjalan dan …

13 cc.complexity-theory  ds.algorithms  big-list  space-time-tradeoff 

Sederhananya: apa korespondensi antara mesin Turing dengan oracle, dan keluarga sirkuit seragam dengan oracle? Bagaimana yang terakhir didefinisikan untuk mendapatkan model komputasi yang sama, untuk mesin Turing oracle yang diberikan? Ini mungkin pertanyaan mendasar, tetapi tidak jelas ke mana harus mencari, dan saya adalah tipe orang yang suka memastikan bahwa …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Rumus Monotone-2CNF adalah formula CNF di mana setiap klausa tersusun oleh tepat 2 literal positif. Sekarang, saya memiliki Monoton-2CNF rumus . Misalkan S adalah himpunan tugas F yang memuaskan. Saya juga memiliki oracle O yang dapat memberikan informasi berikut:FFFSSSFFFOOO Kardinalitas himpunan (yaitu jumlah solusi F ).SSSFFF Diberikan variabel : xxx …

13 cc.complexity-theory  ds.algorithms  sat  counting-complexity 

Hal ini diketahui berkat Immerman dan Szelepcsényi bahwa jika f = Ω ( log ) (bahkan untuk fungsi yang dapat dibangun tanpa ruang).NSPACE(f)=coNSPACE(f)NSPACE(f)=coNSPACE(f){\rm NSPACE}(f)={\rm coNSPACE}(f)f=Ω(log)f=Ω(log)f=\Omega(\log) Dalam makalah yang sama, Immerman menyatakan bahwa hierarki bolak-balik logspace runtuh, ini berarti bahwa (definisi mesin turing bolak terbatas dan apa yang ada hierarki dapat …

13 cc.complexity-theory  reference-request  space-bounded  alternating-hierarchy 

Kompleksitas kelas PPAD ditemukan oleh Christos Papadimitriou dalam makalah seminalnya tahun 1994 . Kelas dirancang untuk menangkap kerumitan masalah pencarian di mana keberadaan solusi dijamin oleh "Argumen paritas dalam grafik berarah": jika ada titik tidak seimbang dalam grafik berarah maka harus ada yang lain. Tetapi biasanya kelas secara formal didefinisikan …

13 cc.complexity-theory  reductions  search-problem  ppad 

Sejujurnya, saya tidak tahu banyak tentang bagaimana angka acak dihasilkan (komentar dipersilahkan!) Tapi mari kita asumsikan model teoritis berikut: Kita bisa mendapatkan bilangan bulat acak acak dari dan tujuan kami adalah untuk mengeluarkan bilangan bulat secara acak acak dari [1,3].[1,2n][1,2n][1,2^n] Solusi sederhana yang diharapkan waktu berjalan polinomial adalah sebagai berikut. …

13 cc.complexity-theory  np-hardness  randomized-algorithms 

Asumsikan P NP.≠≠\ne Teorema Ladner mengatakan bahwa ada masalah NP Menengah (masalah dalam NP yang tidak dalam P atau NP-Lengkap). Saya telah menemukan beberapa referensi terselubung online yang menyarankan (saya pikir) bahwa ada banyak "level" dari bahasa yang saling direduksi dalam NPI yang pasti tidak semuanya runtuh menjadi satu. Saya …

13 cc.complexity-theory  np  np-intermediate 

Seperti yang saya pahami, bukti bahwa P = NP atau P ≠ NP harus tidak dapat direlatifikasi (seperti dalam teori rekursi). Namun, pada dasarnya semua bukti tampaknya relativizable. Apa contoh yang baik dari bukti yang tidak dapat direlatifikasi, dari jenis yang perlu P = NP / P ≠ NP bukti, …

13 cc.complexity-theory  lo.logic  computability  p-vs-np  relativization 

Apakah diketahui apakah umpan balik mengatur masalah pada grafik planar tidak berarah dengan derajat terikat adalah -hard?NPNP\mathsf{NP}

13 cc.complexity-theory  reference-request  graph-algorithms  np-hardness 

Kelas kompleksitas PPAD biasanya didefinisikan dengan menyatakan bahwa End-Of-The-Line adalah PPAD-complete. End-Of-The-Line adalah masalah pencarian. Input terdiri dari grafik terarah di mana setiap node memiliki derajat dan derajat paling banyak 1. Grafik diberikan oleh fungsi komputasi waktu polinomial yang mengembalikan pendahulu dan penerus x . Selain itu, seseorang diberi simpul …

13 cc.complexity-theory  complexity-classes  ppad 

Pertimbangkan permainan berikut pada grafik tertimbang GGG diarahkan dengan chip di beberapa node. Semua node GGG ditandai dengan A atau B. Ada dua pemain, Alice dan Bob. Tujuan dari Alice (Bob) adalah untuk menggeser chip ke node yang ditandai oleh A (B). Awalnya Alice dan Bob memiliki mAmSEBUAHm_A dan mBmBm_B …

13 cc.complexity-theory  complexity-classes  gt.game-theory 

Ada peneliti yang menunjukkan bahwa menghapus bit harus mengkonsumsi energi, sekarang adakah penelitian yang dilakukan terhadap konsumsi rata-rata algoritma dengan kompleksitas komputasi ? Saya kira, kompleksitas komputasi F ( n ) berkorelasi dengan konsumsi energi rata-rata, harap saya bisa mendapatkan jawaban di sini.F( n )F(n)F(n)F( n )F(n)F(n)

12 cc.complexity-theory  reference-request  it.information-theory  quantum-information  statistical-physics