Perguntas com a marcação «graph-theory»

Estou tentando entender alguns conceitos sobre decomposição modular e gráficos de largura de clique . Em deste artigo ( "On gráficos P4-arrumado"), não é uma prova de como resolver problemas de otimização como camarilha-número ou cromática-número usando decomposição modular. Resolvendo esses problemas compondo (usando soma ou união disjunta) dois gráficos …

15 graph-theory  graph-algorithms  cliquewidth 

Quais são os bons papéis / livros para entender melhor o poder da Decomposição Modular e suas propriedades? Estou particularmente interessado em aspectos algorítmicos da Decomposição Modular. Ouvi dizer que é possível encontrar uma decomposição modular de um gráfico em tempo linear. Existe um algoritmo relativamente simples para isso? Que …

15 ds.algorithms  reference-request  graph-theory  graph-algorithms 

Se temos um gráfico grande (direcionado) GGG e uma árvore com raízes menores , qual é a complexidade mais conhecida para encontrar subgráficos de isomórficos para ? Estou ciente dos resultados do isomorfismo da subárvore, onde e são árvores e também onde é planar ou limitou a largura de árvore …

15 ds.algorithms  reference-request  graph-theory 

Problema relacionado: O Teorema de Veblen afirma que "Um gráfico admite uma decomposição de ciclo se e somente se for par". Os ciclos são separados por arestas, mas não necessariamente separados por nós. Em outras palavras, "O conjunto de arestas de um gráfico pode ser dividido em ciclos se e …

15 cc.complexity-theory  graph-theory  co.combinatorics 

Qual é a complexidade do seguinte problema? Entrada : HHH umcaminho hamiltonianoemKnKnK_n um subconjunto de pares de vérticesR⊆[n]2R⊆[n]2R \subseteq [n]^2 um número inteiro positivo kkk Consulta : existe um M correspondente que para cada ( v , u ) ∈ R , d G ( v , u ) ≤ …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Suponha que conectemos os pontos de usando o conjunto de arestas não direcionadas modo que esteja conectado a ou está conectado a , independentemente e uniformemente de forma aleatória para todos os . E ( i , j ) ( i + 1 , j + 1 ) ( i …

14 graph-theory 

Consideramos DAG (gráficos acíclicos dirigidos) com um nó de origem e um nó de destino ; arestas paralelas unindo o mesmo par de vértices são permitidas. Uma - corte é um conjunto de arestas cuja remoção destrói todos - caminhos mais longos do que ; mais curtos - caminhos, bem …

14 cc.complexity-theory  graph-theory  circuit-complexity  directed-acyclic-graph 

O problema do caminho mais longo é NP-hard. A prova (típica?) Baseia-se na redução do problema do caminho hamiltoniano (que é NP-completo). Observe que aqui o caminho é considerado simples (nó). Ou seja, nenhum vértice pode ocorrer mais de uma vez no caminho. Obviamente, também é simples de borda (nenhuma …

14 graph-theory  graph-algorithms  hamiltonian-paths 

Lema: Assumindo a eta-equivalência, temos isso (\x -> ⊥) = ⊥ :: A -> B. Prova: ⊥ = (\x -> ⊥ x)por eta-equivalência e (\x -> ⊥ x) = (\x -> ⊥)por redução no lambda. O relatório Haskell 2010, seção 6.2 especifica a seqfunção por duas equações: seq :: a …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

Em seu artigo Approximate Distance Oracles , Thorup e Zwick mostraram que, para qualquer gráfico não direcionado ponderado, é possível construir uma estrutura de dados do tamanho que possa retornar uma aproximação ( 2 k - 1 ) distância entre qualquer par de vértices no gráfico.O ( k n1 + …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

GI e Knot Problem são problemas para decidir a equivalência estrutural de objetos matemáticos. Existem resultados estabelecendo conexões entre eles? Boas conexões do problema do nó à física estatística foram exploradas através de polinômios do nó ; existem resultados semelhantes para ?G IGEuGI Seria particularmente útil saber se existem resultados …

14 cc.complexity-theory  reference-request  graph-theory  graph-isomorphism  algebraic-topology 

Estou interessado em gráficos em nnn vértices que podem ser produzidos através do processo a seguir. Comece com um gráfico arbitrário GGG em k≤nk≤nk\le n vértices. Rotule todos os vértices em GGG como não utilizados . Produzir um novo gráfico G′G′G' pela adição de um novo vértice vvv , o …

14 ds.algorithms  graph-theory  treewidth 

Esta pergunta está relacionada a uma das minhas perguntas anteriores, problemas difíceis de NP em árvores . Estou procurando problemas que sejam P completos nas árvores.

14 cc.complexity-theory  graph-theory  tree  p-hardness 

Existe algo conhecido sobre o seguinte problema? Faz algum sentido? Como isso é chamado? É trivialmente equivalente a algum outro problema? Qual é a complexidade do tempo? Dado um gráfico não direcionado (geral / plano / grau delimitado / etc.) G = (V, E), encontre um subconjunto máximo de arestas …

14 ds.algorithms  graph-theory 

Dado um gráfico regular e não direcionado , qual é a relação entre seu diâmetro - definido como a maior distância entre dois nós - e sua condutância, definida como onde é o número de arestas que cruzam entre e S ^ c .G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c Mais …

14 graph-theory  co.combinatorics  expanders