Teorik Bilgisayar Bilimi

Immerman ve Szelepcsenyi , bağımsız bir şekilde kanıtlamıştır . Endüktif sayım bunların teknik kullanılarak, Borodin'e ve ark kanıtladı S bir C ı için, tamamlama altında kapatılır i > 0 . Reingold teoremi (öncesinde S L = L ), Nisan ve Ta-Shma kanıtlanmıştır S L = C O S L logspace …

20 cc.complexity-theory  space-bounded 

Çoğu makale artık birlikte yazılıyor ve ortak çalışanlar genellikle farklı yerlerde bulunuyor. Belgelerim ve kodum için her zaman sürüm kontrol sistemlerini kullandım ve aynı zamanda işbirlikçi yazılım projeleri için sürüm kontrolünü kritik buldum, ancak teoride birçok araştırmacı ortak makaleler yazmak için kullanımlarından kaçınıyor gibi görünüyor. Ortak çalışanlarımı sürüm kontrolünün (revizyon …

20 soft-question  research-practice  software  writing 

Jung'u ( http://jung.sourceforge.net/ ) sayfa sırasını görselleştirmek için kullanıyordum ve 100 düğümü aşmak için biraz yavaş ve zor buldum. İnsanların ağ / sosyal ağ analizi ve görselleştirme için kullandıkları diğer araçları merak ediyordum.

20 graph-theory  big-list  cg.comp-geom  software  graph-drawing 

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 

Yaprak dilleri birçok karmaşıklık sınıfını eşit olarak tanımlamanın güzel bir yoludur. Çoğu karmaşıklık sınıfı genellikle bir hesaplama modeli (örn. Deterministik / randomize TM) ve bir kaynağa bağlı (log süresi, poli boşluk, vb.) İle belirtilir. Bununla birlikte, yaprak dili formülasyonunda, sadece bir hesaplama modeli vardır ve sınıf, yaprak dili verilerek belirtilir. …

20 cc.complexity-theory  complexity-classes 

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 

Kuantum üzerinde bazı yeni konuları Okuma (bilgisayar burada , burada ve burada ) bana bir çeşit gücü hakkında ilginç bir soru hatırlatabiliyorum makinesini koruyarak -norm.ℓpℓp\ell_p Karmaşıklık teorisinde çalışan insanlar için kuantum karmaşıklığına gidecek olan büyük bir giriş metni Fortnow'un Joshua Grochow tarafından buraya gönderilen makalesidir . Bu makalede, kuantum Turing …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

Bazı rasgele algoritmalar ile rasgele bitlerin kullanımını kaldırarak (olası bir maliyetle) rastgele bitlerin kullanımını kaldırabilir ve hedef üzerindeki bazı alt sınırları en üst düzeye çıkarabilirsiniz (genellikle teoremlerin rasgele beklenen performansla ilgili olmasıyla hesaplanır) algoritması). Kuantum algoritmaları için bir eşdeğer var mı? "Deakantizasyon" un iyi bilinen sonuçları var mı? Yoksa bu …

20 derandomization  quantum-computing 

[Not: Bu sorunun hiçbir şekilde Deolalikar'ın makalesinin doğruluğuna veya yanlışlığına bağlı olmadığına inanıyorum.] Scott Aaronson'un Shtetl Optimize adlı blogunda , Deolalikar'ın P'ye karşı NP girişimi hakkındaki tartışmada Leonid Gurvits şu yorumu yaptı : Yaklaşımı anlamaya / yeniden biçimlendirmeye çalıştım ve işte belki de çok minimalist olan girişimim: gazetedeki ayrı olasılıksal …

20 cc.complexity-theory  lower-bounds  tensor-rank 

"Özellik testi" ile ilgili geniş bir literatür vardır - iki durumu birbirinden ayırmak işlevine az sayıda kara kutu sorgusu yapma sorunu :f:{0,1}n→Rf:{0,1}n→Rf\colon\{0,1\}^n \to R Cfff , fonksiyon sınıfının bir üyesidirCC\mathcal{C} ε Cfff isimli -far sınıftaki her işlevinden .εε\varepsilonCC\mathcal{C} İşlevin aralığı bazen Boole'dir: , ancak her zaman değil.R = { 0 …

20 reference-request  lg.learning  metrics  property-testing  black-box 

Genel olarak, bir kehanet için sorgu-bandı bir TM'nin alan karmaşıklığına doğru sayılır. Bununla birlikte, salt yazılır bir kehanet kasetine izin vermek mantıklı görünmektedir (L alanı azaltmalarında kullanılanlar gibi). Böyle bir yapı faydalı mı? Özellikle saçma sonuçlar veriyor mu?

20 cc.complexity-theory  space-bounded  oracles 

Let bir fonksiyonu olabilir Bu ortalama tahmin etmek istiyorum. anlamındadır: .f E [ f ( n ) ] = 2 - n ∑ x ∈ { 0 , 1 } n f ( x )f: { 0 , 1 }n→ ( 2- n, 1 ]f:{0,1}n→(2-n,1]f \colon \lbrace 0,1 \rbrace ^ …

20 ds.algorithms  randomized-algorithms  black-box 

Karmaşıklığı sınıfı PPAD (örneğin, çeşitli Nash dengesini işlem) indirgenebilir polytime toplam arama bir dizi problem olarak tanımlanabilir HAT SONU : HAT SONU : Verilen devreler S ve P ile N giriş bit ve n, çıkış bitleri şekilde , P (0 , n ) = 0 , N ! = S …

20 reference-request  combinatory-logic  graph-theory  ppad 

P / NP sorununun öz-referansı bazen çözümüne bir engel olarak vurgulanmıştır, örneğin, Scott Aaronson'un makalesi, P'ye karşı NP resmi olarak bağımsız mı? P / NP için akla gelebilecek birçok karardan biri, sorunun resmi olarak ZFC'den bağımsız ya da doğru fakat kanıtlanamaz olduğunun bir göstergesi olacaktır. Sorunun öz referansının bağımsızlık kanıtlarında …

20 cc.complexity-theory  lo.logic 

Bir ekleme zinciri ve pozitif bir tamsayı dizisidir burada ve her bir indeks , elimizdeki bazı göstergeler için . Uzunluğu ekleme zinciri olduğu ; Hedef ekleme zinciri olan .x 1 = 1 i ≥ 2 x i = x j + x k 1 ≤ j , k < i …

20 reference-request  np-hardness