Teorik Bilgisayar Bilimi

Artık sonlu durum otomatları ([DLT02] 'de tanımlanan RFSA'lar), DFA'larla ortak bazı hoş özelliklere sahip NFA'lardır. Özellikle, her normal dil için her zaman standart bir minimum boyutlu RFSA vardır ve RFSA'daki her durum tarafından tanınan dil, tıpkı bir DFA'da olduğu gibi artıktır. Bununla birlikte, asgari DFA devletleri tüm artıklarla bir bijeksiyon …

12 cc.complexity-theory  ds.algorithms  automata-theory  lg.learning  minimization 

Polinom hiyerarşisinin her seviyesi arasında, ΔPiΔiP\Delta_i^{\text{P}} , DPDP\text{DP} , BHkBHk\text{BH}_k ve dahil olmak üzere çeşitli karmaşıklık sınıfları bulunmaktadır ΣPi∩ΠPiΣiP∩ΠiP\Sigma_i^\text{P} \cap \Pi_i^\text{P}. Daha iyi terminoloji eksikliği nedeniyle, bunlardan ve diğerlerinden polinom hiyerarşisinde i ve i + 1 seviyeleri arasında ara sınıflar olarak bahsedeceğim . Bu sorunun amaçları için, bunların Σ P …

12 cc.complexity-theory  polynomial-hierarchy 

Aşağıdaki işlemlerle sözcüklerini kullanan , en kötü durumda ve rasgele erişime sahip olmayan bir tamsayı öncelik kuyruğunda var mı :O ( n )O(n)O(n) createEmptyQueueiçerisinde için bir sabit .cO ( l gcU)O(lgcU)O(lg^c U)ccc insertiçerisinde .O ( 1 )O(1)O(1) deleteMiniçerisinde , burada \ ö _ {\ dak} küçük ve en küçük ikinci …

12 ds.data-structures 

Son zamanlarda kanıt karmaşıklığı hakkında çok şey okumaya başladım ve okuduğum şeyden gerçekten keyif aldım. Bununla ilgili daha fazla bilgi edinmek istiyorum, ancak başlangıç ​​için iyi bir başlangıç ​​malzemesi bulmakta zorluk çekiyorum. Herkes bazı temel öneriler tavsiye edebilir?

12 cc.complexity-theory  lo.logic  proof-complexity 

Önceden gönderdiğim soruya oldukça benzer . Ancak bu sefer grafik yönlendirilmez. verilmiş Bir yönsüz grafik bir çoklu kenarlar veya halkalar ile,G,GG Kaynak köşe noktası ,sss Hedef tepe noktası ,ttt Maksimum yol uzunluğu ,lll arıyorum - herhangi bir tepe noktası ve (ve sadece bu) herhangi bir kenar içeren , en uzunluk …

12 ds.algorithms  graph-algorithms  shortest-path 

Rastgele yürüme yöntemleriyle ilgili en son makalelerde ele alınan türden dışbükey polihedra hacmini tahmin etmek için bazı somut ve zorlayıcı uygulamalar nelerdir? Hacim tahminiyle ilgili bu makaleler sayısal bütünleşmeyi tek bir motivasyon olarak belirtmektedir. İnsanların pratikte hesaplamak istedikleri, önceki yöntemleri kullanarak hesaplamaları çok zor olan integrallerin örnekleri nelerdir? Yoksa 1000 …

12 cg.comp-geom  na.numerical-analysis  markov-chains 

Belirsiz olmayan sonlu otomatım var ve onu DFA'ya dönüştürmem gerekiyor. Büyük olarak 40 000+ eyalet demek istiyorum. Şimdiye kadar bazı deneyler yaptım ve tablodan ( burada açıklandığı gibi ) arama yapan varsayılan algoritmayı programladım , ancak optimizasyondan sonra bile oldukça yavaş ve çok bellek tüketiyor. Devlet sayısının katlanarak artabileceğinin farkındayım, …

12 dfa 

Bu soru bu yazı tarafından motive edilmiştir , Polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? ve permütasyonların hesaplama özelliklerine olan ilgim. Bir farklılık sırası bir permütasyon ait tt numaralarının 1 , 2 , ... , n + 1 permütasyon her iki bitişik sayı arasındaki fark bulunarak oluşturulur tt . Başka …

12 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

PLSPLS\mathsf{PLS} ve APXAPX\mathsf{APX} arasındaki ilişki nedir ? Başka bir deyişle, bir polinom zamanı yerel aramayı kabul eden problemler yaklaşılabilir mi? Yaklaşık optimizasyon sorunları genel olarak yerel bir arama algoritması içeriyor mu?

12 cc.complexity-theory  approximation-algorithms 

Biz o biliyor musunuz hiyerarşi (çökmez Herkes için )?TC0TC0\mathsf{TC^0}TC0d⊊TC0d+1TCd0⊊TCd+10\mathsf{TC^0_d} \subsetneq \mathsf{TC^0_{d+1}}ddd için Zoo girişiTC0TC0\mathsf{TC^0} yalnızca derinlik 2 ve 3 arasındaki ayrımdan bahseder. Ayrıca hiyerarşisinin için standart bir başvuru var mı?AC0dbirCd0\mathsf{AC^0_d}

12 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  bounded-depth 

Bu makale , kapıları ve baskı plakaları olan bir oyunda, (oyuncunun) avatarın belirli bir konuma ulaşıp ulaşamayacağını belirlemek PSPACE zor olduğunu kanıtlar. Bu, TQBF'den bir azalma ile kanıtlanmıştır ve elde edilen çözeltilerin uzunluğu, katlanarak formüldeki evrensel nicelleştiricilerin sayısına bağlıdır. Bir NPSPACE makinesinden, oyunun çözümlerinin uzunluğunun, makinenin kabul yollarının uzunluğu ile …

12 reductions  nondeterminism  pspace 

Şu anda Düzenli ama Bağlam Ücretsiz'in altındaki dil sınıflarını içeren bazı Resmi Dil araştırmaları yapıyorum. Reversal-Bounded Multicounter Machines, Single-stack counter makineleri, deterministic CFL'ler vb. Şeylere bakıyorum. Bu dillerin özelliklerini özetleyen iyi bir kitap veya anket kağıdı bilen var mı merak ediyorum. Baktığım şeylerin çoğu, 1979 baskısında bile Hopcroft-Ullman kitabımda yer …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Sadece sonlu sayıda eyalette, bir deterministik kısmi-bilgi sıfır toplamlı oyun Verilen kimin olası sonuçlarıdır [-1,0 + 1] değerlerle [kaybetmek, kazanmak, çizmek] sırasıyla böyle değerini yaklaşan karmaşıklığı nedir içinde bir oyun katkı maddesi ?ϵϵ\epsilon Özellikle, bunu yapmak için herhangi bir algoritma bulamıyorum . Bu yazının geri kalanı tamamen sorunun daha ayrıntılı …

12 cc.complexity-theory  gt.game-theory 

Bu web'de bulduğum ilginç bir soru. N numarası içeren bir dizi verildiğinde (bunlar hakkında hiçbir bilgi olmadan), diziyi doğrusal zamanda önceden işlemeliyiz, böylece 1 (<) k sayısı verildiğinde O (k) zamanında k en küçük öğeleri döndürebiliriz. <= n Bu sorunu bazı arkadaşlarla tartışıyorum ama hiç kimse bir çözüm bulamadı; herhangi …

12 sorting 

Doğrusal programlama ve k-yolları gibi birçok problem için kesin algoritmaların çalışma zamanını anlamak için birçok kez düzgünleştirilmiş analiz uygulanmıştır. Bu alanda oldukça genel sonuçlar var, örneğin Heiko Röglin ve Berthold Vöcking, Tamsayılı programlamanın düzgünleştirilmiş analizi , 2005. Bu genel sonuçların bazıları, benzersiz bir optimum çözümle bir örnek üretmek için izolasyon …

12 cc.complexity-theory  approximation-algorithms  approximation-hardness  smoothed-analysis