[D1] Definisi Graf

[Gampang] Subgraf
Misalkan $G$ adalah graf dengan himpunan simpul dan sisi berturut-turut $V(G)
$ dan $E(G)$. Suatu graf $G'$ adalah subgraf dari $G$ dengan himpunan simpul dan
sisi berturut-turut $V'(G') \subseteq V(G)$ dan $E'(G') \subseteq E(G)$.
[Gampang] Simpul yang Berdekatan / Adjecent Vertices / Vertex Neighbourood
Misalkan $v,w \in V(G)$. Kedua simpul $v,w$ disebut \textit{berdekatan} jika
ada sisi $\bar{vw} \in E(G)$.
[Udah see beamer] Path
[Istilah] Panjang / jarak
Misalkan $v,w \in V(G)$. Panjang / jarak antara dua simpul $d(v,w)$ adalah
jarak terpendek dari jalur (\textit{path}) yang menghubungkan $v$ dan $w$.
[Istilah] Diameter Graf
Diameter dari graf $G$, yang dinotasikan dengan $diam(G)$, didefinisikan
sebagai jarak maksimum di $G$, yaitu \[ diam(G) = \max\limits_{x,y \in V(G)}d(x,y).
\]
[Istilah] Derajat Graf
\begin{itemize} \item Derajat dari suatu simpul $v \in V(G)$ -dinotasikan
dengan $k_v$- adalah total simpul yang \textit{berdekatan} dengan $v$. \item
Derajat minimum simpul (derajat minimum) dari suatu graf (G), dinotasikan dengan
$\delta$, adalah dejarat terkecil suatu simpul di $G$. \end{itemize}
Ujung sisi
Misalkan simpul $v,w \in V(G)$ pada suatu graf (G) dihubungkan oleh suatu
sisi $e \in E(G)$. Maka kedua simpul $v$ dan $w$ disebut sebagai \textit{ujung}
dari sisi $e$.
[Sarada Herke] Pewarnaan Simpul
\begin{itemize} \item Pewarnaan simpul: pemberian label "warna" terhadap
simpul sedemikian sehingga setiap dua simpul yang berdekatan tidak memiliki warna
yang sama. \item Pewarnaan-$k$: pewarnaan simpul pada suatu graf dengan sejumlah
$k$ warna yang berbeda. \item Dapat diwarnakan-$k$: jika dapat dilakukan pewarnaan-
$k$ terhadap suatu graf $G$, maka $G$ disebut $k$-\textit{colourable}. \item
Terwarnakan-$k$: suatu graf yang telah dilakukan pewarnaan dengan $k$ warna yang
berbeda. \end{itemize}
[Sarada Herke] Bilangan Kromatik
Bilangan kromatik adalah nilai terkecil sedemikian hingga suatu graf $G$
adalah $k$-\textit{colourable}.
[Istilah] Maximal Matching dan Maximum Matching
\begin{itemize} \item \textit{Matching}: subhimpunan dari $E(G)$ dengan
elemen berupa sisi sedemikian sehingga tidak ada sisi $e,f \in M$ yang memiliki
\textit{ujung} yang sama. \item \textit{Maximal matching}: \textit{matching} yang
anggotanya tidak dapat lagi ditambah. \item \textit{Maximal matching}:
\textit{maximal matching} dengan anggota paling banyak. \end{itemize}
[Sarada Herke] Komponen terhubung
Suatu graf $G$ memiliki sejumlah $c(G)$ komponen graf terhubung, di mana
terdapat $c(G)$ komponen yang saling tidak terhubung.

[Istilah] Graf Kosong

Graf kosong adalah graf yang tidak memiliki sisi, yaitu $E(G) = \emptyset$.
[Istilah] Graf Komplit
Graf $G$ adalah graf komplit apabila ada sisi $e \in E(G)$ sedemikian
sehingga setiap dua simpul $v,w \in V(G)$ saling berdekatan.
[Istilah] Graf Tak Berarah dan Graf Berarah
\begin{itemize} \item Graf tak berarah: relasi pada $E(G)$ bersifat simetris,
yaitu $\forall (u,v) \in E \Rightarrow (v,u) \in E$. \item Graf berarah
(\textit{digraph}): relasi pada $E(G)$ tidak bersifat simetris, yaitu $\exists
(u,v) \in E|(v,u) \notin E$ \end{itemize}
[D1. Beamer done] Graf Terhubung
[Sarada Herke] Bipartite Graph
 Suatu graf disebut sebagai graf \textit{bipartite} jika setiap simpul $v \in
V(G)$ pada graf tersebut dapat dipartisi menjadi dua buah himpunan sedemikian
sehingga setiap sisi $e \in E(G)$ memiliki satu \textit{ujung} simpul di kedua
himpunan tersebut.
Sikel
Pohon dan Hutan
[Sarada Herke] Planar Graph dan Plane Graph
\begin{itemize} \item \textit{Planar graph}: graf yang dapat dibentuk tanpa
ada sisi yang berpotongaberpotongan. \item \textit{Plane graph}: graf yang telah
disusun sehingga tidak ada sisi yang berpotongan. \end{itemize}

[Main. CARI: Critical Graphs of Given Diameter] Pembuktian Plesnik

Konig's Line Colouring Theorem
[E3, E4, E5. Belom Srek] Menger's Theorem
[Borsuk-Ulam Theorem] Ham Sandwich Theorem

++++++++++

[Sarada Herke] Simpul Potong (Cut-Vertex) dan Sisi Potong (Cut-Edge)

Simpul potong $v \in V(G)$ pada graf $G$ adalah simpul yang apabila dihapus
menyebabkan bertambahnya komponen terhubung pada $G$, yaitu $c(G) < c(G') $, dengan
$G'$ adalah graf $G$ setelah penghapusan simpul $v$.
[Istilah. Avail] Konektivitas Simpul
[Istilah. Avail] Konektivitas Sisi

++++++++++

[Avail at beamer] Simpul Visible dan Visibility Graph

[istilah. Avail] Kolinearitas Simpul
[Main. Avail] Non-Collinear Visibility Graph
[Main. Avail] Bivisibility Graph
[Main. Avail] Non-Crossing Geometry Graph