Теоретическая информатика

В сложности дерева решений для булевой функции очень хорошо известный метод нижней границы состоит в том, чтобы найти (приблизительный) многочлен, который представляет функцию. Патури дал характеристику для симметричных булевых (частичных и полных) функций в терминах величины, обозначаемой :ΓΓ\Gamma Теорема ( Патури ): Пустьееf быть любой непостоянной симметричной функцией, и обозначить …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Определите, что вычислительная модель MPostBQP идентична PostBQP, за исключением того, что мы разрешаем полиномиально много измерений в кубитах перед последующим выбором и окончательным измерением. Можем ли мы привести какие-либо доказательства того, что MPostBQP более мощный, чем PostBQP? Определите MPostBQP [k], чтобы разрешить многократные измерения и последующий выбор, прежде чем мы …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

недавно Крэйг Джентри опубликовал первую схему шифрования с открытым ключом (через открытый текст {0,1}), которая полностью гомоморфна, что означает, что можно эффективно и компактно оценивать AND и XOR на зашифрованных открытых текстах без знания секретного ключа дешифрования. Мне интересно, есть ли какой-нибудь очевидный способ превратить эту криптосистему с открытым ключом …

9 cr.crypto-security  circuit-complexity  homomorphic-encryption 

Есть ли перестановки π1,π2π1,π2\pi_1,\pi_2 и полиномиальный размер (в |w|=n|w|=n|w|=n) контекстно-бесплатная грамматика, описывающая конечный язык {wπ1(w)π2(w)}{wπ1(w)π2(w)}\{w \pi_1(w) \pi_2(w)\} по алфавиту {0,1}{0,1}\{0,1\}? ОБНОВЛЕНИЕ: для одной перестановки ππ\pi это возможно. ππ\pi является разворотом или относительно незначительной модификацией разворота.

9 fl.formal-languages  grammars  context-free 

Хорошо известными примерами вычислений, вдохновленных природными явлениями, являются квантовые компьютеры и компьютеры с ДНК. Что известно о потенциале и / или ограничениях вычислений по законам Максвелла или гравитации? То есть непосредственное включение природных «быстрых» решений уравнений Максвелла или задачи о n-теле в алгоритм общего назначения?

9 computability  machine-models  physics  natural-computing 

Я хотел бы знать, куда я могу обратиться за хорошим, мягким введением в k-SAT (это может быть для математиков, которые могут не иметь хорошего компьютерного фона). Я также хотел бы знать статьи, которые, возможно, опрашивают или объясняют текущие методы, используемые для решения k-SAT. Наконец, меня интересуют самые известные методы решения …

9 reference-request  sat  survey 

По моему опыту, контекстно-зависимые языки и линейно-ограниченные автоматы часто пропускаются или зацикливаются на курсах теории вычислимости, и даже не учтены в некоторых заметных учебниках, хотя конечным автоматам и автоматам с выталкивающими функциями уделяется много внимания. Конечно, должна быть веская причина, почему LBA уделяется меньше внимания, чем их коллегам?

9 computability  fl.formal-languages  automata-theory 

Я имею в виду вопрос здесь: мощные алгоритмы слишком сложны для реализации . Если алгоритм является мощным, но слишком сложным для реализации, как вы можете быть уверены, что алгоритм правильный? Без реализации вы не сможете протестировать алгоритм в реальном сценарии, и такой сложный алгоритм может содержать ошибки, которые могут сделать …

9 ds.algorithms  implementation 

Этот пост отделен от Последствия UP равно NP , а также является дополнительным вопросом к классам семантической и синтаксической сложности . В вышеприведенном посте мы узнали о семантических и синтаксических классах. Вкратце, если класс можно охарактеризовать как листовой класс языка , то класс является синтаксическим, если , то есть принятие …

9 cc.complexity-theory  complexity-classes  big-picture 

Мне было трудно найти алгоритм или опубликовать статьи о триангуляции самопересекающегося многоугольника (также многоугольника со структурой дырок). Может, кто-нибудь поможет мне найти опубликованную статью / алгоритм, пожалуйста? PS: кто-то пометит этот вопрос соответствующим образом, пожалуйста, мне не хватает очков репутации, чтобы сделать это.

9 ds.algorithms  reference-request  cg.comp-geom 

Позволять ВVV быть набором DDDпрямоугольные формы. Заd∈ { 1 , . , , , D }d∈{1,...,D}d \in \{1,...,D\} а также v ∈ Vv∈Vv \in V, wd(v)∈Q+wd(v)∈Q+w_d(v) \in \mathbb{Q}^{+} описывает длину vvv в измерении ddd, То же обозначение используется для контейнераCCC, DDDзадача об ортогональной упаковке (OPP-DDD) решить, VVV помещается в контейнер …

9 cc.complexity-theory  reference-request  np-hardness  packing 

Для проекта, над которым я работаю, я должен генерировать случайные остовные деревья с ограниченной высотой. В основном я делаю следующее: 1) Создаю связующее дерево. 2) Проверяю осуществимость, если возможно, сохраняю его. 1) Начиная с минимального связующего дерева (Прима или Крускала), я добавляю несуществующее ребро, и это создает цикл, я обнаруживаю …

9 ds.algorithms  graph-algorithms  random-walks 

Является ли следующее решение задачи NP-завершенным: Пусть неориентированный граф и двумя целыми числами. Можно ли выбрать для каждой вершины ровно разных соседей, чтобы ни один узел не был выбран больше, чем раз.GGGb≤cb≤cb \le cGGGbbbccc Случай может быть решен для любого за полиномиальное время с использованием максимального соответствия.b=1b=1b = 1ccc Мотивация: …

9 cc.complexity-theory  np-hardness  graph-algorithms 

Интересно, есть ли у них какие-либо подходы, формулирующие проблему маршрутизации транспортного средства с временными окнами ( VRPTW ) (как проблему решения) в качестве экземпляра SAT / SMT? (альтернатива: TSP) Например: «Есть ли правильное решение для посещения всех клиентов в пределах их временных интервалов с n = 10 транспортными средствами?» Это …

9 ds.algorithms  reference-request  sat  reductions  tsp 

Вкратце: если предположить, что существуют односторонние перестановки , можем ли мы создать такую, которая не имеет люка? Больше информации: Односторонняя перестановка - это перестановка ππ\piкоторый легко вычислить, но трудно инвертировать (см. вики-тег с односторонним действием для более формального определения). Обычно мы рассматриваем семейства односторонней перестановки,π={πn}n∈Nπ={πn}n∈N\pi = \{\pi_n\}_{n \in \mathbb{N}}где каждый …

9 cr.crypto-security  one-way-function