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

Em [1], Turan mostra que a sensibilidade (chamada "complexidade crítica" no artigo) de uma propriedade de gráfico é estritamente maior que ondemé o número de vértices no gráfico. Ele continua conjecturando que qualquer propriedade não-trivial do gráfico tenha sensibilidade≥m-1. Ele menciona que isso foi verificado param≤5. Houve algum progresso nessa …

16 graph-theory  property-testing 

A coloração em 3 arestas dos gráficos cúbicos é completa. O Teorema de quatro cores é equivalente a "Todos os gráficos planares cúbicos sem ponte são de três bordas".NPNPNP Qual é a complexidade da coloração em 3 arestas dos gráficos planares cúbicos? Além disso, é conjecturado que a coloração -edge …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

Suponha que queremos encontrar ou max x ∏ i j ∈ E f ( x i , x j )∑x∏i j ∈ Ef( xEu, xj)∑x∏Euj∈Ef(xEu,xj)\sum_x \prod_{ij \in E} f(x_i,x_j)maxx∏i j ∈ Ef( xEu, xj)maxx∏Euj∈Ef(xEu,xj)\max_x \prod_{ij \in E} f(x_i,x_j) Onde max ou soma é tomada sobre todas as bulas de , …

15 ds.algorithms  graph-theory  graph-algorithms  approximation-algorithms  counting-complexity 

Uma classe hereditária de estruturas (por exemplo, gráficos) é aquela que é fechada sob subestruturas induzidas, ou equivalente, é fechada sob remoção de vértices. Classes de gráficos que excluem um menor têm boas propriedades que não dependem do menor excluído específico. Martin Grohe mostrou que para classes de gráfico excluindo …

15 cc.complexity-theory  graph-theory  relational-structures 

Estou procurando um algoritmo on-line para manter o fechamento transitivo de um gráfico acíclico direcionado com uma complexidade de tempo menor que O (N ^ 2) por adição de aresta. Meu algoritmo atual é assim: For every new edge u->v connect all nodes in Pred(u) \cup { u } with …

15 ds.algorithms  graph-theory  ds.data-structures  transitive-closure 

O problema da kkk ciclo é o seguinte: Instância: Um gráfico não direcionado GGG com nnn vértices e até arestas.( n2)(n2)n \choose 2 Pergunta: Existe um ciclo- (adequado) em ?GkkkGGG Antecedentes: Para qualquer fixo , podemos resolver ciclo em .2 k O ( n 2 )kkk2 k2k2kO (n2)O(n2)O(n^2) Raphael Yuster, …

15 graph-theory  graph-algorithms  clique  polynomial-time  fixed-parameter-tractable 

Há cerca de um ano, um amigo e eu pensamos em uma maneira de implementar o algoritmo de Kruskal para gráficos densos melhor do que o usual vinculado (sem assumir arestas pré-classificadas). Especificamente, atingimos Θ ( n 2 ) em todos os casos, semelhante ao Prim quando implementado usando matrizes …

15 graph-theory  graph-algorithms 

Gráfico Isomorfismo ( ) é bom candidato para N P problema Intermédio. N P existem problemas Intermédio a menos que P = N P . Estou procurando um problema natural que é difícil para G I com redução de Karp (um problema gráfico X tal que G I < m …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

Esta é uma pergunta subsequente a esta sobre gráficos infinitos. As respostas e os comentários a essa pergunta listam objetos e situações que são modelados naturalmente por gráficos infinitos. Mas também existem numerosos teoremas sobre gráficos infinitos (ver capítulo 8 no livro de Diestel), dos quais, por exemplo, o lema …

15 graph-theory  co.combinatorics  lo.logic 

Considere o seguinte problema: Dado um gráfico de consulta G=(V,E)G=(V,E)G = (V, E) e um gráfico de referência G′=(V′,E′)G′=(V′,E′)G' = (V', E') , queremos encontrar o mapeamento injetivo f:V→V′f:V→V′f : V \rightarrow V' que minimiza o número de arestas (v1,v2)∈E(v1,v2)∈E(v_1, v_2) \in E tal que . Essa é uma generalização …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism 

Para uma incorporação planar de um gráfico planar em um plano com arestas retas, defina um vértice como um vértice nítido se o ângulo máximo entre duas arestas consecutivas em torno dele for maior que 180. Ou, em outras palavras, se houver uma linha passando por ele vértice na incorporação, …

15 graph-theory  cg.comp-geom  graph-drawing 

Os gráficos planares são livres de . Tais gráficos podem ser decomposta em componentes conectado-tri, que são conhecidos por ser ou plana ou K 5 componentes.K3,3K3,3K_{3,3}K5K5K_5 Existe uma decomposição "agradável" de gráficos do gênero um? Em seu trabalho seminal sobre menores de gráfico, Roberston e Seymour mostraram que todos os …

15 graph-theory  co.combinatorics  planar-graphs  graph-minor 

Um gráfico conectado pode ser decomposto em seus componentes biconetados. Essa árvore do ponto de corte do bloco é única. Da mesma forma, os gráficos biconetados podem ser decompostos em componentes triconetados. A árvore SPQR correspondente descreve todos os cortes de 2 vértices no gráfico e é determinada exclusivamente a …

15 graph-theory  co.combinatorics 

O algoritmo Weisfeiler-Lehman (WL) 1-dim é comumente conhecido como rotulagem canônica ou algoritmo de refinamento de cores. Funciona da seguinte maneira: A coloração inicial é uniforme, C 0 ( v ) = 1 para todos os vértices v ∈ V ( G ) ∪ V ( H ) .C0C0C_0C0(v)=1C0(v)=1C_0(v) = …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

O problema de manutenção de pedidos (ou "manutenção de pedidos em uma lista") é dar suporte às operações: singleton: cria uma lista com um item, retorna um ponteiro para ele insertAfter: dado um ponteiro para um item, insere um novo item depois dele, retornando um ponteiro para o novo item …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity