的序列为可简单图化的。如果一个序列可简单图化，这个算法能够构造一个特解；否则算法指出序列不可简单图化。该算法是一个递归算法。
算法.Havel–Hakimi算法基于以下定理。令formula_1为有限多个非负整数组成的非递增序列。formula_2可简单图化当且仅当有穷序列formula_3只含有非负整数且是可简单图化的。如果给定的序列 formula_2 是可简单图化的，那么算法最多运行formula_5次赋值formula_6。注意每次赋值后可能需要重新对序列排序。当f