可逆计算模型中双向双射的特征刻画
计算机科学中的逻辑
2025-06-05 v1 计算复杂性
编程语言
摘要
我们提出了一种命令式、基于栈且可逆的计算模型，该模型在计算复杂度方面以隐式方式刻画了双向双射，并实现零垃圾回收。
引用
@article{arxiv.2506.03382,
title = {Towards a Characterization of Two-way Bijections in a Reversible Computational Model},
author = {Matteo Palazzo and Luca Roversi},
journal= {arXiv preprint arXiv:2506.03382},
year = {2025}
}
备注
8 pages, 3 figures, 5 listings. Author's copy of the version which will appear in the Proceedings of the 17th International Conference, RC 2025, Odense, Denmark, July 3-4, 2025