Запитання з тегом «turing-machines»

Будь-яка мова, яка не є Тюрінг повною, не може самостійно написати перекладача. У мене немає поняття, де я це читав, але я бачив, що він використовувався не раз. Схоже, що це породжує своєрідну "кінцеву" нетургійну повну мову; ті, які можуть тількиінтерпретувати машину Тюрінга. Ці мови не обов'язково зможуть обчислити всі …

16 computability  turing-machines 

З точки зору суто абстрактних математичних / обчислювальних міркувань, (як) можна навіть виявити або обґрунтувати такі проблеми, як 3-SAT, сума підмножин, продавець подорожей тощо.? Чи могли б ми навіть міркувати про них будь-якими змістовними способами лише з функціональної точки зору? Це було б можливо навіть? Я роздумував над цим питанням …

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

Враховуючи мову L, визначену машиною Тюрінга, яка її вирішує, чи можна алгоритмічно визначити, чи лежить L у NP?

15 cc.complexity-theory  computability  turing-machines 

У зв’язку з цим питанням у мене виникло питання: яка часова складність для односмугової одноголової машини Тюрінга для обчислення довжини введення? Для конкретності, скажімо, що алфавіт стрічки - , вхід - це рядок у ( 0 + 1 ) ∗, оточений пробілами, машина запускається в крайньому лівому символі введення, і …

13 turing-machines 

Чи є докази того, що емуляцію машини Тьюрінга на невідомій машині Тьюрінга не можна виконати менше ніж де - кількість кроків, якими користується машина Тьюрінга ? Або це лише верхня межа?O(mlogm)O(mlog⁡m)\mathcal{O}\left(m\log m\right)mmm У статті Павла Вітанія про релятивізовані забуті машини Тьюрінга стверджує Вітаній "Вони [ Піппенгер і Фішер, 1979 ] …

13 cc.complexity-theory  turing-machines 

Простіше кажучи: яка відповідність між машинами Тюрінга з оракулами та сімействами однорідних схем з оракулами? Як визначаються останні для того, щоб отримати таку ж обчислювальну модель для даної машини Oracle Turing? Це може бути елементарним питанням, але не очевидно, куди шукати, і я такий тип людини, який любить переконатися, що …

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

Чи існує машина Тьюрінга, яка може вирішити, чи майже всі інші машини Тьюрінга зупиняються? 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: M_i \text{ can't decide whether }M_n \text{ halts} \}\|. Які характеристики мінімального значення існують для різних? Наприклад, припустимоє …

12 turing-machines  halting-problem 

Загальновідомо, що проблема зупинки є непорушною. Однак можна експоненціально «стиснути» інформацію про проблему зупинки, щоб розпакувати її обчислимо. Точніше, можна обчислити опис машин Тьюрінга і n -біт поради, що визначають відповідь на проблему зупинки для всіх 2 n - 1 машин Тьюрінга, припускаючи, що порада є надійною - ми дозвольте …

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

Теорема про ієрархію часу стверджує, що машини для тюрінгу можуть вирішити більше проблем, якщо у них буде (достатньо) більше часу. Чи це утримується якимось чином, якщо простір обмежено асимптотично? Яким чином 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} росте досить швидко? Мене особливо цікавить випадок, коли s(n)=ns(n)=ns(n) = n , …

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

Я цілком впевнений, що я не вперше розважаюсь над ідеєю, яку я збираюся представити. Однак було б корисно, якщо мені вдасться знайти будь-яку літературу, пов’язану з ідеєю. Ідея полягає в тому, щоб побудувати машину Тьюрінга M з властивістю, що якщо P = NP, то M буде вирішувати 3-SAT в поліноміальний …

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

Визначте як клас мов, який може бути прийнятий (багатотактною) машиною Тюрінга за час f ( n ) + 1 . (" + 1 " - це просто спростити позначення та уникнути плутанини.) Зауважте, що немає ODTIME(f(n))DTIME(f(n))\mathsf{DTIME}(f(n))f(n)+1f(n)+1f(n) + 1+1+1+ 1навколо f ( n ) + 1 ( ⋅ ) .O(⋅)O(⋅)O(\cdot)f(n)+1f(n)+1f(n) + …

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

Прочитавши відповідне запитання про неконструктивні докази існування алгоритмів, мені було цікаво, чи існують способи показу існування "малих" (скажімо, державних) обчислювальних машин, фактично не будуючи його. Формально: припустимо, нам дається деяка мова і виправляється деяка обчислювальна модель (NFAs / turing machine / тощо).L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Чи існують якісь неконструктивні результати існування, що …

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

Я шукаю невелику мову, яка допомагає «переконати» учнів у тому, що тюрінг-машини є достатньо загальною обчислювальною моделлю. Тобто мова, схожа на мови, до яких вони звикли, але також легко імітувати на машині тюрінга. Papadimitriou використовує машини для оперативної пам’яті для цієї роботи, але я побоююся, що порівняння чогось дивного (як …

11 turing-machines 

Відповідь: невідомо Велике спасибі всім, хто допоміг уточнити це питання та визначення, пов'язані з ним. Визначення цієї вікі послужили відправною точкою для більш пізньої вікі TCS " Чи P містить мови, існування яких не залежить від PA чи ZFC? (Вікі спільноти TCS) ". Більш свіжий вікі є кращим, оскільки його …

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

Робін Генді був учнем Алана Тьюрінга . Ґенді зробив аналіз аналітичного двигуна Беббіджа (див. «Ганді - Злиття ідей 1936 року», цитовану у «Геркена, Рольфа - Універсальна машина Тюрінга - опитування півстоліття . Спрингер Верлаг») - і сказав, що це робиться (пор. С. 52–53): Арифметичні функції +, -, ×, де - …

10 turing-machines  universal-computation  charles-babbage