Pertanyaan yang diberi tag graph-theory

14
Apakah eta-equivalence untuk fungsi-fungsi yang kompatibel dengan operasi seq Haskell?

Lemma: Dengan asumsi kesetaraan eta kita memilikinya (\x -> ⊥) = ⊥ :: A -> B. Bukti: ⊥ = (\x -> ⊥ x)dengan kesetaraan eta, dan (\x -> ⊥ x) = (\x -> ⊥)dengan pengurangan di bawah lambda. Laporan Haskell 2010, bagian 6.2 menentukan seqfungsi dengan dua persamaan: seq :: a -> b...

13
Menemukan lubang aneh di grafik Paley yang sirkuler

The Paley grafik P q adalah mereka yang simpul-set diberikan oleh bidang yang terbatas GF (q), untuk kekuatan utama q≡1 (mod 4), dan di mana dua simpul yang berdekatan jika dan hanya jika mereka berbeda oleh 2 untuk beberapa a ∈ GF (q). Dalam kasus q adalah prima, bidang hingga GF (q) hanyalah...

13
Partisi bebas-H

Ini adalah pertanyaan yang terinspirasi oleh masalah pemotongan bebas-H . Diberikan grafik, partisi dari simpulnya mengatur menjadi r bagian V 1 , V 2 , ... , V r adalah H -gratis jika G [ V i ] tidak menginduksi salinan H untuk semua i , 1 ≤ i ≤ r .VVVrrrV1,V2,…,VrV1,V2,…,VrV_1, V_2, \ldots,...

13
Untuk grafik mana pohon DFS selalu berupa path?

Untuk grafik tanpa arahan mana semua pohon pencarian pertama-dalam (untuk semua simpul awal yang memungkinkan dan untuk semua pilihan tetangga mana yang dicari terlebih dahulu) jalur yang diarahkan? Artinya, setiap pohon DFS harus hanya memiliki satu daun, dan setiap simpul lainnya harus memiliki...

13
Apa definisi yang benar dari

Seperti judulnya, apa definisi yang benar dari -tree? Ada beberapa kertas yang berbicara tentang k -trees dan parsial k -trees sebagai definisi alternatif untuk grafik dengan treewidth dibatasi, dan saya telah melihat banyak definisi yang tampaknya tidak benar. Misalnya, setidaknya satu tempat...

13
Relaksasi LP set independen

Saya sudah mencoba relaksasi LP berikut set independen maksimum max∑iximax∑ixi\max \sum_i x_i s.t. xi+xj≤1 ∀(i,j)∈Es.t. xi+xj≤1 ∀(i,j)∈E\text{s.t.}\ x_i+x_j\le 1\ \forall (i,j)\in E xi≥0xi≥0x_i\ge 0 Saya mendapatkan 1/21/21/2 untuk setiap variabel untuk setiap graf non-bipartit kubik aku...

13
Partisi ke dalam grafik interval

Misalkan ada grafik . Saya ingin menguji apakah V dapat dipartisi menjadi dua set disjoint V 1 dan V 2 sehingga subgraph yang diinduksi oleh V 1 dan V 2 adalah grafik satuan interval.G = ( V, E)G=(V,E)G=(V,E)VVVV1V1V_1V2V2V_2V1V1V_1V2V2V_2 Saya tahu tentang NP-kelengkapan penentuan angka interval...