Il teorema di Robertson-Seymour afferma che qualsiasi famiglia GG\mathcal G di grafici chiusa minore può essere caratterizzata da molti minori proibiti. Esiste un algoritmo che per un input GG\mathcal G genera i minori proibiti o è indecidibile? Ovviamente, la risposta potrebbe dipendere da come GG\mathcal G è descritto nell'input. Ad …
C'è un bel documento del 1991 che contiene tre diagrammi su diverse famiglie di classi di grafi che mostrano ciò che si sa sulla durezza nel determinare l'indice cromatico per loro. Ci sono novità da allora in poi? Sono molto interessato a ciò che è noto sui grafici con un …
Dato un grafo orientato fisso (digramma) , la -COLORING problema decisionale chiede se un grafo orientato ingresso ha una homomorphism a . (Un omomorfismo di a è una mappatura di a che preserva gli archi, cioè se è un arco di , allora è un arco di )D G D …
Data una normale lingua sull'alfabeto A , il suo automa deterministico minimo può essere visto come una multigrafia connessa diretta con costante grado di out | A | e uno stato iniziale marcato (dimenticando le etichette delle transizioni, gli stati finali). Manteniamo lo stato iniziale perché ogni vertice deve essere …
Sia e due grafici collegati -regolari di dimensione . Lasciate l'insieme di permutazioni tale che . Se , allora è l'insieme di automorfismi di .H r n A P P G P - 1 = H G = H A GsolGGHHHrrrnnnUNAAPPPPG P- 1= HPGP−1=HPGP^{-1}=HG = HG=HG=HUNAAsolGG Qual è il limite …
Mi chiedo se il seguente problema sia NP-difficile. Immettere: G = ( V, E)G=(V,E)G = (V,E) un grafico semplice e una colorazione f: E→ { 1 , 2 , 3 }f:E→{1,2,3}f : E \to \{1,2,3\} dei bordi ( fff non verifica alcuna proprietà specifica). Domanda: è possibile partizionare EEE in …
Considera il seguente problema: Input: un semplice grafico (non orientato) .G = ( V, E)G=(V,E)G=(V,E) Domanda: Esiste un orientamento di soddisfa la proprietà che per ogni esiste al massimo una (diretta) - walk?s , t ∈ V s tsolGGs , t ∈ Vs,t∈Vs,t \in VSssttt Questo può essere equivalentemente espresso …
Sia un grafico che è l'unione disgiunta di una cricca e un insieme indipendente, cioè solsolGG = Kn1+ Kn2¯¯¯¯¯¯¯¯= Kn1+ In2.sol=Kn1+Kn2¯=Kn1+ion2.G = K_{n_1} + \overline{K_{n_2}} = K_{n_1} + I_{n_2} . La classe di grafici di tutti questi grafici è caratterizzata dai sottografi indotti proibiti impostati ed è quindi l'intersezione di …
Sia un grafico. Un insieme dei vertici X ⊆ V è chiamato critico se X ≠ ∅ e nessun vertice in V ∖ X è adiacente ad esattamente un vertice in X . Il problema è quello di trovare un insieme dei vertici S ⊆ V di calibro minimo tale …
Questa domanda è duplice ed è principalmente orientata al riferimento: Esiste un luogo in cui vengono fornite le principali intuizioni per dimostrare il teorema minore del grafico, senza entrare troppo nei dettagli? So che la prova è lunga e difficile, ma sicuramente ci devono essere idee chiave che possono essere …
Sto cercando riferimenti per il seguente problema: dati interi e k , enumera tutti i grafici planari non isomorfi su n vertici e larghezza dell'albero ≤ k . Sono interessato sia ai risultati teorici che a quelli pratici, ma per lo più algoritmi pratici che sono possibili per codificare ed …
Ci sono state alcune domande ( 1 , 2 , 3 ) sul completamento transitivo qui che mi hanno fatto pensare se qualcosa di simile è possibile: Supponiamo di ottenere un grafico diretto di input GGG e vorremmo rispondere a query di tipo " (u,v)∈G+(u,v)∈G+(u,v)\in G^+ ?", Ovvero chiedendo se …
Si supponga che ho set con elementi tratti da r quelli possibili. Ogni set ha dimensioni n ( n < r ), in cui i set possono sovrapporsi. Voglio determinare se i seguenti due problemi sono NP completi o meno:PPPrrrnnnn < rn<rn<r Problema A. Esistono insiemi distinti ( 1 ≤ …
Il controllo della transitività di un digrafo non è più facile di (in termini di complessità asintotica) prendere la chiusura transitiva del digrafo? Conosciamo un limite inferiore migliore di per determinare se un digrafo è transitivo o no?Ω(n2)Ω(n2)\Omega(n^2)
Come molti cicli ( k ≥ 3 ) esistono in un n grafo vertice tale che grafico non ha alcun ciclo C m ( m > k ) .CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Ad esempio , k = 3 , allora il grafico avrà al massimo due C 3 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.