Perguntas com a marcação «planar-graphs»

Existem vários algoritmos que decidem no tempo polinomial se um gráfico pode ser desenhado no plano ou não, mesmo muitos com um tempo de execução linear. No entanto, não consegui encontrar um algoritmo muito simples que se pudesse explicar com facilidade e rapidez na aula e mostraria que PLANARITY está …

28 graph-algorithms  co.combinatorics  planar-graphs 

Sabe-se que o ciclo hamiltoniano (presunto abreviado) é NP-completo e que o ciclo planar de presunto é NP-completo. A prova para o Ciclo de Presunto Planar não é do Ciclo de Presunto. Existe um gadget legal que, dado um gráfico G, substitua todos os cruzamentos por algum gadget planar, para …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Considere uma rede elétrica modelada como um gráfico planar G, em que cada aresta representa um resistor de 1Ω. Com que rapidez podemos calcular a resistência efetiva exata entre dois vértices em G? Equivalentemente, com que rapidez podemos calcular a corrente exata que flui ao longo de cada extremidade, se …

22 ds.algorithms  graph-theory  planar-graphs  physics 

É possível testar algoritmicamente se um número computável é racional ou inteiro? Em outras palavras, seria possível para uma biblioteca que implementa números computáveis ​​fornecer as funções isIntegerou isRational? Suponho que isso não seja possível e que isso esteja de alguma forma relacionado ao fato de que não é possível …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Gráficos planares têm gênero zero. Os gráficos incorporados em um toro têm gênero no máximo 1. Minha pergunta é simples: Existem problemas que são polinomialmente solucionáveis ​​em gráficos planares, mas que são rígidos em NP em gráficos do gênero um? De um modo mais geral, existem problemas polinomialmente solucionáveis ​​em …

17 cc.complexity-theory  ds.algorithms  graph-theory  planar-graphs 

Contar triângulos em gráficos gerais pode ser feito trivialmente em e acho que fazer muito mais rápido é difícil (referências bem-vindas). E os gráficos planares? O procedimento simples a seguir mostra que isso pode ser feito em . Minha pergunta é dupla:O ( n log n )O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) O que é …

16 reference-request  graph-algorithms  planar-graphs 

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 

Seja G um gráfico não-direcionado de n nós e T seja um subconjunto de nós de V (G) chamados terminais . Um preservador de distância de (G, T) é um gráfico H que satisfaz a propriedade dH( u , v ) = dG( u , v )dH(você,v)=dG(você,v)d_H(u,v) = d_G(u,v) para …

14 ds.algorithms  reference-request  graph-algorithms  planar-graphs 

Existe um belo teorema de Koebe (veja aqui ) que afirma que qualquer gráfico planar pode ser desenhado como gráfico de beijo de discos (muito romântico ...). (Dito de maneira um pouco diferente, qualquer gráfico plano pode ser desenhado como o gráfico de interseção dos discos.) O teorema de Koebe …

14 cg.comp-geom  planar-graphs 

Enquanto escrevia um pequeno post sobre a complexidade dos videogames Nibbler e Snake ; Descobri que ambos podem ser modelados como problemas de reconfiguração em gráficos planares; e parece improvável que esses problemas não tenham sido bem estudados na área de planejamento de movimento (imagine, por exemplo, uma cadeia de …

13 cc.complexity-theory  reference-request  np-hardness  planar-graphs 

Considere o seguinte problema - Dado máxima planar gráficos e L 2 , encontrar o gráfico G com o número máximo de arestas de modo a que haja um subgráfico (induzida não necessariamente) em ambos G 1 e G 2 que é isomorfa a L .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG Isso pode ser feito …

13 ds.algorithms  graph-algorithms  planar-graphs 

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 

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 

Um gráfico planar é um gráfico que pode ser incorporado no plano, sem ter arestas de cruzamento. Seja um hipergrafo k -uniforme, isto é, um hipergrafo de modo que todas as suas hiperedições tenham tamanho k.G=(X,E)G=(X,E)G=(X,E)kkk Houve algum trabalho realizado na incorporação de hipergrafos no plano (com o contexto de …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations