«Математика» 2011 4

Приближенный алгоритм вычисления сложности обратимой функции в базисе Тоффоли

Авторы: С. Ф. Винокуров, А. С. Францева
Аннотация:

В работе исследуются вопросы нахождения сложности обратимой функции при представлении ее обратимой схемой. Разработаны и реализованы алгоритмы ми- нимизации обратимых схем в базисе Тоффоли [5]; приведены оценки сложности обратимых функций.

Ключевые слова: обратимые функции, сложность, базис Тоффоли, параллельные алгоритмы
УДК: 519.673
Литература: 1. Гашков С. Б. Системы счисления и их применение / С. Б. Гашков. – М. : МЦНМО, 2004. – 52 с.: ил. – (Б-ка «Математическое просвещение») ; вып. 29).
2. Квантовый компьютер и квантовые вычисления. Т. 2. – Ижевск : Ред. журн. «Регулярная и хаотическая динамика», 1999. – 287 c.
3. Мальцев А. И. Основы линейной алгебры / А. И. Мальцев. – М. : Наука, 1970. – 400 с.
4. Monz T. [et al.] Realization of the quantum Toffoli gate with trapped ions. arXiv:0804.0082v1 [quant-ph] 1 Apr 2008.
5. Toffoli T. Reversible Computing. Tech.Memo MIT/LCS/TM-151, MIT Lab. for Comp.Sci. – 1980.
6. Toffoli T. Bicontinuous Extensions of Invetible Combinatorial Functions // Mathematical Systems Theory. – 1981. – Vol. 14. – P. 13-23.
7. Vivek V. Shende at al. Synthesis of Reversible Logic Circuits //IEEE Transactions on Computer-Aided design of integrated circuits and systems.– 2003. – Vol. 22, N6.