مساله صدق پذیری و ماشین تورینگ کوانتومی تعمیم یافته
سال انتشار: 1391
نوع سند: مقاله کنفرانسی
زبان: فارسی
مشاهده: 1,980
فایل این مقاله در 7 صفحه با فرمت PDF قابل دریافت می باشد
- صدور گواهی نمایه سازی
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
LNCSE02_174
تاریخ نمایه سازی: 6 اسفند 1391
چکیده مقاله:
برای بررسی محاسبه پذیری و پیچیدگی محاسباتی کوانتومی، نیاز به ارائه مدلی از رایانش کوانتومی است که می توان به مدل های ماشین تورینگ کوانتومی، مدار کوانتومی و ماشین تورینگ کوانتومی تعمیم یافته اشاره کرد. در مقایسهمدل های تورینگ کوانتومی و تورینگ کوانتومی تعمیم یافته، مشاهده می شود که ماشین تورینگ کوانتومی نمی تواند برای مسائل-NP کامل در مدل جعبه سیاه نسبت به مدل های کلاسیک محاسباتی، تسریعی در حد نمایی ایجادکند در صورتی که یک ماشین تورینگ کوانتومی تعمیم یافته غیرخطی، چنین امکانی را فراهم می آورد. از طرف دیگر، با توجه به اینکه ماشین تورینگکوانتومی تعمیم یافته دارای رفتار غیر خطی است و مکانیک کوانتومی تا به امروز در آزمایش های متعدد با دقت بالا، رفتار خطی از خود نشان داده است می توان نتیجه گرفت که حل مسائلNP کامل در زمان چندجمله ای در مدل جعبه سیاه، نیاز به برخی اصول فیزیکی غیر متعارف دارد و از این رو، باید از ساختار این مسائل برای حل آن ها پرداخت. در این مقاله توان محاسباتی ماشین تورینگ کوانتومی و ماشین تورینگ کوانتومی تعمیم یافته مورد بررسی قرارگرفته و با یکدیگر در مدل جعبه سیاه برای حل مسائل ردهNP کامل مقایسه شده اند
کلیدواژه ها:
محاسبات کوانتومی ، مسائلNP -کامل ، سامانه های آشوب ، ماشین تورینگ کوانتومی تعمیم یافته ، مساله صدق پذیری ، روش تهاجمی کوانتومی ، مساله جستجوی بدون ساختار
نویسندگان
علی شکیبا
آزمایشگاه پردازش اطلاع کوانتومی و رمزنگاری، دانشگاه یزد، ایران
محمدرضا هوشمند اصل،
دانشکده ریاضی، دانشگاه یزد، ایران
مراجع و منابع این مقاله:
لیست زیر مراجع و منابع استفاده شده در این مقاله را نمایش می دهد. این مراجع به صورت کاملا ماشینی و بر اساس هوش مصنوعی استخراج شده اند و لذا ممکن است دارای اشکالاتی باشند که به مرور زمان دقت استخراج این محتوا افزایش می یابد. مراجعی که مقالات مربوط به آنها در سیویلیکا نمایه شده و پیدا شده اند، به خود مقاله لینک شده اند :