لیلا ملک - دانشجوی کارشناسی ارشد مهندسی کامپیوتر، دانشگاه آزاد ورامین(پیشوا)

محاسبات کوانتومی شاخه ای از علم است که در آن به بررسی الگوریتم های کوانتومی و سخت افزارهای کوانتومی مورد نیاز برای پیاده سازی عملی آنها پرداخته می شود. پیچیدگی های محاسباتی بر اساس مدل های متفاوتی مطرح می شوند ، اما مهمترین اصل مورد استفاده در این الگوریتم ها دست یافتن به کارآیی بهتر نسبت به معادل های کلاسیک است. برگشت پذیری در محاسبات بطور ضمنی بیان می کند که هیچ اطلاعاتی راجع به حالتهای محاسباتی از دست نمی رود بنابراین ما می توانیم اطلاعات را دوباره بازیافت کنیم که تحت عنوان تغییرپذیری منطقی نامیده می شود. تغییر پذیری فیزیکی هم بدین معنی است که هیچ انرژی با گرما از بین نمی رود.محاسبات برگشت پذیر به سختی طراحی های منطقی دیجیتالی را تحت تاثیر قرار می دهد عنصر های آن نیاز دارندکه حالت های ورودی از خروجی برگردد و به مجموعه دستورالعمل های برنامه نویسی سطح بالا نیاز دارد.در این مقاله در ابتدا در مورد الگوریتم های برگشت پذیر کلاسیک بحث خواهد شد و در ادامه کاربرد الگوریتم ها درزبانهای برنامه نویسی برگشت پذیرمورد بررسی قرار می گیرد.

الگوریتم های برگشت پذیر ، زبان های برنامه نویسی برگشت پذیر ، کامپیوترهای کوانتومی