如果图G=<V,E>是哈密尔顿图，则它必然具备下述性质

哥尼斯堡七桥问题是在寻找一条遍历图中所有边的简单路径，而哈密尔顿的周游世界问题则是在寻找一条遍历图中所有点的基本路径。在无向图G=<V,E>中，遍历G中每个顶点一次且仅一次的路径称为哈密尔顿路径，遍历G中每个顶点一次且仅一次的回路称为哈密尔顿回路。具有哈密尔顿回路的图称为哈密尔顿图。哈密尔顿问题是一类问题的总称。

       问题提出没过多久，哈密尔顿就收到许多来自世界各地的表明成功周游世界的答案。然而，有没有一个一般的方法来判定一个图是或者不是哈密尔顿图呢? 一个半世纪过去了，这个问题即一个图是否为哈密尔顿图的判定问题至今悬而未决。哈密尔顿问题一直是图论中的世界性难题，到目前为止仍然没有找到一个像欧拉图那样简单的充分必要条件。目前的研究结果仅仅可以分别给出哈密尔顿回路存在的必要条件和充分条件。

       如果图G=<V,E>是哈密尔顿图，则它必然具备下述性质：

       对V的每个非空真子集 S均有w(G-S)<=|S| ，其中|S|是S中的顶点数， w(G-S)表示G删去顶点集S后得到的图的连通分图个数。

       上述条件是一个必要条件，但不是一个充分条件。因此，可以运用它来判定某些图不是哈密尔顿图。即哈密尔顿图都满足这样的条件，但符合该条件的图不一定是哈密尔顿图，彼得森图就不是一个哈密尔顿图，但它却满足上述条件。

       下面给出一个判定哈密尔顿回路存在的充分条件：

       如果图G=<V,E>是具有n>=3个顶点的简单无向图，且在图G中每一对顶点的度数和都不小于n ，那么 G中必然存在一条哈密尔顿回路。

       上述条件是一个充分条件，但不是一个必要条件。也就是说满足该条件的图必然是哈密尔顿图，但不满足该条件的图也有可能是哈密尔顿图。

       在计算理论中，我们定义P类是确定形 单带图灵机在多项式时间内 可以判定的 语言类，即

P大致对应于在计算机上实际可以解的问题类。与之相对应的，还有NP类，NP类是具有多项式时间验证机的语言类，其中验证机的定义如下：语言A的验证机是一个算法V，其中A = {w | 对某个字符串c, V 接受<w,c>}

       因为只根据w的长度来度量验证机的时间 ，所以多项式时间验证机在w的长度的多项式时间内运行。如果语言A有一个多项式时间验证机，我们就称它是多项式时间可验证的。

       验证机利用额外的信息（即上述定义中的符号c）来验证字符串w 是A 的成员。该信息称为A 的成员资格证书．或证明。注意，对于多项式验证机，证书具有多项式的长度（ w的长度），因为这是该验证机在它的时间界限内所能访问的全部信息长度。

       NP的意思就是非确定型多项式时间，这也是使用非确定型多项式时间图灵机的一个特征。一个非常重要的定理就是：一个语言在NP 中，当且仅当它能被某个非确定型多项式时间图灵机判定。

       回到我们所谈论的哈密尔顿路径问题，考虑验证一个有向图是否包含连接两个指定节点的哈密尔顿路径问题，我们用HAMPATH来表示这个问题，即

HAMPATH = {<G, s, t> | G是包含从s到t 的哈密尔顿路径的有向图}

HAMPATH是一个典型的NP问题。我们把验证机的定义应用到HAMPATH 上。对于HAMPATH 问题，字符串<G, s, t>∈HAMPATH的证书就是只有一条从s到t 的哈密尔顿路径。

       下面给出一个在非确定型多项式时间内判定HAMPATH 问题的非确定型图灵机

       如前所述， NP 是在非确定型图灵机上多项式时间内可解的语言类，或者等价地说，是成员资格可以在多项式时间内验证的语言类。P 是成员资格可以在多项式时间内判定的语言类。把这些内容总结如下，其中，把多项式时间可解的粗略地称为“快速地”可解的。
P ＝ 成员资棉可以快速地判定的语言类
NP ＝成员资格可以快速地验证的语言类
       我们已经给出了语言的例子，如HAMPATH  ， 它是NP 的成员．但不知道是否属于P。多项式可 验证性的能力似乎比多项式可判定性的能力大得多。但是， P 和 NP 也可能相等，虽然这一点可能难以想象。还不能证明在NP 中存在一个不属于P 的语言。
       P = NP 是否成立的问题是理论计算机科学和当代数学中最大的悬而未决的问题之一。如果这两个类相等，那么所有多项式可验证的问题都将是多项式可判定的。 大多数研究人员相信这两个类是不相等的，因为人们已经投入了大量精力为NP中的某些问题寻找多项式时间算法，但皆以失败告终。

       研究人员还试图证明这两个类是不相等的，但是这要求证明不存在快速算法来代替蛮力搜索（Brute Force Search）。目前， 科学研究还无法做到这步。

       2000年5月24日，美国克雷数学研究所(Clay Mathematics Institute,CMI) 指出新世纪亟待解决的七大数学难题，又称千禧年大奖难题(Millennium Prize Problems)，P=NP？问题位列其中。根据克雷数学研究所订定的规则，任何一个猜想的解答，只要发表在数学期刊上，并经过两年的验证期，解决者就会被颁发一百万美元奖金。就目前来看，这一世纪难题似乎还没有任何将要被破解的迹象。

       在有向图中也可以定义哈密尔顿有向路径和哈密尔顿有向回路。最后，我们来考虑哈密尔顿回路的一个特例——骑士周游问题。

       骑士周游问题（又称骑士漫游或马踏棋盘问题）是算法设计的经典问题。现在已知的关于该问题的最早记录可追溯到公元九世纪，印度诗人和文艺理论家楼陀罗托（Rudrata）在其著作《诗庄严论》中对此给出了直观的描述。欧拉是西方最早研究骑士周游问题的数学家之一。但第一个系统化解决骑士周游问题的方法则是由德国学者冯·恩斯多夫（H. C. von Warnsdorf）于1823年提出的，这个方法现在被称为恩斯多夫规则或恩斯多夫算法。