Em alguns lugares diferentes ( http://www.ams.org/journals/mcom/2004-73-246/S0025-5718-03-01539-4/S0025-5718-03-01539-4.pdf e https: //books.google.com/books?id=qYYKBwAAQBAJ&pg=PA21&lpg=PA21&dq=np-hard+completing+hadamard+matrix&source=bl&ots=8sKv9bAtc8&sig=ITZSmtD2p2xr6Q4RDqhbQQk0NDI&hl=en&sa=X&ved=2ahUKEwiotuLdvfzdAhWBKHwKHUF9AO0Q6AEwB3oECAMQAQ#v=onepage&q=np-hard%20completing% 20hadamard% 20matrix & f = false , para dar duas) afirma-se que a determinação da "equivalência" de duas matrizes Hadamard (no sentido de permitir sinal-flips e permutações em linhas e colunas) é difícil para NP. Nenhuma fonte que encontrei para essa declaração forneceu uma citação, e não consegui encontrar nenhum documento que alegasse provar isso.
Por outro lado, https://core.ac.uk/download/pdf/82725146.pdf fornece umalgoritmo para identificar matrizes Hadamard equivalentes. Isso é de certa forma esperado, já que a equivalência da matriz Hadamard é muito parecida com o isomorfismo gráfico. (Também não é difícil reformular a equivalência da matriz Hadamard como um problema de IG em vértices diretamente, levando a uma solução quase-lipinomial sob uma variedade de algoritmos GI bem estudados.)
Se ambas as afirmações fossem verdadeiras, é claro, isso seria uma grande notícia e violaria a ETH. A alegação de dureza NP é apenas um teorema popular (falso)?