VF2Layout

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

Bases: AnalysisPass

Un pase para elegir un Layout de un circuito sobre un grafo de Acoplamiento, como problema de isomorfismo de subgrafos, resuelto por VF2++.

Si se encuentra una solución, significa que existe un "trazado perfecto" y que no es necesario realizar más intercambios de mapas o rutas. Si se encuentra una solución, la disposición se establecerá en el conjunto de propiedades como property_set['layout']. Sin embargo, si no se encuentra ninguna solución, no se fija property_set['layout'] . El motivo de parada se establece en property_set['VF2Layout_stop_reason'] en todos los casos y será uno de los valores enumerados en VF2LayoutStopReason que tiene los siguientes valores:

• "solution found": Si se ha encontrado un diseño perfecto.
• "nonexistent solution": Si no se ha encontrado un diseño perfecto.
• ">2q gates in basis": Si VF2Layout no puede trabajar con base

Por defecto, esta pasada construirá un mapa de puntuación heurístico basado en las tasas de error en el target proporcionado (o properties si no se proporciona target ). Sin embargo, se pueden ejecutar pases de análisis antes de este pase y establecer vf2_avg_error_map en el conjunto de propiedades con una instancia de ErrorMap . Si un valor es NaN que se trata como un borde ideal Por ejemplo, si un mapa de error se crea como:

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)

que representa el mapa de errores para un objetivo de 2 qubits, donde la tasa de error media 1q es 0.0024 en el qubit 0 y 0.0032 en el qubit 1. Entonces la tasa de error media 2q para las puertas que operan en (0, 1) es 0.01 y (1, 0) no es compatible con el objetivo. Esto se utilizará para la puntuación si se establece como la clave vf2_avg_error_map en el conjunto de propiedades cuando VF2Layout se ejecuta.

Inicializar una instancia de pase VF2Layout

Parámetros

• coupling_map (CouplingMap) – Grafo dirigido que representa un mapa de acoplamiento.
• strict_direction (bool) – Si es «True», tiene en cuenta la dirección del mapa de acoplamiento. El valor predeterminado es False.
• seed (int | None) – reorganiza el orden de las etiquetas de los qubits físicos según los índices de los nodos en el grafo de acoplamiento, utilizando una semilla de pRNG dada. None semillas que utilizan la entropía del sistema operativo (por lo que no es determinista). Al utilizarlo, se desactiva -1 la reproducción aleatoria.
• call_limit (None | int |tuple[int | None,int | None]) – El número máximo de veces que la búsqueda de isomorfismos VF2 interna intentará ampliar la correspondencia. Si None, entonces no hay límite. Si se trata de una tupla de dos elementos, el límite comienza por el primer elemento y pasa al segundo una vez encontrada la primera coincidencia, sin reiniciar el recuento de pasos realizados. Esto permite realizar una búsqueda exhaustiva de cualquier correspondencia, pero, si se encuentra alguna, la búsqueda finaliza rápidamente con un presupuesto de extensión reducido.
• time_limit (float) – El tiempo máximo total, en segundos, para ejecutar VF2Layout. Esto no es del todo estricto; la ejecución finalizará en cuanto se encuentre el primer isomorfismo (si lo hay) _después_ de que se haya superado el límite de tiempo. Al activar esta opción, se rompe el determinismo del pase.
• max_trials (int) – Si se establece, el algoritmo finaliza tras haber visto este número de distribuciones _completas_. Dado que la puntuación se realiza sobre la marcha, la gran mayoría de las disposiciones candidatas se descartan de la búsqueda antes incluso de completarse, por lo que esta opción tiene poco sentido. Para establecer un límite mínimo en el tiempo dedicado a mejorar un límite inicial, asigna un valor bajo al segundo elemento de la forma de tupla call_limit de dos elementos.
• target (Target) – Un objetivo que representa el dispositivo backend en el que se ejecutará VF2Layout . Si se especifica, sustituirá a un valor establecido para coupling_map si el archivo Target contiene restricciones de conectividad. Si el valor de target modela un backend ideal sin restricciones, se utilizará el valor de coupling_map .

Eleva

TypeError : durante la ejecución, si no target se proporciona ni ni coupling_map .

Atributos

is_analysis_pass

is_transformation_pass

Métodos

execute

name

run

update_status