数据结构是指相互之间存在一种或多种特定关系的数据元素的集合。
“数据结构”定义为一个二元组（D，S），即两个集合，D是数据元素的集合，S是数据元素之间一个或多个关系的集合。
抽象数据类型( ADT，Abstract Data Type)是指一个数学模型以及定义在此数学模型上的一组操作。
定义为一个三元组（D，S，P），加上的P是定义的一组针对存储的数据操作（如插入，删除，排序等）。
“抽象数据类型”来实现“数据结构”。
算法是解决问题的步骤，程序是算法的代码实现。
经过图（有向图或无向图）中所有顶点一次且仅一次的通路称为哈密顿通路。
经过图中所有顶点一次且仅一次的回路称为哈密顿回路。
具有哈密顿回路的图称为哈密顿图，具有哈密顿通路但不具有哈密顿回路的图称为半哈密顿图。
既然这类问题（NP）的所有可能答案，都可以在多项式时间内计算，人们于是就猜想，是否这类问题，存在一个确定性算法，可以在多项式时间内，直接算出或是搜寻出正确的答案（P）呢？这就是著名的NP=P？的猜想。