Проблема #SAT является канонической # P-полной проблемой. Это скорее функциональная проблема, чем проблема решения. При булевой формуле в пропозициональной логике спрашивается, сколько удовлетворяющих заданий имеет. Каковы лучшие нижние границы на...
Есть ли способ закодировать экземпляр суммы подмножества или проблему разбиения числа так, чтобы (небольшое) решение целочисленного отношения дало ответ? Если не точно, то в каком-то вероятностном смысле? Я знаю, что LLL (и, возможно, PSLQ) использовались с умеренным успехом в решении задач Subset...
Цель : сформулировать гипотезу об отсутствии проективной плоскости порядка 12. В 1989 году, используя компьютерный поиск на Крей, Лэм доказал, что проективной плоскости порядка 10 не существует. Теперь, когда число Бога для кубика Рубика было определено после нескольких недель масштабного поиска...
Многие криптосистемы с открытым ключом имеют доказуемую безопасность. Например, криптосистема Рабина доказуемо так же сложна, как и факторинг. Интересно, существует ли такая доказуемая безопасность для криптосистем с секретным ключом, таких как AES. Если нет, то каковы доказательства того, что...
SACiSACiSAC^i - это класс задач решения, разрешимых семейством схем глубины с вентилями ИЛИ без ограничений и с вентилями И с ограниченными вентиляторами. Отрицания допускаются только на входном уровне. Известно, что для замкнуто относительно дополнения, а - нет. Кроме того, и, следовательно, имеет...
Какие предположения и основные открытые проблемы являются наиболее важными в алгоритмической теории игр (или теории игр в целом применительно к CS)? Например, разрешение NASH как PPAD-полного, я думаю, было бы самым большим до тех пор, пока оно не было решено. (Добавлено: разрешение отношения PPAD...
Рассмотрим простой односвязный список в чисто функциональной обстановке. Его похвалы пели с горных вершин и будут продолжать петь. Здесь я расскажу об одной из его сильных сторон и о том, как ее можно распространить на более широкий класс чисто функциональных последовательностей, основанных на...
Как я могу убедить Coq, что приведенная ниже рекурсивная функция завершается? Функция принимает два индуктивных аргумента. Интуитивно понятно, что рекурсия завершается, потому что любой аргумент разлагается. В частности, функция принимает два дерева в качестве входных данных. Inductive Tree := |...
Я пересматриваю некоторую криптографическую модель. Чтобы показать его неадекватность, я разработал искусственный протокол, основанный на изоморфизме графа. Это «обычное дело» (еще спорный!) Предположить существование BPP алгоритмов способны генерировать «жесткие экземпляры проблемы Изоморфизма...
Я написал реализацию алгоритма Куна-Мункреса для задачи идеального соответствия двудольных с минимальным весом на основе лекционных заметок, которые я нашел здесь и там в Интернете. Это работает очень хорошо, даже на тысячах вершин. И я согласен, что теория, стоящая за этим, действительно...
Учитывая два CNF, если они имеют одинаковое количество назначений, чтобы сделать их правдой, ответьте «Да», в противном случае ответьте «Нет». Легко увидеть, что это в P#PP#PP^{\#P} , поскольку, если мы знаем точное число решений этих двух CNF, мы просто собираем их и отвечаем «Да» или «Нет». В чем...
Мы знаем, что алгоритм mincut Каргера может быть использован, чтобы доказать (неконструктивно), что максимальное число возможных срезов, которые может иметь граф, равно (n2)(n2)n \choose 2 . Мне было интересно, можем ли мы как-то доказать эту идентичность, дав биективное (довольно инъективное)...
1) Возможно ли экономное сокращение от # P-полной задачи #A до проблемы подсчета #B, когда (версия решения) A является NP-полной, а B находится в P? Например, может ли быть экономное сокращение от #SAT до #B, когда B находится в P? 2) Если B находится в P, каковы различные возможности для сложности...
Кто-нибудь направляет меня к статье, подробно описывающей теорему исключения среза для пропозициональной интуиционистской логики, включая индуктивный тип данных, такой как натуральные числа (списки или деревья тоже подойдут)? Примером системы, которая меня интересует, является T Годеля, который...
Венгерский алгоритм - это комбинаторный алгоритм оптимизации, который решает проблему согласования двудольных с максимальным весом за полиномиальное время и предвосхищает дальнейшее развитие важного первично-двойственного метода . Алгоритм был разработан и опубликован Гарольдом Куном в 1955 году,...
Допустим, у меня есть большой блок кода, который я уже проанализировал и проанализировал. Предположим, что меняется только один символ; Я хотел бы обновить мой синтаксический анализ, но поскольку модификация очень мала по сравнению со всем этим, я хотел бы знать, возможно ли не анализировать все...
Это имя, которое я сделал для этой проблемы. Я не видел нигде описанного ранее. Я пока не смог найти ни доказательства NP-полноты, ни алгоритма полиномиального времени для этой задачи. Это не проблема домашней работы - это связано с проблемой, с которой я столкнулся в своей работе. НАИБОЛЕЕ...
вычислительная сложность включает в себя большое количество комбинаторики и теории чисел, некоторые особенности стохастики и растущее количество алгебры. Однако, будучи аналитиком, мне интересно, есть ли приложения анализа в этой области, или, может быть, идеи, вдохновленные анализом. Все, что я...
Я изучаю идею написания СУБД чисто функциональным способом. Традиционной структурой данных, используемой для индексации, является B-Tree. Я хотел бы знать какой-то чисто функциональный эквивалент B-Tree, который был бы оптимизирован для минимизации доступа к диску....
Рассмотрим такой язык LLL , что: L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L∈DTIME(O(f(n)))∩DSPACE(O(g(n)))L \in DTIME(O(f(n))) \cap DSPACE(O(g(n))) и так что L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L∉DTIME(o(f(n)))∪DSPACE(o(g(n)))L \not\in DTIME(o(f(n))) \cup DSPACE(o(g(n))) Другими словами, самая быстрая машина...