Misalkan GK2K, di manaV(G) ={v0, v1, v2, ......V2K-1}. v0, v1, v2, ......V2K-1 menjadipuncak dari 2k-1)gon dan tempatv0ditengah(2k-1)-gon. Menggambar setiaptepiGsebagai segmengaris lurus. LeF1menjadi1-faktor Gyang terdiri daritepiv0v1dan semuatepiGtegak lurusv0v1, yaituv2v2k-1, v3v2k-2, ....., vkvk+1. Secara umum, untuk1I2k-1, F1menjadi1-faktor Gyang terdiri daritepiv0v1dan semuatepiGtegak lurusv0v1. KemudianGmemilikifaktorisasi1-faktor F1, F2, ..., F2k-1. DalambuktiTeorema8.14dijelaskan1-faktorisasi K2K, 1-faktor F2dapat diperolehdengan memutarF1melalui sudut2/(2k-1) radian. Dengan memutarF1melaluisudutini dua kali, F3diperoleh, dan sebagainya. Dalam hal ini,1-faktorisasi dijelaskandalam pembuktianyang disebutfaktorisasisiklik,untukmemudahkandiilustrasikan pada Gambar8.10dimanak=3. Dengan bantuanteorema8.6, kita dapat menggambarkankelas lain darigrafik1-factorable. teorema 8.15 Setiap graf bipartit r-reguler, r 1, 1-factorable. Bukti: Misalkan G adalah graf bipartit r-reguler, di mana r 1. Dengan teorema 8.6 G berisi M1 bertara sempurna. Oleh karena itu G - M1 adalah (r-1)-reguler. Jika r 2. Kemudian G-M1 berisi pencocokan M2 sempurna. Dengan menerapkan Teorema 8.6 r kali, kita melihat bahwa E (G) dapat dipartisi menjadi bertara sempurna, yang memunculkan 1-faktorisasi G. A 2-faktor dalam graf adalah sub grafik 2-reguler mencakup G. Oleh karena itu Setiap komponen berasaldari 2-faktor siklus. Sebuah grafik G dikatakan 2-factorable jika terdapat 2 faktor-F1, F2, ..., Fk sehingga E (F1), E (F2), ..., E (Fk) adalah partisi E (G). Grafik G akibatnya 2k-reguler. Artinya, jika G adalah grafik 2-factorable, maka G adalah r-reguler untuk beberapa r positif bahkan bulatyang mungkin dianggap sebagai hasil yang tak terduga. Petersen menunjukkan bahwa kebalikan dari pernyataan ini, juga dianggap benar. Teorema 8.16 Sebuah graf G adalah 2-factorable jika dan hanya jika G adalah r-reguler untuk beberapa r positif bahkan bulat. Bukti: Berdasarkan yang telah diamati bahwa setiap 2 graph factorable adalah r-reguler untuk beberapa r positif bahkan bulat. Oleh karena itu, kita hanya perlu menetapkan sebaliknya. Misalkan G sebuah grafik r-reguler, di mana r = 2k dan k 1. Tanpa menghilangkan sifat umum, kita berasumsi bahwa G terhubung. Dengan teorema 6.1, G bersifat Eulerian dan karena itu mengandung sirkuit Euler C. (tentu saja, titik G bisa muncul lebih dari sekali di C. pada kenyataannya, setiap titik sudut G muncul tepat k kali dalam G). Misalkan V (G) = {v1, v2, ...... vn}. Kita membangun grafik H bipartit dengan set partite. U = {u1, u2, ...... un} dan W = {w1, w2, ...... wn}.
Dimana puncak ui dan wj (1 I, j n) yang berdekatan di H jika v, dengan mengikuti vi pada C. karena setiap simpul G muncul tepat k kali dalam C. grafik H adalah k-reguler. Dengan teorema 8.15, H adalah 1-factorable sehingga H dapat menjadi faktor dalam k 1-faktor F1 ', F2', ..., Fk '. Selanjutnya, setiap 1-faktor Fi '(1 i k) H sesuai dengan F1 2-faktor G. dipertimbangkan 1-faktor F1', misalnya.F1 'adalah pencocokan sempurna H, maka E (F1') adalah himpunan independen k tepi H,misalkan: E (F1 ') = {u1wi1, u1wi1, ..., Unwin}, Dimana bilangan bulat i1, i2, ... di adalah bilangan bulat 1,2, ..., n dalam beberapa urutan dan ij j untuk setiap j (1 j n). diduga bahwa itu = 1. Kemudian 1-faktor F1 'menimbulkan siklus C (1): v1, vi1, ......, vt, vi1 = vi. . Jika C (1) memiliki panjang n, siklus C (1) G adalah 2-faktor G. Jika panjang C (1) kurang dari n, maka ada vl simpul H yang tidak pada C (1): vl, vil, ..., vi = vt. selanjutnya, kita peroleh koleksi berpasangan siklus titik-disjoint yang berisi setiap titik sudut H sekali, menghasilkan F1 2-faktor G. secara umum itu, 1-faktorisasi H menjadi 1-faktor F1 ', F2' , ..., Fk 'menghasilkan 2-faktorisasi H menjadi 2faktor F1, F2, ..., Fk seperti yang diinginkan. Untuk menggambarkan bukti , perhatikan grafik 4-reguler padaTeorema 8.16,G k2, 2,2 ditunjukkan pada gambar 8.11 (a). salah satu sirkuit Euler G adalah C: v1, v2, v3, v1, v4, v5, v6, v4, v2, v5, v3, v6, v1 V (G) = {v1, v2, ..., v6}, kita membangun graf bipartit H (dalam figure8.11 (b)) dengan set partite U = {u1, u2, ...... u6} dan H '= { w1, w2, ...... w6}. v1v2 dan v2v3 tepi u1w1 dan u2w2 milik H, angka 8.11 (c) menunjukkan kemungkinan 1-faktorisasi H menjadi dua 1-faktor F1 'dan F2'. yang menimbulkan tio 2faktorisasi ditunjukkan pada gambar 8.11 (d). Karena graf lengkap K2K +1, di mana k 1, adalah 2k-reguler, K2K +1 adalah 2-factorable. Beberapa 2faktorisasi K3, K5 dan K7, tapi ada 2-faktorisasi dari masing-masing grafik di mana setiap 2-faktor siklus Hamiltonian. Hal ini jelas dalam kasus K3 dan K5. Sebuah faktorisasi Hamiltonian dari graf G adalah 2faktorisasi G di mana masing-masing 2-faktor siklus Hamiltonian. Sebuah graf G adalah Hamiltonianfactorable jika terdapat faktorisasi Hamiltonian G. untuk setiap bilangan n 3, grafik kn lengkap, Hamilton-factorable. Sebelum menyajikan bukti fakta ini, kita membuat beberapa komentar tentang grafik lengkap yang berguna dalam bukti ini dan dalam beberapa bukti masa depan. Untuk graf G kn, dimana n 4, dengan V (G) = {v1, v2, ..., vn}, tentu G mengandung siklus Hamiltonian C: v1, v2, ..., vn, v1. Untuk setiap dua puncak berbeda vi dan vj G (dan C), dC jarak (vi vj) antara vi dan vj pada siklus C adalah salah satu bilangan bulat 1,2, ..., (n-1) / 2 jika n ganjil. Dalam mebuat kn, itu berguna untuk label tepi vi vj dengan nomor dC (vi vj). Oleh karena itu jika n 3 adalah ganjil, maka persis n tepi diberi label k untuk setiap k bilangan bulat dengan 1 k (n-1) / 2. Di sisi lain, jika n 4 adalah genap, maka persis n tepi diberi label k untuk setiap k bilangan bulat dengan 1 k (n-2) / 2, sementara n / 2 ujungnya diberi label n / 2. Hal ini diilustrasikan pada Gambar 8.13 untuk k4 dan k5. Untuk k3 hanya ujung berlabel 1 atau 3 yang akan ditampilkan. Tepi tidak ditarik dalam k6 yang diberi label 2. Kadang-kadang untuk memperbesar diberikan lengkap grafik kn kn ke 1 dengan menambahkan simpul baru untukbergabung dan kn bahwa puncak ke semua simpul kn. ketika hal ini terjadi, kita katakan setiap sisi baru dalam konstruksi ini dengan bilangan bulat 0.