Кажется, что теория геометрической сложности требует больших знаний математики, таких как алгебраическая геометрия, теория представлений. Хотя я учусь на CS и не занимаюсь классами очень абстрактной и чистой математики, мне интересна эта программа. Есть ли список «минимальных знаний» для изучения...
Существуют ли какие-либо ссылки (онлайн или в форме книги), которые организуют и обсуждают теоремы TCS методом доказательства? Garey и Johnson делают это для различных видов конструкций виджетов, необходимых для доказательства NP-полноты (особенно в главе 3 их книги), но мне интересно, есть ли...
Постоянно растущая сложность компьютерных программ и все более важное положение, которое компьютеры занимают в нашем обществе, заставляют меня задуматься, почему мы до сих пор не используем все вместе языки программирования, на которых вам необходимо предоставить формальное доказательство...
Я собираюсь задать довольно расплывчатый вопрос, поскольку грань между теоретической информатикой и математикой не всегда легко различить. ВОПРОС: Известно ли вам о каком-либо интересном результате в CS, который либо не зависит от ZFC (т. Е. Стандартная теория множеств), либо который был...
Ряд геометрических проблем прост, если рассматривать их в , но они являются NP-полными в R d для d ≥ 2 (включая одну из моих любимых задач - покрытие диска устройства).R1R1R^1RdRdR^dd≥2d≥2d\geq2 Знает ли кто-нибудь о проблеме, которая разрешима по полимеру для и R 2 , но является NP-полной для R d...
В общем, мы знаем, что сложность проверки того, принимает ли функция определенное значение на данном входе, проще, чем оценка функции на этом входе. Например: Оценка перманента неотрицательной целочисленной матрицы является # P-сложной, но при этом указывается, является ли такой перманент нулевым...
Это не технический вопрос, но, безусловно, актуальный для сообщества TCS. Если считается неуместным, не стесняйтесь закрыть. Сложность зоопарка веб - страницы (http://qwiki.stanford.edu/index.php/Complexity_Zoo), безусловно , был большой сервис для сообщества ТКС на протяжении многих лет....
Задача состоит в том, чтобы вычислить многочлен . Предположим, что все коэффициенты вписываются в машинное слово, т. Е. Ими можно манипулировать в единицу времени.( а1х + б1) × ⋯ × ( аNх + бN)(a1Икс+б1)×⋯×(aNИкс+бN)(a_1 x + b_1) \times \cdots \times (a_n x + b_n) Вы можете сделать раз, применяя БПФ...
Рассмотрим следующую проблему подсчета (или связанную с ней проблему решения): учитывая два натуральных числа, закодированных в двоичном виде, вычислим их наибольший общий делитель (gcd). В каком классе наименьшей сложности содержится эта проблема? Можете ли вы предоставить ссылку? В этом вопросе...
Несмотря на то, что я прошел несколько курсов по теории вероятностей, как в старшей школе, так и в университете, мне трудно читать документы TCS, когда речь идет о вероятности. Кажется, что авторы работ TCS очень знакомы с вероятностью. Они волшебным образом работают с формулами вероятности и очень...
Определите LOGLOG как класс языков, которые можно вычислить в пространстве O (loglog n) с помощью детерминированной машины Тьюринга (с двусторонним доступом к входу). Аналогично определите NLOGLOG как класс языков, которые могут быть вычислены в пространстве O (log log n) недетерминированной...
Мне нужна книга по теории конечных автоматов с множеством примеров, которые я могу использовать для самостоятельного изучения и подготовки к
Рассмотрение вопросов через алгоритмическую линзу (то есть с алгоритмической или сложной точки зрения) стало полезным в дисциплинах вне «стандартной области» информатики. В частности, CS оказал влияние на биологию с помощью вычислительной биологии, на физику с помощью квантовой обработки...
Я читал « Семантику с приложениями » от Nielson & Nielson , и мне очень нравится эта тема. Я хотел бы иметь еще одну книгу по семантике языка программирования - но я действительно могу получить только одну. Я взглянул на книгу « Турбак / Гиффорд» , но она слишком многословна; Я думал, что с...
Не похоже, что это известно - но есть ли интересные нижние оценки сложности умножения матриц в модели квантовых вычислений? Есть ли у нас какая-то интуиция, что мы можем победить сложность алгоритма Копперсмита-Винограда, используя квантовые...
Полиномиальные методы , скажем, теорема о комбинаторном нульстелленсаце и Шевалле – Предупреждениее, являются мощными инструментами аддитивной комбинаторики. Представляя проблему с собственными полиномами, они могут гарантировать существование решения или количество решений полиномов. Они...
В своей книге «Сложность булевых функций» Стасис Юкна упоминает (стр. 564), что Колмогоров считал, что каждый язык в P имеет цепи линейного размера. Никакой ссылки не упоминается, и я не могу ничего найти в Интернете. Кто-нибудь знает больше об...
Мне известны только два доказательства леммы Шварца – Циппеля. Первое (более распространенное) доказательство описано в записи википедии . Второе доказательство открыл Дана Мошковиц. Есть ли другие доказательства, которые используют существенно разные идеи?...
Я только что преподавал рандомизированный алгоритм сокращений по методу Каргера-Стейна в своем выпускном классе алгоритмов. Это настоящая алгоритмическая жемчужина , поэтому я не могу ее не преподавать, но она всегда расстраивает меня, потому что я не знаю других применений основной техники. (Таким...
Изменить: я выбираю ответ с наибольшим количеством баллов до 6 декабря 2012 года. Это мягкий вопрос. Концепция (детерминированных) алгоритмов восходит к BC. Как насчет вероятностных алгоритмов? В этой статье в вики в качестве первого рандомизированного алгоритма (год ???) был задан алгоритм Рабина...