Мне повлиял необычайный взрыв в сглаженном анализе, и меня поразило утверждение в статье « Сглаженный анализ целочисленного программирования» . Это говорит о том, что целочисленное линейное программирование находится в сглаженном P, если оно ограничено полиномами. Это было существенно верно в силу...
Рассмотрим гильбертово пространство ЧАСзнак равноЧАС1⊗ ⋯ ⊗ЧАСNH=H1⊗⋯⊗HnH = H_1 \otimes \dots \otimes H_n, Неописуемая основа продукта (UPB) - это набор векторов продукта|vя⟩ = |v1я⟩ ⊗ ⋯ ⊗ |vNя⟩|vi⟩=|vi1⟩⊗⋯⊗|vin⟩\vert v_i \rangle = \vert v_i^1 \rangle \otimes \dots \otimes \vert v_i^n \rangle такой...
Определите, что вычислительная модель MPostBQP идентична PostBQP, за исключением того, что мы разрешаем полиномиально много измерений в кубитах перед последующим выбором и окончательным измерением. Можем ли мы привести какие-либо доказательства того, что MPostBQP более мощный, чем PostBQP?...
У меня есть граф который состоит только из звездных графов. Звездный граф состоит из одного центрального узла, имеющего ребра для каждого другого узла в нем. Пусть быть разные звезды графики различных размеров , которые присутствуют в . Мы называем множество всех узлов , которые являются центрами в...
Вот проблема, которая беспокоила меня некоторое время. Допустим, строка представляет собой последовательность из 1 и 0, а строка с подстановочными символами - это последовательность из 1, 0 и? S. Все строки и строки шаблона имеют одинаковую длину. Это стандартные подстановочные знаки UNIX; 10 ?? 1...
Мне интересно, есть ли у следующей проблемы имя или какие-либо результаты, связанные с ним. Пусть - взвешенный граф, где обозначает вес ребра между и , и для всех , . Задача состоит в том, чтобы найти подмножество вершин, которое максимизирует сумму весов смежных с ними ребер: Обратите внимание,...
Поскольку это пятница, пришло время для CW вопроса. Я ищу эвристики, которые широко используются в задачах оптимизации. Чтобы ограничить область применения более «дружественной теории» эвристики, вот правила (некоторые произвольные, некоторые нет) Это должен быть четко определенный метод без...
Похоже, что в популярных языках запросов для реляционных баз данных можно создавать запросы, для ответа на которые потребуется много ресурсов. На практике администраторы базы данных управляют этим, ограничивая объем памяти на запрос и проверяя наличие длительных запросов на предмет замедления в...
У нас есть набор, LLLсписков элементов из множества N= { 1 , 2 , 3 , . , , , n }N={1,2,3,...,n}N = \{ 1, 2, 3, ..., n \}, Каждый элемент изNNN появляется в одном списке в LLL, Я ищу структуру данных, которая может выполнять следующие обновления: с о п с в т ( х , у)concat(x,y)concat(x, y) :...
Одной из основных проблем при перечислении графов является определение «формы» графа, например, класса изоморфизма любого конкретного графа. Я полностью осознаю, что каждый граф может быть представлен в виде симметричной матрицы. Однако, чтобы получить его форму, вам понадобится набор перестановок...
Даже если это не решающий момент, я не вижу литературы по этому вопросу. Есть ли результаты релятивизации? Разве не было бы достаточно просто доказать строгое включение путем адаптации недетерминированной теоремы иерархии времени, исследуя все возможные пути машины...
Мне было интересно, может ли порядок объявлений индуктивного типа иметь значение. Например, в Coq вы можете определить Natлибо: Inductive Nat := | O : Nat | S : Nat -> Nat. или Inductive Nat := | S : Nat -> Nat | O : Nat. Возможно, это изменит порядок параметров в автоматически...
В некоторых областях исследований в области CS мы получили очень интересные результаты. Сейчас мы думаем об их публикации. В нашей группе философия заключается в том, чтобы публиковать небольшие вещи в документах конференции, что хорошо, но не лучше. Теперь я думаю о том, чтобы собрать больше этих...
Определите сетку в 3D как связанную совокупность тетраэдров с непересекающимися внутренностями (поэтому тетраэдры имеют только k-грани, k ≤ 2К≤2k \le 2). Учитывая произвольный граф, есть ли эффективная процедура для проверки, если он может быть встроен в виде сетки? Здесь вложение - это отображение...
Я был бы признателен за любые указания или термины, которые могли бы привести меня в правильном направлении. У нас есть ориентированный граф и длины для каждого ребра которое можно считать положительным. Существует специальный начальный узел и конечный узел .G = ( V, E)гзнак равно(В,Е)G=(V,E)Lя...
Поскольку ответа не было дано, был установлен флаг с просьбой преобразовать этот вопрос в вики сообщества. Комментарии Аарона Стерлинга, Сашо Николова и Вора были объединены в следующую резолюцию, которая открыта для обсуждения в вики сообщества: Решено: Что касается классических алгоритмов,...
В капаситированных Facility Местоположение задачи (CFLP) , нам дано множество клиентов и набор потенциальных объектов . У каждого клиента есть спрос который должен обслуживаться одним или несколькими открытыми средствами. Каждый объект имеет стоимость открытия и имеет емкость , что является...
Пусть будет матрица или с элементами . Может ли кто-нибудь предоставить мне матрицу чтобы ? Что такое наименьший явный B, который известен таким образом, что \ operatorname {per} (A) = \ det (B) ? Любые ссылки на это с явными примерами?AAA3 × 33×33 \times 34 × 44×44 \times 4aя жaija_{ij}ВBBв( A ) =...
Я хотел бы ограничить мощность множества графов единичных дисков с NNNВершины. Известно, что проверка того, является ли граф членом этого набора, является NP-сложной задачей. Приводит ли это к какой-либо нижней границе мощности, предполагая, что P≠≠\neq NP? Например, предположим, что есть порядок...
Парсеры диаграмм могут быть реализованы на основе нормальной формы Хомского или непосредственно на основе правил производства. Предположим на данный момент, что у нас есть анализатор диаграмм CYK, который использует нормальную форму Хомского. Бинаризация не определяется однозначно. Влияет ли это на...