سنتز منطقی چندهدفه مدارهای کوانتومی

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

multiobjective logic synthesis of quantum circuits

quantum computing is a new method of information processing that is based on the concepts of quantum mechanics and leads to strange and powerful events in the quantum field. the logic synthesis of quantum circuits refers to the process of converting a given quantum gate into a set of gates that can be implemented in quantum technologies. the most famous logic synthesis methods are csd and qsd. the main goal of this study is to present a multiobjective logical synthesis method combining the above two methods in the quantum circuit model with the aim of optimizing the evaluation criteria. in this proposed method, the solution space is created from different combinations of csd and qsd decomposition methods. the created solution space is a space with a very large exponential size. then, using a bottomup approach of multiobjective dynamic programming, a method is presented to search only a part of the entire solution space to find circuits with the optimal pareto costs. the obtained results show that this method creates a balance between the evaluation criteria and produces many optimal pareto solutions that can be selected according to different quantum technologies.