Di bawah ini, MSO menunjukkan logika urutan kedua monadik dari grafik dengan kuantifikasi himpunan sudut dan himpunan tepi. Biarkan menjadi kelompok kecil grafik tertutup. Ini mengikuti dari teori minor minor Robertson dan Seymour bahwa ditandai dengan daftar berhingga dari anak di bawah umur...
Saya seorang ahli matematika yang tertarik pada teori himpunan, teori ordinal, kombinatorik tak terbatas dan topologi umum. Apakah ada aplikasi untuk mata pelajaran ini dalam ilmu komputer? Saya telah melihat sedikit, dan menemukan banyak aplikasi (tentu saja) untuk teori graf hingga, topologi...
Menurut buku Teori Topologi Grafik oleh Gross dan Tucker, diberikan embedding seluler grafik pada suatu permukaan (dengan 'permukaan' yang saya maksudkan adalah bola dengan beberapa pegangan, dan di bawah S n mengacu pada bola dengan tepat n handle), seseorang dapat mendefinisikan multigraf ganda...
Apa yang saat ini diketahui tentang perkiraan masalah genus? Sebuah pencarian awal memberitahu saya bahwa faktor pendekatan konstan sepele untuk grafik cukup padat, dan nϵnϵn^\epsilon -approximation algoritma telah dikesampingkan. Apakah informasi ini mutakhir, atau adakah batas yang lebih baik...
Misalkan adalah grafik yang tertanam pada permukaan kompak genus g yang dapat diorientasikan sehingga embedding bersifat seluler. Pertimbangkan dual dari grafik G ∗ . Biarkan C 1 dan C 2 menjadi siklus terpisah dalam G ∗ yang saling homotopik dan biarkan E 1 dan E 2 menjadi set tepi yang sesuai di...