Каково стандартное определение Planar 3-SAT? Я видел много разных определений. Какая оригинальная статья определила ее и доказала, что она является
В разделе «Расширенные темы по типам и языкам программирования» в главе, посвященной системам субструктурных типов, упоминается, что «тщательно разработанное» аффинное лямбда-исчисление с рекурсивным комбинатором для списков может вводить только те термины, которые имеют полиномиальное время...
Я заинтересован в следующей проблеме. В качестве входных данных нам дается «целевая перестановка» , а также упорядоченный список индексов i 1 , … , i m ∈ [ n - 1 ] . Затем, начиная со списка L = ( 1 , 2 , … , n ) (т. Е. Перестановки тождеств), на каждом временном шаге t ∈ [ m ] мы меняем элемент i...
Существуют ли проблемы, которые разрешимы за полиномиальное время, только если P! = NP, и иначе разрешимы за (скажем) времени?O(2n)O(2n)O(2^n) Простым примером может быть: Если P! = NP, вычислите тест на простоту для случайного n-разрядного числа, в противном случае оцените случайную позицию...
Используя модель real-RAM / BSS, мы имеем класс NP (где BSS - это модель компьютера Блума-Шуб-Смейла с операциями над реалами). У нас есть NP полные проблемы. Итак, вопрос в том, существует ли аналог гипотезы Бермана Хартманиса для класса NP ? Конечно, поставленный здесь вопрос зависит от модели -...
Кросспост из МО . Изоморфизм цветного графа (ребро) - это GI, который сохраняет цвета (ребер, если он окрашен ребром). Есть несколько сокращений, использующих преобразования / гаджеты (краевого) GI в GI. Для GI с цветным краем самый простой способ - заменить цветной край на гаджет, сохраняющий GI,...
Предположим, у нас есть булева функция из . Ясно, что вещественный многомерный полином p ( x ) такой, что f ( x ) = p ( x ) на x ∈ { 0 , 1 } n, может быть полилинейным. Какие интересные классы булевых функций, для которых минимальная степень р ( х )е: { 0 , 1 }N→ { 0 , 1...
Я пытаюсь найти распределение по Nnn случайным векторам, скажем, Икс1, … , ХNx1,…,xnx_1,\ldots, x_n , на Кkk мерной единичной сфере (где н > кn>kn > k ), которое минимизирует Максимумя ≠ jV a r ( xTяИксJ)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j) при условии ограничения Э [...
Бабай и Сэресс доказали, что при наличии подгруппы и порождающего множества в любая перестановка в может быть записана как произведение образующих и их обратных длины . Эта граница является оптимальной, поскольку имеет элемент порядка . S G G e ( 1 + o ( 1 ) ) √G ≤ SNG≤SnG \leq S_nSSSгGGгGG...
Скажем, я работаю в теории гомотопического типа, и мои единственные объекты изучения - это условные категории. Эквивалентности здесь даны функторами F:D⟶CF:D⟶CF:{\bf D}\longrightarrow{\bf C} а также G:C⟶DG:C⟶DG:{\bf C}\longrightarrow{\bf D}которые обеспечивают эквивалентность категорий C≃DC≃D{\bf...
Конкретно, что я имею в виду под сложением, мы определяем как алфавит . Учитывая регулярные языки и под некоторым алфавитом , смотреть на . { 0 , 1 , 2 , . , , , i } A B Σ i A × BΣяΣi\Sigma_i{ 0 , 1 , 2 , . , , , я }{0,1,2,...,i}\{0, 1, 2, ..., i\}AAAВBBΣяΣi\Sigma_iA × BA×BA\times B Для каждой...
Более чем 1,5-летняя гипотеза Римана имеет глубокие следствия в математике, и большое доказательство математической теории в настоящее время доказано условно и многочисленными вариантами. Недавно я наткнулся на ссылку на условный результат в TCS, основанный на гипотезе Римана. Поэтому мне...
Справочная информация: обработка транзакций была традиционной темой исследования в теории баз данных. В настоящее время распределенные транзакции популяризируются крупномасштабными распределенными системами хранения, которые обычно включают разделение данных (также называемое разделением ) и...
Мой вопрос касается квантовых алгоритмов для расчетов КЭД (квантовой электродинамики), связанных с константами тонкой структуры. Такие вычисления (как мне объяснили) равносильны вычислению рядов, подобных Тейлору где - постоянная тонкой структуры (около 1/137), а - вклад диаграмм Фейнмана с...
Каков стандартный подход к минимизации Büchi-Automata (или также Müller-Automata)? Перенос обычного метода из конечных слов, то есть установка двух состояний равными, если слова «заканчиваются» из принятых состояний одинаковы, не будут работать. Например, рассмотрим Büchi-Automoton, принимающий все...
В статье 1965 года " О вычислительной сложности алгоритмов " Хартманиса и Стернса авторы предполагают, что если машина Тьюринга в реальном времени вычисляет действительное число , например, в базе 10, то является либо рациональным числом, либо трансцендентное число.rrrrrr Существует ли вычислимое...
Эквивалентно, существует ли известная денотационная семантика для вероятностных функциональных языков программирования высшего порядка? В частности, существует ли доменная модель чистого нетипизированного вычисления, расширенная симметричной случайной операцией двоичного выбора.λλ\lambda мотивация...
Доказательство сложности является основной областью теории вычислительной сложности. Конечная цель этой области состоит в том, чтобы доказать , то есть любой доказатель не может дать доказательство неудовлетворенности данной входной формулой. Nп≠ c o NпNп≠соNпNP\neq coNP Граф - это одна из...
Это довольно известный факт, что для получения противоречия из неравенства (например, ) в теории типов Мартина-Лоэфа требуется вселенная.( 0 =1 ) → ⊥(0=1)→⊥(0=1) \to \bot Доказательство также довольно простое - в отсутствие юниверсов мы можем стереть зависимости из любого зависимого типа, чтобы...
Проблема изоморфизма графов - одна из самых давних проблем, которая не поддается классификации на или N P -полные задачи. У нас есть доказательства того, что оно не может быть N P -полным. Во-первых, изоморфизм графов не может быть N P -полным, если полиномиальная иерархия [1] не рухнет на второй...