4
ทำอย่างไรกับความคิดที่ไม่สำคัญในวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี
ฉันเป็นนักศึกษาปริญญาเอกที่ทำงานด้านวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี ฉันได้อ่านรายงานการวิจัยของนักวิจัยหลายคนและฉันได้เห็นเครื่องมือและคณิตศาสตร์มากมายที่พวกเขาใช้สำหรับการออกแบบอัลกอริทึม ยกตัวอย่างเช่นเห็นนี้งานวิจัย[Primality ใน P] ฉันจะไม่พูดบทความวิจัยนี้เป็นไปตามความคิดหนึ่งหรือสอง แต่ขึ้นอยู่กับความคิดมากมายที่ต้องใช้คณิตศาสตร์อย่างจริงจัง ฉันพยายามดิ้นรนที่จะคิดไอเดียเหล่านั้นจากสองสามปี ฉันทำงานกับปัญหาเดียวมาหลายเดือนแล้ว แต่ไม่มีอะไรเข้ามาในใจฉันเลย ความคิดทั้งหมดที่เข้ามาในใจของฉันจนถึงขณะนี้เป็นเรื่องเล็กน้อยและใช้น้อยมากกับนักวิจัยวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี ฉันสงสัยว่าจะเกิดขึ้นกับเครื่องจักรได้อย่างไรซึ่งจะทำให้ฉันสามารถสร้างผลลัพธ์ที่ไม่น่ารำคาญได้ คำถาม:จะเกิดความคิดที่ไม่เกี่ยวกับวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎีได้อย่างไร ฉันรู้ว่ามีความหมายแตกต่างจากคำว่า "ความคิดที่ไม่สำคัญ" สำหรับฉันมันเป็นสิ่งที่เผยแพร่และน่าสนใจสำหรับชุมชนวิทยาศาสตร์คอมพิวเตอร์เชิงทฤษฎี ฉันได้เห็นงานวิจัยบางอย่างที่พวกเขานิยามคำศัพท์ทางคณิตศาสตร์น้อยแล้วออกแบบอัลกอริทึมโดยใช้คำที่กำหนด ฉันสงสัยว่าจะเกิดอะไรขึ้นกับสิ่งเหล่านี้ คำแนะนำอย่างหนึ่งที่ฉันได้รับจากเพื่อนนักวิจัยและผู้อาวุโสของฉันคือการอ่านบทความวิจัยอย่างรอบคอบและอ่านคณิตศาสตร์ (ทฤษฎีบทและบทพิสูจน์) อย่างระมัดระวังพยายามทำข้อพิสูจน์ด้วยตัวคุณเองและพยายามขยายมันออกไป