Существуют ли какие-нибудь игрушечные примеры, которые дают «существенную» информацию для понимания трех известных барьеров для проблемы P=NPP=NPP = NP - релятивизации, естественных доказательств и...
Я недавно изучаю Хаскель и языки программирования. Может ли кто-нибудь порекомендовать несколько книг по теории
Предположим, у меня есть poset "S" и монотонный предикат "P" на S. Я хочу найти один или все максимальные элементы S, удовлетворяющие P. EDIT : Я заинтересован в минимизации количества оценок P . Какие алгоритмы существуют для этой проблемы и какие свойства и дополнительные операции они требуют на...
Пусть - многочлен степени от переменных над , где - постоянная (скажем, 2 или 3). Я хотел бы найти наименьшую формулу для , где «формула» и «размер формулы» определены очевидным образом (например, наименьшая формула для полинома равна...
Есть несколько алгоритмов, которые решают за полиномиальное время, можно ли построить график на плоскости или нет, даже многие с линейным временем выполнения. Тем не менее, я не смог найти очень простой алгоритм, который можно было бы легко и быстро объяснить в классе, и показал бы, что PLANARITY в...
Лог-пространство-равномерный NC содержится в детерминированном пространстве полилога (иногда пишется PolyL). Является ли лог-пространственно-равномерный RNC также в этом классе? Стандартная рандомизированная версия PolyL должна быть в PolyL, но я не вижу, чтобы (равномерный) RNC был в...
В своей книге «Сложность булевых функций» Стасис Юкна упоминает (стр. 564), что Колмогоров считал, что каждый язык в P имеет цепи линейного размера. Никакой ссылки не упоминается, и я не могу ничего найти в Интернете. Кто-нибудь знает больше об...
В качестве стороннего проекта я пишу язык с использованием Python. Я начал с использования клона flex / bison под названием Ply, но столкнулся с трудностями, которые я могу выразить с помощью этого стиля грамматики, и мне не интересно взламывать свой язык из-за несоответствия импеданса с...
Одна из приятных сторон эволюции во вселенной с тремя пространственными измерениями заключается в том, что мы развили навыки решения проблем, относящихся к объектам в космосе. Таким образом, например, мы можем думать о триплете чисел как о точке в 3-м и, следовательно, вычисление о триплетах чисел...
Прежде всего, заранее прошу прощения за любую глупость. Я ни в коем случае не эксперт по теории сложности (отнюдь! Я студент, берущий свой первый класс по теории сложности). Вот мой вопрос. Теперь теорема Савича гласит, что Теперь мне интересно, если эта нижняя граница была жесткой, то есть это...
Меня интересует, почему натуральные числа так любимы авторами книг по теории языков программирования и теории типов (например, Дж. Митчелл, Основы языков программирования и Б. Пирс, Типы и языки программирования). Описание простейшего лямбда-исчисления и, в частности, языка программирования PCF...
Пусть класс A обозначает все графы размера которые имеют гамильтонов цикл. Из этого класса легко получить случайный граф - возьмите n изолированных узлов, добавьте случайный гамильтонов цикл и затем случайным образом добавьте ребра.nnnnnn Пусть класс B обозначает все графы размера которых нет...
Вот загадка, которую мне не удалось решить. Я хотел бы знать, если эта проблема уже известна, или имеет простое решение. Можно определить биекцию используя свойства бикартезианских замкнутых категорий. Андрей Бауэр опубликовал объяснение того, что это значит, в своем блоге как « Конструктивный...
Я все больше интересуюсь теорией спектральных графов, которая мне кажется интересной, и я начал собирать несколько документов, которые мне еще предстоит прочитать более тщательно, чем то, что я имею до сих пор. Однако мне любопытно высказывание, которое появилось в нескольких источниках (например,...
Если мы пойдем по книге (или любой другой версии спецификации языка, если вы предпочитаете), сколько вычислительной мощности может иметь реализация C? Обратите внимание, что «реализация C» имеет техническое значение: это конкретный экземпляр спецификации языка программирования C, в котором...
В этой статье в Википедии о полноте Тьюринга говорится, что: Нетипизированное лямбда-исчисление является полным по Тьюрингу, но многие типизированные лямбда-исчисления, включая Систему F, - нет. Ценность типизированных систем основана на их способности представлять наиболее типичные компьютерные...
Вопрос о теории « Что такое NP, ограниченный свидетелями линейного размера? », Задает вопрос о классе NP, ограниченном свидетелями линейного размера , ноO(n)O(n)O(n) Существуют ли естественные NP-полные проблемы, в которых (да) экземпляры размера требуют свидетелей размером больше ?нnnnnnn...
Я читал лекцию по сортировке блинов и сказал, что: Сортировка по обращению является NP-трудной «подписан» сортировка по разворотов в P . Что заставило меня задуматься. В некотором смысле «подписанная» сортировка является «направленной» - вы можете рассматривать знак как направление (и...
Будучи инженером-программистом большую часть своей жизни, я совершенно не представляю, с чего начать публикацию «академического» документа. Во время моего последнего исследования я нашел интересный алгоритм для задачи, которую я решал (связанной с некоторыми расчетами на финансовых рынках). Это не...
Сложность префикса Колмогорова (т. Е. K(x)K(x)K(x) - это размер минимальной программы с самоограничением, которая выводит ) имеет несколько приятных особенностей:xxx Это соответствует интуиции предоставления строк с шаблонами или структурой меньшей сложности, чем без строк. Это позволяет определить...