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

Digamos que uma família de gráficos tenha caminhos induzidos por muito tempo se houver uma constante modo que todo gráfico em contenha um caminho induzido em vértices. Estou interessado em propriedades de famílias de grafos que garantam a existência de longos caminhos induzidos. Em particular, estou me perguntando se os …

12 graph-theory  expanders 

Uma propriedade de gráfico é chamada de hereditária se fechada com relação à exclusão de vértices (ou seja, todos os subgráficos induzidos herdam a propriedade). Uma propriedade de gráfico é chamada aditiva se for fechada com relação à obtenção de uniões disjuntas. Não é difícil encontrar propriedades hereditárias, mas não …

12 cc.complexity-theory  graph-theory  graph-algorithms  np 

Instância: Um gráfico não direcionado com dois vértices distintos s ≠ t e um número inteiro k ≥ 2 .GGGs ≠ ts≠ts\neq tk ≥ 2k≥2k\geq 2 Pergunta: Existe um caminho em G , de modo que o caminho toque no máximo k vértices? (Um vértice é tocado pelo caminho se …

12 cc.complexity-theory  graph-theory  graph-algorithms 

Estou procurando um pequeno gráfico GGG cujo número cromático vetorial é menor que o número cromático, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( GGG tem vector número cromática qqq se houver uma atribuição x:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d , em que intuitivamente os vectores associados com vértices vizinhos estão distantes O requisito é. ⟨x(v),x(w)⟩≤−1/(q−1)⟨x(v),x(w)⟩≤−1/(q−1)\langle …

12 ds.algorithms  graph-theory  co.combinatorics  graph-algorithms  graph-colouring 

É formulado estendendo gráficos de limite . Dado um gráfico de limiar onde C é o clique e eu é o conjunto independente, minha extensão é a seguinte: Cada vértice v ∈ Eu posso ser substituído por um novo clique K v, de modo que os vértices de K v …

12 graph-theory  graph-classes 

No famoso exemplo de contador para isomorfismo de grafos através do método Weisfeiler-Lehman (WL), o seguinte dispositivo foi construído neste artigo por Cai, Furer e Immerman. Eles constroem um gráfico dado porXk= ( Vk, Ek)Xk=(Vk,Ek)X_k = (V_k, E_k) Vk= Ak∪ Bk∪ Mk Onde UMAk= { aEu| 1 ≤ i ≤ …

12 graph-theory  graph-algorithms  graph-isomorphism  algebraic-complexity 

Houve alguns esforços para atacar o problema do isomorfismo de grafos usando a caminhada aleatória quântica de bósons do núcleo duro (simétrica, mas sem ocupação dupla). O poder simétrico da matriz de adjacência, que parecia promissor, mostrou-se incompleto para gráficos gerais neste artigo por Amir Rahnamai Barghi e Ilya Ponomarenko. …

12 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism 

Aqui: http://www.planarity.org/Klein_elementary_graph_theory.pdf (em captações de capítulos) é dada uma definição de incorporação combinatória de um gráfico planar. (com definição de faces e assim por diante) Embora possa ser facilmente usado para qualquer gráfico, eles definem o gráfico planar como o gráfico, para o qual a fórmula de Euler mantém (assumindo …

12 graph-theory  co.combinatorics  planar-graphs 

Dado um gráfico direcionado com n nós, de modo que cada vértice tenha exatamente duas arestas de saída e um número natural N codificado em binário, dois vértices s e t, Quero contar o número de caminhos (não necessariamente simples) de s a t em N etapas. Este é um …

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

Estou procurando um algoritmo rápido para calcular o fluxo máximo em gráficos dinâmicos. ou seja, dado um gráfico e , temos o fluxo máximo em de para . Em seguida, novos / antigo nó adicionado / eliminadas com as suas arestas correspondentes de modo a formar um gráfico . O …

12 graph-theory  graph-algorithms 

Se é um gráfico com o máximo de grau 3 e é um menor de H , então L é um menor topológica de H .GGGHHHGGGHHH A Wikipedia cita este resultado da "Teoria dos Gráficos" de Diestel. Ele está listado como Prop 1.7.4 na versão mais recente do livro. O …

12 reference-request  graph-theory  co.combinatorics  graph-minor 

Existem várias noções concorrentes de um "gráfico esparso". Por exemplo, um gráfico incorporado na superfície pode ser considerado esparso. Ou um gráfico com densidade de arestas delimitadas. Ou um gráfico com alta circunferência. Um gráfico com grande expansão. Um gráfico com largura de árvore limitada. (Mesmo dentro do subcampo dos …

12 ds.algorithms  graph-theory  graph-algorithms  big-picture 

Isso pretende ser uma pergunta de acompanhamento do post anterior de Robin Kothari sobre resultados de dureza do tempo polinomial . Especificamente, estou interessado em ver algumas provas de dureza para problemas que se acredita terem limites mais baixos, e digo aproximadamente para permitir melhorias ligeiramente sub-cúbicas ao brincar com …

12 graph-theory  cg.comp-geom  lower-bounds 

Fiz essa pergunta há algumas semanas no mathoverflow , mas não obtive resposta. Aqui, por grade 3D de comprimento lateral , refiro-me ao gráfico com e , ou seja, os nós são colocados em coordenadas inteiras tridimensionais entre 1 e , e um nó é conectado ao at mais 6 …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Deixe e denote por o conjunto de todos os gráficos que podem ser incorporados em uma superfície do gênero modo que todos os vértices estejam situados na face externa . Por exemplo, é o conjunto de gráficos externos. A largura da árvore dos gráficos em ser delimitada por alguma função …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes