ronghuilin的博客

程序的线性性是程序数据决定的。线性表包括数组，栈，队列。栈和队列是动态数据结构。线性表的有序性是存储的数据决定。b）二叉树或矩阵有良好数据存储结构，应根据索引结构或逻辑关系发现上确界。a）图或者无序输入数据序列是非线性序列，找到上确界应该排序。程序的性质有，线性性，数学性 ，并发性与并行性。根据实数理论与集合论，全序序列一定有上确界。线性表只有一个首元素与一个尾元素。树是复合线性表，图则不是线性表。

1.概述   程序设计方法和程序分析是两个不同范围应用的技术。 程序设计方法是提高程序效率和确保程序正确性而产生的软件理论。经过战胜软件危机，丰富深刻的设计方法的出现，越来越多的应用编程，程序员和编程爱好者建立了程序设计方法学。 而程序分析是发现程序设计方法不能阻止的程序错误和程序缺陷而发展的。程序分析对已有程序的执行次数、程序路径、变量值进行分析。   程序效率表示程序的性能，人们用...