Bilgisayar Bilimi

Bağlamdan bağımsız diller tamamlama altında kapatılmaz. Wikipedia'daki gibi aynı argüman verildi : her ikisi de bir ve B bağlam içermez fakat kesişimleri A ∩ B değildir. Bağlamdan bağımsız diller sendikalar altında kapatıldığından, tamamlayıcılık altında da kapatılamazlar.A={anbncm; m,n∈N0}andB={ambncn; m,n∈N0},A={anbncm; m,n∈ℕ0}andB={ambncn; m,n∈ℕ0},A = \{\mathtt a^n \mathtt b^n \mathtt c^m;~m, n ∈ ℕ_0\}\quad\text{and}\quad …

11 formal-languages  context-free 

Let bir tamsayı ve izin tüm tamsayılar kümesini belirtir. Let tamsayılar anlamında olabildikleri aralığı .nnnZZ\mathbb{Z}[a,b][a,b][a,b]{a,a+1,a+2,…,b}{a,a+1,a+2,…,b}\{a,a+1,a+2,\dots,b\} Bir harita temsil etmek için bir veri yapısı arıyorum . Veri yapısının aşağıdaki işlemleri desteklemesini istiyorum:f:[1,n]→Zf:[1,n]→Zf:[1,n] \to \mathbb{Z} f ( i )get(i)get(i)\text{get}(i) , döndürmelidir .f(i)f(i)f(i) f f ( a ) = f ( a + …

11 algorithms  data-structures  trees  intervals 

Artık sırt çantasındaki öğe sayısını sabit bir ile sınırlamanız gerekiyorsa dinamik bir programlama durumunda sırt çantası sorununa nasıl yaklaşırsınız ? Bu aynı sorundur (maksimum ağırlık , her öğenin değeri ve ağırlık ) ancak sırt çantasına yalnızca öğeleri ekleyebilir ve açık bir şekilde sırt çantasının değerini optimize etmeniz gerekir.W v w …

11 algorithms  optimization  dynamic-programming  knapsack-problems 

Bir dilin düzenli olup olmadığını test etmek için bir algoritma / sistematik prosedür var mı? Başka bir deyişle, cebirsel biçimde belirtilen bir dil verildiğinde ( gibi bir şey düşünün ), dilin normal olup olmadığını test edin. Öğrencilere tüm ödevlerinde yardımcı olmak için bir web hizmeti yazdığımızı düşünün; kullanıcı dili belirtir …

11 algorithms  formal-languages  regular-languages  decision-problem 

Karar sorunu Bir Boole formülü verildiğinde , tam olarak tatmin edici bir görevi var mı?ϕφϕ\phiφϕ\phi olması görülebilir , -Sert ve -Sert. Karmaşıklığı hakkında daha fazla bilinen bir şey var mı?U P c o N PΔ2Δ2\Delta_2U PUP\mathsf{UP}c o N PcoNP\mathsf{coNP}

11 complexity-theory  complexity-classes  satisfiability 

Yapay Zeka okumaya yeni başladım ve 8 bulmacanın ulaşılabilir durum alanının neden olduğunu merak ediyorum . Karoların permütasyon sayısının olduğunu görüyorumancak bulmacanın olası durumlarının yarısının belirli bir durumda neden erişilemediği hemen belli değildir. Herkes detaylandırabilir mi?9 !9 ! / 29!/29!/29 !9!9! Solda rastgele yapılandırma ve sağda hedef durumu ile referans …

11 artificial-intelligence 

Polinom-zaman yaklaşım şemaları hakkındaki Wikipedia makalesine göre : FPTAS'taki tüm problemler sabit parametreli izlenebilirdir. Bu sonuç beni şaşırtıyor - bu sınıflar birbirinden tamamen farklı görünüyor. FPTAS, problemleri yaklaşık olarak ne kadar kolay olacaklarıyla karakterize ederken, FPT problemleri bazı parametrelere göre zorlukları ile karakterize eder. Ne yazık ki, Wikipedia (bu soruyu …

11 complexity-theory  reference-request  approximation  parameterized-complexity 

Okuduğum Sipser ve ben zor süreç beni k kasetleriyle Turing makineleri k verirseniz, sadece bir bantla eşdeğer Turing makinesi tükürmek ki gibi anlamaya buluyorum. Bir örnek güzel olurdu. Aslında, bantları olan TM'den 1 kaseti olana nasıl geçileceğini gösteren bir çalışma örneği gerçekten aradığım şey. Şimdiye kadar bir tane bulamadım. Ben …

11 turing-machines  simulation 

Bu soruda eksik olduğum önemsiz bir cevap varsa üzgünüm. Kararsız olduğu kanıtlanmış bir sorun üzerinde çalıştığımda, kanıtın kararsız olduğu kanıtlanmış başka bir soruna indirgemeye dayandığını gözlemliyorum. Bir sorunun zorluk derecesi hakkında bir çeşit emir yarattığını anlıyorum. Ama sorum şu ki - kararsız olan tüm problemlerin kararsız olan başka bir probleme …

11 computability  reductions  undecidability 

Kısa cümleler için bir metin kategorisi oluşturuyorum. Kullanıcıya "girdiğiniz metnin kategorisinin C olduğunu" söylemenin yanı sıra, bu kararı neden verdiğimi kısa ve anlaşılır bir şekilde açıklamak istiyorum. Örneğin, kullanıcıya "cümlenizi karmaşık 3 katmanlı bir sinir ağına koydum ve en iyi skoru veren cevap" demek istemiyorum; "Cümleniz bu kategorinin karakteristiği olan …

11 machine-learning  classification 

Parçacıklar arasında kuvveti simüle eden bir hücresel otomat (2D'de) var mı?1/r1/r1/r Daha spesifik olarak, kesinlikle yerel güncelleme kurallarıyla, iki modelin (model içinde tanımlanmış) birbirini kuvveti ile çekmesinin mümkün olup olmadığını bilmek istiyorum , burada r nesneleri ayıran mesafe. Bu, özellikle nesnenin (parçacıkların) birbirine yaklaştıkça hızlanmasını gerektirecektir.1/r1/r1/rrrr Daha genel olarak, nesneler …

11 simulation  cellular-automata 

Aşağıdaki sorun NP-tamamlanmış mı? (Evet varsayıyorum). Giriş: kenar setinin iki kenar ayrık basit döngüye ayrıştırılabildiği yönlendirilmemiş bir grafik (bunlar girişin bir parçası değildir ).k∈N,G=(V,E)k∈N,G=(V,E)k \in \mathbb{N},G=(V,E) Soru: uzunluğu k'dan büyük basit bir döngü var mı ?GGGkkk Açıkçası sorun NP olduğunu ve maksimum derecede ise ≤ 4 , ama bu yardım …

11 graph-theory  np-complete  decision-problem 

Son zamanlarda, bu problemle karşılaştım , hanoi kulelerinin bir çeşidi . Sorun bildirimi: İyi bilinen problemin Hanoi Kulelerinin aşağıdaki varyasyonunu düşünün: Bazı kulelerde yığılmış boyutlarında kule ve m diskler verilmektedir . Amacınız tüm diskleri kulesine olabildiğince az hamlede aktarmak, ancak aşağıdaki kuralları dikkate almaktır:nnn1 , 2 , 3 , …

11 algorithms  combinatorics  recursion 

Gerçeği göz önüne alındığında - T yolu sayım etkili yöntemler olabilir, bir # P-tam problem olduğu işlem (ya da en azından yaklaşık olarak) ortalama uzunluğu s - T yolu, onları numaralandırma olmadan? Yolların köşeleri yeniden ziyaret etmesine izin verilirse ne olur?ssstttsssttt Özel grafiklerdeki ilgili sonuçlar da yardımcı olabilir.

11 algorithms  complexity-theory  graphs  approximation  enumeration 

Benim sorunum. verildiğinde , geçerli çoklu setlerin sayısını saymak istiyorum . Multiset , aşağıdaki durumlarda geçerlidirnnnSSSSSS Elemanlarının toplamı olduğu , veSSSnnn Her sayı için bazı elemanları bir toplamı olarak benzersiz ifade edilebilir .111nnnSSS Misal. Örneğin, eğer , sonra geçerlidir.n=5n=5n=5{1,1,1,1,1},{1,2,2},{1,1,3}{1,1,1,1,1},{1,2,2},{1,1,3}\{1,1,1,1,1\}, \{1,2,2\}, \{1,1,3\} Ancak, geçersiz çünkü 2 hem hem de \ {2 …

11 algorithms  integers