Preguntas etiquetadas con planar-graphs

Hay varios algoritmos que deciden en tiempo polinómico si un gráfico se puede dibujar en el plano o no, incluso muchos con un tiempo de ejecución lineal. Sin embargo, no pude encontrar un algoritmo muy simple que uno pudiera explicar fácil y rápidamente en clase y mostrara que PLANARITY está …

28 graph-algorithms  co.combinatorics  planar-graphs 

Se sabe que el ciclo hamiltoniano (jamón para abreviar) tiene NP completo y que el ciclo de jamón planar tiene NP completo. La prueba para Planar Ham Cycle no es de Ham Cycle. ¿Hay un buen dispositivo que, dado un gráfico G, reemplazará todos los cruces con algún dispositivo plano …

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

Considere una red eléctrica modelada como un gráfico plano G, donde cada borde representa una resistencia de 1Ω. ¿Qué tan rápido podemos calcular la resistencia efectiva exacta entre dos vértices en G? De manera equivalente, ¿qué tan rápido podemos calcular la corriente exacta que fluye a lo largo de cada …

22 ds.algorithms  graph-theory  planar-graphs  physics 

¿Es posible probar algorítmicamente si un número computable es racional o entero? En otras palabras, ¿sería posible que una biblioteca que implementa números computables proporcione las funciones isIntegero isRational? Supongo que no es posible, y que esto está relacionado de alguna manera con el hecho de que no es posible …

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 

Las gráficas planas tienen género cero. Los gráficos que se pueden insertar en un toro tienen un género como máximo 1. Mi pregunta es simple: ¿Hay algún problema que sea polinomialmente solucionable en gráficos planos pero NP-duro en gráficos del género uno? En términos más generales, ¿hay algún problema que …

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

El recuento de triángulos en gráficos generales se puede hacer trivialmente en el tiempo y creo que hacer mucho más rápido es difícil (se aceptan referencias). ¿Qué pasa con los gráficos planos? El siguiente procedimiento sencillo muestra que se puede hacer en tiempo . Mi pregunta es doble:O(n3)O(n3)O(n^3)O(nlogn)O(nlog⁡n)O(n\log{n}) ¿Qué es …

16 reference-request  graph-algorithms  planar-graphs 

Los gráficos tienen . Dichos gráficos pueden descomponerse en componentes , que se sabe que son componentes planos o .K3 , 3K3,3K_{3,3}K5 5K5 5K_5 ¿Existe una descomposición tan "agradable" de los gráficos del género uno? En su trabajo seminal sobre gráficos menores, Roberston y Seymour demostraron que cada gráfico libre …

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

Hay un hermoso teorema de Koebe (ver aquí ) que establece que cualquier gráfico plano se puede dibujar como un gráfico de besos de discos (muy romántico ...). (Dicho de otra manera, cualquier gráfico plano se puede dibujar como el gráfico de intersección de los discos). El teorema de Koebe …

14 cg.comp-geom  planar-graphs 

Sea G un gráfico no dirigido de n-nodos, y sea T un subconjunto de nodos de V (G) llamados terminales . Un preservador de distancia de (G, T) es un gráfico H que satisface la propiedad reH( u , v ) = dsol( u , v )reH(tu,v)=resol(tu,v)d_H(u,v) = d_G(u,v) para …

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

Mientras escribía una pequeña publicación sobre la complejidad de los videojuegos Nibbler y Snake ; Descubrí que ambos pueden modelarse como problemas de reconfiguración en gráficos planos; y parece poco probable que tales problemas no hayan sido bien estudiados en el área de planificación del movimiento (imagine, por ejemplo, una …

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

Considere el siguiente problema: Dado planar maximal Gráficos de y , encontrar el gráfico con el número máximo de bordes de tal manera que hay un subgrafo (no necesariamente inducida) tanto en y que es isomorfo a .G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG ¿Se puede hacer esto en tiempo polinómico? ¿Si es así, entonces cómo? …

13 ds.algorithms  graph-algorithms  planar-graphs 

Aquí: http://www.planarity.org/Klein_elementary_graph_theory.pdf (en incrustaciones de capítulos) se le da la definición de incrustación combinatoria de un gráfico plano. (con definición de caras, etc.) Aunque podría usarse fácilmente para cualquier gráfico, definen el gráfico plano como el gráfico, para el cual se mantiene la fórmula de Euler (suponiendo que el gráfico …

12 graph-theory  co.combinatorics  planar-graphs 

Relajemos un poco el color, es decir, permitimos que se asigne el mismo color a un pequeño número de vértices adyacentes. Un componente monocromático se define como un componente conectado en el subgrafo inducido por el conjunto de vértices que reciben el mismo color, y la pregunta es pedir el …

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

El teorema de Courcelle establece que cada propiedad de gráfico definible en la lógica monádica de segundo orden se puede decidir en tiempo lineal en gráficos de ancho de árbol acotado . Este es uno de los metateoremas algorítmicos más conocidos. Motivado por el teorema de Courcelle, hice la siguiente …

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

Un gráfico plano es un gráfico que se puede incrustar en el plano, sin tener bordes cruzados. Supongamos que sea ​​una hipergrafía k -uniforme, es decir, una hipergrafía tal que todas sus hiperedificaciones tengan el tamaño k.G=(X,E)G=(X,E)G=(X,E)kkk Se han realizado algunos trabajos para incrustar hipergrafías en el plano (con el …

11 graph-theory  planar-graphs  hypergraphs  embeddings  generalizations