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

Na pior das hipóteses, a decomposição de árvores é difícil, mas o método ganancioso parece quase ideal em pequenas redes da vida real. Existe algo conhecido sobre a dureza da decomposição de árvores em uma instância "típica" de alguma classe de gráficos? Existe exemplo de uma família de gráficos em …

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Seja G um gráfico conectado. Qual é a complexidade de contar todos os subgráficos conectados se G for dos seguintes tipos? G é geral. G é plano. G é bipartido. Eu não ligo para nenhuma estrutura ou ..., só preciso contar todos os subgráficos conectados! Também estou interessado na complexidade …

12 cc.complexity-theory  graph-theory  counting-complexity 

Novamente, um problema de particionamento de borda cuja complexidade me interessa, motivada por uma pergunta anterior minha . Entrada: um gráfico cúbicoG = ( V, E)G=(V,E)G=(V,E) Pergunta: existe uma partição de em , de modo que o subgráfico induzido por cada seja uma garra (ou seja, , freqüentemente chamada de …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

Problema Eu tenho um gráfico não direcionado (com várias arestas), que mudará com o tempo, nós e arestas podem ser inseridos e excluídos. Em cada modificação do gráfico, eu tenho que atualizar os componentes conectados deste gráfico. Propriedades As propriedades adicionais são que nunca dois componentes serão reconectados. Obviamente, o …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

Sabemos, por exemplo, de Koutis-Miller-Peng (baseado no trabalho de Spielman & Teng), que podemos resolver muito rapidamente sistemas lineares Ax=bAx=bA x = b para matrizes AAA que são o gráfico da matriz laplaciana para algum gráfico esparso com pesos de borda não negativos . Agora (primeira pergunta) considere o uso …

12 ds.algorithms  graph-theory  linear-algebra  pr.probability  spectral-graph-theory 

Eu tenho parte de uma tentativa de prova de . A tentativa prova consiste numa redução do Karp problema -completo cobertura de vértices 3-regular para sab.⊕P⊆NP⊕P⊆NP\oplus \mathbf{P} \subseteq \mathbf{NP}⊕P⊕P\oplus \mathbf{P}⊕⊕\oplus Dado um gráfico cúbico , a redução gera uma fórmula CNF com as duas propriedades a seguir:GGGFFF FFF tem no …

12 cc.complexity-theory  graph-theory  complexity-classes  sat  counting-complexity 

Um antichain em um DAG é um subconjunto Um ⊆ V de vértices que são emparelhados inacessível, ou seja, não há nenhum v ≠ v ' ∈ Um tal que v é acessível a partir de v ' em E . Do teorema de Dilworth na teoria de ordem parcial, …

11 reference-request  graph-theory  directed-acyclic-graph  partial-order 

Dado um DAG (dirigido gráfico acíclico) , com fontes e pias . Encontre um DAG , com as fontes e os dissipadores , com número mínimo de arestas, de modo que:S T D ′ S TDDDSSSTTTD′D′D'SSSTTT Para todos os pares existe um caminho de para em se e somente se …

11 graph-theory  graph-algorithms 

Isso me confunde. Um caso fácil de contagem é quando o problema de decisão está em e não há soluções.PPP Uma palestra mostra que o problema de contar o número de combinações perfeitas em um gráfico bipartido (equivalente a contar o número de capas de ciclo em um gráfico direcionado) …

11 cc.complexity-theory  graph-theory 

Cruzado do MO . Seja CCC uma classe de gráfico definida por um número finito de subgráficos induzidos proibidos, todos cíclicos (contêm pelo menos um ciclo). Existem problemas de gráfico NP-rígido que podem ser resolvidos em tempo polinomial para CCC diferente da capa Clique e Clique? Se bem me lembro, …

11 cc.complexity-theory  graph-theory  graph-algorithms  co.combinatorics 

Recordar o diâmetro de um gráfico que é o comprimento de um caminho mais longo que mais curto em . Dado um gráfico, um algoritmo óbvio para calcular resolve o problema de caminho mais curto de todos os pares (APSP) e retorna o comprimento do caminho mais longo encontrado.G diam …

11 graph-theory  graph-algorithms  shortest-path 

Parte da dificuldade de descobrir mais sobre esse problema é que o problema de correspondência de gráfico é diferente de seu primo muito mais famoso, o problema de correspondência, mas difícil de ser distinguido quando se usa os mecanismos de pesquisa. Dados dois gráficos e tais que, a tarefa é …

11 reference-request  graph-theory  graph-isomorphism 

Deixe ad(G)ad(G)\rm{ad}(G) é a distância média de um gráfico conectado G.G.G. Uma maneira de calcular ad(G)ad(G)\rm{ad}(G) é somando os elementos de D(G),D(G),D(G), a matriz de distância de GGG e escalando a soma adequadamente. Se o gráfico de saída for uma árvore, sabe-se que a distância média pode ser calculada em …

11 cc.complexity-theory  graph-theory  graph-algorithms 

Vamos relaxar um pouco a coloração, ou seja, permitimos que um pequeno número de vértices adjacentes seja atribuído à mesma cor. Um componente monocromático é definido como um componente conectado no subgráfico induzido pelo conjunto de vértices que recebem a mesma cor, e a questão é solicitar o número mínimo …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

O teorema de Courcelle afirma que toda propriedade de gráfico definível na lógica monádica de segunda ordem pode ser decidida em tempo linear em gráficos de largura de árvore limitada . Este é um dos meta-teoremas algorítmicos mais conhecidos. Motivado pelo teorema de Courcelle, fiz a seguinte conjectura: Conjectura : …

11 graph-theory  lo.logic  treewidth  planar-graphs  graph-minor