1مختبر الذكاء الاصطناعي الكمومي (كويل) ، مركز أبحاث ناسا أميس ، موفيت فيلد ، كاليفورنيا 94035 ، الولايات المتحدة الأمريكية
2معهد أبحاث USRA لعلوم الكمبيوتر المتقدمة (RIACS) ، ماونتن فيو ، كاليفورنيا 94043 ، الولايات المتحدة الأمريكية
3مركز بيركلي للمعلومات والحساب الكمي ، جامعة كاليفورنيا ، بيركلي ، كاليفورنيا 94720 ، الولايات المتحدة الأمريكية
تجد هذه الورقة مثيرة للاهتمام أو ترغب في مناقشة؟ Scite أو ترك تعليق على SciRate.
ملخص
البرمجة القيدية (CP) هي نموذج يستخدم لنمذجة وحل مشاكل رضا القيد والتحسين التوافقي. في الإنتاج الأنظف ، يتم نمذجة المشكلات بالقيود التي تصف الحلول المقبولة ويتم حلها باستخدام البحث الشجري التراجعي المعزز بالاستدلال المنطقي. في هذا البحث ، نوضح كيف يمكن للخوارزميات الكمومية أن تسرع الإنتاج الأنظف على مستويي الاستدلال والبحث. بالاستفادة من الخوارزميات الكمومية الحالية ، قدمنا خوارزمية تصفية معجلة الكم للقيود العالمية $ texttt {alldifferent} $ وناقشنا قابليتها للتطبيق على مجموعة أكبر من القيود العالمية ذات البنية المماثلة. نقترح أطرًا لتكامل خوارزميات التصفية الكمومية في كل من مخططات البحث الكلاسيكية والكمية ، بما في ذلك طريقة بحث رجعية هجينة كلاسيكية-كمومية جديدة. يشير هذا العمل إلى أن CP هو تطبيق مرشح واعد لأجهزة الكمبيوتر الكمومية التي تتحمل الأخطاء في وقت مبكر وما بعدها.
صورة مميزة: في برمجة القيد (CP) ، يتم حل المشكلات من خلال البحث عن شجرة التراجع عن طريق الاستدلال المنطقي. يمكن استخدام خوارزميات الكم لتسريع عملية الاستدلال التي يتم إجراؤها في كل عقدة في الشجرة. يمكن بعد ذلك دمج خوارزميات الاستدلال الكمي هذه في مخططات البحث الشجري التراجعية الكلاسيكية ، أو الكمومية بالكامل ، أو الجزئية (أعلاه). تنتج مخططات التراجع الكمي جزئيًا تسريعًا لأقسام أصغر من الشجرة ، مخصصة للأجهزة الكمومية المبكرة والمحدودة بشكل أكبر من الموارد.
► بيانات BibTeX
ferences المراجع
[1] فرانشيسكا روسي وبيتر فان بيك وتوبي والش. كتيب برمجة القيد. إلسفير ، 2006. ISBN 9780080463803.
[2] فيليب بابتيست ، كلود لو باب ، ويم نويجتن. الجدولة القائمة على القيود: تطبيق برمجة القيد على مشاكل الجدولة ، المجلد 39. Springer Science & Business Media، 2001. 10.1007 / 978-1-4615-1479-4.
https://doi.org/10.1007/978-1-4615-1479-4
[3] فيليب لابوري وجيروم روجيري وبول شو وبيتر فيليم. مُحسِّن IBM ILOG CP للجدولة. القيود ، 23 (2): 210-250 ، 2018. 10.1007 / s10601-018-9281-x.
الشبكي: / / doi.org/ 10.1007 / s10601-018-9281-X
[4] بيتر فان بيك. التراجع عن خوارزميات البحث. في أسس الذكاء الاصطناعي ، المجلد الثاني ، الصفحات 2-85. إلسفير، 134. 2006 / S10.1016-1574 (6526) 06-80008.
https://doi.org/10.1016/S1574-6526(06)80008-8
[5] باسكال فان هنتنك ولوران ميشيل. البحث المحلي القائم على القيود. مطبعة معهد ماساتشوستس للتكنولوجيا ، 2009. ISBN 026251348X.
[6] جوستاف بيوردال وجان نويل مونيت وبيير فلير وجوستين بيرسون. خلفية بحث محلية قائمة على القيد لـ MiniZinc. القيود ، 20 (3): 325–345 ، 2015. 10.1007 / s10601-015-9184-z.
الشبكي: / / doi.org/ 10.1007 / s10601-015-9184 زي
[7] أرمين بيير ومارين هيول وهانس فان مارين. كتيب الرضا ، المجلد 185. مطبعة IOS ، 2009. ISBN 1586039296.
[8] لورانس إيه وولسي. البرمجة الصحيحة ، المجلد 52. John Wiley & Sons ، 1998. ISBN 0471283665.
[9] جان شارل ريجين. خوارزمية ترشيح لقيود الاختلاف في CSPs. في وقائع المؤتمر الوطني الثاني عشر للذكاء الاصطناعي (AAAI-1994) ، الصفحات 362-367. AAAI Press ، 1994. URL https: / / www.aaai.org/ Papers / AAAI / 1994 / AAAI94-055.pdf.
https: / / www.aaai.org/ Papers / AAAI / 1994 / AAAI94-055.pdf
[10] Radosław Cymer. التحلل الكنسي Dulmage-Mendelsohn كأسلوب تقليم عام. القيود ، 17 (3): 234-272 ، 2012. 10.1007 / s10601-012-9120-4.
https://doi.org/10.1007/s10601-012-9120-4
[11] كلود جاي كويمبر وأليخاندرو لوبيز أورتيز وبيتر فان بيك وألكسندر جولينسكي. خوارزميات محسنة لقيد العلاقة الأساسية العالمية. في مبادئ وممارسات البرمجة القيدية (CP-2004) ، صفحات 542-556. سبرينغر ، 2004. 10.1007 / 978-3-540-30201-8_40.
https://doi.org/10.1007/978-3-540-30201-8_40
[12] نيكولاس بيلديسينو ، ماتس كارلسون ، صوفي ديماسي ، وتيري بيتي. كتالوج القيد العالمي: الماضي والحاضر والمستقبل. القيود ، 12 (1): 21-62 ، 2007. 10.1007 / s10601-006-9010-8.
https://doi.org/10.1007/s10601-006-9010-8
[13] سيباستيان دورن. خوارزميات الكم لمطابقة المشاكل. نظرية أنظمة الحوسبة ، 45 (3): 613-628 ، 2009. 10.1007 / s00224-008-9118-x.
الشبكي: / / doi.org/ 10.1007 / s00224-008-9118-X
[14] لوف ك جروفر. خوارزمية ميكانيكية الكم سريعة للبحث عن قاعدة البيانات. في وقائع ندوة ACM السنوية الثامنة والعشرون حول نظرية الحوسبة (STOC-1996) ، الصفحات 212-219. جمعية ماكينات الحوسبة ، 1996. 10.1145 / 237814.237866.
الشبكي: / / doi.org/ 10.1145 / 237814.237866
[15] اشلي مونتانارو. تسريع السير الكمي لخوارزميات التراجع. نظرية الحوسبة ، 14 (15): 1-24 ، 2018. 10.4086 / toc.2018.v014a015.
الشبكي: / / doi.org/ 10.4086 / toc.2018.v014a015
[16] مايكل جاريت وكيانا وان. تحسين خوارزميات التراجع الكمي باستخدام تقديرات المقاومة الفعالة. فيز. القس أ ، 97: 022337 ، فبراير 2018. 10.1103 / PhysRevA.97.022337.
الشبكي: / / doi.org/ 10.1103 / PhysRevA.97.022337
[17] كايل إي سي بوث ، مينه دو ، جي كريستوفر بيك ، إليانور ريفيل ، دافيد فينتوريلي ، وجيريمي فرانك. مقارنة ودمج برمجة القيد والتخطيط الزمني لتجميع الدوائر الكمومية. في وقائع المؤتمر الدولي الثامن والعشرين للتخطيط الآلي والجدولة (ICAPS-2018) ، الصفحات 366-374. AAAI Press، 2018. URL https: / / arxiv.org/ abs / 1803.06775.
أرخايف: 1803.06775
[18] كايل إي سي بوث ، بريان أوغورمان ، جيفري مارشال ، ستيوارت هادفيلد ، وإليانور ريفيل. تصفية القيد العالمي المعجل الكمي. في مبادئ وممارسات البرمجة القيدية (CP-2020) ، الصفحات 72-89. سبرينغر ، 2020. 10.1007 / 978-3-030-58475-7_5.
https://doi.org/10.1007/978-3-030-58475-7_5
[19] ويليم جان فان هوف وإيريت كاتريل. القيود العالمية. في أسس الذكاء الاصطناعي ، المجلد الثاني ، الصفحات 2-169. إلسفير، 208. 2006 / S10.1016-1574 (6526) 06-80010.
https://doi.org/10.1016/S1574-6526(06)80010-6
[20] لوران بيرون. بحوث العمليات وبرمجة القيد في جوجل. في مبادئ وممارسات البرمجة القيدية (CP-2011) ، الصفحات 2-2. سبرينغر ، 2011. 10.1007 / 978-3-642-23786-7_2.
https://doi.org/10.1007/978-3-642-23786-7_2
[21] نيكولاس نيثركوت ، وبيتر جيه ستوكي ، ورالف بيكيت ، وسيباستيان براند ، وجريجوري جيه داك ، وجويدو تاك. MiniZinc: نحو لغة نمذجة CP قياسية. في مبادئ وممارسات البرمجة القيدية (CP-2007) ، صفحات 529-543. سبرينغر ، 2007. 10.1007 / 978-3-540-74970-7_38.
https://doi.org/10.1007/978-3-540-74970-7_38
[22] كريستيان شولت ، ميكائيل لاجركفيست ، وجويدو تاك. Gecode: بيئة تطوير قيود عامة ، 2019. URL https: / / www.gecode.org.
https: / / www.gecode.org
[23] جيفري تشو ، وبيتر جيه.ستوكي ، وأندرياس شوت ، وتورستن إيلرس ، وغرايم جانج ، وكاثرين فرانسيس. Chuffed ، أداة حل مشكلة في إنشاء الجملة البطيئة ، 2019. URL https: / / www.github.com/ chuffed / chuffed.
https: / / www.github.com/ chuffed / chuffed
[24] دانيال دافارنيا وجون إن هوكر. الاتساق لبرمجة 0-1. في المؤتمر الدولي حول تكامل برمجة القيد والذكاء الاصطناعي وبحوث العمليات (CPAIOR-2019) ، الصفحات 225-240. سبرينغر ، 2019. 10.1007 / 978-3-030-19212-9_15.
https://doi.org/10.1007/978-3-030-19212-9_15
[25] آلان ك. ماكوورث. الاتساق في شبكات العلاقات. الذكاء الاصطناعي ، 8 (1): 99-118 ، 1977. 10.1016 / 0004-3702 (77) 90007-8.
https://doi.org/10.1016/0004-3702(77)90007-8
[26] ويليم جان فان هوف. القيد البديل: مسح. arXiv: cs / 0105015، 2001. URL https: / / arxiv.org/ abs / cs / 0105015.
arXiv: CS / 0105015
[27] لوك مرسيه وباسكال فان هنتنك. إيجاد الحافة للجدولة التراكمية. مجلة INFORMS للحوسبة ، 20 (1): 143-153 ، 2008. 10.1287 / ijoc.1070.0226.
https: / / doi.org/ 10.1287 / ijoc.1070.0226
[28] بيتر فيليم. خوارزمية ترشيح تحديد الحافة للموارد التراكمية المنفصلة في $ mathcal {O} (kn log n) $. في مبادئ وممارسات البرمجة القيدية (CP-2009) ، صفحات 802-816. سبرينغر ، 2009. 10.1007 / 978-3-642-04244-7_62.
https://doi.org/10.1007/978-3-642-04244-7_62
[29] هيلموت سيمونيس. سودوكو كمشكلة قيد. في ورشة عمل CP حول النمذجة وإعادة صياغة مشاكل الرضا عن القيود ، المجلد 12 ، الصفحات 13-27 ، 2005.
[30] تاكايوكي ياتو وتاكاهيرو سيتا. تعقيد واكتمال إيجاد حل آخر وتطبيقه على الألغاز. IEICE Trans. الأساسيات ، 86 (5): 1052-1060 ، 2003.
[31] روبرت إي بيكسبي. تاريخ موجز لحساب البرمجة الخطي والمختلط. Documenta Mathematica ، الحجم الإضافي: قصص التحسين: 107-121 ، 2012.
[32] أليساندرا دي بييرو وهربرت ويكليكي. برمجة القيد الكمي. في المؤتمر المشترك حول البرمجة التصريحية (APPIA-GULP-PRODE-2001) ، الصفحات 113-130 ، 2001.
[33] ريتشارد كليف ، أرتور إكيرت ، كيارا ماكيافيللو ، وميشيل موسكا. إعادة النظر في الخوارزميات الكمومية. بروك. R. Soc. لوند. A.، 454 (1969): 339–354، 1998. 10.1098 / rspa.1998.0164.
الشبكي: / / doi.org/ 10.1098 / rspa.1998.0164
[34] آيجا بيرزينا ، وأندريه دوبروفسكي ، وروزين فريفالدز ، وليدي لايس ، وأوكسانا سيجولناجا. تعقيد الاستعلام الكمي لبعض مشاكل الرسم البياني. في النظرية والتطبيق في علوم الكمبيوتر (SOFSEM-2004) ، الصفحات 140-150. سبرينغر ، 2004. 10.1007 / 978-3-540-24618-3_11.
https://doi.org/10.1007/978-3-540-24618-3_11
[35] كريستوف دور ومارك هيليغمان وبيتر هوير ومهدي محلا. تعقيد الاستعلام الكمي لبعض مشاكل الرسم البياني. مجلة SIAM للحوسبة ، 35 (6): 1310-1328 ، 2006. 10.1137 / 050644719.
الشبكي: / / doi.org/ 10.1137 / 050644719
[36] بارثولوميو ثرو. مجموعة من الخوارزميات الكمومية. معلومات الكم والحساب ، 8 (8): 834-859 ، 2008. URL https: / / arxiv.org/ abs / quant-ph / 0606127.
أرخايف: ضليع في الرياضيات، وعل / 0606127
[37] فوي كاي وساتوشي تايو وشويتشي أوينو. على تعقيد الاستعلام الكمي لجميع أزواج أقصر المسارات. في وقائع المؤتمر العام IEICE 2007 ، 2007.
[38] سيدريك ين يو لين وهان هسوان لين. الحدود العليا على تعقيد الاستعلام الكمي مستوحى من جهاز اختبار القنابل Elitzur-Vaidman. في المؤتمر الثلاثين حول التعقيد الحسابي (CCC-30) ، إجراءات Leibniz الدولية في المعلوماتية (LIPIcs) ، الصفحات 2015-537. Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik، 566. 2015 / LIPIcs.CCC.10.4230.
الشبكي: / / doi.org/ 10.4230 / LIPIcs.CCC.2015.537
[39] شنغيو تشانغ. على قوة حدود Ambainis الدنيا. علم الحاسوب النظري ، 339 (2-3): 241-256 ، 2005. 10.1016 / j.tcs.2005.01.019.
الشبكي: / / doi.org/ 10.1016 / j.tcs.2005.01.019
[40] أندريس أمبينيس وروبرت شبالك. الخوارزميات الكمومية للمطابقة وتدفق الشبكة. في الندوة السنوية حول الجوانب النظرية لعلوم الكمبيوتر (STACS-2006) ، الصفحات 172–183. سبرينغر ، 2006. 10.1007 / 11672142_13.
الشبكي: / / doi.org/ 10.1007 / 11672142_13
[41] سلمان بيجي وليلى تقوي. تسريع الكم على أساس أشجار القرار الكلاسيكي. الكم ، 4: 241 ، 2020 / q-10.22331-2020-03-02.
https://doi.org/10.22331/q-2020-03-02-241
[42] شيلبي كيميل و آر تيل ويتر. خوارزمية كمية فعالة في الاستعلام لتحقيق أقصى قدر من المطابقة على الرسوم البيانية العامة. في ورشة عمل حول الخوارزميات وهياكل البيانات (WADS-2021) ، الصفحات 543-555. سبرينغر ، 2021. 10.1007 / 978-3-030-83508-8_39.
https://doi.org/10.1007/978-3-030-83508-8_39
[43] فرناندو جي إس إل برانداو وكريستا إم سفور. تسريع كمي لحل البرامج شبه المحددة. في الندوة السنوية الثامنة والخمسين حول أسس علوم الكمبيوتر (FOCS-58) ، الصفحات 2017-415. IEEE، 426. 2017 / FOCS.10.1109.
الشبكي: / / doi.org/ 10.1109 / FOCS.2017.45
[44] يوران فان أبلدورن ، وأندراس جيلين ، وساندر جريبلينج ، ورونالد دي وولف. مذيبات SDP الكمومية: حدود علوية وسفلية أفضل. الكم ، 4: 230 ، 2020. 10.22331 / q-2020-02-14-230.
https://doi.org/10.22331/q-2020-02-14-230
[45] جياكومو نانيشيني. الإجراءات الفرعية الكمومية السريعة للطريقة البسيطة. في البرمجة الصحيحة والتحسين التجميعي (IPCO-2021) ، الصفحات 311-325. سبرينغر ، 2021. 10.1007 / 978-3-030-73879-2_22.
https://doi.org/10.1007/978-3-030-73879-2_22
[46] اشلي مونتانارو. التسريع الكمي لخوارزميات الفروع والمحددة. بحوث المراجعة الفيزيائية ، 2 (1): 013056 ، 2020. 10.1103 / PhysRevResearch.2.013056.
الشبكي: / / doi.org/ 10.1103 / PhysRevResearch.2.013056
[47] أندريس أمبينيس ومارتينز كوكينس. خوارزمية كم لتقدير حجم الشجرة ، مع تطبيقات للتراجع وألعاب ثنائية اللاعبين. في وقائع ندوة ACM السنوية التاسعة والأربعين حول نظرية الحوسبة (STOC-2) ، الصفحات 49-2017. جمعية ماكينات الحوسبة ، 989. 1002 / 2017.
الشبكي: / / doi.org/ 10.1145 / 3055399.3055444
[48] س. أرورا وب. باراك. التعقيد الحسابي: نهج حديث. مطبعة جامعة كامبريدج ، 2009. ISBN 9781139477369.
[49] إليانور جي ريفيل وولفجانج إتش بولاك. الحوسبة الكمومية: مقدمة لطيفة. مطبعة معهد ماساتشوستس للتكنولوجيا ، 2011. ISBN 9780262015066.
[50] فيتوريو جيوفانيتي وسيث لويد ولورينزو ماكوني. ذاكرة الوصول العشوائي الكم. خطابات المراجعة المادية ، 100 (16): 160501 ، 2008. 10.1103 / PhysRevLett.100.160501.
الشبكي: / / doi.org/ 10.1103 / PhysRevLett.100.160501
[51] N Jiang و YF Pu و W Chang و C Li و S Zhang و LM Duan. التحقيق التجريبي لذاكرة كمومية ذات وصول عشوائي 105 كيلوبت. معلومات الكم npj ، 5 (1): 1–6 ، 2019. 10.1038 / s41534-019-0144-0.
https://doi.org/10.1038/s41534-019-0144-0
[52] OD Matteo و V. Gheorghiu و M. Mosca. تقدير الموارد المتسامح مع الأخطاء لذاكرة الوصول العشوائي الكمومية. معاملات IEEE في هندسة الكم ، 1: 1-13 ، 2020. 10.1109 / TQE.2020.2965803.
https: / / doi.org/ 10.1109 / TQE.2020.2965803
[53] سرينيفاسان أروناشالام ، فلاد جورغيو ، توماس جوتشيم أوكونور ، ميشيل موسكا ، وبريا فارشين سرينيفاسان. على متانة دلو لواء الكبش الكمي. المجلة الجديدة للفيزياء ، 17 (12): 123010 ، 2015. 10.1088 / 1367-2630 / 17/12/123010.
https://doi.org/10.1088/1367-2630/17/12/123010
[54] إيان بي جينت وإيان ميغيل وبيتر نايتينجيل. اتساق القوس المعمم للقيود الأخرى: مسح تجريبي. الذكاء الاصطناعي ، 172 (18): 1973-2000 ، 2008. 10.1016 / j.artint.2008.10.006.
https: / / doi.org/ 10.1016 / j.artint.2008.10.006
[55] Xizhe Zhang و Qian Li و Weixiong Zhang. خوارزمية سريعة لاتساق القوس المعمم للقيد البديل. في المؤتمر الدولي المشترك حول الذكاء الاصطناعي (IJCAI-2018) ، الصفحات 1398-1403 ، 2018. 10.24963 / ijcai.2018 / 194.
https: / / doi.org / 10.24963 / ijcai.2018 / 194
[56] جون إي هوبكروفت وريتشارد إم كارب. خوارزمية $ n ^ {5/2} $ للحد الأقصى من المطابقات في الرسوم البيانية ثنائية الأجزاء. مجلة SIAM للحوسبة ، 2 (4): 225-231 ، 1973. 10.1137 / 0202019.
الشبكي: / / doi.org/ 10.1137 / 0202019
[57] سيلفيو ميكالي وفيجاي فازيراني. خوارزمية O ($ sqrt {| V |} | E | $) للعثور على أقصى تطابق في الرسوم البيانية العامة. في الندوة السنوية الحادية والعشرون حول أسس علوم الكمبيوتر (FOCS-21) ، الصفحات 1980-17. IEEE، 27. 1980 / SFCS.10.1109.
الشبكي: / / doi.org/ 10.1109 / SFCS.1980.12
[58] Vijay V Vazirani. تبسيط خوارزمية مطابقة الجهد المتوسط وإثباتها. arXiv: 1210.4594 [cs.DS] ، 2012. URL https: / / arxiv.org/ abs / 1210.4594.
أرخايف: 1210.4594
[59] مارسين موتشا وبيوتر سانكوفسكي. الحد الأقصى من المطابقات عن طريق القضاء على Gaussian. في الندوة السنوية الخامسة والأربعين حول أسس علوم الكمبيوتر (FOCS-45) ، الصفحات 2004-248. IEEE، 255. 2004 / FOCS.10.1109.
الشبكي: / / doi.org/ 10.1109 / FOCS.2004.40
[60] أوسكار إيبارا وشلومو موران. الخوارزميات الحتمية والاحتمالية لمطابقة ثنائية الأطراف القصوى عن طريق ضرب المصفوفة السريع. رسائل معالجة المعلومات ، 13 (1): 12-15 ، 1981. 10.1016 / 0020-0190 (81) 90142-3.
https://doi.org/10.1016/0020-0190(81)90142-3
[61] جوش ألمان وفيرجينيا فاسيليفسكا ويليامز. طريقة ليزر مكررة وضرب مصفوفة أسرع. في ندوة ACM-SIAM حول الخوارزميات المنفصلة (SODA-2021) ، الصفحات 522-539. سيام ، 2021. 10.1137 / 1.9781611976465.32.
الشبكي: / / doi.org/ 10.1137 / 1.9781611976465.32
[62] هيلموت ألت ونوربرت بلوم وكيرت ميهلهورن وماركوس بول. حساب أقصى عدد من المطابقة في رسم بياني ثنائي الأجزاء في الوقت $ O (n ^ {1.5} m log n) $. رسائل معالجة المعلومات ، 37 (4): 237-240 ، 1991. 10.1016 / 0020-0190 (91) 90195-N.
https://doi.org/10.1016/0020-0190(91)90195-N
[63] جان فان دن براند ، يين تات لي ، دانوبون نانونجكاي ، ريتشارد بينج ، ثاتشافول سارانوراك ، آرون سيدفورد ، تشاو سونج ، ودي وانج. تطابق ثنائي في وقت خطي تقريبًا على رسوم بيانية معتدلة الكثافة. في الندوة السنوية 61 حول أسس علوم الكمبيوتر (FOCS-2020) ، الصفحات 919-930. IEEE، 2020. 10.1109 / FOCS46700.2020.00090.
https: / / doi.org/10.1109 / FOCS46700.2020.00090
[64] روبرت تارجان. بحث العمق أولا وخوارزميات الرسم البياني الخطي. مجلة SIAM للحوسبة ، 1: 146-160 ، 1972. 10.1137 / 0201010.
الشبكي: / / doi.org/ 10.1137 / 0201010
[65] كلود بيرج. الرسوم البيانية والرسوم البيانية. شمال هولندا ، 1973. ISBN 9780444876034.
[66] ميشيل بوير وجيل براسار وبيتر هوير وآلان تاب. قيود مشددة على البحث الكمي. Fortschritte der Physik: Progress of Physics، 46 (4-5): 493–505، 1998. 10.1002 / (SICI) 1521-3978 (199806) 46: 4/5 <493 :: AID-PROP493> 3.0.CO ؛ 2-ص.
[67] A. Ambainis. خوارزميات البحث الكمي. أخبار ACM SIGACT، 35 (2): 22–35، 2004. 10.1145 / 992287.992296.
الشبكي: / / doi.org/ 10.1145 / 992287.992296
[68] Radosław Cymer. تحلل Gallai-edmonds كأسلوب تقليم. مجلة وسط أوروبا لبحوث العمليات ، 23 (1): 149-185 ، 2015. 10.1007 / s10100-013-0309-4.
https://doi.org/10.1007/s10100-013-0309-4
[69] أندرو إل دولماج وناثان إس مينديلسون. أغطية الرسوم البيانية ثنائية الأجزاء. المجلة الكندية للرياضيات ، 10: 517-534 ، 1958. 10.4153 / CJM-1958-052-0.
https: / / doi.org/ 10.4153 / CJM-1958-052-0
[70] جاك ادموندز. المسارات والأشجار والزهور. المجلة الكندية للرياضيات ، 17: 449-467 ، 1965. 10.4153 / CJM-1965-045-4.
https: / / doi.org/ 10.4153 / CJM-1965-045-4
[71] جيه ايه بوندي ويو اس ار مورتي. نظرية الرسم البياني مع التطبيقات. ماكميلان ، 1977. ISBN 9780333226940.
[72] ألكسندر بيلوفس. المشي الكمي والشبكات الكهربائية. arXiv: 1302.3143 [quant-ph] ، 2013. URL https: / / arxiv.org/ abs / 1302.3143.
أرخايف: 1302.3143
[73] إيرل كامبل وأنكور كورانا وآشلي مونتانارو. تطبيق الخوارزميات الكمومية لتقييد مشاكل الرضا. الكم ، 3: 167 ، 2019. 10.22331 / q-2019-07-18-167.
https://doi.org/10.22331/q-2019-07-18-167
[74] ماتيس رينيلا ، وألفونس لارمان ، وفيدران دونجكو. نهج الهجين فرق تسد لخوارزميات البحث الشجري. arXiv: 2007.07040 [quant-ph]، 2020. URL https: / / arxiv.org/ abs / 2007.07040.
أرخايف: 2007.07040
[75] مارتن فورير. حل مشاكل NP الكاملة مع البحث الكمي. في ندوة أمريكا اللاتينية حول المعلوماتية النظرية (LATIN-2008) ، الصفحات 784-792. سبرينغر ، 2008. 10.1007 / 978-3-540-78773-0_67.
https://doi.org/10.1007/978-3-540-78773-0_67
[76] نيكولاس ج. سيرف ، ولوف ك. جروفر ، وكولين بي ويليامز. البحث الكمي المتداخلة والمشاكل المنظمة. فيز. القس أ ، 61: 032303 ، 2000. 10.1103 / PhysRevA.61.032303.
الشبكي: / / doi.org/ 10.1103 / PhysRevA.61.032303
[77] توماس ج.دريبر وصمويل أ.كوتين. $ langlemathsf {q} | mathsf {pic} rangle $: مخططات الدوائر الكمية في LaTeX ، 2020. URL https: / / www.github.com/ qpic / qpic.
https: / / www.github.com/ qpic / qpic
[78] كريستوف دور وبيتر هوير. خوارزمية كمومية لإيجاد الحد الأدنى. arXiv: quant-ph / 9607014، 1996. URL https: / / arxiv.org/ abs / quant-ph / 9607014.
أرخايف: ضليع في الرياضيات، وعل / 9607014
[79] باسكال بنشيمول وويليم جان فان هوف وجان شارل ريجين ولويس مارتن روسو وميشيل روهير. تصفية محسنة لقيود الدائرة الموزونة. القيود ، 17 (3): 205-233 ، 2012. 10.1007 / s10601-012-9119-x.
الشبكي: / / doi.org/ 10.1007 / s10601-012-9119-X
[80] نيكولاس بيلديسينو وإيريت كاتريل وسفين ثيل. خوارزميات التصفية لنفس القيد. في تكامل تقنيات الذكاء الاصطناعي و OR في البرمجة المقيدة لمشاكل التحسين التجميعي (CPAIOR-2004) ، الصفحات 65-79. سبرينغر ، 2004. 10.1007 / 978-3-540-24664-0_5.
https://doi.org/10.1007/978-3-540-24664-0_5
[81] رونغ تشو وفانغ هي. نهج برمجة القيد المختلط لمشاكل إعداد قوائم الممرضات. في التطبيقات والابتكارات في الأنظمة الذكية (SGAI-2008) ، الصفحات 211-224. سبرينغر ، 2008. 10.1007 / 978-1-84882-215-3_16.
https://doi.org/10.1007/978-1-84882-215-3_16
[82] مايكل أ خدعة. مناهج البرمجة الصحيحة والقيد لجدولة الدورات الدورية. في الممارسة ونظرية الجدول الزمني الآلي (PATAT-2002) ، الصفحات 63-77. سبرينغر ، 2002. 10.1007 / 978-3-540-45157-0_4.
https://doi.org/10.1007/978-3-540-45157-0_4
[83] András Gilyén و Yuan Su و Guang Hao Low و Nathan Wiebe. تحول القيمة المفردة الكمي وما بعده: تحسينات أسية لمصفوفة الحساب الكمومية. في وقائع ندوة ACM السنوية 51 حول نظرية الحوسبة (STOC-2019) ، الصفحة 193-204. جمعية ماكينات الحوسبة ، 2019. 10.1145 / 3313276.3316366.
الشبكي: / / doi.org/ 10.1145 / 3313276.3316366
دليلنا يستخدم من قبل
لا يمكن أن تجلب استشهد تبادل البيانات أثناء آخر محاولة 2021-09-28 13:06:50: تعذر إحضار بيانات مستشهد بها من أجل 10.22331 / q-2021-09-28-550 من Crossref. هذا أمر طبيعي إذا تم تسجيل DOI مؤخرًا. على إعلانات ساو / ناسا لم يتم العثور على بيانات حول الاستشهاد بالأعمال (المحاولة الأخيرة 2021-09-28 13:06:51).
نشرت هذه الورقة في الكم تحت نسبة المشاع الإبداعي 4.0 الدولية (CC BY 4.0) رخصة. يظل حقوق الطبع والنشر مع مالكي حقوق الطبع والنشر الأصليين مثل المؤلفين أو مؤسساتهم.
أفلاطون. Web3 مُعاد تصوره. تضخيم ذكاء البيانات.
انقر هنا للوصول.
المصدر: https://quantum-journal.org/papers/q-2021-09-28-550/
