«relativization» etiketlenmiş sorular

1
PP PH hakkında daha fazla?
Bir son soru sınıfı PH sınıfı PP yer aldığını soran Huck Bennett tarafından, (öyle görünüyor ki, hepsi gerçek) biraz çelişkili cevaplar aldı. Bir yandan, bazı kehanet sonuçları tam tersine verildi ve diğer Scott, cevabın olumlu olduğunu öne sürdü çünkü Toda'nın teoremi, PH'nın PP'nin olasılık varyantı olan BP.PP'de olduğunu gösteriyor ve …
1
Kanonik göreceli olmayan teknikler var mı?
Birçok alanda, sahada çalışan herkesin ustalaşması gereken kanonik teknikler vardır. Örneğin, logspace azaltmaları için, oluşturulan işlevin tam çıktısını oluşturmaktan değil, her zaman çıktının her bitinin sonucunu yeniden hesaplamak isteyen ve logspace sınırlarını korumaya izin veren kompozisyon için "bit numarası". Benim sorum göreceli olmayan tekniklerle ilgili. Teorisyenler göreceli olmayan temel işlemlerin …
3
Hesaplanabilirlik teorisinde göreceli olmayan bir sonuç var mı?
Andrej Bauer'ın Sentetik Hesaplanabilirlik Teorisindeki İlk Adımları makalesini okuyordum . Sonuç olarak o notları Bizim aksiyomlaştırmamızın bir sınırı vardır: hesaplanabilirlik teorisinde kehanet hesaplamaları ile göreceli olarak başarısız olan sonuçları kanıtlayamaz. Bunun nedeni, teorinin, kısmi özyinelemeli işlevlerden inşa edilmiş etkili topoların bir kâhise erişimi olan bir varyantında yorumlanabilmesidir. Bu, hesaplanabilirlikteki göreceli …
1
IP = PSPACE'in göreceli olmamasının “gerçek” nedeni nedir?
ÖÖOc o N PÖ⊈ I PÖcÖN-PÖ⊈benPÖ{\sf coNP}^O \not\subseteq {\sf IP}^OcoNPO⊆PSPACEOcÖN-PÖ⊆PSPbirCEÖ{\sf coNP}^O \subseteq {\sf PSPACE}^OOÖO Ancak, yalnızca birkaç kişinin sonucunun neden göreceli hale gelmediğine ve genel yanıtın "aritmetizasyon" olduğuna " doğrudan" bir açıklama yaptığını gördüm . IP = PSPACE ispatı incelendikten sonra, bu cevap yanlış değil , ama benim için tatmin …
5
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını test etmek mümkün müdür?
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …
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 
1
PSPACE'i polinom hiyerarşisinden ayıran minimum karmaşıklık kehaneti nedir?
Arka fon Bir torpil var olduğu bilinmektedir AAA öyle ki, PSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A . Ayrılmanın rastgele bir kehanete göre olduğu bile bilinmektedir. Gayri, bir çok sayıda ürün kahinler olduğu anlamına bu yorumlayabilir PSPACEPSPACEPSPACE ve PHPHPH ayrıdır. Soru Karmaşık nasıl ayrı bu Kehanetlerini olan PSPACEPSPACEPSPACE ile ilgili PHPHPH . Özel olarak, …
2
Bilinen çelişkili relativizasyonlar olmadan potansiyel olarak eşit karmaşıklık sınıfları
Karmaşıklık sınıfları çiftlerinin örnekleri nelerdir ve bu türAAABBB olup olmadığını bilmiyoruz veA=BA=BA=B çelişkili relativizations bilgi yoktur ya (diğer bir deyişle, bildiğimiz yok Kehanetlerini ve öyle ki ve )?PPPQQQAP=BPAP=BPA^P = B^PAQ≠BQAQ≠BQA^Q \ne B^Q Soruyu başka bir şekilde ifade etmek için, çelişkili görelilikleri çözemezseniz eşitlik sorusunu açıkça çözmenin kolay olduğu sezgisel istisnalar …
1
Listedeki siparişin
Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …
1
Kalıcı üniform
Bu, bu kadar devamı niteliğindedir soru ve bu ilişkilidir sorusuna Shiva Kınalı arasında. Bu makalelerdeki kanıtların ( Allender , Caussinus-McKenzie- Therien- Vollmer , Koiran-Perifel ) hiyerarşi teoremlerini kullandığı görülmektedir. Kanıtların " saf " köşegenleştirme teoremleri olup olmadığını veya normal köşegenleştirmeden daha fazla bir şey kullanıp kullanmadığını bilmek istiyorum . Yani …
2
ALogTime! = PH'un kanıtlanması zor (ve bilinmiyor)?
Lance Fortnow geçtiğimiz günlerde L! = NP'yi kanıtlamanın P! = NP'yi kanıtlamaktan daha kolay olması gerektiğini iddia etti : NP'yi Logaritmik uzaydan ayırın. Blog öncesi 2001'de köşegenleştirme üzerine bir ankette (Bölüm 3) dört yaklaşım verdim , ancak hiçbiri göz ardı edilmedi. P'yi NP'den ayırmaktan çok daha kolay olmalıdır. Bağlantılı anketteki …
3
Relativize edilemeyen kanıtların doğal örnekleri nelerdir?
Anladığım kadarıyla, P = NP veya P ≠ NP'nin relativize edilemez olması gerektiğine dair bir kanıt (özyineleme teorisi kehanetlerinde olduğu gibi). Bununla birlikte, neredeyse tüm kanıtlar göreli olabilir. Relativize edilemeyen kanıtlara, P = NP / P proof NP kanıtlarının olması gerekecek, önemsiz veya çelişkili olmayan iyi örnekler nelerdir ? (Ben …
1
Ki Oracle göre içinde yer almayan
Karmaşıklık Genetiği Greg Kuperberg bir dil olduğunu belirtir XXX , öyle ki BPPX⊈Δ2PXBPPX⊈Δ2PX\mathsf{BPP}^X \nsubseteq \mathsf{\Delta_2 \mathsf{P}}^X , diğer bir deyişle, - BPPX⊈PNPXBPPX⊈PNPX\mathsf{BPP}^X \nsubseteq \mathsf{P}^{\mathsf{NP}^X} - ancak bu sonuç için referans vermiyor. Bu neden geçerli? Veya bir kanıt nerede bulunabilir? Bu soru kısmen motive edilir Cevabıma sorusuna “kısa mesajları ile çoklu …
1
Relativizasyon sonuçları cümlelerin resmi olarak bağımsız olduğunu kanıtlamak için kullanılabilir mi?
Göreceli olmayan bir cümle temelinde bir cümlenin resmi olarak bağımsız olması gerektiğini göstermek mümkün mü? Başka bir deyişle, hesaplanabilirlik / karmaşıklık teorisinde, her ikisinin de gösterilebileceği cümleler örnekleri var mı? A) iki sınıfın eşit olup olmadığı sorusunu çözen tüm ispatların yeniden aktive edilmesi ve b) tekrarlayan kanıtların olmadığı böyle bir …
1
göreli dünyası
göreli bir dünya olup olmadığını bilmek istiyorum . Ayrıca P B ≠ N P B = P P B'nin göreceli bir dünya olup olmadığını bilmekle de ilgileniyorum .Pbir= N Pbir≠ P PbirPA=NPA≠PPA{\bf P^A}={\bf NP^A}\not = {\bf PP^A}PB≠ N PB= P PBPB≠NPB=PPB{\bf P^B} \not = {\bf NP^B} = {\bf PP^B}
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.