Что меня особенно интересует, так это наличие интересного условия о проценте назначений, которые удовлетворяют формуле 3SAT, чтобы гарантировать, что такие проблемы поддаются решению. Предположим, например, класс задач 3SAT, что из возможных назначений удовлетворяет булевой формуле; мы можем...
Группа Клиффорда квантовых операторов порождается квантовых операций: Контролируемый-Z , Адамар и Фаза ( ).=|0⟩⟨0|+i|1⟩⟨1|=|0⟩⟨0|+i|1⟩⟨1|= |0\rangle\langle0| + i |1\rangle\langle1| Схема, состоящая только из этих ворот, может быть эффективно смоделирована на классическом компьютере. Однако, если я...
Работая над несколько не связанным проектом для Suresh, я недавно натолкнулся на некоторую работу, проделанную Пейджем и Оппером о пользовательских системах, и в части их работы кратко обсуждались проблемы, которые невозможно проверить за полиномиальное время. Мне не удалось найти много информации...
Подсчитав аргументы, можно показать, что существуют многочлены степени n от 1 переменной (т. Что-то вроде которые имеют сложность схемы n. Также можно показать, что для многочлена типа требуется как минимум умножений (это нужно просто для получения достаточно высокой степени). Существуют ли явные...
Учитывая термин t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))в теории типов Мартина-Лофа, какова ценность того w(t(0)), где wнаходится оператор, извлекающий свидетельство термина экзистенциального...
Пусть G связный граф. Какова сложность подсчета всех связанных подграфов, если G имеет следующие типы? G является общим. Г плоская. G является двудольным. Я не забочусь о каких-либо структурах или ..., просто нужно сосчитать все связанные подграфы! Меня также интересует сложность подсчета всех...
Какие проблемы с наилучшим известным коэффициентом аппроксимации достигаются алгоритмом, возвращающим равномерно случайное решение? Я знаю один такой пример для задачи магазина перестановок : в статье « Тесные границы для планирования потока перестановок » Вишванат Нагараджан и Максим Свириденко...
Разложение дерева сложно в худшем случае, но жадный метод кажется почти оптимальным в небольших реальных сетях. Известно ли что-нибудь о сложности разложения дерева «типичного» экземпляра некоторого класса графов? Есть ли пример семейства графов, где жадные методы разложения дерева плохо работают?...
Я ищу имя или какие-либо ссылки на эту проблему. Для заданного взвешенного графа найти разбиение вершин с точностью доустанавливает таким образом, чтобы максимизировать значение срезов: Обратите внимание, что некоторые из множеств могут быть пустыми. Таким образом, проблема, по сути, заключается в...
Мне недавно напомнили о проблеме против N P, как объяснил Стивен А. Кук в Математическом институте Клея.пP\mathsf{P}Н ПNP\mathsf{NP} Это вызвало у меня интерес, и я хотел бы узнать об этом больше. Первым шагом будет более глубокое понимание проблемы и понимание области в целом. Можете ли вы...
Я читал в СП Иордане, Д. Госсе, «PJ Лява -полных задачи для stoquastic гамильтонианов и матриц МарковаQ MAQMAQMA » , что маловероятно , что .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Я был удивлен этим утверждением. Итак, каковы правильные отношения между и A M ?Q MAQMAQMAА...
Пусть и обозначим через множество всех графов, которые могут быть вложены в поверхность рода , что все вершины расположены на внешней грани . Например, - это множество внешнепланарных графов. Может ли ширина графов в ограничена сверху некоторой функцией от ?G k k G 0 G k...
Каковы наиболее значимые исследовательские работы по основам дженериков в C # и
Линейное программирование, конечно, в настоящее время очень хорошо понято. У нас много работы, которая характеризует структуру возможных решений и структуру оптимальных решений. У нас сильная двойственность, многовременные алгоритмы и т. Д. Но что известно о минимальных максимальных решениях ЛП?...
Я задавал этот вопрос несколько недель назад в mathoverflow , но не получил ответа. Здесь под 3D-сеткой с длиной стороны я имею в виду граф G = ( V , E ) с V = { 1 , … , k } 3 и E = { ( ( a , b , c ) , ( x , y , z ) ) ∣ | а - х | + | б - у | + | сkkkG=(V,E)G=(V,E)G=(V,E)V={1,…,k}3V={1,…,k}3V=...
Разборов доказал, что каждая монотонная схема, которая вычисляет функцию идеального соответствия для двудольных графов, должна иметь как минимум вентилей (он назвал это «логическим перманентом»). Была ли лучшая оценка снизу для той же проблемы доказана с тех пор? (скажем 2 n ϵ ?) Насколько я помню,...
Это, вероятно, довольно просто, но рассмотрим стандартную проблему почтовой корреспонденции: Учитывая и , найдите последовательность индексов такую, что . Это, конечно, неразрешимо.β 1 , … , β N i 1 , … , i K α i 1 ⋯ α i K = β i 1 ⋯ β i Kα1,…,αNα1,…,αN\alpha_1, \ldots,...
Этот вопрос основан на существующем вопросе о том, можно ли моделировать стек с использованием двух очередей с амортизированным раз на операцию стека. Ответ кажется неизвестным. Вот более конкретный вопрос, соответствующий особому случаю, когда сначала выполняются все операции PUSH, а затем все...
\newcommand{\symp}{\Bumpeq} ≎X≎X\symp_XXXX(X,≎X)(X,≎X)(X, \symp_X)f:X→Yf:X→Yf : X \to Yf⊆X×Yf⊆X×Yf \subseteq X \times Y(x,y)∈f(x,y)∈f(x,y) \in f(x′,y′)∈f(x′,y′)∈f(x',y') \in f если то иx≎Xx′x≎Xx′x \symp_X x'y≎Yy′y≎Yy′y \symp_Y y' если и то .x≎Xx′x≎Xx′x \symp_X x'y=y′y=y′y = y'x=x′x=x′x = x'...
CMSOL - это подсчет монадической логики второго порядка, т. Е. Логики графов, в которой доменом является множество вершин и ребер, существуют предикаты для смежности вершин и вершин, существует ребро-вершина, существует количественное определение по ребрам, вершинам, наборам ребер и вершинам....