Вопросы с тегом «cc.complexity-theory»

Меня интересует явная булева функция со следующим свойством: если постоянна в некотором аффинном подпространстве , то размерность этого подпространства равна .е:0 , 1N→0 , 1е:0,1N→0,1f \colon \\{0,1\\}^n \rightarrow \\{0,1\\}ееf о ( п )0 , 1N0,1N\\{0,1\\}^no ( n )о(N)o(n) Нетрудно показать, что симметрическая функция не удовлетворяет этому свойству, рассматривая подпространство A …

18 cc.complexity-theory  circuit-complexity  derandomization  linear-algebra 

Меня интересует следующая проблема: учитывая множество X и подмножества X_1, ..., X_n из X, найдите раскраску элементов X с помощью k цветов, чтобы все элементы в каждом X_i были по-разному окрашены. Более конкретно, я смотрю на случай, когда все X_i имеют размер k. Известно ли это в литературе под каким-то …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Parity-P - это набор языков, распознаваемых недетерминированной машиной Тьюринга, которая может различать только четное число или нечетное число путей «принятия» (а не нулевое или ненулевое число путей принятия). Таким образом, Parity-P - это, в основном, младший брат PP с задержкой роста: в то время как PP подсчитывает, является ли количество …

18 cc.complexity-theory  complexity-classes  np 

Определим Gaussian сложность в качестве матрицы , чтобы минимальное число элементарных операций строк и столбцов , необходимых для приведения матрицы в верхней треугольной форме. Это величина от до (через гауссовское исключение). Понятие имеет смысл в любой области.n×nn×nn \times nn 2000n2n2n^2 Эта проблема, безусловно, кажется очень простой, и она должна быть …

18 cc.complexity-theory  lower-bounds  matrices 

Хорошо известно, что квантовые компьютеры являются строго более мощными, чем их классические аналоги, с точки зрения сложности запросов . Существуют ли другие модели (естественные или искусственные), которые строго находятся между квантовой и классической с точки зрения сложности запросов? Разделение может быть на конкретные проблемы: модель X вычисляет функцию со строго …

18 cc.complexity-theory  quantum-computing  query-complexity 

Я только что прочитал вопрос « Является ли целочисленная факторизация NP-полной проблемой? » ... поэтому я решил потратить часть своей репутации :-), задавая еще один вопрос с :QQQP(Q is trivial)≈1п(Q тривиально)≈1P(\text{Q is trivial}) \approx 1 Если является оракулом, который решает целочисленную факторизацию, какова мощность ? AAAPAпAP^A Я думаю, что это …

18 cc.complexity-theory  oracles  factoring 

Какие основные открытые проблемы вычислительной сложности возникают из-за языков программирования, особенно из анализа и компиляции программ? Я ищу проблемы по линии «временная сложность вывода типа Хиндли-Милнера» или «временная сложность 0CFA» (хотя обе проблемы решены).

17 cc.complexity-theory  pl.programming-languages  big-list  open-problem 

Можно ли преобразовать CNF в другой CNF такой, чтобыCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal C) Функция может быть вычислена за полиномиальное время из некоторого секретного случайного параметра .ΨΨ\Psirrr Ψ(C)Ψ(C)\Psi(\mathcal C) имеет решение тогда и только тогда, когда имеет решение.CC\mathcal C Любое решение из может быть эффективно преобразовано в решение с помощью .xxxΨ(C)Ψ(C)\Psi(\mathcal C)CC\mathcal Crrr …

17 cc.complexity-theory  cr.crypto-security  one-way-function  cryptojacking 

Недетерминированная логическая схема имеет, помимо обычных входов , набор «недетерминированных» входов . Недетерминированная схема принимает вход если существует такой, что выход схемы включен . Аналогично (класс языков, разрешимых схемами полиномиального размера), можно определить как класс языков, разрешимых недетерминированными схемами полиномиального размера. Широко распространено мнение, что недетерминированные схемы являются более мощными, …

17 cc.complexity-theory  circuit-complexity  nondeterminism 

Фон Известно , что существует оракул такое , что .P S P A C E A ≠ P H AAAAPSPACEA≠PHAPSPACEA≠PHAPSPACE^A \neq PH^A Даже известно, что разделение справедливо относительно случайного оракула. Неофициально можно интерпретировать это как означающее, что существует много оракулов, для которых и разделены.P HPSPACEPSPACEPSPACEPHPHPH Вопрос Насколько сложны эти оракулы, …

17 cc.complexity-theory  oracles  relativization  pspace  structural-complexity 

Хорошо известно, что во многих NP-полных задачах наблюдается фазовый переход. Я заинтересован в фазовом переходе в отношении локализации на языке, а не в сложности ввода относительно алгоритма. Чтобы сделать понятие однозначным, давайте формально определим его следующим образом. Язык LLL демонстрирует фазовый переход (относительно сдерживания), если Существует параметр порядка г ( …

17 cc.complexity-theory  phase-transition 

Известно, что минимальный размер цепей, функцию четности, в точности равен . Нижняя оценка доказательства основана на методе исключения ворот.U2U2U_23 ( n - 1 )3(N-1)3(n-1) Недавно я заметил, что метод исключения затвора хорошо работает и для недетерминированных цепей, и мы можем доказать нижнюю границу для размера недетерминированных цепей, вычисляя функцию четности.U2U2U_23 …

17 cc.complexity-theory  reference-request  circuit-complexity 

При условии, что группа симметрии и две подгруппы и , имеет ли место ?SnSnS_nG,H≤SnG,H≤SnG, H\leq S_nπ∈Snπ∈Sn\pi\in S_nGπ∩H=∅Gπ∩H=∅G\pi\cap H=\emptyset Насколько я знаю, эта проблема известна как проблема пересечения смежных классов. Мне интересно, в чем сложность? В частности, известна ли эта проблема в coAM? Более того, если ограничено абелевым, то чем становится …

17 cc.complexity-theory  graph-isomorphism  gr.group-theory 

Работа «Субквадратичные алгоритмы для 3SUM» Илья Баран, Эрик Д. Демейн, Михай Патраску имеет следующую сложность для Задача 3SUM: дать список LLL из NNn целых чисел, если х , у, z∈ LИкс,Y,Z∈Lx,y,z \in L такие, что х + у= z,Икс+Yзнак равноZ,x+y=z. w -вес-w-A C 0 O ( n 2 / w …

17 cc.complexity-theory  ds.algorithms 

Рассмотрим эту проблему: учитывая список конечных множеств, найдите порядок который минимизирует .s1,s2,s3,…s1,s2,s3,…s_1, s_2, s_3, \ldots|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s1|+|s1∪s2|+|s1∪s2∪s3|+…|s_1| + |s_1 \cup s_2| + |s_1 \cup s_2 \cup s_3| + \ldots Есть ли известные алгоритмы для этого? В чем его сложность? Я еще не смог придумать эффективный оптимальный алгоритм, но он явно не в …

17 cc.complexity-theory  ds.algorithms  optimization