วิธีการกำหนดปัญหาการคำนวณอย่างจริงจัง?

ฉันมักจะโต้ตอบกับผู้ที่ต้องการขออัลกอริทึมสำหรับปัญหาการคำนวณ (หรือความซับซ้อนของมัน) แต่พวกเขาไม่ได้แสดงมันอย่างเข้มงวดเพื่อให้เรา (นักวิทยาศาสตร์คอมพิวเตอร์) เข้าใจ

การอ้างถึงหนังสือเช่น CLRS นั้นไม่เป็นประโยชน์เพราะตัวอย่างมักจะมีวิธีการที่ค่อนข้างตรงไปตรงมาในการระบุอย่างจริงจังเช่นให้รายชื่อของกราฟและสองจุดยอดในการคำนวณเส้นทางที่สั้นที่สุดระหว่างจุดเหล่านั้น

มีหนังสือดี ๆ (หรือแหล่งข้อมูลอื่น ๆ ) ที่บุคคลที่มีความรู้น้อยที่สุดของ CS สามารถเรียนรู้ได้อย่างไรว่าเราควรกำหนดและระบุปัญหาการคำนวณด้วยวิธีที่เข้มงวดซึ่งเป็นที่เข้าใจของนักวิทยาศาสตร์คอมพิวเตอร์หรือไม่

โดยเฉพาะอย่างยิ่งหนังสือควรมีตัวอย่างมากมายของวิธีการกำหนดปัญหาการคำนวณอย่างจริงจังจากตัวอย่างของโดเมนและโลกแห่งความจริงที่หลากหลาย

การอธิบาย

หากต้องการทำให้คำถามมีความเฉพาะเจาะจงมากขึ้นสมมติว่าพวกเขารู้คำศัพท์ทางคณิตศาสตร์ / CS พื้นฐานเช่นชุดฟังก์ชั่นกราฟรายการ ฯลฯ ในระดับชั้นปีที่ 1/2 นักศึกษาปริญญาตรี CS (ซึ่งเป็นกรณีของคนที่ฉันมี ใจ) ตัวอย่างเช่นพวกเขาได้อ่านตำราเรียนเบื้องต้นเช่น Aho และ Ullman (แม้ว่าพวกเขาอาจจะยังไม่เข้าใจทั้งหมดก็ตาม)

• อัล Aho และเจฟฟ์ Ullman มูลนิธิวิทยาศาสตร์คอมพิวเตอร์ 2535

ทรัพยากรที่ดีสำหรับ / นี้เป็นที่รู้จักกันดีโดยนักวิชาการ แต่ไม่เป็นที่รู้จักกันอย่างกว้างขวางนอกผู้เชี่ยวชาญคือการเขียนทางคณิตศาสตร์โดย Donald E. Knuth, Tracy L. Larrabee และ Paul M. Roberts มีหนังสือที่ตีพิมพ์วิดีโอการบรรยายและชุดของโน้ต มันถูกเขียนเพิ่มเติมจากมุมมองของผู้ที่พยายามเขียนเชิงคณิตศาสตร์เช่นการสร้างเอกสาร แต่คำแนะนำทั้งหมดนั้นสามารถนำไปใช้กับกรณีของฆราวาสที่พยายามกำหนดปัญหาอย่างแม่นยำ การเขียนเชิงคณิตศาสตร์ในขณะที่น่าเกรงขามในการเรียนรู้คือวิธีการทางวิทยาศาสตร์เพื่อกำหนด / กำหนดอย่างเข้มงวดและตามรายละเอียดของหนังสือการแก้ปัญหาเช่นผ่านอัลกอริทึมหรือการพิสูจน์ - ปัญหาการคำนวณ / อัลกอริทึม

• ข้อมูลหนังสือการเขียนทางคณิตศาสตร์

• ดัชนีวิดีโอบรรยายการเขียนเชิงคณิตศาสตร์

• การบันทึกทางคณิตศาสตร์ระดับ CS1193

นอกจากนี้ข้อความคลาสสิกของGarey & Johnson คอมพิวเตอร์ & Intractabilityไม่ได้อธิบายถึงวิธีการกำหนดปัญหาอย่างแม่นยำ แต่มันให้ตัวอย่างมากมายและ "รูปแบบ" เชิงทฤษฎี / แนวคิด / เทคนิคที่หลากหลายซึ่งจัดเป็นส่วนของปัญหาที่คล้ายกันซึ่งสามารถ ใช้เป็น "หน่วยการสร้าง" เพื่ออธิบายปัญหาการคำนวณ / อัลกอริทึม

เพิ่งวิ่งข้ามการอ้างอิงที่ดี / เรียบร้อยแปลกประหลาดค่อนข้างใหม่ / ไม่เป็นที่รู้จักในหน้าแรกของเขาโดยEmmanuele Viola , ศาสตราจารย์ (T) CS ที่มหาวิทยาลัย Northeastern) เห็นได้ชัดว่าไม่ได้เผยแพร่ที่อื่น 41pp มันเริ่มออกมาพร้อมกับแนวคิดทางคณิตศาสตร์ขั้นพื้นฐานมากเช่นความหมายและจากนั้นช่วงเข้าไปในหัวข้อขั้นสูงเช่นแอร์ดิช-Szekeresทฤษฎีบทและทฤษฎีแรมซีย์

• "วิธีคิดเหมือนข้อดี"โดย Emmanuele Viola

ซื้อหนังสืออัลกอริทึมและโครงสร้างข้อมูลจาก Robert Lafore

ในหนังสือเล่มนี้อัลกอริธึมทุกคำอธิบายเป็นเรื่องราวมากเหมือนบทกวี จากนั้นให้อัลกอริทึมเวอร์ชัน Lafore แก่บุคคลและหลังจากนั้นเวอร์ชัน CLRS

อาจจะเป็นเช่นนี้บุคคลนั้นจะได้รับความรู้สึกเกี่ยวกับวิธีการแปลจากคำอธิบายที่เข้าใจง่ายเป็นคำที่เข้มงวด