MinimumPoint
class qiskit.transpiler.passes.MinimumPoint(*args, **kwargs)
Bases : TransformationPass
Vérifier si le DAG a atteint un point relativement semi-stable au cours des exécutions précédentes
Cette passe est similaire à la passe FixedPoint et est principalement destinée à être utilisée pour définir une condition de rupture de boucle dans l'ensemble des propriétés. Cependant, contrairement à la classe FixedPoint qui ne pose la condition que si deux séries consécutives ont la même valeur, cette passe est conçue pour trouver un minimum local et l'utiliser à la place. Cette passe est conçue pour une boucle d'optimisation où un point fixe peut ne jamais être atteint (par exemple si la synthèse est utilisée et qu'il y a plusieurs sorties équivalentes pour certains cas).
Cette passe suivra l'état des champs de l'ensemble de propriétés au cours de ses exécutions passées et définira un champ booléen lorsqu'un point fixe est atteint sur la profondeur de retour en arrière ou en sélectionnant la valeur minimale trouvée si la profondeur de retour en arrière est atteinte. Pour ce faire, il stocke une copie profonde du DAG minimum actuel dans l'ensemble de propriétés et lorsque backtrack_depth nombre d'exécutions est atteint depuis le dernier minimum, le DAG de sortie est fixé à cette copie du minimum précédent.
Les champs utilisés par cette passe dans l'ensemble de propriétés sont (tous relatifs à l'argument prefix ) :
-
{prefix}_minimum_point_state- Utilisé pour suivre l'état de la recherche du point minimum -
{prefix}_minimum_point- Cette valeur est fixée àTruelorsqu'un point fixeest atteint au cours des exécutions de
backtrack_depth, oubacktrack_deptha été dépassé et un minimum antérieur est rétabli.
Initialiser une instance de cette passe
Paramètres
- property_set_list (list) – Liste des clés de l'ensemble des propriétés qui seront utilisées pour évaluer le minimum local. Les valeurs de ces clés d'ensembles de propriétés seront utilisées comme un tuple pour la comparaison
- prefix (str) – Préfixe à utiliser pour la clé de l'ensemble de propriétés utilisée pour le suivi des évaluations précédentes
- backtrack_depth (int) – Le nombre maximum d'entrées à stocker. Si ce nombre est atteint et que l'itération suivante ne comporte pas de diminution du nombre de valeurs, le minimum des n précédentes sera défini comme la sortie dag et
minimum_pointsera défini commeTruedans l'ensemble des propriétés
Attributs
is_analysis_pass
Vérifier si la passe est une passe d'analyse.
Si le passe est un AnalysisPass,, cela signifie qu'il peut analyser le DAG et écrire les résultats de cette analyse dans l'ensemble de propriétés. Les modifications sur le DAG ne sont pas autorisées par ce type de passe.
is_transformation_pass
Vérifier si le laissez-passer est un laissez-passer de transformation.
Si la passe est une TransformationPass,, cela signifie qu'elle peut manipuler le DAG, mais qu'elle ne peut pas modifier l'ensemble des propriétés (mais qu'elle peut les lire).
Méthodes
execute
execute(passmanager_ir, state, callback=None)
Exécuter la tâche d'optimisation pour l'entrée Qiskit IR.
Paramètres
- passmanager_ir (DAGCircuit) – IR Qiskit à optimiser.
- state (DAGCircuit) – État lié à l'exécution du flux de travail par le gestionnaire de passes lui-même.
- callback (Callable[[Task, DAGCircuit, PropertySet, float, int], None] | None) – Une fonction de rappel qui est appelée à chaque exécution d'une tâche d'optimisation.
Retours
Qiskit IR optimisé et état du flux de travail.
Type de retour
name
run
update_status
update_status(state, run_state)
Mettre à jour le statut du flux de travail.
Paramètres
- state (PassManagerState) – Transmettre l'état du gestionnaire à mettre à jour.
- run_state (RunState) – Statut d'achèvement de la tâche en cours.
Retours
Mise à jour de l'état du gestionnaire de passe.
Type de retour