VF2Layout

class qiskit.transpiler.passes.VF2Layout(*args, **kwargs)

Bases : AnalysisPass

Une passe pour choisir la disposition d'un circuit sur un graphe de couplage, comme un problème d'isomorphisme de sous-graphes, résolu par VF2++.

Si une solution est trouvée, cela signifie qu'il existe une "disposition parfaite" et qu'il n'est pas nécessaire de procéder à d'autres échanges de cartes ou à d'autres routages. Si une solution est trouvée, la disposition sera définie dans l'ensemble de propriétés comme property_set['layout']. Toutefois, si aucune solution n'est trouvée, aucune adresse property_set['layout'] n'est définie. Le motif d'arrêt est défini à l'adresse property_set['VF2Layout_stop_reason'] dans tous les cas et sera l'une des valeurs énumérées à l'adresse VF2LayoutStopReason , qui a les valeurs suivantes :

• "solution found": Si une disposition parfaite a été trouvée.
• "nonexistent solution": Si aucune disposition parfaite n'a été trouvée.
• ">2q gates in basis": Si VF2Layout ne peut pas travailler avec la base

Par défaut, cette passe construit une carte de notation heuristique basée sur les taux d'erreur dans le site target (ou properties si target n'est pas fourni). Toutefois, des analyses peuvent être effectuées avant ce passage et définir vf2_avg_error_map dans l'ensemble de propriétés avec une instance ErrorMap . Si une valeur est NaN , elle est traitée comme un bord idéal :

from qiskit.transpiler.passes.layout.vf2_utils import ErrorMap

error_map = ErrorMap(3)
error_map.add_error((0, 0), 0.0024)
error_map.add_error((0, 1), 0.01)
error_map.add_error((1, 1), 0.0032)

qui représente la carte des erreurs pour une cible à 2 qubits, où le taux d'erreur moyen de 1q est de 0.0024 sur le qubit 0 et de 0.0032 sur le qubit 1. Le taux d'erreur moyen de 2q pour les portes qui opèrent sur (0, 1) est alors de 0.01 et (1, 0) n'est pas pris en charge par la cible. Elle sera utilisée pour la notation si elle est définie comme la clé vf2_avg_error_map dans l'ensemble des propriétés lors de l'exécution de VF2Layout est exécuté.

Initialisation d'une instance de passe VF2Layout

Paramètres

• coupling_map (CouplingMap) – Graphique orienté représentant une carte de couplage.
• strict_direction (bool) – Si True, considère la direction de la carte de couplage. La valeur par défaut est False.
• seed (int | None) – mélanger l'étiquetage des qubits physiques aux indices de nœuds dans le graphe de couplage, en utilisant une graine d' pRNG e donnée. None graines utilisant l'entropie du système d'exploitation (et donc non déterministe). L'utilisation de -1 désactive le mélange aléatoire.
• call_limit (None | int |tuple[int | None,int | None]) – Nombre maximal de tentatives de recherche d'isomorphisme de l' VF2 e interne pour étendre le mappage. Si None, alors aucune limite. S'il s'agit d'un tuple à deux éléments, la limite commence par le premier élément et passe au second après la première correspondance trouvée, sans réinitialiser le nombre d'étapes effectuées. Cela peut être utilisé pour permettre une recherche longue pour n'importe quel mappage, mais tout en terminant rapidement avec un petit budget d'extension si un mappage est trouvé.
• time_limit (float) – La durée totale en secondes pour l'exécution VF2Layout. Ceci n'est pas tout à fait strict; l'exécution s'achèvera dès que le premier isomorphisme sera trouvé (le cas échéant) _après_ que le délai aura été dépassé. Le réglage de cette option rompt le déterminisme du passage.
• max_trials (int) – Si cette option est activée, l'algorithme s'arrête après avoir trouvé ce nombre de dispositions _complètes_. Étant donné que la notation est effectuée à la volée, la grande majorité des dispositions candidates sont éliminées de la recherche avant même d'être complètes, cette option n'a donc que peu d'intérêt. Pour définir une limite inférieure au temps consacré à l'amélioration d'une limite initiale, définissez une valeur faible pour le deuxième élément dans le formulaire call_limit à deux entrées.
• target (Target) – Une cible représentant l'appareil dorsal sur lequel VF2Layout doit être exécuté. Si elle est spécifiée, elle remplacera une valeur définie pour coupling_map si le fichier Target contient des contraintes de connectivité. Si la valeur de target modélise un backend idéal sans aucune contrainte, la valeur de coupling_map sera utilisée.

Augmentations

TypeError - Au moment de l'exécution, si ni coupling_map ni target ne sont fournis.

Attributs

is_analysis_pass

is_transformation_pass

Méthodes

execute

name

run

update_status