Pytania oznaczone «gate-synthesis»

Na pytania dotyczące znajdowania (krótkich) sekwencji bramek w celu zaimplementowania określonej jednostkowej operacji, na przykład dekompozycji skomplikowanej bramki wielokubitowej na sekwencję podstawowych bramek. Może mieć zastosowanie do optymalizacji obwodów pod względem długości lub głębokości lub wyszukiwania sekwencji bramek w celu zaimplementowania algorytmu.

13
W jaki sposób aproksymacja bramek za pomocą bram uniwersalnych skaluje się z długością obliczeń?

Rozumiem, że istnieje konstruktywny dowód, że dowolne bramy można aproksymować skończonym uniwersalnym zestawem bram, którym jest Twierdzenie Solovaya – Kitaeva . Jednak przybliżenie wprowadza błąd, który rozprzestrzenia się i kumuluje w długim obliczeniu. Prawdopodobnie byłoby to źle skalowane...