这是图论里的概念。 假设S是一个图， S的对偶图S'构造如下：

把S中的边对应成S'中的顶点，把S中的顶点对应成S'中的若干条边。 只要S中两条边通过同一个顶点，那么这个顶点在S'中就要提供一条边恰好连接由那两条边对应的顶点的。

举个例子： 比如一个图由两个顶点，顶点间共有三条边链接， 它的对偶图就是一个三角形，由三个顶点和三条边构成

一个对偶图有一些拓扑上的不变量，比如贝蒂数。 第0个贝蒂数就是连通 子图 的个数。 第2贝蒂数就是点的个数。 第1贝蒂数稍稍复杂。假设图中的点是不带权值的，那么第1贝蒂数就是圈（包括环路）的个数。