Als «algebra» getaggte Fragen

18
Ist es möglich zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist?

Ist es möglich, algorithmisch zu testen, ob eine berechenbare Zahl rational oder ganzzahlig ist? Mit anderen Worten, könnte eine Bibliothek, die berechenbare Zahlen implementiert, die Funktionen bereitstellen, isIntegeroder isRational? Ich vermute, dass es nicht möglich ist und dass dies irgendwie...

15
Spärliche Walsh-Hadamard-Transformation

Die Walsh-Hadamard-Transformation (WHT) ist eine Verallgemeinerung der Fourier-Transformation und eine orthogonale Transformation eines Vektors mit reellen oder komplexen Zahlen der Dimension . Die Transformation ist im Quantencomputer sehr beliebt, wurde aber kürzlich als eine Art...

15
Definition des Matrix-Multiplikations-Exponenten

Umgangssprachlich, die Definition des Matrix-Multiplikation Exponent ist der kleinste Wert , für die es ein bekannten n ω - Matrix-Multiplikationsalgorithmus. Dies ist als formale mathematische Definition nicht akzeptabel. Ich schätze, die technische Definition ist so etwas wie das Infimum über...

14
Härtegarantien für AES

Viele Kryptosysteme mit öffentlichem Schlüssel weisen eine nachweisbare Sicherheit auf. Zum Beispiel ist das Rabin-Kryptosystem nachweislich so hart wie Factoring. Ich frage mich, ob es für Kryptosysteme mit geheimen Schlüsseln wie AES eine solche nachweisbare Sicherheit gibt. Wenn nicht, was ist...