ความซับซ้อนที่รู้จักกันดีที่สุดสำหรับการคำนวณระยะทางแก้ไขที่แน่นอนระหว่างสองสายของความยาวเดียวกันโดยใช้พื้นที่การทำงานซึ่งเป็นเส้นย่อยในขนาดของอินพุตคืออะไร? ฉันคิดว่าอินพุตถูกเก็บในรูปแบบอ่านอย่างเดียว นี่เป็นปัญหาที่เคยศึกษามาหรือไม่?
หากต้องการทำให้คำถามมีความเฉพาะเจาะจงมากขึ้นเพียงเล็กน้อยช่องว่างที่nคือความยาวของแต่ละสตริงอินพุต
แก้ไข การปฏิบัติตามคำตอบของ David Eppstein ดูเหมือนว่าคำถามที่ดีคือหากระยะทางแก้ไขสามารถพบได้ในเวลาพหุนามและพื้นที่ ขอบเขตที่ต่ำกว่าก็น่าสนใจเช่นกัน
1
เกี่ยวกับการแก้ไข: ฉันคิดว่าคุณเข้าใจผิดบางอย่าง คำตอบของ David Eppstein แสดงให้เห็นว่าปัญหาสามารถแก้ไขได้ใน NL ดังนั้นใน P.
—
Emil Jeřábekสนับสนุนโมนิกา
... จริงๆแล้วอัลกอริทึมของแว็กเนอร์ - ฟิชเชอร์ดั้งเดิมทำเช่นนั้น
—
Emil Jeřábekสนับสนุน Monica
ฉันถือว่ารุ่นที่แก้ไขนั้นมีวัตถุประสงค์เพื่อขออัลกอริธึมที่มีทั้งช่องว่างย่อยและเวลาพหุนาม
—
David Eppstein
@DavidEppstein ใช่แน่นอน ฉันได้แก้ไขอีกครั้งเพื่อความกระจ่าง
—
เฟลิกซ์
BTW สมมติว่ารูปแบบการกำหนดราคามาตรฐานเท่ากับ 1 ต่อ midmatch / delete / insert จากนั้นหากระยะทางแก้ไขเป็น l เส้นทางจะทำให้เส้นทางที่สั้นที่สุดในระยะแก้ไข matric อยู่ในระยะทางที่ l จากเส้นทแยงมุมหลักแล้ว คำนวณระยะทางแก้ไขโดยใช้พื้นที่ O (l) ดังนั้นด้วยพื้นที่ sqrt (n) คุณสามารถคำนวณระยะทางแก้ไขได้ถ้ามันมีขนาดเล็ก (เช่นเล็กกว่า sqrt (n)) มันก็ต่อเมื่อมันมีขนาดใหญ่ซึ่งมันดูยาก แน่นอนในกรณีนี้คุณควรใส่ใจน้อยกว่า
—
Sariel Har-Peled