Las matrices ortogonales aparecen a menudo en algoritmos probabilísticos. Pueden construirse eficientemente a partir de, por ejemplo, códigos BCH. Pero, ¿existe un algoritmo eficiente que pueda verificar si una matriz es ortogonal? Sería particularmente curioso acerca de la fuerza-4 binario arreglos
En mi última edición, agregué que la matriz es binaria. Me parece que puede ayudar.
