«open-problem» etiketlenmiş sorular

Alon ve Spencer'ın Olasılıksal Yöntem kitabının 1. Bölümünde şu problemden bahsediliyor: Bir grafik verildiğinde , kenar bağlantısının en az n / 2 olup olmadığına karar verin .GGGn/2n/2n/2 Yazar varlığını söz Matula göre algoritma ve bunu artırır O ( n, 8 / 3 günlük , n ) .O(n3)O(n3)O(n^3)O(n8/3logn)O(n8/3log⁡n)O(n^{8/3}\log n) Benim sorum, …

13 ds.algorithms  open-problem  graph-algorithms 

Derleyici teorisi oldukça incelenmiş bir konu gibi görünmektedir. Alanda meydana gelen bazı açık problemler veya güncel araştırmalar nelerdir?

13 soft-question  big-list  open-problem  compilers 

Üçgen bir 3-manifoldun belirli bir 3-kürecik olup olmadığının belirlenmesinin, 2004 yılında Saul Schleimer tarafından yapılan çalışma ile NP'de olduğu bilinmektedir: "Küre tanıma NP'de yatmaktadır" arXiv: math / 0407047v1 [math.GT] . Bunun son beş-altı yıl içinde NP-tamamlanmış olup olmadığını merak ediyorum. 3-manifold düğüm cinsi problemi gibi benzer problemlerin NP-tam olduğu gösterilmiştir.

13 cc.complexity-theory  reference-request  open-problem  topology 

Greibach , sözde belirsiz olmayan versiyonu olarak bilinen bir dilini tanımladı , böylece herhangi bir CFL, ters morfik bir görüntüsü olacak . DCFL ile benzer bir ifade var mı, muhtemelen izin verilen morfizmlerde bazı kısıtlamalar var mı?D 2 HHHHD2D2D_2HHH (Bakınız, örneğin, M. Autebert, J. Berstel ve L. Boasson. Bağlamdan bağımsız …

12 fl.formal-languages  open-problem  context-free  nondeterminism  hard-instances 

Çeşitli sayı teorik / cebirsel problemlerin bilinen veya bilinmeyen karmaşıklığı hakkında bir liste arıyorum. Örneğin, GCD açık,N-C1NC1NC^1 faktoring açıktır,PPP demet kohomolojisinin hesaplanması -hard# P#P\#P , Arora Barak faktoringe bir varyantı olan devlet -Komple (bu tartışma göre açık değildir da faktoringe bir NP-tam varyantı. ),N-PNPNP Barbulescu ve arkadaşlarının ayrık logaritmalar üzerine …

12 cc.complexity-theory  big-list  algebra  open-problem 

Aşağıdaki özelliklerle ilgili sorunlar nelerdir: 1) PSPACE-tamamlanmış (muhtemelen iyi bilinen) sorunların kısıtlanmasıdır; 2) kısıtlanmış sürümler PSPACE'tedir, ancak PSPACE-tamamlanmışsa (veya NP-sert olsalar bile) açık bir sorundur . "Puzzles & C." den dört örnek: 1x1 Rush Hour [1] 'in karmaşıklığı (2x1 boyutundaki bloklar için PSPACE-complete); [ ÇÖZÜLDÜ ] Düzlemsel Metro Karışması'nın karmaşıklığı …

12 big-list  open-problem 

by http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Eğer bir Pspace tamamlama dil, P bir = N P A .AbirAPA=NPAPbir=N-PbirP^{A}=NP^{A} Eğer deterministik polinom zamanlı oracle, P B ≠ N P B (varsayarak P ≠ N P ).BBBPB≠NPBPB≠N-PBP^{B}\ne NP^{B}P≠NPP≠N-PP\ne NP , # P ve P ⊆ P P ⊆ P S P A C E için analog …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

Polymath projelerinde büyük bir grup açık bir problem üzerinde çalışır. Bu çerçevede en iyi ne tür sorunlar işe yarıyor? Teorik bilgisayar bilimlerinde çok yönlü bir proje için iyi adaylar var mı? Polymath projelerinin teorik bilgisayar biliminde başarılı olma olasılığını diğer matematiğe kıyasla daha az engelleyen herhangi bir engel var mı?

11 soft-question  open-problem  research-practice 

İletişim karmaşıklığında, log-rank varsayımı, c c ( M) = ( günlükr k ( E) )O ( 1 )cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Burada iletişim karmaşıklığıdır ve sıralamasıdır reals fazla (bir matris olarak).M ( x , y ) r k ( M ) Mc c ( M)cc(M)cc(M)M( x , y)M(x,y)M(x,y)r k ( …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Bilim bölümünde yayınlanan ve polinom kaynaklarını ve kolektif devletleri kullanarak polinom zamanında NP-tam problemlerini hatırlamak . Memcomputing, aynı fiziksel platformda bilgi depolamak ve işlemek için etkileşimli bellek hücrelerini (kısaca memprosesörler) kullanan yeni bir Turing dışı hesaplama paradigmasıdır . Son zamanlarda matematiksel makinelerin, belirsiz Turing makineleri ile aynı hesaplama gücüne sahip …

9 np-complete  open-problem 

Biz biliyoruz ki L⊆NL⊆P⊆NPL⊆NL⊆P⊆NP\mathcal{L}\subseteq \mathcal{N\!L}\subseteq\mathcal{P}\subseteq\mathcal{N\!P}. Savitch Teoreminden,NL⊆L2NL⊆L2\mathcal{N\!L}\subseteq\mathcal{L}^2Uzay Hiyerarşisi Teorem'den, L≠L2L≠L2\mathcal{L}\neq\mathcal{L}^2. Yani, bilmediğimiz gibiL≠PL≠P\mathcal L\neq\mathcal P, bilmiyoruz L2⊆PL2⊆P\mathcal L^2\subseteq\mathcal P, ya da biliyor muyuz L2⊈PL2⊈P\mathcal L^2\not\subseteq\mathcal P? Herkes olduğunu kanıtlamaya çalışıyor mu? Bu şekilde en son sonuçlar veya çabalar nelerdir? Bu konu hakkında bir anket yazmaya çalışıyorum, ancak alakalı bir şey …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

Background––––––––––––––Background_\underline{\bf Background} 2005 yılında Regev [1], Hatalı Öğrenme Paritesinin genelleştirilmesi olan Hatalarla Öğrenme (LWE) problemini tanıttı. Bu sorunun belirli parametre seçimleri için sertliği varsayımı, artık kafes tabanlı kriptografi alanındaki bir dizi kuantum kripto sistemi için güvenlik kanıtlarının altında yatmaktadır. LWE'nin "kanonik" versiyonları aşağıda açıklanmaktadır. Ön Bilgiler: İzin Vermek T=R/ZT=R/Z\mathbb{T} = …

9 cc.complexity-theory  ds.algorithms  cr.crypto-security  machine-learning  open-problem