جائزة جودل

تُمنح جائزة جودل (بالإنكليزية: Gödel Prize) سنوياً للأبحاث المتميزة في مجال علوم الحاسوب النظري مُشاركةً من قِبل الجمعية الأروربية لعلوم الحاسوب النظرية (EATCS) ومجموعة رابطة مكائن الحوسبة المعنية بشكل خاص بالخوارزميات ونظرية الحوسبة (ACM SIGACT)، وقد سُميت الجائزة بهذا الاسم نسبةً لكورت غودل، وهو فيلسوف نمساوي أمريكي بارز وعالم بالرياضيات والمنطق، وفيما يتعلق بعلوم الحاسوب النظرية، كان أول من ذكر مسألة كثير الحدود وكثير الحدود غير القطعي (P versus NP)، وذلك في رسالة وجهها عام 1956 لجون رون نيومان سائلاً إياه فيها عن إمكانية حل مسألة كثيرة حدود غير قطعية كاملة في زمن تربيعي أو خطي.[1]

وقد قُدّمت جائزة غودل منذ عام 1993، ويتم التكريم إما خلال ندوة رابطة مكائن الحوسبة السنوية عن نظرية الحوسبة (STOC)، والتي تُعد إحدى المؤتمرات الرئيسية عن علوم الحاسوب النظرية المُقامة في أمريكا الشمالية)، أو في الندوة الدولية عن التشغيل الذاتي، واللغات والبرمجة (ICALP)، وهي من أهم المؤتمرات الأوروبية في هذا المجال، وحتى يكون المرء جديراً بالجائزة، ينبغي أن يكون قد نشر بحثاً له في دورية محكّمة خلال السنوات الـ14 الماضية (كانت المدة 7 سنوات سابقاً)، وتتضمن الجائزة مكافأة قدرها 5000 دولاراً أمريكياً. [2]

ويجري اختيار الفائز بالجائزة بواسطة لجنة مؤلفة من ستة أعضاء، إذ يعيّن كل من رئيس الـ(EATCS) ورئيس الـ(SIGACT) ثلاثة أعضاء فيها، وذلك لمدة ثلاثة سنوات متعاقبة، ويرأس اللجنة ممثلون من الجهتين بالتناوب.

الفائزون بالجائزة
السنة الاسم أو الأسماء ملاحظات سنة النشر
1993لازلو باباي، وشافي غولدواسر، وسيلفيو ميكالي، لاوشلومو موران، وتشارلز راكوف.لتطوير أنظمة الأدلّة التفاعلية1988,[paper 1] 1989[paper 2]
1994يوان هوستالابتكاره حداً أسّياً أدنى لحجم الدارات البوليانية ثابتة العمق (لابتكار دالة التكافؤ، وهي دالة بوليانية تبلغ قيمتها 1 إذا تحقق الشرط اللازم والكافي بأن يمتلك متّجه الإدخال عدداً فردياً من القيمة 1.)1989[paper 3]
1995نيل إيميرمان وروبيرت سيليبتشينييلنظرية إيميرمان- سيليبتشينيي المتعلقة بتعقيد الفراغ غير القطعي.1988,[paper 4] 1988[paper 5]
1996مارك جيروم وأليستير سينكليرلعملهما على سلاسل ماركوف والمصفوفات.1989,[paper 6] 1989[paper 7]
1997جوزيف هالبيرن ويورام موسىلتحديد مفهوم رسمي للـ«معرفة» في بيئات موزّعة.1990[paper 8]
1998سينوسوكي تودالابتكار نظرية تودا التي أظهرت ترابطاً بين عد الحلول (بي بي –في التعقيد الحسابي–) وتغيير محددات الكمية (بي اتش–في التعقيد الحسابي–).1991[paper 9]
1999بيتر شورلابتكاره خوارزمية شور لتحليل الأعداد إلى عوامل في الزمن متعدد الحدود على حاسوب كمومي.1997[paper 10]
2000موشي واي. فاردي وبيير فولبرلعملهما على المنطق الزمني لدى آلات التشغيل الذاتي ذات الحالات المنتهية1994[paper 11]
2001سانجيف أرورا، ويوريل فيج، وشافي غولدواسر، وكارستين لوند، ولازلو لوفاز، وراجيف موتواني، وشموئيل صفرا، ومادو سودان، وماريو زيجيديلابتكار نظرية بي سي بي (PCP) –والتي تنص على أن أية معضلة حسم ضمن نمط تعقيد حسابي كثير حدود غير قطعي تمتلك إثباتاً قابلاً للتحقق احتمالياً لتعقيد تساؤلي ثابت وآخر لعشوائية لوغاريتمية– وتطبيقاتها على صعوبة التقريب.1996,[paper 12] 1998,[paper 13] 1998[paper 14]
2002جيرو سينيزيرجلإثبات أن تكافؤ أوتومات الدفع السفلي القطعي قابل للحسم.2001[paper 15]
2003يوآف فرويند وروبيرت شابايرلابتكارهمها خوارزمية آدابوست في التعلم الآلي.1997[paper 16]
2004موريس هيرليهي، ومايكل ساكس، ونير شافيت، وفوتيوس زاهاروغلولتطبيقات الطوبولوجيا على نظرية الحوسبة الموزّعة.1999,[paper 17] 2000[paper 18]
2005نوغا ألون، ويوسي ماتياس، وماريو زيجيديلمساهمتهم التأسيسية في خوارزميات تدفق البيانات.1999[paper 19]
2006مانيندرا أغراوال، ونيراج كايال، ونيتين ساكسينالابتكارهم اختبار أ.ك.أس لأولية عدد ما.2004[paper 20]
2007أليكساندر رازابوروف، وستيفين روديتشلعملهما على الإثباتات الطبيعية.1997[paper 21]
2008دانييل سبيلمان، وشانغوا تينغللتحليل السلس للخوارزميات.2004[paper 22]
2009عمر رينغولد، وسليل فادان، وآفي فيغدرسونللناتج المتعرج في الرسم البياني، والإس إل في الفضاء اللوغاريتمي.2002,[paper 23] 2008[paper 24]
2010سانجيف آرورا، وجوزيف إس. بي. ميتشيللاكتشافهما المتزامن لنظام التقريب الزمني متعدد الحدود (PTAS) لمسألة البائع المتجول الإقليدي (ETSP).1998,[paper 25]

1999[paper 26]

2011يوان هوستالإثباته النتيجة الاستمثالية غير القابلة للتقريب للعديد من المسائل التوافقية.2001[paper 27]
2012إلياس كوتسوبياس، وكريستوس باباديميتريو، ونعوم نيسان، وأمير رونين، وتيم روفغاردين، وإيفا تاردوسلوضع مبادئ لنظرية الألعاب الخوارزمية.[3]2009,[paper 28] 2002,[paper 29] 2001[paper 30]
2013دان بونيه، وماثيو كيه. فرانكلين، وأنتوان جولتبادل مفتاح ديفي-هيلمان متعدد الأطراف، ونظام بونيه-فرانكلين في التشفير. [4]2003,[paper 31]

2004[paper 32]

2014رونالد فاجين، وآمنون لوتيم، وموني نائورلضم الخوارزميات الامتثالي للبرمجيات الوسيطة [5]2003,[paper 33]
2015دانييل سبيلمان، وشانغوا تينغ لسلسلة أبحاثهما عن حلول لابلاس ذات الزمن قرب الخطي.[6]

2011[paper 34] 2013[paper 35] 2014[paper 36]

2016 ستيفين بروكس وبيتر دبليو. أوهيرن لاختراعهما منطق الفصل المتزامن. 2007, 2007
2017[2] سينثيا دوورك، وفرانط ماكشيري، وكوبي نسيم، وأدم سميث اختراعهم الخصوصية التمايزية. 2006[paper 37]
2018[7] أوديد ريجيف لتقديمه مسألة التعلم مع أخطاء. 2009[paper 38]

ملاحظات
  1. Babai؛ Moran (1988)، "Arthur-Merlin games: a randomized proof system, and a hierarchy of complexity class" (PDF)، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 36، ص. 254–276، doi:10.1016/0022-0000(88)90028-1، ISSN 0022-0000، مؤرشف من الأصل (PDF) في 10 أبريل 2019
  2. Goldwasser؛ Micali؛ Rackoff (1989)، "The knowledge complexity of interactive proof systems" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 186–208، doi:10.1137/0218012، ISSN 1095-7111، مؤرشف من الأصل (PDF) في 11 مايو 2020
  3. Håstad (1989)، "Almost Optimal Lower Bounds for Small Depth Circuits"، في Micali, Silvio (المحرر)، Randomness and Computation (PDF)، Advances in Computing Research، JAI Press، ج. 5، ص. 6–20، ISBN 0-89232-896-7، مؤرشف من الأصل (PDF) في 22 فبراير 2012
  4. Immerman (1988)، "Nondeterministic space is closed under complementation" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 17، ص. 935–938، doi:10.1137/0217058، ISSN 1095-7111، مؤرشف من الأصل (PDF) في 2 مايو 2020
  5. Szelepcsényi (1988)، "The method of forced enumeration for nondeterministic automata"، Acta Informatica، Springer-Verlag New York, Inc.، ج. 26، ص. 279–284، doi:10.1007/BF00299636
  6. Sinclair؛ Jerrum (1989)، "Approximate counting, uniform generation and rapidly mixing Markov chains"، Information and Computation، إلزيفير، ج. 82، ص. 93–133، doi:10.1016/0890-5401(89)90067-9، ISSN 0890-5401
  7. Jerrum؛ Sinclair (1989)، "Approximating the permanent"، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 18، ص. 1149–1178، doi:10.1137/0218077، ISSN 1095-7111
  8. Halpern؛ Moses (1990)، "Knowledge and common knowledge in a distributed environment" (PDF)، Journal of the ACM، ج. 37، ص. 549–587، arXiv:cs/0006009، doi:10.1145/79147.79161، مؤرشف من الأصل (PDF) في 2 فبراير 2019
  9. Toda (1991)، "PP is as hard as the polynomial-time hierarchy" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 20، ص. 865–877، doi:10.1137/0220053، ISSN 1095-7111، مؤرشف من الأصل (PDF) في 11 مايو 2020
  10. Shor (1997)، "Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer" (PDF)، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 26، ص. 1484–1509، arXiv:quant-ph/9508027، doi:10.1137/S0097539795293172، ISSN 1095-7111[وصلة مكسورة]
  11. Vardi؛ Wolper (1994)، "Reasoning about infinite computations" (PDF)، Information and Computation، Boston, MA: Academic Press، ج. 115، ص. 1–37، doi:10.1006/inco.1994.1092، ISSN 0890-5401، مؤرشف من الأصل (PDF) في 25 أغسطس 2011
  12. Feige؛ Goldwasser؛ Lovász؛ Safra؛ Szegedy (1996)، "Interactive proofs and the hardness of approximating cliques" (PDF)، Journal of the ACM، ACM، ج. 43، ص. 268–292، doi:10.1145/226643.226652، ISSN 0004-5411، مؤرشف من الأصل (PDF) في 5 نوفمبر 2018
  13. Arora؛ Safra (1998)، "Probabilistic checking of proofs: a new characterization of NP" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 70–122، doi:10.1145/273865.273901، ISSN 0004-5411، مؤرشف من الأصل (PDF) في 10 يونيو 2011
  14. Arora؛ Lund؛ Motwani؛ Sudan؛ Szegedy (1998)، "Proof verification and the hardness of approximation problems" (PDF)، Journal of the ACM، ACM، ج. 45، ص. 501–555، doi:10.1145/278298.278306، ISSN 0004-5411، مؤرشف من الأصل (PDF) في 10 يونيو 2011
  15. Sénizergues (2001)، "L(A) = L(B)? decidability results from complete formal systems"، Theor. Comput. Sci.، Essex, UK: Elsevier Science Publishers Ltd.، ج. 251، ص. 1–166، doi:10.1016/S0304-3975(00)00285-1، ISSN 0304-3975
  16. Freund؛ Schapire (1997)، "A decision-theoretic generalization of on-line learning and an application to boosting" (PDF)، Journal of Computer and System Sciences، إلزيفير، ج. 55، ص. 119–139، doi:10.1006/jcss.1997.1504، ISSN 1090-2724، مؤرشف من الأصل (PDF) في 1 مارس 2012
  17. Herlihy؛ Shavit (1999)، "The topological structure of asynchronous computability" (PDF)، Journal of the ACM، ج. 46، ص. 858–923، doi:10.1145/331524.331529. Gödel prize lecture
  18. Saks؛ Zaharoglou (2000)، "Wait-free k-set agreement is impossible: The topology of public knowledge"، SIAM Journal on Computing، ج. 29، ص. 1449–1483، doi:10.1137/S0097539796307698
  19. Alon؛ Matias؛ Szegedy (1999)، "The space complexity of approximating the frequency moments" (PDF)، Journal of Computer and System Sciences، ج. 58، ص. 137–147، doi:10.1006/jcss.1997.1545. First presented at the Symposium on Theory of Computing (STOC) in 1996.
  20. Agrawal؛ Kayal؛ Saxena (2004)، "PRIMES is in P" (PDF)، حوليات الرياضيات، ج. 160، ص. 781–793، doi:10.4007/annals.2004.160.781، ISSN 0003-486X، مؤرشف من الأصل (PDF) في 07 يونيو 2011
  21. Razborov؛ Rudich (1997)، "Natural proofs"، Journal of Computer and System Sciences، Boston, MA: Academic Press، ج. 55، ص. 24–35، doi:10.1006/jcss.1997.1494، ISSN 0022-0000، قالب:ECCC
  22. Spielman؛ Teng (2004)، "Smoothed analysis of algorithms: Why the simplex algorithm usually takes polynomial time" (PDF)، J. ACM، ACM، ج. 51، ص. 385–463، doi:10.1145/990308.990310، ISSN 0004-5411[وصلة مكسورة]
  23. Reingold؛ Vadhan؛ Wigderson (2002)، "Entropy waves, the zig-zag graph product, and new constant-degree expanders" (PDF)، حوليات الرياضيات، Annals of Mathematics، ج. 155، ص. 157–187، doi:10.2307/3062153، ISSN 0003-486X، JSTOR 3062153، MR 1888797[وصلة مكسورة]
  24. Reingold (2008)، "Undirected connectivity in log-space"، J. ACM، ACM، ج. 55، ص. 1–24، doi:10.1145/1391289.1391291، ISSN 0004-5411[وصلة مكسورة]
  25. Arora (1998)، "Polynomial time approximation schemes for Euclidean traveling salesman and other geometric problems"، Journal of the ACM، ACM، ج. 45، ص. 753–782، doi:10.1145/290179.290180، ISSN 0004-5411
  26. Mitchell (1999)، "Guillotine Subdivisions Approximate Polygonal Subdivisions: A Simple Polynomial-Time Approximation Scheme for Geometric TSP, k-MST, and Related Problems"، SIAM Journal on Computing، Philadelphia: Society for Industrial and Applied Mathematics، ج. 28، ص. 1298–1309، doi:10.1137/S0097539796309764، ISSN 1095-7111
  27. Håstad (2001)، "Some optimal inapproximability results" (PDF)، Journal of the ACM، ACM، ج. 48، ص. 798–859، doi:10.1145/502090.502098، ISSN 0004-5411، مؤرشف من الأصل (PDF) في 11 يوليو 2019
  28. Koutsoupias, Elias؛ Papadimitriou, Christos (2009)، "Worst-case equilibria"، Computer Science Review، 3 (2): 65–69، doi:10.1016/j.cosrev.2009.04.003.
  29. Roughgarden, Tim؛ Tardos, Éva (2002)، "How bad is selfish routing?"، Journal of the ACM، 49 (2): 236–259، doi:10.1145/506147.506153.
  30. Nisan, Noam؛ Ronen, Amir (2001)، "Algorithmic Mechanism Design"، Games and Economic Behavior، 35 (1–2): 166–196، doi:10.1006/game.1999.0790.
  31. Boneh؛ Franklin (2003)، "Identity-based encryption from the Weil pairing"، SIAM Journal on Computing، 32 (3): 586–615، doi:10.1137/S0097539701398521، MR 2001745.
  32. Joux, Antoine (2004)، "A one round protocol for tripartite Diffie-Hellman"، Journal of Cryptology، 17 (4): 263–276، doi:10.1007/s00145-004-0312-y، MR 2090557.
  33. Fagin؛ Lotem؛ Naor (2003)، "Optimal aggregation algorithms for middleware"، Journal of Computer and System Sciences، 66 (4): 614–656، doi:10.1016/S0022-0000(03)00026-6.
  34. Spielman؛ Teng (2011)، "Spectral Sparsification of Graphs"، SIAM Journal on Computing، 40 (4): 981–1025، arXiv:0808.4134، doi:10.1137/08074489X، ISSN 0097-5397.
  35. Spielman؛ Teng (2013)، "A Local Clustering Algorithm for Massive Graphs and Its Application to Nearly Linear Time Graph Partitioning"، SIAM Journal on Computing، 42 (1): 1–26، arXiv:0809.3232، doi:10.1137/080744888، ISSN 0097-5397.
  36. Spielman؛ Teng (2014)، "Nearly Linear Time Algorithms for Preconditioning and Solving Symmetric, Diagonally Dominant Linear Systems"، SIAM Journal on Matrix Analysis and Applications، 35 (3): 835–885، arXiv:cs/0607105، doi:10.1137/090771430، ISSN 0895-4798.
  37. Dwork؛ McSherry؛ Nissim؛ Smith (2006)، "Calibrating Noise to Sensitivity in Private Data Analysis"، في Halevi, Shai؛ Rabin, Tal (المحررون)، Theory of Cryptography (TCC)، Lecture Notes in Computer Science، Springer-Verlag، ج. 3876، ص. 265–284، doi:10.1007/11681878_14، ISBN 978-3-540-32731-8، مؤرشف من الأصل في 2 ديسمبر 2018.
  38. Regev، "On lattices, learning with errors, random linear codes, and cryptography"، مؤرشف من الأصل في 18 نوفمبر 2018.

مراجع
  1. The Gödel Letter | Gödel's Lost Letter and P=NP نسخة محفوظة 30 يناير 2019 على موقع واي باك مشين.
  2. "2017 Gödel Prize"، European Association for Theoretical Computer Science، EATCS، مؤرشف من الأصل في 16 أبريل 2019، اطلع عليه بتاريخ 29 مارس 2017.
  3. "Three Papers Cited for Laying Foundation of Growth in Algorithmic Game Theory"، 16 مايو 2012، مؤرشف من الأصل في 18 يوليو 2013، اطلع عليه بتاريخ 16 مايو 2012.
  4. ACM Group Presents Gödel Prize for Advances in Cryptography: Three Computer Scientists Cited for Innovations that Improve Security نسخة محفوظة 2013-06-01 على موقع واي باك مشين., رابطة مكائن الحوسبة, May 29, 2013. [وصلة مكسورة]
  5. Recipients Achieved Groundbreaking Results for Aggregating Data from Multiple Sources, رابطة مكائن الحوسبة, April 30, 2014. نسخة محفوظة 12 مارس 2016 على موقع واي باك مشين.
  6. 2015 Gödel Prize announcement نسخة محفوظة 2017-12-09 على موقع واي باك مشين. by رابطة مكائن الحوسبة. [وصلة مكسورة]
  7. "2018 Gödel Prize citation"، مؤرشف من الأصل في 5 أكتوبر 2018.
  • بوابة الولايات المتحدة
  • بوابة جوائز
  • بوابة عقد 1990
  • بوابة علم الحاسوب
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.