Pertanyaan yang diberi tag «relativization»

Sebuah pertanyaan baru - baru ini oleh Huck Bennett yang menanyakan apakah kelas PH terkandung dalam kelas PP, menerima jawaban yang agak kontradiktif (sepertinya benar). Di satu sisi, beberapa hasil oracle diberikan sebaliknya, dan di sisi lain Scott menyarankan bahwa jawabannya kemungkinan positif karena teorema Toda menunjukkan bahwa PH ada …

63 cc.complexity-theory  counting-complexity  derandomization  relativization 

Apakah ada contoh mainan yang memberikan wawasan 'esensial' untuk memahami tiga hambatan yang diketahui untuk masalah - relativization, bukti alami dan algebrization?P=NPP=NPP = NP

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers 

Dalam banyak domain, ada teknik kanonik yang harus dikuasai semua orang di bidang ini. Misalnya, untuk pengurangan logspace, "trik bit" untuk komposisi yang terdiri dari tidak membangun output penuh dari fungsi yang dikomposisikan, tetapi selalu meminta untuk menghitung ulang hasil untuk setiap bit output, yang memungkinkan untuk menjaga batasan logspace. …

28 cc.complexity-theory  oracles  relativization 

Saya sedang membaca makalah Andrej Bauer Langkah Pertama dalam Teori Komputasi Sintetis . Dalam kesimpulan dia mencatat itu Aksiomasiisasi kami memiliki batas: tidak dapat membuktikan hasil apa pun dalam teori komputabilitas yang gagal dikaitkan dengan perhitungan oracle. Ini karena teori dapat ditafsirkan dalam varian topos efektif yang dibangun dari fungsi …

22 computability  relativization 

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 

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 

Latar Belakang Hal ini diketahui bahwa ada sebuah ramalan AAA seperti itu, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Bahkan diketahui bahwa pemisahan relatif terhadap oracle acak. Secara informal, seseorang mungkin menafsirkan ini berarti bahwa ada banyak nubuat yang PSPACEPSPACEPSPACE dan PHPHPH terpisah. Pertanyaan Bagaimana rumit adalah firman ini yang memisahkan PSPACEPSPACEPSPACE dari …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Apa saja contoh pasangan kompleksitas kelas dan sedemikian rupa sehinggaAAABBB kita tidak tahu apakah , danA=BA=BA=B kita tidak tahu relativiasi kontradiktif juga (yaitu, kita tidak tahu orakel dan Q sehingga A P = B P dan A Q ≠ B Q )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Untuk ungkapan pertanyaan dengan …

16 cc.complexity-theory  complexity-classes  relativization 

Masalah pemeliharaan pesanan (atau "mempertahankan pesanan dalam daftar") adalah untuk mendukung operasi: singleton: membuat daftar dengan satu item, mengembalikan pointer ke sana insertAfter: diberi pointer ke item, memasukkan item baru setelahnya, mengembalikan pointer ke item baru delete: diberi pointer ke item, menghapusnya dari daftar minPointer: diberi dua petunjuk untuk item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Ini adalah tindak lanjut dari pertanyaan ini , dan terkait dengan pertanyaan Siwa Kinali ini. Tampaknya bukti dalam makalah ini ( Allender , Caussinus-McKenzie-Therien-Vollmer , Koiran-Perifel ) menggunakan teorema hierarki. Saya ingin tahu apakah buktinya adalah teorema diagonalisasi " murni ", atau apakah mereka menggunakan sesuatu yang lebih dari diagonalisasi …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

Lance Fortnow baru-baru ini mengklaim bahwa membuktikan L! = NP harus lebih mudah daripada membuktikan P! = NP : Pisahkan NP dari ruang Logaritmik. Saya memberikan empat pendekatan dalam survei pra-blog 2001 tentang diagonalisasi (Bagian 3) meskipun tidak ada yang berhasil. Seharusnya lebih mudah daripada memisahkan P dari NP. Bagian …

13 cc.complexity-theory  reductions  relativization 

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 

Zoologi Kompleksitas oleh Greg Kuperberg menyatakan bahwa ada bahasa sehingga \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {\ Delta_2 \ mathsf {P}} ^ X - dengan kata lain, \ mathsf {BPP} ^ X \ nsubseteq \ mathsf {P} ^ {\ mathsf {NP} ^ X} - tetapi tidak memberikan …

12 cc.complexity-theory  oracles  relativization  polynomial-hierarchy  separation 

Mungkinkah untuk menunjukkan bahwa suatu hukuman harus secara formal independen berdasarkan fakta bahwa hukuman itu tidak relativizing? Dengan kata lain, apakah ada contoh kalimat dalam teori komputabilitas / kompleksitas di mana ia dapat ditunjukkan baik a) bahwa semua bukti yang menyelesaikan pertanyaan apakah dua kelas sama harus relativize, dan b) …

12 lo.logic  relativization 

Saya ingin tahu apakah ada dunia yang direlatifikasi di mana . Saya juga tertarik untuk mengetahui apakah ada dunia yang direlatifikasi di mana .PA=NPA≠PPAPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠NPB=PPBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}

11 cc.complexity-theory  oracles  relativization