Subgraf terinduksi

Dalam teori graf, suatu subgraf terinduksi (Templat:Lang-en) 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 $G=(V,E)$ adalah sebarang graf, dan misalkan $S\subset V$ adalah sebarang subhimpunan dari simpul Templat:Mvar. Maka subgraf terinduksi $G[S]$ merupakan graf yang himpunan simpulnya adalah $S$ serta himpunan sisinya terdiri dari semua sisi di $E$ yang memiliki dua buah simpul ujung di $S$.Templat:R Dalam artian, untuk sebarang dua simpul $u,v\in S$, $u$ dan $v$ dikatakan bertetanggaan di $G[S]$ jika dan hanya jika kedua buah simpul tersebut bertetanggaan di $G$. Definisi yang sama ini berlaku pula untuk graf tak berarah, graf berarah, dan bahkan multigraf.

Contoh

Masalah ular di sebuah kotak melibatkan lintasan terinduksi terpanjang di graf hiperkubus.

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.Templat:R
• 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.Templat:R
• 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.Templat:R