«open-problem» etiketlenmiş sorular

+ 1, -1 girişli bir A matrisinin işaret sırası, A ile aynı işaret desenine sahip olan bir B matrisinin en düşük sırasıdır (yani, tüm i'ler için , j ). Bu kavram iletişim karmaşıklığı ve öğrenme teorisi için önemlidir.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j Sorum şu: Bir matrisin işaret sırasını faktörüne yaklaştıran bilinen (uzatılabilir zaman) algoritmaları …

25 lg.learning  open-problem  communication-complexity  matrices 

Sabit için , tek bir giriş grafiği verilen doğrusal zamanda belirleyebilir G olup onun, treewidth isimli ≤ k . Her iki Ancak, k ve G, girdi olarak verilir, sorun NP zordur. ( Kaynak ).k∈Nk∈Nk \in \mathbb{N}GGG≤k≤k\leq kkkkGGG Bununla birlikte, giriş grafiği düzlemsel olduğunda , karmaşıklık hakkında çok daha az şey …

23 reference-request  graph-theory  np-hardness  open-problem  treewidth 

Bir ilişkinin (deterministik) iletişim karmaşıklığı yanı sıra , gerekli iletişim miktarı için bir başka temel ölçü, protokol bölüm numarasıdır . Bu iki önlem arasındaki ilişki sabit bir faktöre kadar bilinmektedir. Kuşhilevitz ve Nisan (1997) tarafından yapılan monografi;cc(R)cc(R)cc(R)RRR pp(R)pp(R)pp(R) cc(R)/3≤log2(pp(R))≤cc(R).cc(R)/3≤log2⁡(pp(R))≤cc(R).cc(R)/3 \le \log_2(pp(R)) \le cc(R). İkinci eşitsizlikle ilgili olarak, ile (sınırsız bir …

22 fl.formal-languages  lower-bounds  open-problem  regular-expressions  communication-complexity 

Diyelim ki düzlemde birkaç ayrık basit çokgen ve her poligonun dışında iki nokta ve t verildi . Öklid en kısa yol problemi ile ilgili Öklid kısa yol hesaplamak için s için t herhangi bir çokgen iç kesişmez. Somutluk için, s ve t koordinatlarının ve her çokgen köşesinin koordinatlarının tamsayı olduğunu …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

1999'da Petra Schuurman ve Gerhard J. Woeginger "Makine çizelgeleme için polinom zaman yaklaşımı algoritmaları: On açık problem" makalesini yayınladı . O zamandan beri, bildiğim kadarıyla, aynı sorun listesini ilgilendiren yorumlar ortaya çıkmadı. Bu nedenle, her birimizin on açık sorundan bazıları için bu tür bir özet yapıp burada katkıda bulunabilmesi harika …

22 ds.algorithms  approximation-algorithms  open-problem  approximation-hardness  scheduling 

Greenlaw, Hoover ve Ruzzo (PS) (PDF) tarafından yazılan "P için Tamamlanmış Bir Sorunlar Özeti" makalesinde , P'de NC'de bilinmeyen ve P-tamamlandığı bilinmeyen sorunların bir listesi vardır. . (Bu liste, Karp ve Ramachandran'ın mükemmel anketindeki tüm açık problemleri ele almaktadır .) Açık problemler listesi sayfa 89'da başlamaktadır. Bu listeden kaç sorun …

20 cc.complexity-theory  open-problem  circuit-complexity 

Farzedin ki bir n x n matrisimiz var. Üst üçgen şeklindeki bir matris elde edeceğimiz için satırlarını ve sütunlarını yeniden sıralamak mümkün müdür? Bu soru bu sorundan kaynaklanıyor: Pozitif topolojik sıralama Orijinal karar sorunu en az bu kadar zor, bu yüzden bir NP tamlık sonucu da bunu çözecektir. Edit: Laszlo …

20 ds.algorithms  np-hardness  open-problem  matrices 

DFA'nın herhangi bir durumunu tek bir duruma gönderen bir dize varsa , bir DFA'nın eşitleme sözcüğü vardır. AN Trahtman'ın (Ayrık Matematik ve Teorik Bilgisayar Bilimi cilt 9: 2, 2007, s.3-10) 'Aperiodic Automata için Cerny Konjonktürü'nde, Cerny, 1964'te her n-durum senkronize edilebilir DFA'nın en fazla bir senkronize kelime uzunluğuna sahip olduğunu …

19 fl.formal-languages  automata-theory  open-problem  synchronization 

Programlama dillerinden, özellikle program analizi ve derlemesinden kaynaklanan bazı büyük, açık hesaplama karmaşıklığı sorunları nelerdir? "Hindley-Milner tipi çıkarımın zaman karmaşıklığı" veya "0CFA zaman karmaşıklığı" (her ikisi de çözülmüş problemler olsa da) satırlarında sorunlar arıyorum.

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Değişkenlerin sayısı sabitse tamsayı doğrusal programlamanın polinominal zamanda çözülebildiğini okudum , yani n ∈ O ( 1 ) . Değişken sayısı logaritmik olarak büyüyorsa, yani belirli bir N boyutu girişi için n ∈ O ( log 2 ( N ) ) , sorun polinom zamanında hala çözülebilir mi, yoksa açık …

16 cc.complexity-theory  np  open-problem 

Arka fon 0'daki fonksiyonlar, derinliği devresini öğrenmek için rasgele seçilen sorguları gerektiren klasik klasik bir algoritma ile kuasipolinomiyal zamanda PAC öğrenilebilir . çarpanlara ayırma algoritması yoksa bu optimaldir [2]. Tabii ki, bir kuantum bilgisayarında nasıl faktör hesaplayacağımızı biliyoruz, bu nedenle bu alt sınır yardımcı olmuyor. Ayrıca, en uygun klasik algoritma …

15 quantum-computing  lg.learning  machine-learning  open-problem  ne.neural-evol 

Başarıyla çözülen Collatz varsayımına "en yakın" (ve "en karmaşık") problemle ilgileniyorum (Erdos'un ünlü olarak "matematik bu tür problemler için henüz olgun değil"). "Collatz benzeri" problemlerin bir sınıfının kararsız olduğu kanıtlanmıştır. Bununla birlikte, Hofstadter'ın MIU oyunu (çözüldü, ancak kuşkusuz daha fazla oyuncak problemi) gibi belirsiz bir şekilde benzer olan problemler gerçekten …

14 reference-request  open-problem  nt.number-theory  halting-problem  computability 

Bazı dil düşünün :LLL L ∈ D TbenME( O ( f( n ) ) ) ∩ D SPA CE( O ( g( n ) ) )L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) Ve böylece L ∉ D TbenME( o ( f( n ) ) ) ∪ D SPA CE( o ( g( …

14 cc.complexity-theory  ds.algorithms  open-problem  space-time-tradeoff 

Seyrek yönlendirilmemiş bir grafiğin çevresini nasıl bulacağımı merak ediyorum . Seyrek olarak kastediyorum . Optimum olarak en düşük zaman karmaşıklığını kastediyorum.|E|=O(|V|)|E|=O(|V|)|E|=O(|V|) Tarjan'ın yönlendirilmemiş grafikler için algoritmasında bazı değişiklikler yapmayı düşündüm , ancak iyi sonuçlar bulamadım. Aslında 2 bağlantılı bir bileşen bulabilirsem, o zaman ilk bölümü elde edebilecek bir tür indüksiyonla …

14 ds.algorithms  graph-theory  open-problem 

Amaç : 12 nolu düzeneğin yansıtmalı bir düzleminin olmadığı varsayımına varınız . 1989'da, bir Cray üzerinde bilgisayar araması kullanarak Lam , 10 derecelik hiçbir projektif düzlemin olmadığını kanıtladı . Şimdi bu Rubik Küp için Tanrı'nın Numara tespit edilmiştir masif kaba kuvvet arama (artı simetri zeki matematik) sadece birkaç hafta sonra, …

14 open-problem