Pertanyaan yang diberi tag «graph-theory»

Kelas struktur herediter (misalnya grafik) adalah yang ditutup di bawah substruktur yang diinduksi, atau setara, ditutup di bawah penghapusan verteks. Kelas grafik yang mengecualikan minor memiliki properti bagus yang tidak bergantung pada minor yang dikecualikan tertentu. Martin Grohe menunjukkan bahwa untuk kelas grafik tidak termasuk minor ada algoritma polinom untuk …

15 cc.complexity-theory  graph-theory  relational-structures 

Saya mencari algoritma online untuk mempertahankan penutupan transitif dari grafik asiklik langsung dengan kompleksitas waktu kurang dari O (N ^ 2) per penambahan tepi. Algoritme saya saat ini seperti ini: For every new edge u->v connect all nodes in Pred(u) \cup { u } with all nodes in Succ(v) \ …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

Jika kita memiliki grafik besar (terarah) dan pohon berakar lebih kecil , kompleksitas apa yang paling dikenal untuk menemukan subgraf isomorfik ke ? Saya menyadari hasil isomorfisma subtree di mana dan adalah pohon dan juga di mana adalah planar atau telah terikat treewidth (dan lain-lain) tetapi tidak untuk grafik dan …

15 ds.algorithms  reference-request  graph-theory 

Masalah terkait: Teorema Veblen menyatakan bahwa "Sebuah grafik mengakui dekomposisi siklus jika dan hanya jika itu genap". Siklusnya adalah edge disjoint, tetapi tidak harus simpul disjoint. Dengan kata lain, "Kumpulan tepi grafik dapat dipartisi menjadi siklus jika dan hanya jika setiap titik memiliki derajat genap." Masalah saya: Saya bertanya-tanya apakah …

15 cc.complexity-theory  graph-theory  co.combinatorics 

Apa kompleksitas dari masalah berikut ini? Masukan : HHH a jalur Hamilton diKnKnK_n R⊆[n]2R⊆[n]2R \subseteq [n]^2 subset pasangan simpul bilangan bulat positifkkk Pertanyaan : apakah ada cocok sehingga untuk setiap , ? (di mana )( v , u ) ∈ RMMM(v,u)∈R(v,u)∈R(v,u) \in RdG(v,u)≤kdG(v,u)≤kd_G(v,u) \leq kG=([n],M∪H)G=([n],M∪H)G = ([n], M\cup H) Saya …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Misalkan kita menghubungkan titik-titik menggunakan set tepi yang tidak diarahkan sedemikian sehingga salah satu terhubung ke , atau terhubung ke , secara independen dan seragam secara acak untuk semua .V=Z2V=Z2V = \mathbb{Z}^2EEE(i,j)(i,j)(i, j)(i+1,j+1)(i+1,j+1)(i + 1, j + 1)(i+1,j)(i+1,j)(i + 1, j)(i,j+1)(i,j+1)(i, j + 1)i,ji,ji, j (Terinspirasi oleh judul dan sampul …

14 graph-theory 

Kami menganggap DAGs (diarahkan grafik asiklik) dengan satu node sumber sss dan satu sasaran simpul ttt ; tepi paralel yang bergabung dengan pasangan simpul yang sama diizinkan. Sebuah kkk - cut adalah satu set tepi yang removal menghancurkan semua sss - ttt jalur lama dari kkk ; jalur sss - …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

Masalah jalur terpanjang adalah NP-hard. Bukti (khas?) Bergantung pada pengurangan masalah jalur Hamiltonian (yang NP-lengkap). Perhatikan bahwa di sini jalan dianggap sederhana (node-). Artinya, tidak ada titik dapat terjadi lebih dari satu kali di jalan. Jelas itu juga edge-simple (tidak ada edge yang akan muncul lebih dari satu kali di …

14 graph-theory  graph-algorithms  hamiltonian-paths 

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 :: …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Dalam makalah mereka Perkiraan Jarak Orakel , Thorup dan Zwick menunjukkan bahwa untuk setiap grafik tanpa arahan tertimbang, adalah mungkin untuk membangun struktur data ukuran yang dapat mengembalikan ( 2 k - 1 ) -approximate jarak antara setiap pasangan simpul dalam grafik.O ( k n1 + 1 / k)HAI(kn1+1/k)O(k n^{1+1/k})( …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

Masalah GI dan Knot keduanya merupakan masalah dalam menentukan kesetaraan struktural dari objek matematika. Apakah ada hasil yang membuat koneksi di antara mereka? Koneksi bagus masalah simpul ke fisika statistik telah dieksplorasi melalui simpul polinomial , apakah ada hasil yang serupa untuk ?G IGsayaGI Akan sangat membantu untuk mengetahui apakah …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Saya tertarik pada grafik pada nnn simpul yang dapat diproduksi melalui proses berikut. Mulai dengan grafik arbitrer GGG pada k≤nk≤nk\le n simpul. Labeli semua simpul dalam sebagai tidak digunakan .GGG Menghasilkan grafik baru dengan menambahkan titik baru , yang terhubung ke satu atau lebih yang tidak terpakai simpul di , …

14 ds.algorithms  graph-theory  treewidth 

Pertanyaan ini terkait dengan salah satu pertanyaan saya sebelumnya, masalah NP-hard pada pohon . Saya mencari masalah yang P-lengkap di pohon.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

Diberikan graf biasa, tidak berarah , apa hubungan antara diameternya - didefinisikan sebagai jarak terbesar antara dua node - dan konduktansinya, didefinisikan sebagai mana e (S, S ^ c) adalah jumlah tepi yang melintasi antara S dan S ^ c .min S ⊂ V e ( S , S c …

14 graph-theory  co.combinatorics  expanders 

Adakah yang diketahui tentang masalah berikut? Apakah itu masuk akal? Disebut apakah itu? Apakah ini sepadan dengan beberapa masalah lain? Apa kompleksitas waktu? Diberikan grafik (umum / planar / terikat-derajat / dll.) G = (V, E), temukan subset maksimum tepi E ', sedemikian sehingga G' = (V, E-E ') terhubung …

14 ds.algorithms  graph-theory