In each of these scenarios, computi

In each of these scenarios, computing the initial and final configurations is straightforward, but transitioning between them while preserving the desired invariants is not

ผลลัพธ์ (ไทย) 1:

ในแต่ละสถานการณ์เหล่านี้ คอมพิวเตอร์การกำหนดค่าเริ่มต้น และสุดท้ายเป็นตรงไปตรงมา แต่วิธีการขณะรักษา invariants ต้องไม่

ผลลัพธ์ (ไทย) 2:

ในแต่ละสถานการณ์เหล่านี้คำนวณการกำหนดค่าเริ่มต้นและสุดท้ายคือตรงไปตรงมา แต่เปลี่ยนระหว่างพวกเขาในขณะที่รักษาค่าคงที่ที่ต้องการไม่ได้

ผลลัพธ์ (ไทย) 3:

ในแต่ละสถานการณ์เหล่านี้ คอมพิวเตอร์เบื้องต้น และสุดท้ายแบบตรงไปตรงมา แต่การเปลี่ยนระหว่างพวกเขาในขณะที่รักษาผลยืนยงไม่ใช่ที่ต้องการ