Edge cover

Dalam Teori graf, edge cover adalah himpunan busur ("edge") sehingga setiap simpul ("vertex") pada graf insiden dengan setidaknya satu busur dari himpunan. Dalam ilmu komputer, masalah "minimum edge cover" adalah masalah untuk menemukan "edge cover" dengan ukuran yang paling minimal. Ini adalah masalah optimasi yang dapat diselesaikan dalam waktu polinomial. Secara formal, sebuah "edge cover" dari graf G adalah himpunan busur C sehingga setiap simpul insiden dengan setidaknya satu busur dalam himpunan busur C. Dengan kata lain, setiap simpul merupakan ujung dari salahsatu atau lebih busur dalam C. Gambar berikut menunjukkan menunjukkan contoh "edge cover" dari graf G.