«turing-machines» etiketlenmiş sorular

Tamamlanmayan herhangi bir dil, kendisi için bir tercüman yazamaz. Bunu okuduğum yerde hiçbir fikrim yok ama birkaç kez kullanıldığını gördüm. Bu bir tür "nihai" Turing olmayan tam dile yol açıyor gibi görünüyor; sadece yapabilen (ler)bir Turing makinesi tarafından yorumlanabilir. Bu diller, doğallardan doğallara kadar tüm toplam fonksiyonları hesaplayamayabilir veya zorunlu …

16 computability  turing-machines 

Tamamen soyut bir matematik / hesaplamalı akıl yürütme bakış açısıyla, 3-SAT, Altküme Toplamı, Seyahat Eden Satıcı vb. Onları sadece işlevsel bakış açısıyla anlamlı bir şekilde aklımızdan çıkartabilir miyiz ? Hatta mümkün olabilir mi? Bu soruyu, lambda hesabı hesaplama modelini öğrenmenin bir parçası olarak tamamen kendi kendini sorgulama noktasından alıyorum. Bunun …

15 soft-question  lambda-calculus  turing-machines  functional-programming  np 

Bir Turing Machine tarafından tanımlanmış bir dil L verildiğinde, L'nin NP'de olup olmadığını algoritmik olarak belirlemek mümkün müdür?

15 cc.complexity-theory  computability  turing-machines 

Bir habersiz Turing makinesi üzerinde bir Turing makinesinin emülasyon daha kısa bir sürede yapılamaz bir kanıt var mıdır O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm adımlarla Turing makinası kullanımları sayısıdır? Yoksa bu sadece bir üst sınır mı? Vitányi, Paul Vitányi'nin göreceli ilgisiz Turing makineleri hakkındaki yazısında, "Bunlar [ Pippenger ve Fischer, 1979 makine Turing 1-bant …

13 cc.complexity-theory  turing-machines 

Basitçe söylemek gerekirse: Oraclesli Turing makineleri ve oraclesli üniform devre aileleri arasındaki uyum nedir? Belirli bir oracle Turing makinesi için aynı hesaplama modelini elde etmek için ikincisi nasıl tanımlanır? Bu temel bir soru olabilir, ancak nereye bakılacağı açık değildir ve vakıflarımın kaliteli harç kullandığından emin olmaktan hoşlanan biriyim. Standart bir …

13 cc.complexity-theory  turing-machines  oracles  circuit-families 

Bu soru ile bağlantılı olarak merak ettim: Tek bantlı tek kafalı bir Turing makinesinin girdisinin uzunluğunu hesaplaması için zaman karmaşıklığı nedir? Spesifik olarak, bant alfabesinin , girdinin boşluklarla çevrili bir dize olduğunu , makinenin en soldaki giriş sembolünde başladığını ve giriş uzunluğunun ikili temsilini veren (yine boşluklarla çevrili bir dizenin …

13 turing-machines 

Hemen hemen tüm diğer Turing Makinelerinin durup durmadığına karar verebilecek bir Turing Makinesi var mı ? Turing makinelerinin bazı numaralandırma ve bazı doğal sayılar kümesinin "boyut" kavramına sahip olduğumuzu varsayalım ve biz tanımlarız:N→{Mi}N→{Mi}\mathbb{N} \rightarrow \{M_i\}∥⋅∥‖⋅‖\| \cdot \| f(i)=∥{n:Mi can't decide whether Mn halts}∥.f(i)=‖{n:Mi can't decide whether Mn halts}‖.f(i) = \|\{n: …

12 turing-machines  halting-problem 

Durma sorununun hesaplanamaz olduğu iyi bilinmektedir. Bununla birlikte, durdurma problemi hakkındaki bilgileri katlanarak "sıkıştırmak" mümkündür, böylece sıkıştırmanın açılması hesaplanabilir. Daha doğrusu, Turing makinelerinin ve n- bit tavsiyelerinin bir açıklamasından hesaplamak mümkündür , tavsiye etme durumunun güvenilir olduğu varsayılarak Turing makinelerinin tüm 2 n - 1 için durma probleminin cevabı - …

12 computability  lower-bounds  turing-machines  communication-complexity  oracles 

Zaman hiyerarşi teoremi, turing makinelerinin (yeterli) daha fazla zamanları varsa daha fazla sorunu çözebileceğini belirtir. Alan asimptotik olarak sınırlıysa bir şekilde dayanıyor mu? Nasıl yok ilgili ise yeterince hızlı büyüyor mu?DTISP(g(n),O(s(n)))DTISP(g(n),O(s(n)))\textrm{DTISP}(g(n), O(s(n)))DTISP(f(n),O(s(n)))DTISP(f(n),O(s(n)))\textrm{DTISP}(f(n), O(s(n)))fgfg\frac{f}{g} Özellikle , ve olmasıyla ilgileniyorum .s(n)=ns(n)=ns(n) = ng(n)=n3g(n)=n3g(n) = n^3f(n)=2nf(n)=2nf(n) = 2^n Özellikle, aşağıdaki dili : Lk:={(⟨M⟩,w):M …

12 cc.complexity-theory  complexity-classes  turing-machines  space-bounded  time-hierarchy 

Sunacağım fikrini ilk ortaya koyan ben olmadığımdan oldukça eminim. Ancak, fikirle ilgili herhangi bir literatür bulabilirsem faydalı olacaktır. Fikir, P = NP ise M'nin 3-SAT'ı polinom zamanda çözeceği özelliğine sahip bir Turing Makinesi M oluşturmaktır. (3-SAT seçimi keyfidir. NP'de gerçekten herhangi bir sorun olabilir). Açıkça söylemek gerekirse, bu bir P …

12 reference-request  turing-machines  p-vs-np 

, zamanında bir (çok bantlı) Turing makinesi tarafından kabul edilebilecek dil sınıfı olarak tanımlayın . (" " sadece gösterimi basitleştirmek ve karışıklığı önlemek içindir.) etrafında olmadığını unutmayın .f ( n ) + 1 + 1 O ( ⋅ ) f ( n ) + 1D T I M E (f( …

12 cc.complexity-theory  time-complexity  turing-machines  time-hierarchy 

İlgili bir soruyu , algoritmaların yapıcı olmayan varoluş kanıtları hakkında okuduktan sonra , "küçük" (örneğin, devlet-bilge) hesaplama makinelerinin varlığını gerçekten inşa etmeden göstermenin yöntemleri olup olmadığını merak ediyordum. resmen: varsayalım ki bazı dil ve bazı hesaplama modelini düzeltin (NFA'lar / Turing makinesi vb.).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* için durumlu bir makinenin var olduğunu …

11 cc.complexity-theory  automata-theory  turing-machines 

Öğrencileri, turing makinelerinin yeterince genel bir hesaplama modeli olduğuna 'ikna etmeye' yardımcı olan küçük bir dil arıyorum. Yani, alıştıkları dillere benzeyen bir dil, ancak bir turing makinesinde simüle edilmesi de kolaydır. Papadimitriou bu iş için RAM makineleri kullanıyor, ancak garip bir şeyi (turing makinesi olarak) başka bir tuhaf şeyle (temel …

11 turing-machines 

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 

Robin Gandy , Alan Turing'in öğrencisiydi . Gandy, Babbage'ın Analitik Motorunun bir analizini yaptı (bkz. 'Herken, Rolf - Evrensel Turing Makinesi — Yarım Yüzyıl Anketi . Springer Verlag'). s. 52–53): Aritmetik fonksiyonlar +, -, ×, burada - y ≥ x ise "uygun" çıkarma x - y = 0 belirtir. Herhangi …

10 turing-machines  universal-computation  charles-babbage