Negative Ergebnisse bei identischen Partikeln nähern sich dem Problem des Graphisomorphismus (GI) an

12

Es wurden einige Anstrengungen unternommen, um das Problem des Graph-Isomorphismus unter Verwendung des Quanten-Zufalls-Walks von Hartkern-Bosonen (symmetrisch, aber ohne Doppelbelegung) zu bekämpfen. Die symmetrische Potenz der Adjazenzmatrix, die vielversprechend erschien, erwies sich in diesem Aufsatz von Amir Rahnamai Barghi und Ilya Ponomarenko für allgemeine Diagramme als unvollständig . Ein anderer ähnlicher Ansatz wurde auch in diesem Artikel von Jamie Smith widerlegt . In beiden Arbeiten verwenden sie die Idee der kohärenten Konfiguration (Schemata) und der alternativen, aber äquivalenten Formulierung der zellulären Algebra (Matrix-Subalgebra, indiziert durch eine endliche Menge, die unter punktweiser Multiplikation, komplexer konjugierter Transponierung und Enthalten abgeschlossen wird) Identitätsmatrix I und All-One-MatrixJ ) jeweils notwendige Gegenargumente zu liefern.

Ich finde es sehr schwierig, diesen Argumenten zu folgen, und selbst wenn ich einzelnen Argumenten vage folge, verstehe ich die Kernidee nicht. Ich würde gerne wissen, ob das Wesentliche der Argumente in allgemeinen Begriffen erklärt werden kann - möglicherweise auf Kosten einer geringen Genauigkeit -, ohne die Sprache der Schematheorie oder der zellulären Algebra zu verwenden.

DurgaDatta
quelle

Antworten:

4

Sie können viel besser als alle n überprüfen! Permutationen, wenn eine Lösung erzwungen wird, http://oeis.org/A186202 Der Gral zeigt, dass Sie nicht viel besser als das machen können, oder die Tatsache ausnutzen, dass die meisten Graphen keine Symmetrie aufweisen, und diese verwenden, um die Berechnung zu beschleunigen.

Chad Brewbaker
quelle
2
SSnSSnSn
1
Wenn Sie eine nichttriviale Permutation aus jedem Primärzyklus testen, haben Sie jede mögliche Untergruppe von Sn überprüft. Es ist immer noch riesig. Außerdem dient es zur Überprüfung des Graphautomorphismus, der "einfacher" als der Isomorphismus ist.
Chad Brewbaker