У чому полягає обчислювальна складність наступної проблеми:
задані дві складні матриці і перевіряють, чи є матриця перестановки така, що:
Якщо це допомагає, можна припустити, що і є гермітами (або навіть, що і справжні та симетричні).
Примітки:
Проблема випливає з перевірки, чи пов'язані два набори векторів унітарним обертанням, див. Набори векторів, пов'язаних обертанням - MathOverflow . У цьому контексті і - їх матриці Грамія .
Проблема принаймні настільки ж складна, як і проблема ізоморфізму графа - приймати і як матриці суміжності.