(EN) Systems and techniques that facilitate partitioned template matching and/or symbolic peephole optimization are provided. In various embodiments, a system can comprise a template component, which can perform template matching on a Clifford circuit associated with a set of qubits. In various aspects, the system can comprise a partition component, which can partition, prior to the template matching, the Clifford circuit into a computation stage, a Pauli stage, and a SWAP stage. In various instances, the template matching can be performed on the computation stage.
(FR) L'invention concerne des systèmes et des techniques qui facilitent la mise en correspondance de modèles partitionnés et/ou l'optimisation de trou de regard symbolique. Dans divers modes de réalisation, un système peut comprendre un composant de modèle, qui peut effectuer une mise en correspondance de modèles sur un circuit de Clifford associé à un ensemble de bits quantiques. Dans divers aspects, le système peut comprendre un composant de partition, qui peut partitionner, avant la mise en correspondance de modèles, le circuit de Clifford en un étage de calcul, en un étage de Pauli et en un étage de permutation. Dans divers cas, la mise en correspondance de modèles peut être effectuée au niveau de l'étage de calcul.
