«decidability» etiketlenmiş sorular

Lisans matematik dallarına yönelik bir konuşma için hazırlanıyorum ve bunun bir parçası olarak karar verilebilirlik kavramını tartışmayı düşünüyorum. Şu anda karar verilebilir veya kararsız olduğunu bilmediğimiz bir sorun örneğini vermek istiyorum. Bu tür birçok sorun var, ancak hiçbiri şu ana kadar iyi örnekler olarak öne çıkmıyor. Karar verilebilirliği açık olan …

92 computability  decidability 

Eğer bir tanesi Turing Machines'i sınırlı bir bantla sınırlarsa (yani, sınırlı alan kullanmak için ), o zaman durdurma problemi, esasen birkaç adımdan sonra ( , ve durumlarından hesaplanabilir) ve alfabe boyutu), bir yapılandırma tekrarlanmalıdır.SSSSQQSSS Durmayı kararlaştırılabilir kılan başka doğal Turing Makinesi kısıtlamaları var mı? Kesin olarak durum geçiş grafiğinin döngüler …

33 turing-machines  decidability 

Wang çini kullanan bir Berger sonucu, bir çini grubunun uçağı döşeyip kirleyemeyeceğini belirlemenin kararsız olduğunu biliyorum . Benim sorum, verilen tek bir kiremitin düzlem döşeyebilip döşenmeyeceğini , bir tek yüzlü döşemenin fayans olup olmadığını tespit etmenin kararsız olup olmadığıdır . Eğer bu kararsız kalırsa, kararsızlık kanıtı olan bir karo grubunun …

24 reference-request  co.combinatorics  decidability  undecidability 

Eşdeğerlik sorununun genel bağlamsız diller için kararsız olduğu iyi bilinmektedir. Ancak, farkında olduğum bu gerçeğin tüm kanıtları, belirsiz belirsiz bir gramer içeriyor gibi görünüyor. Bu nedenle, kendini açık bağlamsız dillerle sınırlarken sorunun kararsız olup olmadığını bilip bilmediğini sormak istiyorum . Diğer bir deyişle, apaçık olduğu düşünülen, bağlamsız iki dilbilgisi göz …

19 fl.formal-languages  grammars  context-free  decidability  undecidability 

Aşağıdaki sorunla ilgileniyorum: tamsayı matrisleri verildiğinde A1,A2,…,AkA1,A2,…,AkA_1,A_2, \ldots, A_k, bu matrislerin her sonsuz ürününün sonunda sıfır matrise eşit olup olmadığına karar verir. Bu araçlar tam olarak öyle düşündüğünü: Biz matrislerin kümesi diyecekler {A1,…,Ak}{A1,…,Ak}\{A_1, \ldots, A_k\} ürünlerinin sonunda eşit sıfır tüm orada eğer o özelliğine sahiptir değil sonsuz bir dizi var …

19 linear-algebra  decidability 

Sorunun iyi bilinen bir sonuç olduğu Bağlamdan bağımsız bir dilbilgisi normal bir dil oluşturur mu? kararsız. Ancak, bu durumda, bağlamsız ve düzenli dil sınıfları çakıştığından, tek bir alfabe üzerinde karar verilebilir hale gelir. Benim sorum tek tek bağlama duyarlı diller için neler olduğunu bilmek . Tekli bir alfabe üzerinde belirli …

18 fl.formal-languages  decidability 

Belirli bir problemi çözmeye çalışıyorum ve otomata teorisini kullanarak çözebileceğimi düşündüm. Merak ediyorum, hangi otomata modellerinin polinom zamanında kararlaştırılabilir olduğunu var? yani makineleriniz varsa etkin bir şekilde olup olmadığını test edebilirsiniz .M1,M2M1,M2M_1, M_2L(M1)⊆L(M2)L(M1)⊆L(M2)L(M_1) \subseteq L(M_2) Akla gelen en belirgin olanlar, sayaç sayısının sabit olduğu DFA'lar ve tersine çevrilmiş sayaç makineleridir …

18 fl.formal-languages  automata-theory  time-complexity  polynomial-time  decidability 

Tipik olmayan lambda hesabı için denkliğine karar vermenin imkansız olduğunu biliyorum . Barendregt'ten Alıntı , HP Lambda Hesabı: Sözdizimi ve Anlambilimi. Kuzey Hollanda, Amsterdam (1984). :ββ\beta A ve B eşit değilse, eşitlik altında kapalı, boş olmayan lambda terimleri kümeleri ise, A ve B özyineli olarak birbirinden ayrılamaz. Eğer A eşitlik …

18 lo.logic  computability  lambda-calculus  normalization  decidability 

Boşluk sorununun kararlaştırılamadığı en basit hesaplama modeli nedir? Hesaplamalı bir model için boşaltma problemi (örn. Sonlu durum otomatiği, alternatif aşağı itmeli otomat, sayıcılı sınırlı hata kuantum otomatı, deterministik LBA, vb.) boş. Burada makinenin açıklaması sonlu olmalıdır! "En basit" kelimesinin biraz belirsiz olduğunu biliyorum. Bazı benzersiz hesaplama modelleri için birden fazla …

12 computability  decidability  undecidability  unary-languages 

fonksiyonların büyüme hızının karşılaştırılmasının karar verilebilirliğinin bilinen sınırları nelerdir ? Burada " mı?" Gibi soruların karar verilebilirliğini düşünüyorum. veya " mı?"N → NN→N\mathbb{N} \to \mathbb{N}xx∼ 2⌊ x lg( x + 2 ) ⌋xx∼2⌊xlg⁡(x+2)⌋x^x \sim 2^{\lfloor x \lg (x+2) \rfloor}2lg*x∈ O ( lglgx )2lg∗⁡x∈O(lg⁡lg⁡x)2^{\lg^* x} \in O(\lg \lg x) İşlevleri polinomlar …

12 decidability  asymptotics 

Bir Vektör Toplama Sistemi (VAS), sınırlı bir eylem . işaretler kümesidir . Bir çalıştırma boş olmayan bir kelime st . Böyle bir kelime varsa biz demek olduğunu ulaşılabilir gelen .A⊂ZdA⊂ZdA \subset \mathbb{Z}^dm 0 m 1 … m n ∀ i ∈ { 0 , … , n - 1 } …

11 fl.formal-languages  decidability 

Cevap: bilinmiyor Bu soruyu ve onunla ilgili tanımları düzeltmeye yardımcı olan herkese çok teşekkürler. Bu vikinin tanımları daha yeni TCS wiki " P, varlığı PA veya ZFC'den bağımsız diller içeriyor mu? (TCS topluluk wiki) " için başlangıç ​​noktası sağlamıştır . Daha yeni wiki tercih edilir, çünkü tanımları ve isimlendirmesi bu …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

Robertson-Seymour teoremi söylüyor herhangi bir küçük kapalı aileGG\mathcal G grafiklerin sayısı, çok sayıda yasaklı küçüklerle karakterize edilebilir. Bir girdi için bir algoritma var mı GG\mathcal G yasak gençleri çıkarır mı yoksa bu kararsız mıdır? Açıkçası, cevap nasıl GG\mathcal Ggirişte açıklanmıştır. Örneğin,GG\mathcal G tarafından verilir MGMGM_\mathcal G üyeliğe karar verebilir. MGMGM_\mathcal …

9 graph-theory  decidability  graph-minor 

Bağlamdan bağımsız bir gramer düşünün GGGalfabe üzerinde . Bu dilbilgisinin prodüksiyonlarına iki sabit prodüksiyon ekleyin : ve . Ortaya çıkan gramer " prodüksiyonlarıyla zenginleştirilmiş " olarak adlandırın.{ 0 , 1 ,0¯¯¯,1¯¯¯}{0,1,0¯,1¯}\lbrace 0,1,\overline{0} ,\overline{1} \rbracePPP0¯¯¯0 → ϵ0¯0→ϵ\overline{0} 0 \rightarrow \epsilon1¯¯¯1 → ϵ1¯1→ϵ\overline{1} 1 \rightarrow \epsilonG,PGPG^PG,GGPPP Bir dil bilgisi alır bir algoritma …

9 context-free  decidability 

Karar verilebilir problemler var, karar verilemeyen bazıları var, yarı geçerlilik var, vb. Bu durumda, bir sorunun meta-karar verilemez olup olmadığını merak ediyorum. Bu (en azından kafamda), karar verilebilir olup olmadığını söyleyemeyiz anlamına gelir. Belki de karar verilebilirliğin kararsız olduğu bilinmektedir (her şey meta kararsızdır) ve herhangi bir şey için karar …

9 computability  decidability  undecidability