Вопросы с тегом «reference-request»

Рассмотрение вопросов через алгоритмическую линзу (то есть с алгоритмической или сложной точки зрения) стало полезным в дисциплинах вне «стандартной области» информатики. В частности, CS оказал влияние на биологию с помощью вычислительной биологии, на физику с помощью квантовой обработки информации, а теория искусственного интеллекта и сложности, по-видимому, регулярно взаимодействует с нейронаукой. …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Определите LOGLOG как класс языков, которые можно вычислить в пространстве O (loglog n) с помощью детерминированной машины Тьюринга (с двусторонним доступом к входу). Аналогично определите NLOGLOG как класс языков, которые могут быть вычислены в пространстве O (log log n) недетерминированной машиной Тьюринга (с двусторонним доступом к входу). Неужели не известно, …

32 cc.complexity-theory  reference-request  space-bounded 

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

32 reference-request  automata-theory  fl.formal-languages 

Несмотря на то, что я прошел несколько курсов по теории вероятностей, как в старшей школе, так и в университете, мне трудно читать документы TCS, когда речь идет о вероятности. Кажется, что авторы работ TCS очень знакомы с вероятностью. Они волшебным образом работают с формулами вероятности и очень легко доказывают теоремы; …

32 reference-request  big-list  pr.probability  books 

Я читал « Семантику с приложениями » от Nielson & Nielson , и мне очень нравится эта тема. Я хотел бы иметь еще одну книгу по семантике языка программирования - но я действительно могу получить только одну. Я взглянул на книгу « Турбак / Гиффорд» , но она слишком многословна; …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

Не похоже, что это известно - но есть ли интересные нижние оценки сложности умножения матриц в модели квантовых вычислений? Есть ли у нас какая-то интуиция, что мы можем победить сложность алгоритма Копперсмита-Винограда, используя квантовые компьютеры?

30 reference-request  quantum-computing  matrix-product 

Полиномиальные методы , скажем, теорема о комбинаторном нульстелленсаце и Шевалле – Предупреждениее, являются мощными инструментами аддитивной комбинаторики. Представляя проблему с собственными полиномами, они могут гарантировать существование решения или количество решений полиномов. Они использовались для решения таких задач, как ограниченные наборы сумм или задачи с нулевой суммой , и некоторые из …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

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

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Мне известны только два доказательства леммы Шварца – Циппеля. Первое (более распространенное) доказательство описано в записи википедии . Второе доказательство открыл Дана Мошковиц. Есть ли другие доказательства, которые используют существенно разные идеи?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

Предположим, что граф с раскрасочным числом . Рассмотрим следующую игру между Алисой и Бобом. В каждом раунде Алиса выбирает вершину, и Боб отвечает цветом для этой вершины. Игра заканчивается, когда монохроматический край обнаружен. Пусть будет максимальной продолжительностью игры при оптимальной игре обоих игроков (Алиса хочет максимально сократить игру, Боб хочет …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Изучение экологии и эволюции становится все более математическим, но большинство теоретических инструментов, похоже, исходит от физики. Однако во многих случаях проблемы носят весьма дискретный характер (см., Например, SLBS00 ) и могут быть полезны с точки зрения информатики . Тем не менее, я знаю только несколько серьезных результатов от TCS, которые …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

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

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Я только что преподавал рандомизированный алгоритм сокращений по методу Каргера-Стейна в своем выпускном классе алгоритмов. Это настоящая алгоритмическая жемчужина , поэтому я не могу ее не преподавать, но она всегда расстраивает меня, потому что я не знаю других применений основной техники. (Таким образом, трудно назначить домашнюю работу, которая заставляет точку …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

Вы можете часто находить методы разрезающих плоскостей, переменное распространение, ветвление и связывание, обучение по пунктам, интеллектуальное возвращение в исходное положение или даже эвристику человека, сплетенную вручную, в решениях SAT. Тем не менее, на протяжении десятилетий лучшие SAT решатели в значительной степени полагались на методы проверки разрешения и использовали комбинацию других …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo