Pertanyaan yang diberi tag «graph-theory»

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 yang terlarang. Dengan kata lain, untuk setiap …

19 graph-theory  lo.logic  graph-minor  topological-graph-theory 

t ( G )t(G)t(G)GGGnnnt ( G )t(G)t(G)O ( n3)O(n3)O(n^3)QGJ11n2det ( J+ Q )1n2det(J+Q)\frac{1}{n^2} \det(J + Q)QQQGGGJJJ111 Saya ingin tahu apakah ada cara untuk menghitung lebih cepat. (Ya, ada lebih cepat daripada algoritma untuk komputasi penentu tetapi saya tertarik pada beberapa pendekatan baru.)O ( n 3 )t ( G )t(G)t(G)O ( …

19 graph-theory  graph-algorithms  counting-complexity  spectral-graph-theory 

Umpan Balik Vertex Set adalah NP-complete untuk grafik umum. Ini dikenal sebagai NP-lengkap untuk grafik terikat derajat-8 karena pengurangan dari penutup simpul. The artikel Wikipedia mengatakan bahwa itu adalah poli-waktu dipecahkan untuk gelar-3 grafik dibatasi dan NP-lengkap untuk gelar-4 grafik dibatasi. Tetapi saya belum dapat menemukan bukti untuk ini di …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

Apakah ada contoh kelas grafik yang masalah pewarnaan verteksnya ada di P tetapi himpunan independennya adalah masalah NP lengkap?

19 cc.complexity-theory  graph-theory  complexity-classes 

Anda diberi grafik dengan n simpul. Mungkin bipartit jika Anda mau. Ada m set tepi E 1 , … , E m ⊆ E (katakanlah disjoint). Saya tertarik pada masalah menemukan subset S ⊆ V , sekecil mungkin (atau bahkan lebih kecil), sehingga grafik yang diinduksi G S memiliki setidaknya …

19 ds.algorithms  graph-theory  optimization 

Misalkan kita memiliki grafik tertimbang yang tidak diarahkan G = ( V, E, w )G=(V,E,w)G = (V, E, w) (dengan bobot non-negatif). Mari kita asumsikan bahwa semua jalur terpendek di GGG adalah unik. Misalkan kita memiliki jalur (urutan tepi yang tidak berbobot), tetapi tidak tahu G itu sendiri. Bisakah kita …

19 graph-theory  co.combinatorics  graph-algorithms  metrics 

Biarkan menjadi grafik tidak berarah tanpa bobot dengan simpul dan tepi . Apakah mungkin untuk preprocess dan menghasilkan struktur data ukuran sehingga dapat menjawab pertanyaan dari bentuk "jarak antara dan " dalam waktu O (n)?n m G m ⋅ p o l y l o g ( n ) u …

19 graph-theory  graph-algorithms  ds.data-structures 

Saya tertarik pada model grafik acak yang mirip dengan grafik jaringan komputer nyata. Saya tidak yakin apakah model dipelajari dengan baik ( n simpul, setiap sisi yang mungkin dipilih dengan probabilitas p ) baik untuk mempelajari jaringan komputer nyata (bukan?).G(n,p)G(n,p)G(n,p)nnnppp model grafik acak apa yang berguna untuk memahami perubahan jaringan …

19 reference-request  graph-theory  co.combinatorics 

Saya mencari cara untuk mempertahankan pohon rentang yang relatif seimbang dari grafik, karena saya menambahkan node / tepi baru ke grafik. Saya memiliki grafik tidak terarah yang dimulai sebagai satu simpul, "root". Pada setiap langkah, saya menambahkan grafik baik simpul baru dan tepi yang menghubungkannya ke grafik, atau hanya tepi …

19 graph-theory  ds.data-structures  graph-algorithms  tree  online-algorithms 

Misalkan menjadi grafik sederhana pada n simpul ( n > 3 ) tanpa simpul derajat n - 1 . Misalkan untuk setiap dua simpul G , ada simpul unik yang berdekatan dengan keduanya. Ini adalah latihan dari A Course in Combinatorics , van Lint dan Wilson, untuk membuktikan bahwa grafik …

19 graph-theory  co.combinatorics  puzzles 

Saya tertarik masalah berikut: Mengingat matriks, apakah ada sebuah grafik diarahkan pada n simpul yang adjacency matrix kuadrat yaitu bahwa matriks?n×nn×nn\times nnnn Apakah kompleksitas komputasi dari masalah ini diketahui? Catatan: Tentu saja ini juga dapat diutarakan sebagai masalah pencarian, di mana Anda diberi matriks untuk A matriks adjacency dari grafik …

18 cc.complexity-theory  graph-theory 

Banyak masalah grafik yang sulit dipecahkan dalam waktu polinomial pada grafik treewidth terikat . Memang, buku teks biasanya menggunakan eg set independet sebagai contoh, yang merupakan masalah lokal . Secara kasar, masalah lokal adalah masalah yang solusinya dapat diverifikasi dengan memeriksa beberapa lingkungan kecil dari setiap titik. Yang menarik, bahkan …

18 graph-theory  graph-algorithms  treewidth 

Bagaimana saya bisa menentukan jumlah jalur sederhana yang unik dalam grafik yang tidak diarahkan? Baik untuk panjang tertentu, atau rentang panjang yang dapat diterima. Ingat bahwa jalur sederhana adalah jalur tanpa siklus, jadi saya berbicara tentang menghitung jumlah jalur tanpa siklus.

18 graph-theory  co.combinatorics  counting-complexity 

Apakah ada urutan grafik diarahkan , di mana masing-masing C n memiliki tepat n simpul dan masalah{Cn}n∈N{Cn}n∈N\{C_n\}_{n\in \mathbb N}CnCnC_nnnn Mengingat dan grafik G , adalah C n merupakan subgraf diinduksi G ?nnnGGGCnCnC_nGGG dikenal di kelas ? (Misalnya, ketika C n = K n , ini adalah masalah klik NP-lengkap.)PP\mathsf{P}Cn=KnCn=KnC_n=K_n

18 cc.complexity-theory  graph-theory 

Apakah mungkin untuk menguji secara algoritmik apakah bilangan yang dihitung rasional atau bilangan bulat? Dengan kata lain, apakah mungkin bagi perpustakaan yang mengimplementasikan angka yang dapat dihitung untuk menyediakan fungsi isIntegeratau isRational? Saya menduga itu tidak mungkin, dan bahwa ini entah bagaimana terkait dengan fakta bahwa tidak mungkin untuk menguji …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism