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, considera la dirección del mapa de acoplamiento. El valor predeterminado es False.
• seed (int | None) – Barajar el etiquetado de los qubits físicos a los índices de los nodos en el gráfico de acoplamiento, utilizando una semilla e pRNG e dada. None semillas utilizando la entropía del sistema operativo (y, por lo tanto, no es determinista). El uso de -1 desactiva la mezcla aleatoria.
• call_limit (None | int |tuple[int | None,int | None]) – El número máximo de veces que la búsqueda de isomorfismo interna VF2 intentará ampliar la asignación. Si None, entonces no hay límite. Si se trata de una tupla de dos elementos, el límite comienza con el primer elemento y cambia al segundo después de encontrar la primera coincidencia, sin restablecer el número de pasos realizados. Esto se puede utilizar para permitir una búsqueda prolongada de cualquier correspondencia, pero aún así terminar rápidamente con un presupuesto de extensión reducido si se encuentra alguna.
• time_limit (float) – El tiempo total máximo en segundos para ejecutar VF2Layout. Esto no es completamente estricto; la ejecución finalizará con el primer isomorfismo encontrado (si lo hay) _después_ de que se haya superado el límite de tiempo. Al configurar esta opción se rompe el determinismo del pase.
• max_trials (int) – Si se establece, el algoritmo finaliza después de que se hayan visto este número de diseños _completos_. Dado que la puntuación se realiza sobre la marcha, la gran mayoría de los diseños candidatos se eliminan de la búsqueda antes de completarse, por lo que esta opción tiene poco sentido. Para establecer un límite bajo en la cantidad de tiempo dedicado a mejorar un límite inicial, establezca un valor bajo para el segundo elemento en el call_limit formulario de 2 tuplas.
• 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 - En tiempo de ejecución, si no se proporciona ni coupling_map ni target .

Atributos

is_analysis_pass

is_transformation_pass

Métodos

execute

name

run

update_status