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

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

10
Вероятностные (рандомизированные) алгоритмы до появления «современной» информатики
Изменить: я выбираю ответ с наибольшим количеством баллов до 6 декабря 2012 года. Это мягкий вопрос. Концепция (детерминированных) алгоритмов восходит к BC. Как насчет вероятностных алгоритмов? В этой статье в вики в качестве первого рандомизированного алгоритма (год ???) был задан алгоритм Рабина для задачи ближайшей пары в вычислительной геометрии. Lipton …
2
Статьи в кредит на спектральное разбиение графиков
Если неориентированный -регулярный граф и представляет собой подмножество вершин мощности , вызови расширение края в г. количества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 |S|\cdot |V-S|} Где представляет собой число ребер с одной конечной точкой в и одной конечной точке в . Тогда задача …
1
Рабин – Карп - Карп – Рабин
Другие мудрые редакторы в Википедии отклонили мою просьбу перевести статью в Википедии об алгоритме Рабина-Карпа на то, что, я думаю, следует назвать алгоритмом Карпа-Рабина, исходя из того, что имя Рабина-Карпа используется чаще ( ложь, если кто-то идет по цифрам ученого Google), или что это звучит лучше вслух (правда?). Оригинальный порядок …
1
Кто первым предложил использовать алгоритм Монте-Карло
Я уверен, что все знают об эксперименте Буффона с иглой в 18-м веке, это один из первых вероятностных алгоритмов для вычисления .ππ\pi Реализация алгоритма на компьютерах обычно требует использования или тригонометрической функции, которая, даже если они реализованы в виде усеченных рядов, в некотором роде не справляется с этой задачей.ππ\pi Чтобы …
2
Каково было первоначальное намерение для создания лямбда-исчисления?
Я читал, что изначально Черч предложил -calculus как часть своей статьи «Постулаты логики» (которая читается плотно). Но Клини доказал свою «систему» ​​непоследовательной, после чего Черч извлек соответствующие вещи для своей работы по «эффективной вычислимости» и отказался от своей предыдущей работы над логикой.λλ\lambda Насколько я понимаю, -система и ее обозначения приняли …
2
Почему Колмогоров опубликовал алгоритм Карацубы?
Алгоритм быстрого умножения Карацубы был впервые опубликован в работах А. Карацубы и Ю. Офман (1962), "Умножение многозначных чисел на автоматических компьютерах", Труды Академии наук СССР 145: 293–294. Согласно Карацубе (1995, «Сложность вычислений», Институт математики им. В. А. Стеклова, 211: 169–183) , эта статья была написана Колмогоровым (и, возможно, Офманом) без …
3
Кто ввел недетерминированные вычисления?
У меня есть два исторических вопроса: Кто первым описал недетерминированные вычисления? Я знаю, что Кук описал NP-полные проблемы, и что Эдмондс предложил, чтобы P-алгоритмы были "эффективными" или "хорошими" алгоритмами. Я искал эту статью в Википедии и пролистал «О вычислительной сложности алгоритмов», но не смог найти никакой ссылки на то, когда …
2
Аргументы за / против гипотезы Колмогорова о сложности схемы P
Согласно (непроверенному) историческому описанию, Колмогоров считал, что каждый язык в имеет линейную сложность схем. (См. Предыдущий вопрос о гипотезе Колмогорова о том, что имеет цепи линейного размера .) Обратите внимание, что из этого следует, что .P P ≠ N PPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} Гипотеза Колмогорова, однако, видимо, вероятно, потерпит неудачу. Например, Райан …
3
Является ли концепция машины Тьюринга производной от автоматов?
У меня совсем недавно была дискуссия о машинах Тьюринга, когда меня спросили: «Машина Тьюринга получена из автоматов или наоборот»? Конечно, я не знал ответа, но мне любопытно узнать. Машина Тьюринга - это немного более сложная версия автоматов Push-Down. Исходя из этого, я предполагаю, что машина Тьюринга была получена из автоматов, …
5
Почему экономисты должны заботиться о вычислительной сложности
При попытке убедить экономистов в актуальности теории сложности в печати, есть ли стандартная ссылка для цитирования? Я знаком с постом в блоге Ноама Нисана , опросом Тима Раугардена и 11-й статьей эссе Скотта Ааронсона . Эти посты доступны для компьютерных ученых, но не используют язык экономистов и не публикуются в …
1
Кто ввел класс сложности AC?
Я учил нижних границ сегодня, и один из студентов спросил о причине названия C . Официальное объяснение состоит в том, что «А» означает «Чередование».AC0AC0AC^0A CAСAC Я смутно помню, как много лет назад мне сказали, что Ник Пиппенгер Стив Кук назвал честь Ника Пиппенджера (класс Ника), а позже Ник назвал S …
6
Когда мы нашли лучшие оценки для известных алгоритмов?
Существуют ли интересные примеры алгоритмов, которые были опубликованы с проверенными границами, и где позже были опубликованы строго лучшие оценки? Не лучшие алгоритмы с лучшими оценками - очевидно, что это случилось! Но лучший анализ ведет к лучшей оценке существующего алгоритма Я думал, что умножение матриц было примером этого, но я отговорил …
1
Почему работа Шёнфинкеля по устранению «связанных переменных» в логике так важна?
AFAIK, Первое доказательство использования функций высшего порядка восходит к статье Шенфинкеля 1924 года: «О строительных блоках математической логики», где он позволил передавать функции в качестве аргументов другим функциям. Это кажется интересным. Тем не менее, все, что я читал о его работе (и о расширении Карри), похоже, намекает на одну вещь …
1
Ранняя история определенных результатов о пространственно-временных компромиссах?
Я интересуюсь ранней историей опубликованных результатов о пространственно-временных компромиссах общего назначения. В частности, я хочу знать, кто первым описал следующий тип алгоритма для вычисления вычисления, имеющего произвольный граф потока данных с степенью O (1), используя пространство, пропорциональное глубине (не ширине) графа потока данных (плюс размер ввода), выполняя прямую оценку глубины …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.