Вопросы с тегом «ho.history-overview»

История за темами: откуда взято их имя, кто их открыл, когда они впервые были доказаны, как они развивались в течение многих лет.

7
Каков вклад лямбда-исчисления в области теории вычислений?
Я просто читаю лямбда-исчисление, чтобы «узнать это». Я рассматриваю это как альтернативную форму вычислений в отличие от машины Тьюринга. Это интересный способ работы с функциями / сокращениями (грубо говоря). Некоторые вопросы продолжают мучить меня, хотя: Какой смысл в лямбда-исчислении? Зачем проходить все эти функции / сокращения? Какова цель? В результате …
2
Было ли сокращение алгоритма Шора первоначально обнаружено Шором?
Это «исторический вопрос» больше, чем вопрос исследования, но было ли классическое сведение к нахождению порядка в алгоритме факторизации Шора первоначально обнаруженным Питером Шором, или это было известно ранее? Есть ли статья, описывающая сокращение, предшествующее Шору, или это просто так называемый «народный результат»? Или это просто очередной прорыв в той же …
14
Применение топологии в информатике
Я хотел бы написать обзор по применению топологии в информатике. Я планирую осветить историю топологических идей в области компьютерных наук, а также выделить несколько текущих событий. Было бы чрезвычайно полезно, если бы кто-то мог дать вклад по любому из вопросов ниже. Существуют ли какие-либо статьи или заметки, описывающие хронологию использования …
5
Происхождение понятия древовидной ширины
Мой вопрос сегодня (как обычно) немного глупый; но я бы попросил вас рассмотреть это. Я хотел знать о происхождении и / или мотивации концепции ширины дерева. Я уверен, что понимаю, что это используется в алгоритмах FPT, но я не думаю, что это было причиной, почему это понятие было определено. Я …
5
Исторические причины принятия машины Тьюринга в качестве основной модели вычислений.
Насколько я понимаю, модель Тьюринга стала «стандартом» при описании вычислений. Мне интересно знать, почему это так - то есть, почему модель ТМ стала более широко используемой, чем другие теоретически эквивалентные (насколько мне известно) модели, например μ-Рекурсия Клини или Лямбда-исчисление (я понимаю что первое появилось только позже, а второе изначально не …
1
Существует ли Рабин / Яо (по крайней мере, в той форме, которую можно привести)?
В классической работе Эндрю Чи-Чжа Яо 1979 года он упоминает "М.О. Рабин и А.С. Яо, в процессе подготовки". Это связано с тем, что сложность связи с ограниченной ошибкой функции равенства EQ (два целых числа в диапазоне от до 0 N - 1 O ( журнал регистрации N )NN_N000N−1N−1N-1 ) равна …
7
Какая самая старая открытая проблема в TCS?
Эта проблема вдохновлена этим вопросом МО , который мне показался очень интересным. Какая самая старая открытая проблема в TCS? Очевидно, что этот вопрос нуждается в уточнении. Во-первых, что такое TCS? Я думаю, что существование нечетных совершенных чисел не TCS. Я бы сказал, что десятой проблемой Гильберта является TCS. Я думаю, …
8
Вклад Алана Тьюринга в информатику
Алан Тьюринг , один из пионеров (теоретической) информатики, внес много полезных научных вкладов в нашу область, включая определение машин Тьюринга, тезис Черча-Тьюринга, неразрешимость и тест Тьюринга. Однако его важные открытия не ограничиваются перечисленными мною. В честь его 100-летия я подумал, что было бы неплохо попросить более полный список его важных …
2
Ссылка для NP-твердости 3-х цветов?
У меня есть исторический вопрос. Я пытаюсь определить ссылку на тот факт, что 3-окрашиваемость графиков (альтернативно, окрашиваемость для заданного k \ geq 3 ) является NP-трудной.ККkk ≥ 3К≥3k\geq 3 Заманчивым ответом является «оригинальная статья Карпа», но это не так. Вот сканирование: сводимость среди комбинаторных проблем, Карп (1972) . Это доказывает, …
2
«Класс Стива»: происхождение СЦ
Мы «знаем», что назван в честь Стива Кука, а назван в честь Ника Пиппенгера. Если я не ошибаюсь, Стив Кук назвал NC в честь Ника Пиппенджера, и мне сказали, что обратное также верно. Однако я не смог найти никаких доказательств этого последнего факта ни в статье Стива Кука о DCFL, …
2
Происхождение и применение теории А против теории Б?
В паре недавних вопросов ( q1, q2 ) обсуждалась «Теория А» и «Теория В», по-видимому, чтобы уловить разрыв между изучением логики и языков программирования и изучением алгоритмов и сложности. Эта терминология была для меня новой, и при быстром поиске в Интернете не было никаких явных ссылок, объясняющих это. Кто-нибудь знает …
2
Гипотеза Колмогорова о том, что
В своей книге «Сложность булевых функций» Стасис Юкна упоминает (стр. 564), что Колмогоров считал, что каждый язык в P имеет цепи линейного размера. Никакой ссылки не упоминается, и я не могу ничего найти в Интернете. Кто-нибудь знает больше об этом?
3
Влияние программы Гротендика на TCS
Гротендик скончался . Он оказал огромное влияние на математику 20-го века, продолжая в 21-м веке. Этот вопрос задается в некотором стиле / духе, например, «Вкладов Алана Тьюринга в информатику» . Каковы основные влияния Гротендика на теоретическую информатику?
1
Почему обычные языки называются «обычными»?
Почему регулярные языки (и из этих регулярных выражений) называются "регулярными"? Существует много закономерностей и в контекстно-свободных языках других типов языков. Я предполагаю, что в начале прилагательное «обычный» использовалось для того, чтобы отличать этот тип языков от других «нерегулярных» или каким-то ненормальных языков. Если да, то где эти другие типы и …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.