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

18
É possível testar se um número computável é racional ou inteiro?

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado...

14
A eta-equivalência para funções é compatível com a operação seq de Haskell?

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a -> b -> b seq ⊥ b = ⊥ seq...

14
Complexidade de circuitos aritméticos monotônicos de polinômios simétricos elementares?

O ésimo polinômio simétrico elementar é a soma de todos os produtos \ binom {n} {k} de k variáveis ​​distintas. Estou interessado na complexidade aritmética monotônica (+, \ times) desse polinômio. Um algoritmo de programação dinâmica simples (assim como a Fig. 1 abaixo) fornece um circuito (+, \...

12
Circuitos aritméticos com ,

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...

11
Determinantes e multiplicação de matrizes - Semelhança e diferenças na complexidade algorítmica e no tamanho do circuito aritmético

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 mínimo necessário para multiplicar...