คำถามติดแท็ก reversible-computing

1
ภาษาการเขียนโปรแกรมที่สามารถใช้ฟังก์ชั่น bijective ที่คำนวณได้เท่านั้น?
มีภาษาโปรแกรม (หรือตรรกะ) ที่สามารถนำไปใช้ (หรือแสดง) ฟังก์ชันถ้าหากเป็นฟังก์ชัน bijective ที่คำนวณได้?f:N→Nf:N→Nf:\mathbb{N}\to \mathbb{N}fff

1
มีข้อบกพร่องอะไรเกี่ยวกับวิธีการ "บันทึก - อิน - อินพุต" ของการคำนวณแบบย้อนกลับได้?
ฉันเป็นนักศึกษาระดับปริญญาตรีเพิ่งเริ่มอ่านเกี่ยวกับการคำนวณแบบย้อนกลับได้ ฉันรู้ว่าเนื่องจากหลักการของ Landauer ทำให้การคำนวณกลับไม่สามารถกระจายความร้อน (และกลับไม่ได้) ฉันนำมันขึ้นมาพร้อมกับอาจารย์ของฉันซึ่งไม่เคยได้ยินเรื่องการคำนวณย้อนกลับมาก่อนและเขาก็มีปัญหาในการเข้าใจว่าทำไมทฤษฎีการคำนวณแบบพลิกกลับได้นั้นไม่สำคัญ ประเด็นของเขาคือคุณสามารถบันทึกอินพุตได้เสมอเช่นสำหรับฟังก์ชั่นใด ๆ ฉ: { 0 , 1}n→ { 0 , 1}nฉ:{0,1}n→{0,1}nf: \{ 0, 1 \}^n \rightarrow \{ 0, 1 \}^n ที่คุณต้องการทำให้ย้อนกลับได้กำหนดฟังก์ชั่นใหม่ ฉr e v e r s ฉันb l e: { 0 , 1}n→ { 0 , 1}2 nฉRอีโวลต์อีRsผมขล.อี:{0,1}n→{0,1}2nf_{reversible}: \{ 0, 1 \}^n \rightarrow …
โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.