
A quantum algorithm is a step-by-step procedure designed to run on quantum computers to solve problems efficiently.تستغل الخوارزميات الكمومية ثلاث موارد رئيسية: التوازي الكمومي (التراكب)، والتشابك الكمومي، وتداخل المطالات. بدلاً من تعداد الخيارات، تحول تراكب كل المعطيات بحيث يعزز التداخل البناء في النهاية مطال الإجابة الصحيحة، وتُلغى المعلومات الخاطئة بعضها بعضًا. غالبًا ما تقاس الكفاءة بعدد الاستعلامات الموجهة إلى العرّاف - 'الصندوق الأسود' الذي يتحقق من الحل.
وضع الأسس النظرية ريتشارد فاينمان عام 1982، مشيرًا إلى صعوبة محاكاة الأنظمة الكمومية كلاسيكيًا. وفي عام 1985 صاغ ديفيد دويتش مفهوم آلة تورنغ الكمومية وقدم أول مثال لخوارزمية كمومية تحتاج استعلامات أقل للعرّاف. وفي 1992 عممها دويتش وريتشارد جوزا، مظهرين تفوقًا أسيًا. وفي 1994 طور بيتر شور خوارزمية التحليل، ثم في 1996 اقترح لوف غروفر خوارزمية تسريع البحث تربيعيًا. وكما أسلفنا، فإن مصطلح الخوارزمية مشتق من اسم الخوارزمي، مما يبرز إسهام الحضارة الإسلامية في هذا المجال.
تتألف الخوارزمية الكمومية النموذجية من أربع مراحل: تهيئة المسجل في تراكب جميع الحالات المدخلة (مثلاً تحويل هادامار)، وتطبيق العرّاف (الحساب الكمومي للدالة)، وتضخيم الحل الصحيح (مثلاً إجراء غروفر أو تحويل فورييه الكمومي)، والقياس. يتحقق التسريع لأن العمليات الكمومية تؤثر على المطالات لا الاحتمالات، ولأن عدد الحالات الممكنة يزداد أسيًا مع عدد الكيوبتات.
تخترق خوارزمية شور أنظمة التشفير الحديثة؛ وتسرّع خوارزمية غروفر البحث في قواعد البيانات غير المرتبة؛ وتعد الحوسبة الكمومية بتحقيق اختراقات في نمذجة المواد والأدوية.
مسألة سيمون (إيجاد نمط خفي في صندوق أسود)، التي تحلها الحواسيب الكمومية بسرعة أسية، ألهمت مباشرة بيتر شور لابتكار خوارزمية التحليل إلى عوامل - تفكيك عدد إلى عوامله الأولية.






















