在问题求解课程中，遇到了一个经典问题：硬币找零问题。经过一番挣扎，最终得出一个错误引理。正确的条件早有前人做过，即 Kozen–Zaks 条件。这篇文章就来聊聊它。

阅读全文...