Qual è la complessità computazionale del seguente problema:
dati due matrici complesse e controllano se esiste una matrice di permutazione tale che:
Se aiuta, si può presumere che e siano eremiti (o anche che e siano reali e simmetrici).
Appunti:
Il problema deriva dal controllo se due insiemi di vettori sono correlati da una rotazione unitaria, vedere Insiemi di vettori correlati da una rotazione - MathOverflow . In quel contesto, e sono le loro matrici di Gramian .
Il problema è difficile almeno quanto il problema dell'isomorfismo del grafico : prendi e come matrici di adiacenza.