Teorik Bilgisayar Bilimi

Başka bir konu , Joe Fitzsimons "3SAT'taki en iyi güncel alt sınırlar" diye sordu. Diğer yoldan gitmek isterdim: 3SAT'taki en iyi güncel üst sınırlar hangisi ? Başka bir deyişle, en verimli SAT çözücüsünün zaman karmaşıklığı nedir? Özellikle, SAT için üstel (henüz süper polinom) algoritması bulmak düşünülebilir mi?

43 cc.complexity-theory  ds.algorithms  sat  upper-bounds 

SAT çözücülerinin pratik başarısı için hangi teorik açıklamalar var ve birileri hepsini birleştiren bir "wikipedia tarzı" genel bakış ve açıklama verebilir mi? Analoji ile simpleks algoritması için yapılan düzgünleştirilmiş analiz ( arXiv sürümü )), en kötü durumda üssel olarak zaman almasına ve NP güçlü ( arXiv versiyonu ) olmasına rağmen …

43 cc.complexity-theory  ds.algorithms  sat  heuristics 

Bu sorudan ve özellikle de Cevabın cevabının son paragrafından ilham alarak aşağıdaki sorum var: Simetrik grubun temsil teorisinin TCS'deki uygulamalarını biliyor musunuz? Simetrik grup , grup işlem bileşimi ile birlikte tüm permütasyonların grubudur. temsili, genel karmaşık matrislerin lineer grubuna homomorfizmdir . Bir temsil matris çarpımıyla hareket eder. indirgenemez bir temsili, …

42 co.combinatorics  permutations  fourier-analysis  gr.group-theory 

Bazı teorik bilgisayar bilimi alt alanlarının, teorik fiziğin sonuçlarından önemli ölçüde etkilendiği açıktır. Bunun iki örneği Kuantum hesaplama Karmaşıklık analizi / sezgisel algoritmalarda kullanılan istatistiksel mekanik sonuçlar. Yani sorum şu ki, kaçırdığım önemli alanlar var mı? Motivasyonum çok basit: Ben kuantum bilgisiyle TCS'ye gelen teorik bir fizikçiyim ve iki bölgenin …

42 soft-question  quantum-computing  statistical-physics  physics 

Halen TCS’de hiyerarşi teoremleri hakkında bir anket yazıyorum. İlgili makalelerin araştırılması Hiyerarşinin sadece TCS ve matematikte değil, teoloji ve sosyolojiden biyoloji ve kimyaya kadar birçok bilim dalında temel bir kavram olduğunu fark ettim. Bilgi miktarının çok büyük olduğunu görünce, umarım bu topluluktan yardım isteyebilirim. Tabii ki, benim için bibliyografik bir …

42 cc.complexity-theory  reference-request  big-list  survey 

Gerçek bilgisayarlar sınırlı belleğe ve yalnızca sınırlı sayıda duruma sahiptir. Bu yüzden aslında sonlu otomatlardır. Teorik bilgisayar bilim adamları neden bilgisayarları incelemek için Turing makinelerini (ve diğer eşdeğer modellerini) kullanıyorlar? Gerçek bilgisayarlara göre bu çok daha güçlü modelleri incelemek ne anlama geliyor? Sonlu otomata modeli neden yeterli değil?

42 soft-question  fl.formal-languages  automata-theory  big-picture  turing-machines 

Ben teoride 2. sınıf yüksek lisans öğrencisiyim. Geçen sene bir problem üzerinde çalışıyorum (grafik teorisi / algoritmalarında). Düne kadar iyi olduğumu düşünmüştüm (bir teoremi bir gazeteden genişletiyordum). Bugün basit bir hata yaptığımı farkettim. Yapmayı düşündüğüm şeyi düşündüğümden daha zor olacağını fark ettim. Çok fazla hayal kırıklığına uğradım, liseden ayrılmayı düşünüyorum. …

41 soft-question  research-practice 

Gröbner üslerinin teorik bilgisayar bilimine ilginç uygulamalarını bilen var mı ? Gröbner bazları, çok değişkenli polinom denklemlerini çözmek için kullanılır, genelde NP-zor bir problemdir. Bazı izlenebilir özel durumların TCS veya TCS ile ilgili alanlarda (kombinasyon, kodlama teorisi) etkin algoritmalar / yapılar / provalar sağlamak için kullanıldığını merak ediyordum.

41 cc.complexity-theory  reference-request  algebra  polynomials 

1937'de Turing, bir Turing makinesini tanımladı. O zamandan beri birçok bilgisayar modelinin gerçek bir bilgisayar gibi bir model bulma girişimi olduğu, ancak algoritmaları tasarlayacak ve analiz edecek kadar basit olduğu belirtildi. Sonuç olarak, farklı hesaplama modelleri için SORT problemi için bir düzine algoritmamız var. Maalesef, bit vektör işlemleri ile izin …

41 ds.algorithms  reference-request  soft-question  machine-models 

Dağıtılmış hesaplama alanı, dağıtılmış algoritmaları tanımlamak için tek bir matematik teorisi geliştirmede büyük ölçüde kısalmıştır. Birbiriyle uyumlu olmayan birkaç “model” ve dağınık hesaplama çerçevesi vardır. Değişen zamansal özelliklerin (asenkron, senkron, kısmi senkron), çeşitli iletişim ilkelerinin (mesaj geçen ve paylaşılan hafıza, yayın ve tek noktaya yayın gibi), birden fazla hata modelinde …

41 big-picture  dc.distributed-comp 

Şu sorunu düşünüyorum: Belirli bir dizeyle (örneğin geçerli e-posta adresleri için) eşleşen ve başkalarıyla eşleşmeyen (geçersiz e-posta adresleri) normal bir ifade bulmak istiyorum. Normal ifadeyle, iyi tanımlanmış bazı sonlu durum makinelerini kastettiğimizi varsayalım, kesin terminolojiye aşina değilim, ancak izin verilen ifadelerin bazı sınıfları üzerinde anlaşalım. İfadeyi el ile oluşturmak yerine, …

41 np-hardness  fl.formal-languages  lg.learning  regular-expressions 

MathOverflow'ta Timothy Gowers, "Titizliği göstermenin önemli olduğunu gösterme " başlıklı bir soru sordu . Tartışmanın çoğu, CSTheory'deki insanların muhtemelen ikna edilmelerine gerek duymadıkları ispatın önemini gösteren vakalar hakkındaydı. Tecrübelerime göre, teorik bilgisayar bilimlerinde kanıtların sürekli matematiğin birçok bölümünden daha titiz olması gerekir, çünkü sezgilerimiz çoğu zaman ayrı yapılar için yanlış …

41 big-list  soft-question  proofs 

Ben dördüncü sınıf doktora öğrencisiyim teorik bilgisayar bilimi. Akademi'de kalmak istiyorum, bu yüzden kariyerimi nasıl geliştirebileceğimi düşünüyorum. Açıkçası, bunu yapmanın en iyi yolu birçok iyi makale yazmaktır, ancak bir başka soru da, bu makalelerin daha fazlasının tek yazar olması için çalışmam gerekip gerekmediğidir. Şimdiye kadar sadece bir tane yazar makalem …

40 soft-question  career 

Birkaç yıl süren derslere rağmen, bir araştırma konusu seçmeye gelince hala kaybediyorum. Farklı alanlardan makaleler inceledim ve profesörlerle konuştum ve bunun yanlış bir yaklaşım olduğunu düşünmeye başladım. İlginç bir problem bulmanın (bölgedeki boşuna) ve bunun üzerinde çalışmanın yardımcı olduğunu okudum. Ders kitapları ünlü çözülmemiş olanlardan bahsediyor ama ben onlarla doğrudan …

40 soft-question  research-practice  advice-request  career 

Grafik İzomorfizma sorunu (Gl) muhtemelen bir en iyi bilinen bir adaydır NP ara sorun. En iyi bilinen algoritma, çalışma zamanı 2 O ( √) olan üstel üstel algoritmadır.. O GI olmadığı bilinmektedirNPsürece -tamamlamakpolinom hiyerarşiçöker.2O(nlogn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}NPNP\mathsf{NP} Graph Isomorphism problemi için yarı-polinomlu bir zaman algoritmasının karmaşıklık teorik sonuçları ne olurdu? GI …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism