معجم حوسبة الكم

Simon’s Algorithm

حقول إضافية

المصطلح الانجليزي	Simon’s Algorithm
التعريف الإنجليزي	Simon's algorithm is a quantum algorithm proposed by Daniel Simon in 1994 that solves a black-box promise problem: given an oracle function f mapping n-bit strings to n-bit strings with the promise that f(x) = f(y) if and only if y = x or y = x ⊕ s for some hidden non-zero string s, the algorithm determines s using only O(n) quantum queries to the oracle, whereas any classical algorithm requires an exponential number of queries in the worst case. It was the first problem proven to admit an exponential separation between quantum and classical query complexity, and its use of quantum parallelism together with linear algebra over GF(2) directly inspired Peter Shor's factoring algorithm.
المصدر	المصدر ↗
التعريب	خوارزمية سايمون
الملاحظة على الترجمة الحرفية	سايمون اسم عالم الحاسوب دانيال سايمون، وليس لفظا وصفيا، لذا يبقى على صيغته الصوتية.
التعريف المترجم	خوارزمية سايمون خوارزمية كمومية اقترحها دانيال سايمون عام 1994 تحل مسألة وعد بصندوق أسود: إذا أعطيت دالة وحي (oracle) f تحول سلاسل من n بت إلى سلاسل من n بت مع الوعد بأن f(x) = f(y) إذا وفقط إذا كان y = x أو y = x ⊕ s لسلسلة مخفية غير صفرية s، فإن الخوارزمية تحدد s بعدد O(n) فقط من الاستعلامات الكمومية، بينما تحتاج أي خوارزمية كلاسيكية إلى عدد أسي من الاستعلامات في أسوأ الحالات. وكانت أول مسألة يثبت فيها فصل أسي بين التعقيد الاستعلامي الكمومي والكلاسيكي، وألهم استخدامها للتوازي الكمومي مع الجبر الخطي على GF(2) خوارزمية شور مباشرة.
شرح إضافي للتوضيح	معنى الشرط أن الدالة تعطي القيمة نفسها لكل زوج من المدخلات يفرق بينهما بالسلسلة السرية s تماما، ولا تعطيها لغير ذلك؛ فهي دالة اثنين إلى واحد تحمل دورا خفيا على Z_2^n، والسؤال ما هو s. كلاسيكيا لا سبيل إلا الاستعلام عن مدخلات كثيرة حتى يظهر تصادم f(x) = f(y) ثم s = x ⊕ y، وهذا يحتاج في أسوأ الحالات إلى نحو 2^(n/2) استعلام. أما كموميا فتهيأ المدخلات كلها في تراكب، وتستعلم الدالة مرة، وتطبق بوابات هادامارد، فيعطي القياس سلسلة عشوائية y تحقق y · s = 0 (بترديد 2)؛ وبتكرار ذلك نحو n مرة تجمع n معادلة خطية مستقلة تحل بالحذف الغاوسي على GF(2) فيستخرج s. والفرق عن خوارزمية برنشتاين-فازيراني أن البنية الخفية هناك خطية فيكفي استعلام واحد، أما هنا فدورية فيلزم عدد خطي من الاستعلامات مقابل عدد أسي كلاسيكيا؛ وهذا الدور الخفي هو ما عممه شور من Z_2^n إلى الأعداد الصحيحة في خوارزمية التحليل.

التأييد أو الاقتراح

هذا الجزء خاص فقط برأيك في التعريب الحالي للمصطلح الانجليزي (Simon’s Algorithm: خوارزمية سايمون)

لتقديم تأييد أو اقتراح جديد، يُرجى تسجيل الدخول.
ولطلب صلاحية، يمكن التواصل مع ممثل جهتك او عبر البريد التالي:contact@quammy.org

👍 تأييدات اللغويين (2)

✅ تأييد أ. بندر محمد الحربي أكتوبر 23, 2026

✅ تأييد م. رنيم عبد الكريم العامري أكتوبر 23, 2026

✍️ اقتراحات اللغويين (0)

لا توجد اقتراحات لغوية بعد.

ملاحظات المستخدمين

هذا الجزء خاص بأي ملاحظة تراها على محتوى المصطلح

📝 ملاحظات اللغويين (0)

لا توجد ملاحظات لغوية بعد.

سجّل الدخول لإضافة ملاحظة.

🔧 مرئيات المختصين التقنيين في مرحلة البناء (مرجع)

ما قدمه المختصون التقنيون في المرحلة الأولى من تأييدات واقتراحات وملاحظات، للاطلاع فقط.

🔧 تأييدات التقنيين — مرحلة البناء (مرجع) (1)

✅ تأييد م. عبدالجبار عبده الصراري يوليو 22, 2026

🔧 اقتراحات التقنيين — مرحلة البناء (مرجع) (0)

لا توجد اقتراحات.

🔧 ملاحظات التقنيين — مرحلة البناء (مرجع) (0)

لا توجد ملاحظات.