Entendo que existe uma prova construtiva de que portas arbitrárias podem ser aproximadas por um conjunto finito de portas universais, que é o Teorema de Solovay-Kitaev . No entanto, a aproximação introduz um erro, que se espalharia e se acumularia em um cálculo longo. Presumivelmente, isso seria...
13
Como aproximar portas através de portas universais é escalonado com o comprimento da computação?