An Extended XQDD Representation for Multiple-Valued Quantum Logic

被引：4

作者：

Lu, Chin-Yung ^{[1
,2
]}

Wang, Shiou-An ^{[3
]}

Kuo, Sy-Yen ^{[4
]}

机构：

[1] Natl Taiwan Univ, Grad Inst Elect Engn, Taipei 100, Taiwan

[2] Delin Inst Technol, Dept Elect Engn, Taipei, Taiwan

[3] Delin Inst Technol, Dept Comp Sci & Informat Engn, Taipei 100, Taiwan

[4] Natl Taiwan Univ, Dept Elect Engn, Taipei 10617, Taiwan

来源：

IEEE TRANSACTIONS ON COMPUTERS | 2011年 / 60卷 / 10期

关键词：

Emerging technologies; multiple-valued logic; quantum computing; verification; DECISION DIAGRAMS; SIMULATION;

D O I：

10.1109/TC.2011.114

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

X-decomposition Quantum Decision Diagram (XQDD) can represent a quantum operation and perform matrix operations. It can be used to verify quantum and reversible circuits even if the reversible circuits have different number of garbage qubits. It is efficient in terms of space and time. In this paper, we extend the original XQDD to multiple-valued quantum logic. The extended XQDD can represent a multiple-valued quantum operation and perform matrix operations. It can be used to check the equivalence of two multiple-valued quantum or reversible circuits which are synthesized by different approaches. In this paper, we show that the space in multiple-valued XQDD is less than other representations and it is much better than multiple-valued QuIDD and very close to QMDD in terms of time.

引用

页码：1377 / 1389

页数：13

共 50 条

[31] The International Symposium on Multiple-Valued Logic (ISMVL)
Machida, Hajime
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2012, 18 (02) : 115 - 116
[32] A MINIMIZATION TECHNIQUE FOR MULTIPLE-VALUED LOGIC SYSTEMS
ALLEN, CM
GIVONE, DD
[J]. IEEE TRANSACTIONS ON COMPUTERS, 1968, C 17 (02) : 182 - +
[33] Multiple-valued logic minimization by genetic algorithms
Hata, Y
Hayase, K
Hozumi, T
Kamiura, N
Yamato, K
[J]. 27TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC - 1997 PROCEEDINGS, 1997, : 97 - 102
[34] Multiple-Valued Logic and Its Algebras Foreword
Dvurecensky, Anatolij
Georgescu, George
Iorgulescu, Afrodita
Rudeanu, Sergiu
[J]. JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING, 2010, 16 (3-5) : 219 - 220
[35] Application of neuron MOS in multiple-valued logic
Wang Pengjun
Lu Jingang
Xu Jian
[J]. NEURAL COMPUTING & APPLICATIONS, 2008, 17 (02): : 139 - 143
[36] State assignment techniques in multiple-valued logic
Adams, K.J.
Campbell, J.G.
Maguire, L.P.
Webb, J.A.C.
[J]. Proceedings of The International Symposium on Multiple-Valued Logic, 1999, : 220 - 225
[37] Logic expressions of monotonic multiple-valued functions
Nakashima, K
Nakamura, Y
Takagi, N
[J]. 1996 26TH INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC, PROCEEDINGS, 1996, : 290 - 295
[38] Conquering Uncertainty in Multiple-Valued Logic Design
Denis V. Popel
[J]. Artificial Intelligence Review, 2003, 20 : 419 - 443
[39] SPECIAL ISSUE ON MULTIPLE-VALUED LOGIC - FOREWORD
HIGUCHI, T
[J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 1993, E76D (05) : 525 - 526
[40] DECOMPOSITION OF MULTIPLE-VALUED LOGIC FUNCTIONS.
Fricke, Juergen
[J]. Proceedings of The International Symposium on Multiple-Valued Logic, 1978, : 208 - 212

← 1 2 3 4 5 →