Background Image
Previous Page  14 / 16 Next Page
Information
Show Menu
Previous Page 14 / 16 Next Page
Page Background

В работе [3] принято, что

n

k

=

b

log

2

(

n

log

2

n

)

c

:

L

(

h

)

2

n

+1

n

+ 2(

n

log

2

(

n

log

2

n

)) +

(

n

+ 2)2

n

+1

n

log

2

n

.

2

n

+1

;

N

=

2

n

n

+ 2(

n

log

2

(

n

log

2

n

)) +

2

n

+2

n

log

2

n

4

5

2

n

n

.

I

Можно сделать важный вывод о зависимости вентильной сложно-

сти обратимой схемы от числа дополнительных входов на основании

теоремы 4.

Утверждение 1.

Почти для всех подстановок

h

A

(

Z

n

2

)

исполь-

зование дополнительных входов позволяет снизить вентильную слож-

ность реализующих их обратимых схем.

J

Следует из теорем 3 и 4.

I

Заключение.

При решении задачи синтеза обратимой схемы, ре-

ализующей какую-либо четную подстановку, приходится искать ком-

промисс между вентильной сложностью синтезированной схемы и чи-

слом используемых дополнительных входов в схеме.

В настоящей работе были доказаны некоторые асимптотические

оценки вентильной сложности обратимых схем, состоящих из венти-

лей NOT, CNOT и 2-CNOT. Было установлено, что среди всех мини-

мальных обратимых схем, не использующих дополнительные входы,

максимальная вентильная сложность схемы эквивалентна с точностью

до порядка

n

2

n

/

log

2

n

. При этом применение

5

2

n

/n

дополнитель-

ных входов позволяет построить обратимую схему, реализующую за-

данную четную подстановку с вентильной сложностью

.

2

n

+1

.

Направлением дальнейших исследований является изучение зави-

симости вентильной сложности обратимых схем, состоящих из венти-

лей NOT, CNOT и 2-CNOT, от числа используемых в схеме дополни-

тельных входов.

ЛИТЕРАТУРА

1.

Shannon C.E.

The synthesis of two-terminal switching circuits // Bell System

Technical Journal. 1949. Vol. 28. No. 1. С. 59–98.

2.

Яблонский С.В.

Введение в дискретную математику. М.: Наука, 1986. 384 с.

3.

Interlando J.C.

Toward a Theory of One-way Functions via Gate Complexity of

Boolean Functions // Ph. D. Thesis, University of Notre Dame, Indiana, USA, 2006.

100 p.

4.

Feynman R.

Quantum Mechanical Computers // Optic News. 1985. Vol. 11. No. 2.

P. 11–20.

5.

Maslov D.A.

Reversible Logic Synthesis // Ph. D. Thesis, University of New

Brunswick Fredericton, N.B., Canada, 2003. 165 p.

6.

Закаблуков Д.В.

Снижение вентильной сложности обратимых схем без исполь-

зования таблиц эквивалентных замен композиций вентилей // Наука и образова-

ние: Электрон. науч.-техн. издание. 2014. № 3. DOI: 10.7463/0314.0699195 (дата

обращения: 20.04.2014).

80 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2015. № 1