To obtain access to full text of journal and articles you must register!
- Article name
- THE PROOF OF THEOREMS BY MEANS OF THE QUANTUM GENERATOR OF TESTS
- Authors
- Pravilshchikov P. A., , pavelp@ipu.ru, Federal State Government-financed Scientific Establishment "Institute of Control Sciences named after V. A. Trapeznikov of RAS, Moscow, Russia
- Keywords
- automatic proof of theorems / quantum computers / quantum accelerators / quantum algorithms / verification problem of programs / problem of formal verification of the LSI / SAT-problem
- Year
- 2015 Issue 4 Pages 32 - 41
- Code EDN
- Code DOI
- Abstract
- The scheme of the quantum generator of tests (QGT) is stated in the article. This scheme is presented by computing model of the quantum accelerator used for the decision of complex problems and, in particular, for the proof of theorems. Logic bases of QGT are considered in [1]. The quantum D-algorithm to which "is adjusted" QGT and rules of calculation of cubic complexes is expounded. The quantum D-algorithm is illustrated by an example of the decision of a problem of the proof of the theorem. In the conclusion the short review of the trends of development of quantum computers (QC) is resulted and also inferences is set forth.
- Text
- To obtain access to full text of journal and articles you must register!
- Buy