การแปลงโจทย์จริงให้เป็นกระบวนการสำรวจด้วย EvoXหมายถึงการเขียนความต้องการทางวิศวกรรมหรือการวิจัยที่ยังคลุมเครือให้กลายเป็นนิยามปัญหาวิวัฒนาการที่ “สุ่มตัวอย่างได้ ประเมินได้ เก็บรักษาได้ และตรวจสอบซ้ำได้” ก่อนที่จะกำหนดการตั้งค่าอัลกอริทึมใด ๆ การแปลงนี้เกิดขึ้นก่อนการเลือกอัลกอริทึม เพราะเป็นตัวกำหนดขอบเขตบนของพื้นที่สำรวจ และกำหนดว่าทิศทางของการปรับให้เหมาะสมนั้นถูกต้องหรือไม่ — ไม่ว่าอัลกอริทึมจะเก่งเพียงใดก็ไม่อาจค้นพบคำตอบที่ถูกต้องจากปัญหาที่นิยามผิดได้
แปลงปัญหาให้เสร็จก่อน ค่อยพูดถึงการเลือกอัลกอริทึม
เมื่อเจองานจริง ปฏิกิริยาแรกมักเป็น “ควรใช้โอเปอเรเตอร์แบบไหน กลยุทธ์แบบไหน” แต่ EvoX รับช่วงเป็นสายงานการสำรวจทั้งกระบวนการ จึงต้องรู้ว่าจะสุ่มตัวอย่างในพื้นที่ใด ใช้เกณฑ์อะไรให้คะแนนตัวเลือก และเก็บผลลัพธ์ใดไว้สืบทอดต่อ ข้อมูลเหล่านี้มาจากตัวปัญหเองเท่านั้น การแปลงปัญหาจึงต้องมาก่อนการเลือกอัลกอริทึมโดยธรรมชาติ ประโยคเดียวกันอย่าง “ทำให้ดีไซน์นี้ดีขึ้น” เพียงเปลี่ยนชุดขอบเขตตัวแปรหรือเกณฑ์การประเมิน ข้อสรุปที่ได้จากการสำรวจก็จะต่างกันโดยสิ้นเชิง
นิยาม “อะไรที่เปลี่ยนแปลงได้”
แปลงความต้องการจริงให้เป็นตัวแปรตัดสินใจ: กำหนดรูปแบบการแทนค่า มิติ และขอบเขต พร้อมแยกความต่างระหว่างพารามิเตอร์ต่อเนื่อง โครงสร้างไม่ต่อเนื่อง และออบเจ็กต์ระดับโปรแกรม หากกำหนดขอบเขตแคบเกินไป คำตอบที่เหมาะสมที่สุดที่แท้จริงจะไม่อยู่ในพื้นที่ค้นหาเลย แต่หากกว้างเกินไป งบประมาณการสุ่มตัวอย่างจะถูกกินไปกับพื้นที่ไร้ประสิทธิภาพจำนวนมาก เงื่อนไขการยอมรับของขั้นนี้มีเพียงข้อเดียว: ตัวแปรต้องสุ่มตัวอย่างได้
นิยาม “เมื่อเปลี่ยนแล้วจะประเมินอย่างไร”
แยกเป้าหมายที่คลุมเครือออกเป็นฟังก์ชันเป้าหมายและเงื่อนไขบังคับที่คำนวณได้: ระบุชัดเจนว่าดัชนีใดต้องทำให้มากที่สุด ดัชนีใดเป็นเงื่อนไขบังคับแบบเด็ดขาด และจะชั่งน้ำหนักระหว่างเป้าหมายหลายอย่างอย่างไร เมื่อผลตอบกลับมีน้อยหรือการประเมินหนึ่งครั้งต้องใช้การจำลองราคาแพง ให้ใช้แบบจำลองตัวแทนแทนการคำนวณที่มีต้นทุนสูง เงื่อนไขการยอมรับ: เป้าหมายคำนวณได้ และผลลัพธ์คงที่และทำซ้ำได้เมื่อป้อนข้อมูลเดิม
สร้างกลไกการเก็บรักษาและการคัดเลือก
กำหนดว่าตัวเลือกจะถูกบันทึก เปรียบเทียบ และสืบทอดต่ออย่างไร เมื่อมีกลไกการเก็บรักษา กระบวนการวิวัฒนาการจึงมีความทรงจำ ทิศทาง และความหลากหลาย แทนที่จะเป็นการลองผิดลองถูกแบบครั้งเดียวที่ไม่เกี่ยวข้องกันเป็นรอบแล้วรอบเล่า เงื่อนไขการยอมรับ: ตัวเลือกสืบทอดได้
ทำให้ทุกขั้นตอนตรวจสอบได้
ผลลัพธ์ของการแปลงต้องทำซ้ำได้ วัดผลได้ และตรวจสอบซ้ำได้ โดยทุกขั้นตอนสามารถตอบคำถามได้ว่า “การเปลี่ยนแปลงครั้งนี้ดีขึ้นจริงหรือไม่” ความคลาดเคลื่อนสองประเภทที่มักถูกขยายให้รุนแรงที่สุดเกิดขึ้นในขั้นตอนการแปลงนี่เอง: การตั้งตัวแปรไม่ครบทำให้เข้าใจพื้นที่คำตอบผิด และการประเมินคลาดเคลื่อนทำให้การปรับให้เหมาะสมเบี่ยงเบนไปทั้งกระบวนการ ทั้งสองกรณีไม่อาจชดเชยได้ด้วยโอเปอเรเตอร์ในภายหลังหรือการวนซ้ำที่เพิ่มขึ้น
กระบวนการแปลงปัญหา 4 ขั้นตอนแผนภาพนี้แสดงลำดับการแปลงโจทย์จริงให้เป็นปัญหาการสำรวจด้วย EvoX: เริ่มจากนิยามตัวแปรตัดสินใจที่เปลี่ยนแปลงได้ ต่อด้วยกำหนดเกณฑ์การประเมินที่คำนวณได้ จากนั้นสร้างกลไกการเก็บรักษาและคัดเลือกตัวเลือก และสุดท้ายรับประกันว่าทุกขั้นตอนทำซ้ำได้ วัดผลได้ และตรวจสอบซ้ำได้ จึงจะเข้าสู่การเลือกอัลกอริทึม
