随机性保持协议的共代数工具
Coalgebraic Tools for Randomness-Conserving Protocols
摘要：
我们提出了一个共代数模型，用于构建和推理基于状态的协议，实现有效的减少随机过程。我们提供了基本的工具，允许有效的协议，以组合的方式构建和分析的状态和熵损失之间的权衡。我们将展示如何使用这些工具来构建各种熵守恒过程之间的减少。
英文摘要：
We propose a coalgebraic model for constructing and reasoning about state-based protocols that implement efficient reductions among random processes. We provide basic tools that allow efficient protocols to be constructed in a compositional way and analyzed in terms of the tradeoff between state and loss of entropy. We show how to use these tools to construct various entropy-conserving reductions between processes.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
