ฉันพยายามอ่าน“ การออกแบบอัลกอริธึมเชิงฟังก์ชัน ” และต่อมา“ พีชคณิตของการเขียนโปรแกรม ” และมีการติดต่อที่ชัดเจนระหว่างชนิดข้อมูลที่กำหนดซ้ำ (และ polynomially) และวัตถุ combinatorial โดยมีนิยามแบบเรียกซ้ำและต่อมาเป็นผู้นำ ในซีรี่ส์พลังที่เป็นทางการเดียวกัน (หรือการสร้างฟังก์ชั่น) ดังที่แสดงไว้ในบทนำของสปีชีส์ combinatorial (ฉันอ่าน "สปีชี่และผู้รอบรู้และประเภท, โอ้มาย! ")
ดังนั้นสำหรับคำถามแรกมีวิธีการกู้คืนสมการสร้าง (เรียกซ้ำ) จากชุดพลังงานหรือไม่? นั่นคือความคิดในภายหลัง
ฉันสนใจแนวคิดของ algebras เริ่มต้นและ co-algebras สุดท้ายในรูปแบบของ“ การกำหนดขั้นตอนเกี่ยวกับโครงสร้างข้อมูล” มีกฎในทางปฏิบัติบางประการในการเขียนโปรแกรมเชิงฟังก์ชันที่เกี่ยวข้องกับองค์ประกอบผลิตภัณฑ์ของการทำแผนที่ระหว่างจีบราส์และที่คล้ายกันซึ่งได้อธิบายไว้ตัวอย่างในบทช่วยสอนนี้. สำหรับฉันแล้วดูเหมือนว่านี่อาจเป็นวิธีที่ทรงพลังทีเดียวในการเข้าหาความซับซ้อนและยกตัวอย่างเช่นมันดูเหมือนตรงไปตรงมามากที่จะกู้คืนทฤษฎีบทของอาจารย์ในบริบทเช่นนั้น (ฉันหมายความว่าคุณต้องทำข้อโต้แย้งเดียวกัน และ catamorphism ที่ไม่เหมือนใครจากพีชคณิตเริ่มต้นและความจริง (ฉันเข้าใจผิด?) ว่าพีชคณิตระหว่าง A และ FA สำหรับ F-polynomial functor isomorphic ทำให้ฉันมองว่าวิธีการดังกล่าวอาจมีประโยชน์มากมายในการวิเคราะห์ความซับซ้อนของ การดำเนินงานมากกว่าโครงสร้างข้อมูล
จากมุมมองของภาคปฏิบัติดูเหมือนว่ากฎฟิวชั่น (โดยทั่วไปวิธีในการเขียน morphisms ของพีชคณิตกับอีกอันหนึ่ง morphisms ของ coalgebra และ morphisms ทั่วไป) เป็นเทคนิคการเพิ่มประสิทธิภาพที่มีประสิทธิภาพมากสำหรับการแปลงโปรแกรมและการปรับโครงสร้างใหม่ ฉันคิดว่าการใช้ประโยชน์เต็มที่ของกฎเหล่านี้สามารถสร้างโปรแกรมที่ดีที่สุด (ไม่มีโครงสร้างข้อมูลกลางที่ไม่จำเป็นหรือการดำเนินการพิเศษอื่น ๆ )
ฉันเข้าสู่บางสิ่ง (และอะไร) ที่นี่ เป็นประโยชน์หรือไม่ (จากมุมมองการเรียนรู้) เพื่อลองดูความซับซ้อนของการคำนวณด้วยวิธีนี้? โครงสร้างซึ่งเราสามารถมีจีบราส์เริ่มต้น "ดี" อย่างใด จำกัด เกินไปสำหรับปัญหาบางอย่างหรือไม่?
ฉันส่วนใหญ่พยายามหาวิธีคิดเกี่ยวกับความซับซ้อนในแง่ของโครงสร้างของพื้นที่การค้นหาและวิธี "พื้นที่การค้นหา" และ "อัลกอริทึมการค้นหา" โต้ตอบผ่านวัตถุ "ดี" บางอย่างเช่นพีชคณิตเริ่มต้นของ functor และ เพื่อทำความเข้าใจว่ามันมีประโยชน์หรือไม่เมื่อลองดูสิ่งต่าง ๆ ในลักษณะนี้เมื่อดูโครงสร้างที่ซับซ้อนมากขึ้น