MinimumPoint
class qiskit.transpiler.passes.MinimumPoint(*args, **kwargs)
Basen: TransformationPass
Prüfen, ob die DAG in den vorangegangenen Läufen einen relativen semi-stabilen Punkt erreicht hat
Dieser Durchgang ist ähnlich wie der FixedPoint transpiler-Durchlauf und ist in erster Linie dazu gedacht, eine Schleifenunterbrechungsbedingung in der Eigenschaftsmenge zu setzen. Anders als bei der FixedPoint klasse, die die Bedingung nur dann festlegt, wenn 2 aufeinanderfolgende Durchläufe denselben Wert haben, ist dieser Durchlauf so konzipiert, dass er ein lokales Minimum findet und stattdessen dieses verwendet. Dieser Durchlauf ist für eine Optimierungsschleife gedacht, in der ein Fixpunkt möglicherweise nie erreicht wird (z. B. wenn die Synthese verwendet wird und es für einige Fälle mehrere gleichwertige Ausgaben gibt).
Dieser Durchlauf verfolgt den Zustand der Felder in der Eigenschaftsmenge über die vergangenen Ausführungen und setzt ein boolesches Feld, wenn entweder ein fester Punkt über der Backtracking-Tiefe erreicht wird oder der minimale gefundene Wert ausgewählt wird, wenn die Backtracking-Tiefe erreicht ist. Zu diesem Zweck wird eine tiefe Kopie der aktuellen Minimum-DAG im Eigenschaftssatz gespeichert, und wenn backtrack_depth Anzahl der Ausführungen seit dem letzten Minimum erreicht ist, wird die Ausgabe-DAG auf diese Kopie des früheren Minimums gesetzt.
Die von diesem Durchgang in der Eigenschaftsgruppe verwendeten Felder sind (alle relativ zum Argument prefix ):
-
{prefix}_minimum_point_state- Wird verwendet, um den Stand der Minimalpunktsuche zu verfolgen -
{prefix}_minimum_point- Dieser Wert wird aufTruegesetzt, wenn entweder ein Festpunktüber die Ausführungen von
backtrack_deptherreicht wird, oderbacktrack_depthüberschritten wurde und ein früheres Minimum wiederhergestellt wird.
Eine Instanz dieses Passes initialisieren
Parameter
- property_set_list (list) – Eine Liste von Eigenschaftssatzschlüsseln, die für die Auswertung des lokalen Minimums verwendet werden sollen. Die Werte dieser Eigenschaftsschlüssel werden als Tupel für den Vergleich verwendet
- prefix (str) – Das Präfix, das für den Schlüssel des Eigenschaftssatzes zu verwenden ist, der für die Verfolgung früherer Bewertungen verwendet wird
- backtrack_depth (int) – Die maximale Anzahl der zu speichernden Einträge. Wenn diese Zahl erreicht ist und die nächste Iteration nicht zu einer Verringerung der Anzahl der Werte führt, wird das Minimum der vorherigen n als Ausgabe dag gesetzt und
minimum_pointwird aufTruein der Eigenschaft set
Attribute
is_analysis_pass
Prüfen Sie, ob der Pass ein Analysepass ist.
Wenn der Pass ein AnalysisPass, ist, bedeutet dies, dass der Pass die DAG analysieren und die Ergebnisse dieser Analyse in den Eigenschaftssatz schreiben kann. Änderungen an der DAG sind bei dieser Art von Pass nicht zulässig.
is_transformation_pass
Prüfen Sie, ob der Pass ein Transformationspass ist.
Wenn es sich bei dem Pass um TransformationPass, handelt, bedeutet dies, dass der Pass die DAG manipulieren kann, aber den Eigenschaftssatz nicht ändern kann (aber er kann gelesen werden).
Methoden
execute
execute(passmanager_ir, state, callback=None)
Ausführen der Optimierungsaufgabe für die Eingabe Qiskit IR.
Parameter
- passmanager_ir (DAGCircuit) – Qiskit IR zur Optimierung.
- state (DAGCircuit) – Zustand, der mit der Ausführung des Workflows durch den Pass-Manager selbst verbunden ist.
- callback (Callable[[Task, DAGCircuit, PropertySet, float, int], None] | None) – Eine Callback-Funktion, die bei jeder Ausführung einer Optimierungsaufgabe aufgerufen wird.
Rückgabe
Optimierte Qiskit IR und Stand des Workflows.
Rückgabetyp
name
run
update_status
update_status(state, run_state)
Aktualisieren Sie den Workflow-Status.
Parameter
- state (PassManagerState) – Übergeben Sie den Status des Managers zur Aktualisierung.
- run_state (RunState) – Erledigungsstatus der aktuellen Aufgabe.
Rückgabe
Aktualisierter Status des Passmanagers.
Rückgabetyp