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

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

85
Каков вклад лямбда-исчисления в области теории вычислений?

Я просто читаю лямбда-исчисление, чтобы «узнать это». Я рассматриваю это как альтернативную форму вычислений в отличие от машины Тьюринга. Это интересный способ работы с функциями / сокращениями (грубо говоря). Некоторые вопросы продолжают мучить меня, хотя: Какой смысл в лямбда-исчислении? Зачем...

79
Было ли сокращение алгоритма Шора первоначально обнаружено Шором?

Это «исторический вопрос» больше, чем вопрос исследования, но было ли классическое сведение к нахождению порядка в алгоритме факторизации Шора первоначально обнаруженным Питером Шором, или это было известно ранее? Есть ли статья, описывающая сокращение, предшествующее Шору, или это просто так...

61
Применение топологии в информатике

Я хотел бы написать обзор по применению топологии в информатике. Я планирую осветить историю топологических идей в области компьютерных наук, а также выделить несколько текущих событий. Было бы чрезвычайно полезно, если бы кто-то мог дать вклад по любому из вопросов ниже. Существуют ли какие-либо...

61
Происхождение понятия древовидной ширины

Мой вопрос сегодня (как обычно) немного глупый; но я бы попросил вас рассмотреть это. Я хотел знать о происхождении и / или мотивации концепции ширины дерева. Я уверен, что понимаю, что это используется в алгоритмах FPT, но я не думаю, что это было причиной, почему это понятие было определено. Я...

44
Исторические причины принятия машины Тьюринга в качестве основной модели вычислений.

Насколько я понимаю, модель Тьюринга стала «стандартом» при описании вычислений. Мне интересно знать, почему это так - то есть, почему модель ТМ стала более широко используемой, чем другие теоретически эквивалентные (насколько мне известно) модели, например μ-Рекурсия Клини или Лямбда-исчисление (я...

40
Существует ли Рабин / Яо (по крайней мере, в той форме, которую можно привести)?

В классической работе Эндрю Чи-Чжа Яо 1979 года он упоминает "М.О. Рабин и А.С. Яо, в процессе подготовки". Это связано с тем, что сложность связи с ограниченной ошибкой функции равенства EQ (два целых числа в диапазоне от до 0 N - 1 O ( журнал регистрации N )NN_N000N−1N−1N-1 ) равна...

36
Какая самая старая открытая проблема в TCS?

Эта проблема вдохновлена этим вопросом МО , который мне показался очень интересным. Какая самая старая открытая проблема в TCS? Очевидно, что этот вопрос нуждается в уточнении. Во-первых, что такое TCS? Я думаю, что существование нечетных совершенных чисел не TCS. Я бы сказал, что десятой проблемой...

34
Вклад Алана Тьюринга в информатику

Алан Тьюринг , один из пионеров (теоретической) информатики, внес много полезных научных вкладов в нашу область, включая определение машин Тьюринга, тезис Черча-Тьюринга, неразрешимость и тест Тьюринга. Однако его важные открытия не ограничиваются перечисленными мною. В честь его 100-летия я...

33
Ссылка для NP-твердости 3-х цветов?

У меня есть исторический вопрос. Я пытаюсь определить ссылку на тот факт, что 3-окрашиваемость графиков (альтернативно, окрашиваемость для заданного k \ geq 3 ) является NP-трудной.ККkk ≥ 3К≥3k\geq 3 Заманчивым ответом является «оригинальная статья Карпа», но это не так. Вот сканирование:...

33
«Класс Стива»: происхождение СЦ

Мы «знаем», что назван в честь Стива Кука, а назван в честь Ника Пиппенгера. Если я не ошибаюсь, Стив Кук назвал NC в честь Ника Пиппенджера, и мне сказали, что обратное также верно. Однако я не смог найти никаких доказательств этого последнего факта ни в статье Стива Кука о DCFL, ни в...

30
Происхождение и применение теории А против теории Б?

В паре недавних вопросов ( q1, q2 ) обсуждалась «Теория А» и «Теория В», по-видимому, чтобы уловить разрыв между изучением логики и языков программирования и изучением алгоритмов и сложности. Эта терминология была для меня новой, и при быстром поиске в Интернете не было никаких явных ссылок,...

28
Гипотеза Колмогорова о том, что

В своей книге «Сложность булевых функций» Стасис Юкна упоминает (стр. 564), что Колмогоров считал, что каждый язык в P имеет цепи линейного размера. Никакой ссылки не упоминается, и я не могу ничего найти в Интернете. Кто-нибудь знает больше об...

27
Почему обычные языки называются «обычными»?

Почему регулярные языки (и из этих регулярных выражений) называются "регулярными"? Существует много закономерностей и в контекстно-свободных языках других типов языков. Я предполагаю, что в начале прилагательное «обычный» использовалось для того, чтобы отличать этот тип языков от других...

27
Влияние программы Гротендика на TCS

Гротендик скончался . Он оказал огромное влияние на математику 20-го века, продолжая в 21-м веке. Этот вопрос задается в некотором стиле / духе, например, «Вкладов Алана Тьюринга в информатику» . Каковы основные влияния Гротендика на теоретическую информатику?...

27
Вероятностные (рандомизированные) алгоритмы до появления «современной» информатики

Изменить: я выбираю ответ с наибольшим количеством баллов до 6 декабря 2012 года. Это мягкий вопрос. Концепция (детерминированных) алгоритмов восходит к BC. Как насчет вероятностных алгоритмов? В этой статье в вики в качестве первого рандомизированного алгоритма (год ???) был задан алгоритм Рабина...

27
Статьи в кредит на спектральное разбиение графиков

Если неориентированный -регулярный граф и представляет собой подмножество вершин мощности , вызови расширение края в г. количестваd S ≤ | V | / 2 SG=(V,E)G=(V,E)G=(V,E)dddSSS≤|V|/2≤|V|/2\leq |V|/2SSS ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(S) := \frac {Edges(S,V-S)}{d\cdot...

26
Рабин – Карп - Карп – Рабин

Другие мудрые редакторы в Википедии отклонили мою просьбу перевести статью в Википедии об алгоритме Рабина-Карпа на то, что, я думаю, следует назвать алгоритмом Карпа-Рабина, исходя из того, что имя Рабина-Карпа используется чаще ( ложь, если кто-то идет по цифрам ученого Google), или что это...

26
Кто первым предложил использовать алгоритм Монте-Карло

Я уверен, что все знают об эксперименте Буффона с иглой в 18-м веке, это один из первых вероятностных алгоритмов для вычисления .ππ\pi Реализация алгоритма на компьютерах обычно требует использования или тригонометрической функции, которая, даже если они реализованы в виде усеченных рядов, в...