«decision-problem» etiketlenmiş sorular

Bazı resmi sistemlerde evet ya da hayır cevabı olan bir soru.

1
Bir dilin düzenli olup olmadığını test etme algoritması
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 …
2
İki döngüde bulunan en uzun döngü
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 …
2
Algoritmaya giriş olarak bir
Bir algoritmaya girdi olarak bir cebiri vermenin ne anlama geldiğini ve bununla ilgili çok fazla literatür bulamadığını belirtmek istiyorum. İlk önce cebirlerin alanlar üzerinde karmaşıklık analizi konusunu ele alan ve karar problemini açıkça tanımlayan bir kitap veya makale önerip öneremeyeceğinizi sormak istiyorum . Bazı kazmalardan sonra bir şey buldum ve …
1
3 sembol bir boyutlu hücresel otomata için durma problemi karar verilebilir mi?
Durma probleminin 3 sembollü tek boyutlu hücresel otomata için karar verilip verilmediğini anlamaya çalışıyorum. Tanım Let zaman adımında sisteminin konfigürasyonunu belirtmek i . Daha resmi olarak f : A ∗ × N → A ∗ , burada A alfabedir.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Tanım. konfigürasyonunda bir hücresel otomat durdu , eğer …
3
numara ataması
Verilen numaraları şekilde bir sayı atama olduğunu bir permütasyon olan bu şekildekkkA1≤A2≤...≤AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_k∑i=1kAi=k(2k+1)∑i=1kAi=k(2k+1)\sum\limits_{i=1}^k A_i = k(2k + 1)i1,i2,...,i2ki1,i2,...,i2ki_1, i_2, ... , i_{2k}1,2,...,2k1,2,...,2k1, 2, ... , 2k i1+i2≤A1i3+i4≤A2...i2k−1+i2k≤Aki1+i2≤A1i3+i4≤A2...i2k−1+i2k≤Aki_1 + i_2 \leq A_1\\ i_3 + i_4 \leq A_2\\ .\\.\\.\\ i_{2k-1} + i_{2k} \leq A_k ? Etkili bir …
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.