ต้นกำเนิดของคำว่า "ประสิทธิภาพ" และ "เป็นไปได้" การคำนวณ / อัลกอริทึม

ฉันต้องการทราบเกี่ยวกับประวัติของคำศัพท์ทั้งสองนี้: " มีประสิทธิภาพ ", " เป็นไปได้ "

ใครใช้พวกเขาเกี่ยวกับการคำนวณ / อัลกอริทึมในครั้งแรก (ในแง่ที่ทันสมัยของข้อกำหนดเหล่านี้คือศตวรรษที่ 20) พวกเขากลายเป็นกระแสหลักได้อย่างไร คำสองคำนี้เริ่มใช้เป็นคำพ้องความหมายอย่างไร

ฉันรู้ว่า Cobham ใช้คำว่า "เป็นไปได้" ในคำสั่งของวิทยานิพนธ์ของเขาซึ่งเกี่ยวข้องกับการคำนวณเวลาพหุนาม แต่มีการอ้างอิงก่อนหน้านี้หรือไม่ มีไม่ดูเหมือนจะเป็นข้อมูลอ้างอิงที่ชัดเจนถึงข้อตกลงเหล่านี้ในจดหมายของGödelฟอนนอยมันน์ ฉันไม่สามารถค้นหาบทความที่เกี่ยวข้องใด ๆ ที่มีมาก่อนปี 1960 (โดยใช้Google Scholar )

อีกประเด็นที่น่าสนใจคือชื่อของกระดาษของ Cobham จากปี 1965 คือ "ความยากในการคำนวณที่แท้จริงของฟังก์ชั่น" "ความซับซ้อนในการคำนวณ" มาแทนที่ "ความยากลำบากในการคำนวณ" เมื่อใด

ฉันไม่รู้เกี่ยวกับคำว่า "มีประสิทธิภาพ" และ "เป็นไปได้" เนื่องจากข้อตกลงเหล่านี้แม้ในปัจจุบันไม่มีความหมายทางเทคนิคที่แม่นยำฉันจึงสงสัยว่าประวัติการใช้งานของพวกเขาจะมืดมนเช่นเดียวกับประวัติของคำศัพท์ส่วนใหญ่ในภาษาส่วนใหญ่นั้นมืดมน

"ความซับซ้อนในการคำนวณ" เป็นคำที่น่าสนใจยิ่งขึ้น ด้วยความช่วยเหลือของ MathSciNet ฉันพบว่า Juris Hartmanis ดูเหมือนจะเป็นคนแรกที่ได้รับความนิยม กระดาษที่มีชื่อเสียงในปี 1965 โดย Hartmanis และ Stearns ใช้คำนี้ในหัวข้อ แต่ก่อนหน้านั้นทบทวนทางคณิตศาสตร์ของ Hartmanis จากกระดาษของ Michael Rabin "การคำนวณแบบเรียลไทม์" ( Israel J. Math. 1 (1963), 203–211) กล่าวว่า:

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

โปรดทราบว่าราบินเองไม่ได้ใช้คำว่า "ความซับซ้อนในการคำนวณ" ในบทความนี้

MathSciNet ได้เปิดตัวบทวิจารณ์ก่อนหน้านี้สองสามรายการที่ใช้คำว่า "ความซับซ้อนในการคำนวณ" แต่สิ่งเหล่านี้ดูเหมือนจะเกิดขึ้นเองและเป็นระยะ ๆ

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

นี่ไม่ใช่สิ่งที่คุณต้องการ แต่มันยาวเกินไปสำหรับความคิดเห็น

การอ้างอิงที่ชัดเจนที่สุดที่เก่าแก่ที่สุดที่ฉันรู้ว่าอัลกอริทึมเป็นไปไม่ได้อยู่ในÉvariste Galois ' Mémoire sur les เงื่อนไข de résolubilité des équations par radicaux , เขียนในปี 1830:

ถ้าหากคุณต้องการให้เราช่วยคุณค้นหาคำตอบ, คำถามและคำติชมกรุณาติดต่อเราคำถามที่พบบ่อยคือสิ่งที่คุณต้องการ, คำถามที่พบบ่อย, คำถามที่พบบ่อย ที่ชาร์จ ni moi ni personne de la faire ในระหว่างนี้และคำนวณ sont impracticables

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

แม้ว่ามันจะเป็นความจริงที่อัลกอริทึมของ Galois ไม่ได้ทำงานในเวลาพหุนาม แต่ Galois ก็มีความหมายที่ชัดเจนน้อยกว่า นี่เป็นข้อมูลอ้างอิงที่เก่าแก่ที่สุดที่ฉันรู้ซึ่งพิจารณาว่าการดำรงอยู่ของอัลกอริทึมนั้นสำคัญในตัวมันเอง

ตามที่ Niel de Beaudrap กล่าวไว้ในความคิดเห็น Gauss ได้พูดคุยเกี่ยวกับประสิทธิภาพ (ใน) อัลกอริธึมสำหรับการทดสอบแบบดั้งเดิมใน 1801 Disquisitiones Arithmeticaeของเขาเกือบ 30 ปีก่อนที่ Galois เพื่อความสมบูรณ์นี่คือข้อความที่เกี่ยวข้องจากบทความ 329:

Nihilominus fateri oportet, omnes methodos hucusque prolata หรือโฆษณาพอเพียง Vlade Speciales restrictas esse, หรือต๋ำ operosas et prolixas , UT เอี่ยมโปร Numeris talibus, ใคร tabularum Varis meritis constructarum limites ไม่ใช่ excedunt, เช่นโปร quibus methodi artificiales supervacuae อยู่, calculatoris Etiam exercitati patientiam ความเหนื่อยล้า, ไม่แน่ใจว่าคุณต้องการที่จะใช้มัน ... หายไปในปัญหาฟรีจากกองทุนเดิมเป็นวิธีการที่ดีต่อเนื่อง prolixiores evadant, maiores เป็นจำนวนมาก, ผู้สมัครจะต้อง; attamen สำหรับวิธีการเรียงลำดับเป็นเรื่องยากลำบาก, วิธีการตรวจสอบ, วิธีการคำนวณและวิธีการที่ไม่เป็นที่นิยม, วิธีการใช้งานที่ไม่ได้มาตรฐาน, วิธีการที่ง่ายต่อการใช้งาน intolerabilem, requirerent

[อย่างไรก็ตามเราต้องยอมรับว่าวิธีการทั้งหมดที่ได้รับการเสนอจนถึงขณะนี้ถูก จำกัด ในกรณีพิเศษมากหรือลำบากและ prolixที่แม้สำหรับตัวเลขที่ไม่เกินขีด จำกัด ของตารางที่สร้างโดยคนที่ประมาณได้เช่นตัวเลขที่ไม่ ต้องใช้วิธีการที่ชาญฉลาดพวกเขาลองใช้ความอดทนของแม้แต่เครื่องคิดเลขที่ได้รับการฝึกฝนมากที่สุด และวิธีการเหล่านี้แทบจะไม่สามารถใช้กับจำนวนที่มากขึ้นได้ ... มันอยู่ในลักษณะของปัญหาใด ๆวิธีการจะกลายเป็น prolix มากขึ้นเมื่อตัวเลขที่นำมาใช้มีขนาดใหญ่ขึ้น อย่างไรก็ตามในวิธีการต่อไปนี้ความยากลำบากเพิ่มขึ้นค่อนข้างช้าและตัวเลขที่มีตัวเลขเจ็ด, แปด, หรือมากกว่านั้นได้รับการจัดการด้วยความสำเร็จและความเร็วเกินความคาดหมายโดยเฉพาะอย่างยิ่งโดยวิธีที่สอง เทคนิคที่รู้จักกันก่อนหน้านี้จะต้องใช้แรงงานมากเกินไปแม้จะเป็นเครื่องคิดเลขไม่ย่อท้อที่สุด ]

แก้ไข: คำตอบเขียนใหม่

มันเป็นกระแสหลักได้อย่างไร อาจเป็นการกระจายความคิดในการเปรียบเทียบงานวิจัยใหม่กับงานเก่าในแง่ของประสิทธิภาพการทำงานโดยมีข้อสันนิษฐานว่าการสร้างความคิดใหม่นั้นยากกว่า