2023年12月12日
Floyd良序集法证明程序终止性
摘要： 1.设断点并建断言 (1)开始处A： (2)循环主干处B,C等： 2.取良序集并定义函数 (1)良序集：一般为<N,<>（与证良函数有关） (2)函数：为存在循环的断点定义函数f(x)（注意：f(x)需要随着循环递减） 找随循环递减的f(x)的技巧： 看变化量和跳出循环的判断条件中的变量 尝试单个变 阅读全文
posted @ 2023-12-12 23:33 鸢凛 阅读(10) 评论(0) 推荐(0) 编辑