«undecidability» etiketlenmiş sorular

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 

Turing makineleri için durma problemi, belki de kanonik kararsız kümedir. Bununla birlikte, neredeyse tüm örneklerine karar veren bir algoritma olduğunu kanıtlıyoruz. Bu nedenle durma problemi, karmaşıklık teorisinin “kara delik” fenomenini sergileyenlerin artan koleksiyonu arasındadır; bu da, olanaksız veya kararsız bir sorunun zorluğunun, sorunun dışında olduğu çok küçük bir bölgeye, bir …

18 cc.complexity-theory  reference-request  computability  undecidability 

Cevap: bilinmiyor. Sorulan sorular doğal, açık ve görünüşte zor; şimdi soru bir topluluk wiki'sidir. genel bakış Soru karmaşıklık sınıfına ait dilleri - bu dilleri kabul eden Turing makineleri (TM) ile birlikte iki tamamlayıcı alt sınıfa ayırmayı amaçlamaktadır :PPP gnostik diller ve TM'ler (doğrulamak / anlamak mümkün) şifreli diller ve TM'ler …

14 cc.complexity-theory  polynomial-time  undecidability  independence 

Birçok mantık probleminin (örneğin birkaç modal mantığın tatmin edilebilirlik problemleri) karar verilemez olduğu bilinmektedir. Algoritma teorisinde, örneğin kombinatoryal optimizasyonda, pek çok kararsız problem vardır. Ancak pratikte, heuristcs ve yaklaşık algoritmalar pratik algoritmalar için iyi çalışır. Dolayısıyla mantık problemleri için yaklaşık algoritmaların da uygun olabileceği beklenebilir. Bununla birlikte, bulmayı başarabildiğim bu …

13 lo.logic  approximation-algorithms  undecidability 

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 

"En büyük sayı oyunu adı" iki oyuncudan gizlice bir sayı yazmasını ister ve kazanan daha büyük sayıyı yazan kişidir. Oyun genellikle oyuncuların bir noktada değerlendirilen işlevleri yazmasına izin verir, bu nedenle 222222222^{2^{2^{2}}} de yazmak için kabul edilebilir bir şey olacaktır. Meşgul Kunduz işlevinin ( BB(x)BB(x)BB(x) ) değeri, büyük xxx değerleri …

11 computability  undecidability 

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