Pertanyaan yang diberi tag «graph-theory»

Mengingat grafik planar, satu kaleng menanamkan dalam waktu linier menyeberang bebas ke dalam jaringan. Saya tertarik apakah ada algoritma yang efisien diketahui garis lurus menanamkan grafik planar menyeberang bebas ke dalam n c × n c grid, untuk beberapa c kecil , sehingga sudut minimum antara dua sisi dimaksimalkan?n×nn×nn \times …

13 reference-request  graph-theory  graph-drawing 

Dalam makalah oleh Kempe-Kleinberg-Tardos, Penulis mengusulkan algoritma rakus berdasarkan fungsi submodular untuk menentukan paling berpengaruh node dalam grafik, dengan aplikasi untuk jaringan sosial.kkk Pada dasarnya algoritma berjalan sebagai berikut: S= e m p t y s e t S=emhalty setS = {\rm empty~set} pilih node dengan pengaruh individu tertinggi, sebut …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

O ( log n )HAI(catatann)O({\log}n)O ( m + n )HAI(m+n)O(m+n) Apa algoritma paralel yang paling dikenal untuk st-konektivitas dalam grafik planar terarah? Silakan sebutkan waktu berjalan, algoritma deterministik / acak dan model PRAM yang digunakan (dengan asumsi jumlah prosesor adalah polinomial). Pertanyaan ini terkait dengan salah satu pertanyaan saya sebelumnya. …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Latar Belakang Pertanyaan ini dimotivasi oleh permainan papan yang disebut 'Drakula'. Dalam game ini ada satu vampir dan empat pemburu, tujuan para pemburu adalah untuk menangkap vampir. Permainan berlangsung di Eropa. Permainan terlihat sebagai berikut: 1. Pemain pemburu menempatkan semua pemburu di kota-kota. Lebih dari satu pemburu dapat ditempatkan di …

13 graph-theory  co.combinatorics  board-games  combinatorial-game-theory 

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 mencoba. Apakah benar untuk semua grafik non-bipartit kubik yang terhubung? Apakah ada relaksasi LP …

13 graph-theory  co.combinatorics  linear-programming 

Misalkan adalah kelas grafik dengan lebar klik terikat. Dalam setiap grafik di G beberapa sisi dikontrak (misalnya secara acak). Apakah sekarang klik-lebar masih terikat?GGGGGG Dalam hal ini (secara umum) tidak lagi dibatasi, saya akan sangat tertarik pada contoh tandingan.

13 graph-theory  co.combinatorics  cliquewidth 

Misalkan kita memiliki seperangkat S grafik (grafik berhingga, tetapi sejumlah tak terbatas dari mereka) dan sekelompok P permutasi yang bekerja pada S. Instance: P permutasi di P. Pertanyaan: Apakah ada grafik g di S yang menerima p automorfisme? Apakah ini masalah NP-complete untuk beberapa set S? Akan mudah untuk memeriksa …

13 cc.complexity-theory  graph-theory  np-hardness  automorphism 

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 mendefinisikan k -trees sebagai berikut:kkkkkkkkkkkk Grafik disebut -tree …

13 graph-theory  treewidth 

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

13 graph-theory  np-hardness  co.combinatorics 

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 …

13 ds.algorithms  graph-theory 

Biarkan C4C4C_4 menjadi siklus dengan empat simpul. Untuk grafik sembarang GGG dengan nnn simpul dan tepi m, ucapkan m>nn−−√m>nnm>n\sqrt n , berapa banyakC4C4C_4yang ada? Apakah ada batas bawah untuk ini?

12 graph-theory  graph-minor 

Saya ingin menjadi sangat spesifik. Adakah yang tahu tentang penolakan atau bukti dari proposisi berikut: ∃p∈Z[x],n,k,C∈N,∃p∈Z[x],n,k,C∈N,\exists p \in \mathbb{Z}[x], n, k, C \in \mathbb{N}, ∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),∀G,H∈STRUC[Σgraph](min(|G|,|H|)=n,G≄H),\forall G, H \in STRUC[\Sigma_{graph}] (min(|G|, |H|) = n, G \not\simeq H), ∃φ∈L(Σgraph),∃φ∈L(Σgraph),\exists \varphi \in \mathcal{L}(\Sigma_{graph}), |φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|φ|≤p(n)∧qd(φ)≤Clog(n)k∧G⊨φ∧H⊭φ.|\varphi| \leq p(n) \wedge qd(\varphi) \leq Clog(n)^k \wedge G \vDash …

12 graph-theory  graph-isomorphism  formulas  first-order-logic 

Katakanlah grafik memiliki properti M jika simpulnya dapat dipesan v 1 , v 2 , ... v n sedemikian rupa sehingga grafik H i diinduksi oleh simpul { v 1 , ... , v i } memiliki d i s t H i ( v j , v k ) …

12 reference-request  graph-theory 

Diberikan grafik , kita perlu menemukan kardinalitas set simpul terbesar sehingga masing-masing hadir dalam setiap pencocokan maksimum yang dimungkinkan.GGG Apakah ada solusi selain menghapus setiap simpul yang jelas dan menemukan pencocokan maksimum untuk melihatnya berkurang?

12 graph-theory  graph-algorithms 

Biarkan kkk diperbaiki, dan biarkan GGG menjadi grafik (terhubung). Jika saya tidak salah, itu berasal dari karya Bodlaender [1, Teorema 3.11] bahwa jika treewidth GGG kira-kira setidaknya 2k32k32k^3 , maka GGG berisi bintang K1,kK1,kK_{1,k} sebagai minor. Bisakah kita membuat istilah 2k32k32k^3 lebih kecil? Artinya, apakah mengatakan treewidth setidaknya kkk sudah …

12 graph-theory  treewidth  graph-minor