سال انتشار: ۱۳۸۵
محل انتشار: دوازدهمین کنفرانس سالانه انجمن کامپیوتر ایران
تعداد صفحات: ۴
Sina Jafarpour – Department of Computer Engineering, Sharif University of technology, Tehran, Iran
Ray Stevens – Department of Electrical Engineering and Computer Science, Tokyo University of technology, Tokyo, Japan
Lots of efforts in the last decades have been done to prove or disprove whether the set of polynomiallybounded problems is equal to the set of polynomially verifiable problems. This paper will present an overview of the current beliefs of quantum complexity theorists and discussion detail the impacts these beliefs may have on the future of the field. We introduce a new form of Turing machine based on the concepts of quantum mechanics and investigate the domain of this novel definition for computation. The main object is to show the domain of these Computation machines and the new definition of Algorithms using these automata.