Searching for quantum programs and quantum protocols

被引：0
|
作者：
Stepney, Susan [1 ]
Clark, John A. [1 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
来源：
JOURNAL OF COMPUTATIONAL AND THEORETICAL NANOSCIENCE | 2008年 / 5卷 / 05期
关键词：
quantum algorithms; heuristic search; evolutionary algorithms;
D O I：
暂无
中图分类号：
O6 [化学];
学科分类号：
0703 ;
摘要：
We review how computational search techniques inspired by biological evolution have been used to discover quantum circuits and quantum algorithms. We discuss issues in representing quantum artefacts in a form suitable for evolutionary search, various quantum artefacts that have been discovered through evolutionary search, and future prospects for this approach.
引用
收藏
页码：942 / 969
页数：28
相关论文
共 50 条
  • [1] Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
    Jort Martinus Bergfeld
    Joshua Sack
    Soft Computing, 2017, 21 : 1421 - 1441
  • [2] Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs
    Bergfeld, Jort Martinus
    Sack, Joshua
    SOFT COMPUTING, 2017, 21 (06) : 1421 - 1441
  • [3] QPMC: A Model Checker for Quantum Programs and Protocols
    Feng, Yuan
    Hahn, Ernst Moritz
    Turrini, Andrea
    Zhang, Lijun
    FM 2015: FORMAL METHODS, 2015, 9109 : 265 - 272
  • [4] Quantum computing - Searching a quantum phone book
    Brassard, G
    SCIENCE, 1997, 275 (5300) : 627 - 628
  • [5] Searching for quantum speedup in quasistatic quantum annealers
    Amin, Mohammad H.
    PHYSICAL REVIEW A, 2015, 92 (05):
  • [6] Searching for signatures of quantum gravity in quantum gases
    Haine, Simon A.
    NEW JOURNAL OF PHYSICS, 2021, 23 (03):
  • [7] Searching with quantum computers
    Grover, LK
    DR DOBBS JOURNAL, 2001, 26 (04): : 34 - +
  • [8] Quantum searching as a resonance
    Oshima, K
    JOURNAL OF THE KOREAN PHYSICAL SOCIETY, 2003, 43 (05) : 661 - 662
  • [9] Quantum correlations for quantum key distribution protocols
    Curty, M
    Gühnet, O
    Lewenstein, M
    Lütkenhaus, N
    QUANTUM COMMUNICATION, MEASUREMENT AND COMPUTING, 2004, 734 : 307 - 310
  • [10] Design of Quantum Communication Protocols in Quantum Cryptography
    Alhayani, Bilal A.
    AlKawak, Omar A.
    Mahajan, Hemant B.
    Ilhan, Haci
    Qasem, Roa'a Mohammed
    WIRELESS PERSONAL COMMUNICATIONS, 2023,
12345