Вопросы с тегом «halting-problem»

Вопросы, касающиеся проблемы остановки, которая заключается в том, чтобы решить, останавливается ли данная программа на заданном входе.

12
Почему действительно так важна проблема остановки?
Я не понимаю, почему проблема остановки так часто используется, чтобы исключить возможность определения, останавливается ли программа. Википедия [статья] [1] правильно объясняет, что детерминированная машина с конечной памятью либо остановит, либо повторит предыдущее состояние. Вы можете использовать алгоритм, который определяет, зацикливается ли связанный список, для реализации функции остановки с пространственной сложностью …

5
Есть ли конкретная связь между теоремой Гёделя о неполноте, проблемой остановки и универсальными машинами Тьюринга?
Я всегда смутно думал, что ответ на вышеупомянутый вопрос был утвердительным по следующим направлениям. Теорема Гёделя о неполноте и неразрешимость проблемы остановки являются отрицательными результатами о разрешимости и установлены диагональными аргументами (и в 1930-х годах), поэтому они должны как-то быть двумя способами рассматривать одни и те же вопросы. И я …

10
Человеческая вычислительная мощь: могут ли люди решить проблему остановки на машинах Тьюринга?
Мы знаем, что проблема остановки (на машинах Тьюринга) неразрешима для машин Тьюринга. Проводятся ли некоторые исследования того, насколько хорошо человеческий разум может справиться с этой проблемой, возможно, с помощью машин Тьюринга или компьютеров общего назначения? Примечание : Очевидно, что в самом строгом смысле вы всегда можете сказать «нет», потому что …

7
Есть ли связь между проблемой остановки и термодинамической энтропией?
Алан Тьюринг предложил модель для машины (Turing Machine, TM), которая вычисляет (числа, функции и т. Д.), И доказал теорему Остановки . ТМ - это абстрактное понятие машины (или двигателя, если хотите). Теорема Остановки - результат невозможности. Двигатель Карно (CE) - это абстрактное понятие теплового двигателя, и Карно доказал теорему Карно …

7
Есть ли более интуитивное доказательство неразрешимости проблемы остановки, чем диагонализация?
Я понимаю доказательство неразрешимости проблемы остановки (приведенное, например, в учебнике Пападимитриу), основанное на диагонализации. Хотя доказательство является убедительным (я понимаю каждый его шаг), оно не является для меня интуитивным в том смысле, что я не понимаю, как кто-то может его получить, начиная с одной проблемы. В книге доказательство выглядит следующим …

2
Почему пустой тип C не аналогичен пустому / нижнему типу?
Википедия, а также другие источники, которые я обнаружил в списке voidтипа C как тип единицы, а не пустой тип. Мне кажется, что это сбивает с толку, так как мне кажется, что оно voidлучше подходит под определение пустого / нижнего типа voidНасколько я могу судить, ценности не обитают . Функция с …
28 type-theory  c  logic  modal-logic  coq  equality  coinduction  artificial-intelligence  computer-architecture  compilers  asymptotics  formal-languages  asymptotics  landau-notation  asymptotics  turing-machines  optimization  decision-problem  rice-theorem  algorithms  arithmetic  floating-point  automata  finite-automata  data-structures  search-trees  balanced-search-trees  complexity-theory  asymptotics  amortized-analysis  complexity-theory  graphs  np-complete  reductions  np-hard  algorithms  string-metrics  computability  artificial-intelligence  halting-problem  turing-machines  computation-models  graph-theory  terminology  complexity-theory  decision-problem  polynomial-time  algorithms  algorithm-analysis  optimization  runtime-analysis  loops  turing-machines  computation-models  recurrence-relation  master-theorem  complexity-theory  asymptotics  parallel-computing  landau-notation  terminology  optimization  decision-problem  complexity-theory  polynomial-time  counting  coding-theory  permutations  encoding-scheme  error-correcting-codes  machine-learning  natural-language-processing  algorithms  graphs  social-networks  network-analysis  relational-algebra  constraint-satisfaction  polymorphisms  algorithms  graphs  trees 

7
Каковы самые простые примеры программ, которые мы не знаем, заканчиваются ли они?
Проблема с остановкой утверждает, что нет алгоритма, который бы определял, останавливается ли данная программа. Как следствие, должны быть программы, о которых мы не можем сказать, прекращаются они или нет. Каковы самые простые (самые маленькие) известные примеры таких программ?

4
Решаема ли проблема остановки для чистых программ на идеальном компьютере?
Довольно просто понять, почему проблема остановки неразрешима для нечистых программ (т. Е. Программ, в которых ввод / вывод и / или состояния зависят от состояния машины); но интуитивно кажется, что остановка чистой программы на идеальном компьютере может быть решена, например, статическим анализом. Это на самом деле так? Если нет, то …

1
Можно ли доказать неразрешимость проблемы остановки в Coq?
Я смотрел « Пять этапов принятия конструктивной математики » Андрея Бауэра, и он говорит, что существует два вида доказательств от противного (или две вещи, которые математики называют доказательством от противного): Предположим, что является ложным ... бла-бла-бла, противоречие. Следовательно, верно.ПпPPпPP Предположим, что это правда ... бла-бла-бла, противоречие. Следовательно, ложно.ПпPPпPP Первый из …

2
Существуют ли программы, которые никогда не останавливаются и не имеют доказательств отсутствия завершения?
Как черные дыры в информатике. Мы можем только знать, что они существуют, но когда у нас есть один из них, мы никогда не узнаем, что это один из них.

6
Алгоритм решения «проблемы остановки» Тьюринга
Этот вопрос был перенесен из теоретического обмена стеков информатики, потому что на него можно ответить в обмене стеков информатики. Мигрировал 7 лет назад . «Алан Тьюринг доказал в 1936 году, что общий алгоритм для решения проблемы остановки для всех возможных пар ввода программы не может существовать» Могу ли я найти …

4
Всегда ли машина останавливается?
Машина Тьюринга, которая возвращается в ранее обнаруженное состояние со своей головкой чтения / записи в той же ячейке той же самой ленты, будет зациклена. Такая машина не останавливается. Может ли кто-нибудь привести пример никогда не останавливавшейся машины, которая не зацикливается?

5
Может ли проблема остановки быть «решена» путем перехода к более высокоуровневому описанию вычислений?
Недавно я услышал интересную аналогию, которая гласит, что доказательство Тьюринга неразрешимости проблемы остановки очень похоже на парадокс Рассела. Поэтому мне стало интересно: математикам в конечном итоге удалось согласовать теорию множеств, перейдя от наивной формулировки поля Кантора к более сложной системе аксиом (теория множеств ZFC), сделав важные исключения (ограничения) и дополнения …

6
Является ли проблема остановки вычислимой для определенных входных данных / предположений
Из моего понимания доказательства того, что проблема остановки не вычислима, эта проблема не вычислима, потому что если у нас есть программа P (x), которая вычисляет, останавливается ли программа x или нет, мы получаем парадокс, когда передаем P в качестве входных данных для тот же P, имеющий: P (P), пытающийся решить, …

4
Может ли среда выполнения обнаруживать бесконечный цикл?
Возможно ли для среды выполнения обнаружить бесконечные циклы и впоследствии остановить связанный процесс, или реализация такой логики будет эквивалентна решению проблемы остановки? Для целей этого вопроса я определяю «бесконечный цикл», чтобы обозначить последовательность инструкций и связанных данных начального стека / кучи, которые при выполнении возвращают процесс в точно такое же …

Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.