Preguntas etiquetadas con algebra

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

15
Transformación escasa de Walsh-Hadamard

La transformación de Walsh-Hadamard (WHT) es una generalización de la transformación de Fourier, y es una transformación ortogonal en un vector de números reales o complejos de dimensión . La transformación es popular en la computación cuántica, pero se ha estudiado recientemente como una especie...

14
Garantías de dureza para AES

Muchos criptosistemas de clave pública tienen algún tipo de seguridad demostrable. Por ejemplo, el criptosistema Rabin es probablemente tan difícil como factorizar. Me pregunto si existe ese tipo de seguridad comprobable para los criptosistemas de clave secreta, como AES. Si no es así, ¿cuál es la...