Teorik Bilgisayar Bilimi

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 

Neredeyse tüm SAT çözümleyicilerinin neden DNF yerine CNF kullandığını anlamıyorum. Bana öyle geliyor ki, SAT çözümünü DNF kullanarak daha kolay. Ne de olsa, yalnızca bir dizi kümesi taramanız ve bunlardan birinin hem değişken hem de olumsuzlama içermediğini kontrol etmeniz gerekir. CNF için böyle basit bir prosedür yoktur.

22 ds.algorithms  sat 

x∈Rnx∈Rnx \in \mathbb{R}^nA x A R n R ≪ n A k∥x∥0&lt;k‖x‖0&lt;k\|x\|_0 < kAxAxAxAAARRRnnnR≪nR≪nR \ll nAAAkkk-sparse ile kadar küçük . En iyi bilinen parametrelere sahip olmayabilirim ama bu genel fikir.R O ( k , n O ( 1 ) )xxxRRRO(kno(1))O(kno(1))O(k n^{o(1)}) Sorum şu: diğer ortamlarda benzer olaylar var mı? Demek …

22 ds.algorithms  ds.data-structures  compressed-sensing 

Gerçek değerleri alan rasgele algoritmalar için , "medyan hilesi", sadece bir çarpımsal pahasına herhangi bir eşik eşiğindeki başarısızlık olasılığını azaltmanın basit bir yoludur. ek yükü. Yani, eğer 'nın çıktısı olasılıkla (en azından) olasılıkla "iyi aralık" ' ye düşerse , o zaman bağımsız kopyalar ve çıktılarının medyanını alarak , Chernoff / …

22 ds.algorithms  randomized-algorithms 

Sabit bir "k" (genişlik) için grafiklerin Ağaç ayrışımını hesaplamak için açık kaynaklı bir program bilen var mı? Tree-Decomposition bulma probleminin "k" değişkeni için NP-Hard olduğunu biliyorum, ancak girdi örneklerim gerçekten küçük olacak (~ 10 düğüm) ve "k" düzeltildi.

22 ds.algorithms  graph-theory  graph-algorithms  software  treewidth 

Herkes, genel grafiklerde NP zor olan birçok karar sorunu olduğunu biliyor, ancak temel grafik bir yol olduğunda NP zor olan problemlerle ilgileniyorum. Öyleyse, bu tür sorunları toplamama yardım edebilir misin? Ağaçlardaki NP zor problemleri ile ilgili bir soru buldum .

22 graph-theory  np-hardness 

" P Versus NP resmi olarak bağımsız mı? " Okuyordum ama şaşırdım. Yaygın olarak karmaşıklık teoride inanılan . Benim sorum bu kanıtlanabilir değilse (söylediklerine hakkındadır Z F C ). (Sadece P ≠ N P'nin Z F C'den bağımsız olduğunu ancak bunun nasıl kanıtlandığı hakkında daha fazla bilgi bulamadığımızı varsayalım .)P≠NPP≠NP\mathsf{P} …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

"Muhtemelen Bağlamsız" dilleri arıyorum ancak bilinen standart teknikleri kullanarak ispatlayamıyoruz. Konuyla ilgili yakın zamanda yapılan bir anket ya da yakın tarihli bir konferanstaki açık sorunlu bir bölüm var mı? Muhtemelen CF olarak bilinen pek fazla dil yoktur, bu yüzden eğer bir tane biliyorsanız, cevap olarak da gönderebilirsiniz. Bulduğum örnekler: İlkel …

21 reference-request  big-list  context-free 

Son zamanlarda, hesaplama karmaşıklığı kavramını, algoritmalar veya karmaşıklık konusunda daha önce hiç resmi bir ders almayan genç yetenekli, kendi kendini eğiten bir programcıya gayrı resmi olarak açıklamanın acı dolu eğlenceli deneyiminden geçtim . Şaşırtıcı olmayan bir şekilde, birçok fikir ilk başta garip görünüyordu, ancak bazı örnekler (PTIME, kararsızlık, hesaplanamazlık) ile …

21 cc.complexity-theory  ds.algorithms  np-hardness 

Teorik bilgisayar bilimlerinde bazen isimsiz bir bekar yazar olarak yazılar yazıyorum. Daha önce, bu tür gazetelerde ilk kişiyi kullandım, örneğin: X ve Y'nin karmaşıklık sınıflarının çakıştığını göstereceğiz. Ben ne İngilizce, ne de İngilizce konuşabiliyorum. Son zamanlarda, ana dili İngilizce olan bir konuşmacıdan (kim bilime giriyor, bilgisayar bilimcisi değil) tekil 1. …

21 soft-question  paper-review  writing 

Son zamanlarda araştırmamda aşağıdaki sorun ortaya çıktı. Algoritmik sorular konusunda uzman olmadığımdan, indirilecek uygun problemleri arama konusunda yoğun bir şekilde Googled'im. 3SAT'ın nasıl işe yaradığını göremiyorum ve ZOE ruhaniyette benzer olsa da, bir azalma açık değildir. Başka bir olasılık, gerçeklerin varoluşsal teorisi olabilir. Bu tam bir eşleşme gibi gözükmüyor ama …

21 cc.complexity-theory 

Herhangi bir doğal problem var mı P bağlanmış en iyi bilinen çalışma süresi formu olduğu , bir bir akıl sabitiaO(nα)O(nα)O(n^\alpha)αα\alpha

21 cc.complexity-theory  time-complexity  polynomial-time 

Aşağıdaki sorunun PSPACE-komple olduğu iyi bilinmektedir: Normal ifade verildiğinde , L ( β ) = Σ ∗ mı?ββ\betaL(β)=Σ∗L(β)=Σ∗L(\beta) = \Sigma^* Diğer (sabit) normal ifadeler denkliği belirlemeye ne dersiniz ?αα\alpha Normal ifade verildiğinde , L ( β ) = L ( α ) mı?ββ\betaL(β)=L(α)L(β)=L(α)L(\beta) = L(\alpha) Aşağıdaki bilinmektedir: İçin , sorun …

21 cc.complexity-theory  automata-theory  regular-expressions  pspace 

Araştırmam sırasında aşağıdaki sonuçla karşılaştım. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 burada m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) ve a_1, \ cdots, a_m [n] 'a1,⋯,ama1,⋯,ama_1,\cdots,a_m den rasgele seçildi .[n][n][n] Bir referans / doğrudan bir kanıt arıyorum. MO üzerinde crossposted

21 reference-request  co.combinatorics  pr.probability 

CoC'un Lambda Küpünün üç boyutunun da doruk noktası olduğu söyleniyor. Bu bana hiç belli değil. Sanırım bireysel boyutları anladım ve her ikisinin kombinasyonu göreceli olarak basit bir birliğe yol açıyor gibi görünüyor (belki bir şeyleri özlüyorumdur?). Ama CoC'ye baktığımda, üçünün de kombinasyonu gibi bakmak yerine, tamamen farklı bir şeye benziyor. …

21 lambda-calculus  type-systems  typed-lambda-calculus  calculus-of-constructions