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