Subgraf terinduksi

Dalam teori graf, suatu subgraf terinduksi () dari suatu graf merupakan graf lain yang terbentuk dari subhimpunan dari simpul graf, dan semua sisi (yang ada di graf aslinya) menghubungkan pasangan simpul di subhimpunan tersebut.

Definisi 
Secara formal, misalkan  adalah sebarang graf, dan misalkan  adalah sebarang subhimpunan dari simpul . Maka subgraf terinduksi  merupakan graf yang himpunan simpulnya adalah  serta himpunan sisinya terdiri dari semua sisi di  yang memiliki dua buah simpul ujung di . Dalam artian, untuk sebarang dua simpul ,  dan  dikatakan bertetanggaan di  jika dan hanya jika kedua buah simpul tersebut bertetanggaan di . Definisi yang sama ini berlaku pula untuk graf tak berarah, graf berarah, dan bahkan multigraf.

Contoh 

Di bawah berikut merupakan jenis-jenis subgraf terinduksi yang penting:

 Lintasan terinduksi adalah subgraf terinduksi yang merupakan lintasan. Lintasan terpendek di antara sebarang dua buah simpul dalam suatu graf tak berbobot akan selalu merupakan lintasan terinduksi, sebab sebarang sisi tambahan di antara pasangan simpul yang dapat menyebabkannya menjadi tak terinduksi akan menyebabkannya tidak menjadi pendek pula. Hal tersebut berlaku untuk sebaliknya, yang mengatakan setiap lintasan terinduksi merupakan lintasna terpendek dalam distance-hereditary graph.
 Siklus terinduksi adalah subgraf terinduksi yang merupakan siklus. Girth dari suatu graf didefinisikan oleh panjang dari siklus terpendeknya yang selalu merupakan siklus terinduksi. Menurut teorema graf sempurna kuat (strong perfect graph theorem), siklus terinduksi beserta komplemennya memainkan peran penting dalam karakterisasi dari graf sempurna.
 Clique beserta himpunan bebas adalah subgraf terinduksi yang masing-masing merupakan graf sempurna atau graf tak bersisi.
 Matching terinduksi adalah subgraf terinduksi yang merupakan matching.
 Lingkungan dari suatu simpul adalah subgraf terinduksi dari semua simpul yang bertetangga dengannya.

Komputasi 
Masalah isomorfisme subgraf terinduksi merupakan sebuah masalah yang terbentuk dari masalah isomorfisme subgraf. Masalah tersebut bertujuan untuk menguji apakah suatu graf dapat ditemukan sebagai suatu subgraf terinduksi dari yang lain. Masalah ini merupakan masalah NP karena meliputi masalah clique sebagai kasus istimewa.

Rujukan 

Objek dalam teori graf