摘要:
题目要求定义算法$C_2$实现算法$C_1$,看答案之前,没有任何概念,完全不清楚如何定义。看了答案,发现并不是很难理解,倒是作者举的例子将简单的事情说得复杂,不看也罢。 说算法$C_2$实现算法$C_1$,意味着:两个算法的输入、输出一一对应,$C_1$中的一步状态迁移可以用$C_2$中的多步迁移实现。这个关系直观上理解起来比较简单,但用数学方式表达可能要复杂一些。 首先定义了三个映射关系: g: $I_1 \rightarrow I_2$ h: $Q_2 \rightarrow Q_1$ j: $Q_2 \rightarrow$ uint 关于映射关系的定义,一定要有... 阅读全文