Perguntas com a marcação «arithmetic-circuits»

Considere um circuito que recebe como números de entrada em [0,1][0,1][0,1] e possui portas que consistem nas funções max(x,y)max(x,y)\max(x, y) , min(x,y)min(x,y)\min(x, y) , 1−x1−x1 - x e x+y2x+y2\frac{x+y}{2} . A saída do circuito também é um número em [0,1][0,1][0,1] . Alguém sabe se este modelo, ou um modelo estreitamente …

12 arithmetic-circuits 

Seja kkk algum campo. Como sempre, para um f∈k[x1,x2,…,xn]f∈k[x1,x2,…,xn]f\in k[x_{1},x_{2},\ldots,x_{n}] , definimos L(f)L(f)L(f) como a complexidade linear de fff sobre kkk . Seja FFF o conjunto de monômios de fff , ou seja, os monômios que aparecem em fff com coeficiente diferente de zero. É verdade que ∀m∈F:L(m)≤L(f)∀m∈F:L(m)≤L(f) \forall m\in …

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

Estou tentando entender a relação entre a complexidade algorítmica e a complexidade do circuito de Determinantes e Multiplicação de Matrizes. Sabe-se que o determinante de um matriz pode ser calculado em ~ O ( H ( n ) ) de tempo, em que M ( N ) é o tempo …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

Considere o seguinte problema: Dada uma matriz , queremos otimizar o número de adições no algoritmo de multiplicação para calcular v ↦ M v .MMMv ↦ Mvv↦Mvv \mapsto Mv Acho esse problema interessante por causa de seus laços com a complexidade da multiplicação de matrizes (esse problema é uma versão …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

A hipótese de Riemann, com mais de um século e meio de idade, tem implicações profundas na matemática e agora um grande edifício da teoria matemática é provado condicionalmente, além de inúmeras variantes. Recentemente, deparei com uma referência a um resultado condicional no TCS com base na hipótese de Riemann. …

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

Minha pergunta é: por que limites inferiores para circuitos booleanos de profundidade 3 com portas "e" e "xor" para determinantes não implicam os mesmos limites inferiores para circuitos aritméticos sobre ?ZZ\mathbb{Z} O que há de errado com o seguinte argumento: Seja um determinante de cálculo do circuito aritmético, e tomando …

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

Seja um polinômio variável, dado como um circuito aritmético de tamanho poli , e seja p = 2 ^ {\ Omega (n)} um primo.n ( n ) p = 2 Ω ( n )fffnnn(n)(n)(n)p=2Ω(n)p=2Ω(n)p = 2^{\Omega(n)} Você pode testar se fff é igual a zero acima de ZpZp\mathbb{Z}_p , com …

9 polynomials  arithmetic-circuits 

Seja f∈Q[x1,x2,…,xn]f∈Q[x1,x2,…,xn]f\in\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] um polinômio dado por um circuito aritmético CCC do tamanho sss . Dado CCC como entrada, existe um algoritmo determinístico para verificar se todos os fatores irredutíveis de fff em Q[x1,x2,…,xn]Q[x1,x2,…,xn]\mathbb{Q}[x_{1},x_{2},\ldots,x_{n}] são formas lineares? Em uma nota relacionada, dada uma forma linear l=∑ni=1li⋅xil=∑i=1nli⋅xil=\sum_{i=1}^{n}l_{i}\cdot x_{i}, podemos verificar deterministically selllé …

9 ds.algorithms  algebraic-complexity  arithmetic-circuits 

O algoritmo de Berkowitz fornece um circuito de tamanho polinomial com profundidade logarítmica para determinar uma matriz quadrada usando potências matriciais. O algoritmo usa implicitamente o cancelamento. O cancelamento é essencial para a obtenção de um circuito de tamanho polinomial com profundidade logarítmica ou linear para calcular o determinante (e …

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

Este resultado de Tavenas, Koiran e outros mostra que qualquer polinômio calculado por um circuito de tamanho sss é calculado por um circuito homogêneo de profundidade 4 do tamanho sd√sds^{\sqrt{d}} . Existem resultados semelhantes para circuitos booleanos ou sabemos por que isso não é possível?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

Existe uma prova alternativa ou uma exposição do resultado de Grigoriev e Karpinski (STOC 1998, doi: 10.1145 / 276698.276872 ) nos limites exponenciais inferiores dos circuitos aritméticos da Profundidade 3 que computam durante um campo finito fixo?D E Tn × nDETn×n\mathsf{DET}_{n\times n} Eu não conseguia entender a seção 2 do …

8 circuit-complexity  arithmetic-circuits