Preguntas etiquetadas con arithmetic-circuits

18
¿Es posible probar si un número computable es racional o entero?

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el...

14
¿Es la equivalencia eta para funciones compatible con la operación seq de Haskell?

Lema: Suponiendo equivalencia eta tenemos eso (\x -> ⊥) = ⊥ :: A -> B. Prueba: ⊥ = (\x -> ⊥ x)por equivalencia eta y (\x -> ⊥ x) = (\x -> ⊥)por reducción bajo la lambda. El informe Haskell 2010, sección 6.2 especifica la seqfunción mediante dos ecuaciones: seq :: a -> b ->...

12
Circuitos aritméticos con

Considere un circuito que toma como entradas números en , y tiene puertas que consisten en las funciones max ( x , y ) , min ( x , y ) , 1 - x , y x + y[ 0 , 1 ][0,1][0,1]max ( x , y)max(x,y)\max(x, y)min ( x , y)min(x,y)\min(x, y)1 - x1−x1 - x . La salida del circuito también es un número...

11
Determinantes y multiplicación matricial: similitud y diferencias en la complejidad algorítmica y el tamaño del circuito aritmético

Estoy tratando de entender la relación entre la complejidad algorítmica y la complejidad del circuito de los determinantes y la multiplicación de matrices. Se sabe que el determinante de una matriz se puede calcular en el tiempo , donde es el tiempo mínimo requerido para multiplicar dos matrices....