Je veux simuler de grands circuits stabilisateurs (H / S / CNOT / MEASURE / feedforward) avec un petit nombre de portes T mélangées. Comment puis-je faire cela d'une manière qui évolue de façon exponentielle uniquement dans le nombre de portes T? Existe-t-il des implémentations...