Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

3
Doğrusal programlama için kuvvetli bir polinom algoritmasının varlığının sonuçları?
Algoritma tasarımının kutsal grailslerinden biri, doğrusal programlama için kuvvetli bir polinom algoritması bulmaktır ; yani, çalışma zamanı değişken ve kısıtlama sayısındaki bir polinom tarafından sınırlandırılan ve parametrelerin gösterilmesinin boyutundan bağımsız olan bir algoritma (varsayarak) birim maliyet aritmetiği). Bu soruyu çözmenin doğrusal programlama için daha iyi algoritmalar dışında etkileri olabilir mi? …
6
Ters Chernoff bağlı
Kuyruk olasılığının en azından bu kadar olmasını sınırlayan ters bir Chernoff sınırı var mı? yani eğer bağımsız binom rasgele değişkenleri ve . Daha sonra ispat bir fonksiyonu .X1,X2,…,XnX1,X2,…,XnX_1,X_2,\ldots,X_nμ=E[∑ni=1Xi]μ=E[∑i=1nXi]\mu=\mathbb{E}[\sum_{i=1}^n X_i]Pr[∑ni=1Xi≥(1+δ)μ]≥f(μ,δ,n)Pr[∑i=1nXi≥(1+δ)μ]≥f(μ,δ,n)Pr[\sum_{i=1}^n X_i\geq (1+\delta)\mu]\geq f(\mu,\delta,n)fff
5
Küçük hariç tutulan grafikler için kolay olan nedir?
Jung / Shah algoritmasını kullanarak, az sayıdaki dışlanmış grafiklerde yaklaşık renklendirme sayısının kolay olduğu görülüyor . Genel grafiklerde zor olan, ancak küçük dışlanan grafiklerde kolay olan diğer sorun örnekleri nelerdir? Güncelleme 10/24 Grohe'nin sonuçlarına göre, sınırsız dişli grafiklerinde test etmek için FPT olan formül, küçük dışlanmış grafiklerde test etmek için …
7
Programlama dili anlambilimi kitapları
Nielson ve Nielson'un " Uygulamalar ile Semantik " adlı kitabını okudum ve konuyu gerçekten beğendim. Programlama dili anlambilimi hakkında bir kitap daha istiyorum - ancak gerçekten sadece bir tane alabilirim. Turbak / Gifford kitabına bir göz attım ama çok uzun soluklu; Winskel'in iyi olacağını düşünmüştüm, ancak erişimim yok (Üniversite kütüphanemizde …
3
Mi içinde ihtiva edilen ?
Bu soruyu, buradaki diğer kullanıcılar için ilginç olabileceğinden paylaşacağımı düşündüm. Tek tip bir sınıfta olan ( gibi ) bir fonksiyonun küçük, tek tip olmayan bir sınıfta (örneğin, , yani tek tip olmayan ) olduğunu varsayalım, bu, fonksiyonun daha küçük tek tip bir sınıfta yer aldığını gösterir ( gibi mi? Bu …
9
Deterministik “görünen” algoritma?
Dahili rastgele olmasına bakılmaksızın, her zaman aynı (doğru) yanıtı veren, ancak rastlantısallığı kullanan, beklenen çalışma zamanının bilinen en hızlı çalışma zamanından daha iyi olması için rastgele bir algoritma için ilginç bir örnek var mı? problem için deterministik algoritma? Özellikle, n ile 2n arasında bir üs bulmak için böyle bir algoritma …
3
TQBF'nin bu değişimi hala PSPACE-tamamlandı mı?
Bu gibi ölçülü bir Boole formülü olup olmadığına karar verme ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), her zaman doğru olarak değerlendirir, klasik bir PSPACE-komple problemdir. Bu, alternatif hamle ile iki oyuncu arasındaki bir oyun olarak görülebilir. İlk oyuncu tek numaralı değişkenlerin gerçeğe uygun değerine, …
1
Kısıt memnuniyet problemi (CSP) vs. karşılanabilirlik modülo teorisi (SMT); kısıt programlamada bir koda ile
Birisi bu çalışma alanlarının ilişkisinin ne olduğunu açıklamaya çalışmakta mı, belki de problem düzeyinde daha somut bir cevap vermekte mi? Hangi yaygın olarak kabul görmüş bazı formülasyonları varsayarak hangilerini içerir. Bunu doğru anladıysam, SAT’dan SMT’ye geçtiğinizde, temel olarak CSP alanına girersiniz; tersi durumda, eğer CSP'yi boolean'lerle sınırlandırırsanız, temel olarak SAT …
2
SAT-üstel zaman içinde sonsuz sıklıkta olmayan bir kehanet var mı?
Tanımlama ioioio - SUBEXPSUBEXPSUBEXP dil sınıfı olmak LLL bir dil olduğu şekilde L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) ve sonsuz sayıda için nnn , LLL ve L′L′L' kabul uzunluğu tüm örneklerini nnn . (Yani, bu, "sınırsız bir zamanda, sonsuz sıklıkta çözülebilen diller" sınıfıdır.) Bir torpil var AAA şekilde NPA⊄ioNPA⊄ioNP^A \not\subset …
7
Lipton'ın en etkili sonuçları
Richard J. Lipton , “Yeni Fikir ve Tekniklerin Tanıtımı” adlı 2014 Knuth Ödülü'nü kazanan seçildi . Lipton'un geliştirdiği yeni ana fikir ve teknikler neler? Not. Bu soru topluluk wiki olacaktır, lütfen cevap başına böyle bir fikir, teknik veya sonuç koyun.
30 big-list 
2
Bir matris kümesinin açıklığının bir permütasyon matrisi içerip içermediğini belirlemek için bir polinom zaman algoritması var mı?
Belirli bir matris kümesinin açıklığının bir permütasyon matrisi içerip içermediğini belirleyen bir polinom zaman algoritması bulmak istiyorum. Herhangi biri bu sorunun farklı bir karmaşıklık sınıfında olup olmadığını bilirse, bu aynı derecede yardımcı olacaktır. EDIT: Bu soruyu Doğrusal Programlama ile etiketledim, çünkü böyle bir çözüm varsa, bunun bir tür doğrusal programlama …
3
Son teknoloji Maksimum Akış algoritmalarının herhangi biri pratikte var mı?
İçin maksimum akış problemi , geçen yıl olduğu gibi gelişmiş en az biri ile, çok sofistike algoritmalar bir dizi var gibi görünüyor. Orlin'in Maks. O (mn) zamanda akar ya da daha iyisi , O (VE) ile çalışan bir algoritma verir. Öte yandan, en sık uyguladığım algoritmalar şöyle: Edmonds-Karp: ,O(VE2)O(VE2)O(VE^2) Push-relabel: …
2
Sarhoş kuşlar vs sarhoş karıncalar: rastgele iki ve üç boyut arasında yürür
İki boyutlu ızgaradaki rastgele bir yürüyüşün olasılık 1 ile orijine geri döneceği iyi bilinir. Aynı zamanda, ÜÇ boyutlardaki aynı rastgele yürüyüşün, orijine geri dönme oranının kesinlikle 1'den az olma olasılığı olduğu da bilinmektedir . Sorum şu: Arasında bir şey var mı? Örneğin, alanımın gerçekte, z yönünde sonsuzluğa kadar sıkılan düzlemin …
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.