邊覆蓋

邊覆蓋是邊的子集，其定義類似於頂點覆蓋（Skiena 1990，第219頁），即圖邊的集合，使得邊端點的並集對應於圖的整個頂點集。因此，只有沒有孤立點的圖才有邊覆蓋。

可以使用Wolfram 語言測試邊的集合 ，以檢視它是否是給定圖的邊覆蓋，方法是使用EdgeCoverQ[g, e]。可以使用以下命令查詢許多命名圖的預計算邊覆蓋GraphData[graph,"EdgeCovers"].

對於給定的圖，具有最小可能邊數的邊覆蓋稱為最小邊覆蓋。可以使用Wolfram 語言中的以下命令找到圖的最小邊覆蓋FindEdgeCover[g]。不包含任何其他邊覆蓋作為真子集的邊覆蓋稱為極小邊覆蓋。