最小頂點覆蓋有限simple graph中，cardinality在全部vertex covers裡最小的候選是minimum vertex cover。atlas-minimum-vertex-cover · canonical_mko最小頂點覆蓋前置節點頂點覆蓋最佳化問題集合基數比較