Запитання з тегом «undecidability»

Нехай Чи є машина Тьюрінга R, яка визначає (я не маю на увазі розпізнає) мову ?L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L∅={⟨M⟩∣M is a Turing Machine and L(M)=∅}.L_\emptyset = \{\langle M\rangle \mid M \text{ is a Turing Machine and }L(M)=\emptyset\}.L∅L∅L_\emptyset Здається, що той самий прийом, який було показано, що повинен …

11 turing-machines  computability  undecidability 

Чи існує алгоритм для наступної проблеми: Враховуючи машину Тюрінга яка визначає мову , чи існує машина Тьюрінга вирішує таку, що ? L M 2 L t 2 ( n ) = o ( t 1 ( n ) )M1M1M_1LLLM2M2M_2LLLт2( n ) = o ( t1( n ) )t2(n)=o(t1(n))t_2(n) = o(t_1(n)) …

11 complexity-theory  computability  undecidability  decision-problem 

Я зіткнувся з такою цікавою проблемою: нехай - поліноми над полем дійсних чисел, і припустимо, що їх коефіцієнти всі цілі (тобто є кінцеве точне подання цих многочленів). Якщо потрібно, можна припустити, що ступінь обох многочленів однакова. Позначимо через (відповідно, ) найбільше абсолютне значення деякого (реального або складного) кореня многочлена (відповідно …

11 computability  undecidability  computer-algebra 

На роботі мені було доручено виводити інформацію про тип динамічної мови. Я переписую послідовності висловлювань у вкладені letвирази, як-от так: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T …

11 programming-languages  logic  type-theory  type-inference  machine-learning  data-mining  clustering  order-theory  reference-request  information-theory  entropy  algorithms  algorithm-analysis  space-complexity  lower-bounds  formal-languages  computability  formal-grammars  context-free  parsing  complexity-theory  time-complexity  terminology  turing-machines  nondeterminism  programming-languages  semantics  operational-semantics  complexity-theory  time-complexity  complexity-theory  reference-request  turing-machines  machine-models  simulation  graphs  probability-theory  data-structures  terminology  distributed-systems  hash-tables  history  terminology  programming-languages  meta-programming  terminology  formal-grammars  compilers  algorithms  search-algorithms  formal-languages  regular-languages  complexity-theory  satisfiability  sat-solvers  factoring  algorithms  randomized-algorithms  streaming-algorithm  in-place  algorithms  numerical-analysis  regular-languages  automata  finite-automata  regular-expressions  algorithms  data-structures  efficiency  coding-theory  algorithms  graph-theory  reference-request  education  books  formal-languages  context-free  proof-techniques  algorithms  graph-theory  greedy-algorithms  matroids  complexity-theory  graph-theory  np-complete  intuition  complexity-theory  np-complete  traveling-salesman  algorithms  graphs  probabilistic-algorithms  weighted-graphs  data-structures  time-complexity  priority-queues  computability  turing-machines  automata  pushdown-automata  algorithms  graphs  binary-trees  algorithms  algorithm-analysis  spanning-trees  terminology  asymptotics  landau-notation  algorithms  graph-theory  network-flow  terminology  computability  undecidability  rice-theorem  algorithms  data-structures  computational-geometry 

Я розумію, що більшість проблем є тривіальними, якщо доступний оракул, що зупиняється (або, я думаю, що рівнозначно, гіпер-обчислення). Однак застосування аргументу, який показує, що Проблема зупинки неможлива для машини Тьюрінга, також показує, що Tracle + oracle не може вирішити проблему зупинки для Tracle + oracle. Чи існують якісь фактичні, практичні …

11 computability  undecidability  halting-problem  oracle-machines 

Одним із визначень налічуваного числа (ce, еквівалентного рекурсивно перелічуваному, що еквівалентно напівроздільному) множини є наступне: V ⊆ Σ ∗ x ∈ Σ ∗А ⊆ Σ∗A⊆Σ∗A \subseteq \Sigma^* є ce iff є рішуча мова (називається верифікатором) st для всіх ,V⊆ Σ∗V⊆Σ∗V\subseteq \Sigma^*x ∈ Σ∗x∈Σ∗x\in \Sigma^* у ∈ Е * ⟨ х …

11 computability  proof-techniques  undecidability 

У проблемі зупинки нас цікавить, чи є машина Тьюрінга яка може визначити, чи зупиняється дана машина Тьюрінга M на даному вході i . Зазвичай доказ починається з того, що такий Т існує. Потім ми розглянемо випадок , коли ми обмежуємо I до М самим, а потім отримати протиріччя, використовуючи екземпляр …

10 computability  undecidability  halting-problem 

Чи означає прийняття означає, що TM буде читати та розпізнавати знак із клітини, з якої він зараз читає? І чи трапляється так, що TM зупиняє iff вхідний сигнал?

10 terminology  turing-machines  undecidability 

Чи потрібно, щоб був нескінченним, щоб бути невизначеним?L⊆Σ∗L⊆Σ∗L\subseteq \Sigma^* Я маю на увазі, що якщо ми виберемо мову буде обмеженою кінцевою версією , тобто , ( ), з . Чи можливо бути невід’ємною мовою? L′L′L' | L ′ | ≤ N N ∈ N L ′ ⊂ L L ′L⊆Σ∗L⊆Σ∗L\subseteq …

10 formal-languages  computability  undecidability 

Гаразд, ось питання з минулого тесту в моєму класі Теорія обчислень: Непридатний стан у ТМ - це стан, який ніколи не вводиться в жодному вхідному рядку. Нехай Доведіть, що можна визначити.U S E L E S S T MUSELESSTM={⟨M,q⟩∣q is a useless state in M}.USELESSTM={⟨M,q⟩∣q is a useless state in …

10 computability  undecidability  formal-methods  turing-machines 

На цьому веб-сайті є багато варіантів питання, чи можуть ТМ вирішити проблему зупинки, будь то для всіх інших ТМ чи певних підмножин. Це питання дещо інше. Він запитує, чи може проблема зупинення застосовано до всіх ТМ, щоб вирішити ТМ. Я вважаю, що відповідь - ні, і хочу перевірити моє міркування. …

9 computability  turing-machines  undecidability  halting-problem 

Одне твердження теореми Райса наведено на сторінці 35 "Комп'ютерна складність: сучасний підхід" (Арора-Барак): Часткова функція від {0,1}∗{0,1}∗\{0,1\}^* до {0,1}∗{0,1}∗\{0,1\}^*це функція, яка не обов'язково визначається на всіх її входах. Ми говоримо, що ТМMMM обчислює часткову функцію fff якщо для кожного xxx на якому fff визначено, M(x)=f(x)M(x)=f(x)M(x) = f(x) і для кожного …

9 computability  turing-machines  undecidability  rice-theorem 

Я намагаюся знайти доказ для наступного: Для будь-якої мови AAA , існує мова BBB такі , що A≤TBA≤TBA \le_{\mathrm{T}} B , але B ≰TA≰TA\nleq_{\mathrm{T}} A . Я думав дозволити BBB бути ATMATMA_{\mathrm{TM}} , але я розумію, що не всі мови Тюрінг зводяться до ATMATMA_{\mathrm{TM}} , тому A≤TBA≤TBA \le _T B …

9 computability  reductions  undecidability 

У мене виникло питання про проблему зупинки, і я не зміг знайти хорошої відповіді в Інтернеті, цікавившись, чи хтось може допомогти. Чи можливо, що проблема зупинки вирішується для будь-якого ТМ на будь-якому вході, якщо вхід не є самою TM? В основному: Halts(TM, I) IF TM == I: Undecidable, return a …

9 computability  undecidability  halting-problem 

Сьогодні на обід я підняв це питання разом із колегами, і на моє здивування, аргумент Джеффа Е. про те, що проблема вирішується, не переконав їх ( ось тісно пов'язаний пост про математичний потік). Вирішення проблеми, яке простіше пояснити ("це P = NP?"), Також вирішується: або так, ні, і одна з …

9 computability  undecidability