Pertanyaan yang diberi tag «directed-acyclic-graph»

Misalkan saya memiliki grafik asiklik terarah dengan bobot bilangan real pada simpulnya. Saya ingin menemukan pemesanan topologi DAG di mana, untuk setiap awalan pemesanan topologis, jumlah bobot adalah non-negatif. Atau jika Anda lebih suka terminologi teoretis pesanan, saya memiliki urutan parsial tertimbang dan saya ingin ekstensi linier sehingga setiap awalan …

45 ds.algorithms  directed-acyclic-graph  partial-order 

Masalahnya, tentu saja, penghitungan ganda. Cukup mudah dilakukan untuk kelas DAGs tertentu = pohon, atau bahkan pohon paralel serial. Satu-satunya algoritma yang saya temukan yang bekerja pada DAG umum dalam waktu yang wajar adalah perkiraan (Synopsis difusion), tetapi meningkatkan ketepatannya adalah eksponensial dalam jumlah bit (dan saya perlu banyak bit). …

34 ds.algorithms  graph-theory  directed-acyclic-graph 

Mengapa "penyortiran topologis" disebut "topologis"? Apakah hanya karena itu menentukan pesanan tanpa mengubah simpul atau tepi - seperti donat dan cangkir kopi secara topologi setara? Mengapa tidak disebut "semacam ketergantungan" atau yang lainnya? Mengapa "topologis"? Saya akui saya bingung.

28 graph-theory  graph-algorithms  directed-acyclic-graph  topology 

Dengan diberikan grafik asiklik terarah, , mungkinkah mendukung operasi berikut secara efisien?G(V,E)G(V,E)G(V,E) : Menentukan apakah ada jalur dalam G dari simpul a ke simpulisConnected(G,a,b)isConnected(G,a,b)isConnected(G,a,b)GGGaaabbb : Menambahkan tepi dari a ke b dalam grafik Glink(G,a,b)link(G,a,b)link(G,a,b)aaabbbGGG : Menghapus ujung dari a ke b di Gunlink(G,a,b)unlink(G,a,b)unlink(G,a,b)aaabbbGGG : Menambahkan simpul ke Ga dd( G …

17 ds.algorithms  graph-algorithms  directed-acyclic-graph  online-algorithms 

Grafik campuran adalah grafik yang mungkin memiliki tepi terarah dan tidak berarah. Grafiknya yang tidak diarahkan mendasari diperoleh dengan melupakan orientasi dari tepi yang diarahkan, dan di arah lain orientasi dari grafik campuran diperoleh dengan menetapkan arah ke setiap tepi yang tidak diarahkan. Seperangkat tepi membentuk siklus dalam grafik campuran …

16 ds.algorithms  reference-request  graph-theory  graph-algorithms  directed-acyclic-graph 

Saya mencoba untuk mengetahui bagaimana Path Graph menurut Algoritma Eppstein dalam makalah ini bekerja dan bagaimana saya dapat merekonstruksi jalur terpendek dari ke dengan konstruksi tumpukan yang sesuai .P(G)P(G)P(G)kkkssstttH(G)H(G)H(G) Sejauh ini: out(v)out(v)out(v) berisi semua tepi meninggalkan simpul dalam grafik yang bukan bagian dari jalur terpendek di . Mereka tumpukan-dipesan oleh …

16 ds.algorithms  graph-theory  graph-algorithms  directed-acyclic-graph 

Saya diberikan sebagai masukan DAG dari simpul dimana setiap simpul adalah tambahan label dengan beberapa .GGGnnnxxxS(x)⊆{1,…,n}S(x)⊆{1,…,n}S(x) \subseteq \{1, \ldots, n\} Jenis topologi dari adalah suatu penambangan dari simpul ke sedemikian rupa sehingga untuk semua , , jika ada jalur dari ke dalam maka . Saya ingin memutuskan apakah ada semacam …

15 sorting  directed-acyclic-graph  partial-order  matching  order-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 

Saya menerapkan beberapa bagian sistem yang memerlukan bantuan. Karena itu saya membingkainya sebagai masalah grafik untuk menjadikannya domain independen. Masalah: Kami diberi grafik asiklik langsung G=(V,E)G=(V,E)G=(V,E) . Tanpa kehilangan umum menganggap bahwa memiliki tepat satu sumber vertex dan tepat satu wastafel titik ; biarkan menyatakan himpunan semua jalur diarahkan dari …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

Pertimbangkan masalah di mana kita diberikan sebagai input grafik asiklik langsung G=(V,E)G=(V,E)G = (V, E) , fungsi pelabelan λλ\lambda dari VVV ke beberapa set LLL dengan urutan total &lt;L&lt;L<_L (misalnya, bilangan bulat), dan di mana kita diminta untuk hitung jenis topologi terkecil GGG dari segi λλ\lambda . Lebih tepatnya, semacam …

13 cc.complexity-theory  np-hardness  sorting  directed-acyclic-graph  order-theory 

Lebar pohon mengukur seberapa dekat grafik dengan pohon. Beberapa masalah NP-hard dapat dilakukan pada grafik dengan lebar pohon yang dibatasi. Jika masalah tetap NP-keras pada pohon maka lebar pohon tidak dapat menyelamatkan kita. Ini adalah motivasi di balik salah satu pertanyaan saya sebelumnya yang menanyakan masalah NP-hard pada pohon. Ada …

12 np-hardness  directed-acyclic-graph 

Ini adalah tindak lanjut dari pertanyaan David Eppstein baru-baru ini dan dimotivasi oleh masalah yang sama. Misalkan saya memiliki barang dengan bobot bilangan real pada simpulnya. Awalnya, semua simpul tidak ditandai. Saya dapat mengubah set simpul yang ditandai dengan (1) menandai titik tanpa pendahulu yang tidak ditandai, atau (2) menghapus …

12 ds.algorithms  directed-acyclic-graph  partial-order 

Sebuah antichain dalam DAG adalah bagian A ⊆ V dari simpul yang berpasangan terjangkau, yaitu, tidak ada v ≠ v ' ∈ A sehingga v dapat dicapai dari v ' di E . Dari teorema Dilworth dalam teori urutan parsial, diketahui bahwa jika DAG tidak memiliki ukuran antik dari ukuran …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Mari menjadi grafik asiklik diarahkan , dan membiarkan λ menjadi fungsi pelabelan memetakan setiap titik v ∈ V untuk label λ ( v ) di beberapa alfabet yang terbatas L . Menulis n : = | V | , Sebuah semacam topologi dari G adalah bijection σ dari { 1 …

11 cc.complexity-theory  sorting  directed-acyclic-graph  partial-order 

Dalam sistem kontrol versi terdistribusi (seperti Mercurial dan Git ) ada kebutuhan untuk secara efisien membandingkan grafik asiklik terarah (DAG). Saya adalah pengembang Mercurial, dan kami akan sangat tertarik untuk mendengar tentang karya teoretis yang membahas kompleksitas waktu dan jaringan membandingkan dua DAG. DAGs yang dimaksud dibentuk oleh revisi yang …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph