Pertanyaan yang diberi tag «graph-theory»

Pertanyaan saya hari ini (seperti biasa) agak konyol; tapi saya akan meminta Anda untuk mempertimbangkannya. Saya ingin tahu tentang asal-usul dan / atau motivasi di balik konsep treewidth. Saya yakin mengerti bahwa ini digunakan dalam algoritma FPT, tapi saya tidak berpikir bahwa itulah alasan mengapa gagasan ini didefinisikan. Saya telah …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Masalah Graph Isomorphism (GI) bisa dibilang kandidat yang paling dikenal untuk masalah NP-intermediate . Algoritma yang paling dikenal adalah algoritma sub-eksponensial dengan run-time . Diketahui bahwa GI bukan-complete kecualihierarki polinomialnyaruntuh.2O ( n logn√)2O(nlog⁡n)2^{O(\sqrt{n \log n})}N PNP\mathsf{NP} Apa yang akan menjadi konsekuensi teoretis kompleksitas dari algoritma waktu kuasi polinomial untuk masalah …

40 cc.complexity-theory  ds.algorithms  graph-theory  graph-isomorphism 

Grafik adalah -choosable (juga dikenal sebagai -list-colorable ) jika, untuk setiap fungsi yang memetakan simpul ke set warna, ada penetapan warna sedemikian rupa, untuk semua simpul , , dan sedemikian rupa sehingga, untuk semua tepi , .k f k c v c ( v ) ∈ f ( v ) …

39 graph-theory  co.combinatorics  graph-colouring  exp-time-algorithms 

Four Color Theorem (4CT) menyatakan bahwa setiap grafik planar adalah empat yang dapat diwarnai. Ada dua bukti yang diberikan oleh [Appel, Haken 1976] dan [Robertson, Sanders, Seymour, Thomas 1997]. Kedua bukti ini dibantu oleh komputer dan cukup menakutkan. Ada beberapa dugaan dalam teori grafik yang menyiratkan 4CT. Penyelesaian dugaan ini …

38 graph-theory  co.combinatorics  big-list  graph-colouring 

Saya mencari sumber set data besar untuk menguji beberapa implementasi algoritma grafik. Harap berikan juga informasi tentang jenis / distribusi (mis. Diarahkan / tidak diarahkan, sederhana / tidak sederhana, berbobot / tidak berbobot) dari grafik di sumber jika diketahui.

36 ds.algorithms  graph-theory  ds.data-structures  data-sets 

Misalkan menjadi grafik dengan fungsi bobot . Masalah max-cut adalah menemukan: Jika fungsi bobot adalah non-negatif (yaitu w (e) \ geq 0 untuk semua e \ di E ), maka ada banyak pendekatan 2-sangat sederhana untuk max-cut. Sebagai contoh, kita dapat:G = ( V , E , w ) G=(V,E,w)G …

35 ds.algorithms  graph-theory  approximation-algorithms  max-cut 

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 

ST-Konektivitas adalah masalah menentukan apakah ada jalur terarah antara dua simpul dan t dalam grafik berarah G ( V , E ) . Apakah masalah ini dapat diselesaikan di logspace, adalah masalah terbuka yang sudah lama ada. Ini disebut N L vs L masalah.ssstttG(V,E)G(V,E)G(V,E)NLNLNLLLL Apa kompleksitas ST-Connectivity, ketika grafik tidak …

31 cc.complexity-theory  graph-theory  space-bounded  treewidth  logspace 

Perkiraan jumlah pewarnaan tampaknya mudah pada grafik dengan pengecualian kecil menggunakan algoritma oleh Jung / Shah. Apa contoh lain dari masalah yang sulit pada grafik umum tetapi mudah pada grafik kecil-dikecualikan? Pembaruan 10/24 Tampaknya mengikuti hasil Grohe bahwa rumus yang FPT untuk menguji pada grafik terikat-treewidth adalah FPT untuk menguji …

31 ds.algorithms  graph-theory  graph-minor 

Nondeterminism dibatasi mengaitkan fungsi dengan kelas C bahasa diterima oleh mesin Turing deterministik sumber daya dibatasi, untuk membentuk kelas baru g - C . Kelas ini terdiri dari bahasa-bahasa yang diterima oleh beberapa mesin Turing nondeterministic M mematuhi batas sumber daya yang sama seperti yang digunakan untuk mendefinisikan C , …

30 cc.complexity-theory  graph-theory  graph-isomorphism  nondeterminism 

Saya memiliki minat yang meningkat pada teori grafik spektral, yang menurut saya menarik, dan saya sudah mulai mengumpulkan beberapa dokumen yang belum saya baca lebih teliti daripada yang saya miliki sejauh ini. Namun, saya ingin tahu tentang pernyataan yang muncul di beberapa sumber (misalnya di sana ), yang mengatakan pada …

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

The ISGCI daftar lebih dari 1100 kelas graf. Untuk banyak dari ini kita tahu apakah SET INDEPENDEN dapat diputuskan dalam waktu polinomial; ini kadang-kadang disebut kelas IS-easy . Saya ingin mengkompilasi daftar kelas IS-easy maksimal . Kelas-kelas ini bersama-sama membentuk batas traktabilitas (dikenal) untuk masalah ini. Karena seseorang hanya dapat …

28 ds.algorithms  graph-theory  co.combinatorics  graph-classes 

Biarkan kelas A menunjukkan semua grafik ukuran yang memiliki siklus Hamilton. Sangat mudah untuk menghasilkan grafik acak dari kelas ini - ambil node terisolasi, tambahkan siklus Hamiltonian acak dan kemudian tambahkan tepi secara acak.nnnnnnn Biarkan kelas B menunjukkan semua grafik ukuran yang tidak memiliki siklus Hamilton. Bagaimana kita bisa memilih …

28 ds.algorithms  graph-theory 

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 

Misalkan adalah grafik dengan angka pewarnaan . Pertimbangkan permainan berikut antara Alice dan Bob. Pada setiap putaran, Alice memilih sebuah titik, dan Bob menjawab dengan warna di untuk titik ini. Permainan berakhir ketika tepi monokromatik ditemukan. Biarkan menjadi panjang maksimal permainan di bawah permainan optimal oleh kedua pemain (Alice ingin …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees