Вопросы с тегом «algebraic-complexity»

В известном контрпримере для изоморфизма графа с помощью метода Вейсфейлера-Лемана (WL) в этой статье Кай, Фюрер и Иммерман построили следующий гаджет . Они строят граф определяемый какXk=(Vk,Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}Vk=Ak∪Bk∪Mk where Ak={ai∣1≤i≤k},Bk={bi∣1≤i≤k}, and Mk={mS∣S⊆{1,2,…,k}, |S| is even}Ek={(mS,ai)∣i∈S}∪{(mS,bi)∣i∉S}V_k = A_k \cup B_k \cup …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Подсчитав аргументы, можно показать, что существуют многочлены степени n от 1 переменной (т. Что-то вроде которые имеют сложность схемы n. Также можно показать, что для многочлена типа требуется как минимум умножений (это нужно просто для получения достаточно высокой степени). Существуют ли явные примеры полиномов от 1 переменной с суперлогарифмической нижней …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Пусть - некоторое поле. Как обычно, для f ∈ k [ x 1 , x 2 , … , x n ] мы определяем L ( f ) как прямолинейную сложность f над k . Пусть F - множество мономов f , а именно мономов, которые появляются в f с …

11 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Я пытаюсь понять связь между алгоритмической сложностью и сложностью схемы детерминантов и умножения матриц. Известно, что определитель матрицы может быть вычислен за время ~ O ( M ( n ) ) , где M ( n ) - минимальное время, необходимое для умножения любых двух матриц n × n . …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

Более чем 1,5-летняя гипотеза Римана имеет глубокие следствия в математике, и большое доказательство математической теории в настоящее время доказано условно и многочисленными вариантами. Недавно я наткнулся на ссылку на условный результат в TCS, основанный на гипотезе Римана. Поэтому мне интересно, Каковы основные последствия гипотезы Римана в TCS? В качестве начала …

10 cc.complexity-theory  algebraic-complexity  arithmetic-circuits 

Матрица Мура похожа на матрицу Вандермонда, но имеет слегка измененное определение. http://en.wikipedia.org/wiki/Moore_matrix Какова сложность вычисления определителя заданной n × nn×nn \times n матрицы Мура полного ранга по модулю некоторого целого числа? Можно ли уменьшить определитель Мура с O ( n3)O(n3)O(n^{3}) с использованием методов БПФ до O ( n logaн )O(nloga⁡n)O(n\log^{a}n) …

10 cc.complexity-theory  algebraic-complexity 

В SODA 1995 года Джефф Эриксон показал нижние оценки линейной выполнимости (проверяя, удовлетворяет ли некоторое подмножество действительных чисел линейному уравнению на переменных). Метод доказательства использует бесконечно малые и принцип переноса Тарского .н рrrrnnnrrr Может ли кто-нибудь объяснить интуицию, лежащую за маршрутом, чтобы доказать эту связь? В чем сложность такого прямого …

10 cg.comp-geom  lower-bounds  algebraic-complexity 

Позволять f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] быть полиномом, заданным арифметической схемой CCC размера sss, ДанныйCCC в качестве входных данных, есть ли детерминированный алгоритм, чтобы проверить, все ли неприводимые факторы fff в Q[x1,x2,…,xn]Q[x1,x2,…,xn]\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}]такое линейные формы? На связанной ноте, учитывая линейную формуl=∑ni=1li⋅xil=∑i=1nli⋅xil=\sum_{i=1}^{n}l_{i}\cdot x_{i}можем ли мы проверить детерминистически lll является фактором fff, Конечно, мы хотим, чтобы время …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

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

9 circuit-complexity  algebraic-complexity  permanent  arithmetic-circuits  determinant 

Предположим, мы работаем в конечном поле. Нам дан большой фиксированный многочлен p (x) (скажем, степени 1000) над этим полем. Этот многочлен известен заранее, и нам разрешено выполнять вычисления с использованием большого количества ресурсов на «начальной стадии». Эти результаты могут быть сохранены в сравнительно небольших справочных таблицах. В конце «начальной фазы» …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

В работе Ади Шамира [1] за 1979 г. он показывает, что факторинг можно выполнить за полиномиальное число арифметических шагов . Этот факт был вновь подтвержден и поэтому привлек мое внимание в недавней работе Borwein and Hobart [2] в контексте программ прямой линии связи (SLP). Поскольку я был довольно удивлен, прочитав …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

Пусть будет матрица или с элементами . Может ли кто-нибудь предоставить мне матрицу чтобы ? Что такое наименьший явный B, который известен таким образом, что \ operatorname {per} (A) = \ det (B) ? Любые ссылки на это с явными примерами?AAA3 × 33×33 \times 34 × 44×44 \times 4aя жaija_{ij}ВBBв( …

9 cc.complexity-theory  algebraic-complexity  permanent 

Умножение матриц с использованием обычной техники (ряд - столбец) занимает O (N3)O(n3)O(n^{3}) умножение и O (N3)O(n3)O(n^{3})дополнения. Однако при условии, что записи равного размера (количество битов в каждой записи обеих матриц умножается) размерамmm биты, операция сложения на самом деле происходит на O (N3n m ) = O (N4м )O(n3nm)=O(n4m)O(n^{3}nm) = O(n^{4}m) …

9 cc.complexity-theory  algebraic-complexity