กลับไปหน้าบทความ

อ่าน 3 นาที

รางวัลเนโรด

รางวัล EATCS–IPEC Nerode เป็น รางวัลด้าน วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี ที่มอบให้แก่ผลงานวิจัยที่โดดเด่นในสาขา อัลกอริธึมเชิงหลายตัวแปร รางวัลนี้มอบโดย...

รางวัลเนโรด

รางวัลEATCS–IPEC Nerodeเป็น รางวัลด้าน วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีที่มอบให้แก่ผลงานวิจัยที่โดดเด่นในสาขาอัลกอริธึมเชิงหลายตัวแปรรางวัลนี้มอบโดยสมาคมวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีแห่งยุโรปและ การประชุมวิชาการนานาชาติว่าด้วยการ คำนวณแบบพารามิเตอร์และแม่นยำ[ 1 ]มีการมอบรางวัลนี้เป็นครั้งแรกในปี 2013 [ 2 ]

ผู้ชนะ

ผู้ที่ได้รับรางวัลจนถึงขณะนี้ ได้แก่:

  • 2013: Chris Calabro, Russell Impagliazzo , Valentine Kabanets, Ramamohan Paturi และ Francis Zane สำหรับงานวิจัยของพวกเขาในการกำหนดสมมติฐานเวลาเลขชี้กำลังและใช้มันเพื่อกำหนดความซับซ้อนของพารามิเตอร์ที่แน่นอนของตัวแปรสำคัญหลายตัวของปัญหาความพึงพอใจแบบบูลี[ 3 ]
  • 2014: Hans L. Bodlaender , Rodney G. Downey , Michael R. Fellows , Danny Hermelin, Lance Fortnowและ Rahul Santhanam สำหรับผลงานของพวกเขาเกี่ยวกับการสร้างเคอร์เนลโดยพิสูจน์ว่าปัญหาหลายอย่างที่มีอัลกอริทึมที่สามารถแก้ไขได้ด้วยพารามิเตอร์คงที่นั้นไม่มีเคอร์เนลขนาดพหุนามเว้นแต่ลำดับชั้นพหุนามจะยุบตัวลง[ 4 ] [ 5 ]
  • 2015: Erik Demaine , Fedor V. Fomin , Mohammad Hajiaghayiและ Dimitrios Thilikos สำหรับงานวิจัยเกี่ยวกับมิติสองมิติโดยกำหนดกรอบงานกว้างๆ สำหรับการออกแบบอัลกอริทึมที่สามารถจัดการได้ด้วยพารามิเตอร์คงที่สำหรับปัญหาการครอบงำและการครอบคลุมบนกราฟ[ 6 ]
  • 2016: Andreas Björklund สำหรับบทความของเขาDeterminant Sums for Undirected Hamiltonicityซึ่งแสดงให้เห็นว่าวิธีการที่อิงตามทฤษฎีกราฟพีชคณิตนำไปสู่อัลกอริทึมที่ได้รับการปรับปรุงอย่างมีนัยสำคัญสำหรับการค้นหาวงจรแฮมิลโทเนียน[ 7 ]
  • 2017: Fedor V. Fomin , Fabrizio Grandoni และ Dieter Kratsch สำหรับการพัฒนาวิธี "วัดและพิชิต" สำหรับการวิเคราะห์อัลกอริทึมแบบย้อนกลับ[ 8 ]
  • 2018: Stefan Kratsch และ Magnus Wahlström สำหรับงานของพวกเขาที่ใช้ ทฤษฎี matroidเพื่อพัฒนาเคอร์เนลขนาดพหุนามสำหรับ ปัญหา การข้ามวงจรคี่และปัญหาที่เกี่ยวข้อง[ 9 ] [ 10 ]
  • 2019: Noga Alon , Raphael YusterและUri Zwickสำหรับการคิดค้น เทคนิค การเข้ารหัสสีซึ่งเป็นส่วนประกอบที่สำคัญอย่างยิ่งในชุดเครื่องมือของการออกแบบอัลกอริธึมแบบพารามิเตอร์[ 11 ]
  • 2020: Daniel Marx, Jianer Chen, Yang Liu, Songjian Lu, Barry O'Sullivan, Igor Razgon สำหรับการคิดค้นแนวคิดของตัวแยกและการตัดที่สำคัญ ซึ่งได้กลายเป็นเครื่องมือที่สง่างามและมีประสิทธิภาพที่ใช้ในการสร้างความสามารถในการจัดการพารามิเตอร์คงที่ของปัญหากราฟ[ 12 ]
  • 2021: CS Calude, S. Jain, B. Khoussainov, W. Li, F. Stephan สำหรับ อัลกอริทึม เวลากึ่งพหุนาม ของพวกเขา สำหรับการตัดสินเกมพาริตี[ 13 ]
  • 2022: บรูโน คูร์เซลล์สำหรับทฤษฎีบทของคูร์เซลล์เกี่ยวกับความสามารถในการจัดการพารามิเตอร์คงที่ของคุณสมบัติกราฟในตรรกะลำดับที่สองแบบเอกภาค
  • 2023: Marek Cygan, Jesper Nederlof, Marcin Pilipczuk, Michal Pilipczuk, Johan MM van Rooij และ Jakub Onufry Wojtaszczyk สำหรับบทความของพวกเขาเรื่องSolving Connectivity Problems Parameterized by Treewidth in Single Exponential Time [ 14 ]
  • 2024: Hans L. Bodlaender, Fedor V. Fomin , Daniel Lokshtanov, Eelko Penninkx, Saket Saurabh และ Dimitrios M. Thilikos สำหรับบทความ(Meta) Kernelizationของ พวกเขา [ 15 ]
  • 2025: Jaroslav NešetřilและPatrice Ossona de MendezสำหรับบทความของพวกเขาGrad และคลาสที่มีการขยายขอบเขต I. การแยกส่วน , Grad และคลาสที่มีการขยายขอบเขต II. ด้านอัลกอริธึม , คุณสมบัติลำดับแรกบนโครงสร้างที่ไม่มีความหนาแน่นที่ไหนเลยและบนกราฟที่ไม่มีความหนาแน่นที่ไหนเลย[ 16 ]

ดูเพิ่มเติม

ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Nerode_Prize&oldid=1346014209 "

สรุปเนื้อหา

ข้อมูลสำคัญจากบทความ

ข้อมูลสำคัญเกี่ยวกับ รางวัลเนโรด

รางวัล EATCS–IPEC Nerode เป็น รางวัลด้าน วิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี ที่มอบให้แก่ผลงานวิจัยที่โดดเด่นในสาขา อัลกอริธึมเชิงหลายตัวแปร รางวัลนี้มอบโดย...

ดูเพิ่มเติม

รายชื่อรางวัลด้านวิทยาศาสตร์คอมพิวเตอร์ ดึงข้อมูลมาจาก " https://en.wikipedia.org/w/index.php?title=Nerode_Prize&oldid=1346014209 "