Preguntas etiquetadas con co.combinatorics

Estoy leyendo encuestas de Trevisan y Lovett sobre aplicaciones de aditivo combinatorio en TCS. La mayoría de estas aplicaciones caen bajo la complejidad computacional , por ejemplo, límites inferiores. Me pregunto si la combinatoria aditiva también ha encontrado aplicaciones en el diseño de algoritmos . La motivación para mi pregunta …

12 ds.algorithms  reference-request  co.combinatorics 

Esta pregunta está motivada por esta publicación, ¿Puedes identificar la suma de dos permutaciones en el tiempo polinómico? , y mi interés en las propiedades computacionales de las permutaciones. Una secuencia de diferencias de una permutación π de los números 1 , 2 , ... n + 1 se forma …

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

Actualmente estoy haciendo una investigación de lenguaje formal que involucra clases de idiomas por encima de Regular pero debajo de Context Free. Estoy viendo cosas como máquinas multicontadores limitados por inversión, máquinas de contador de una sola pila, CFL deterministas, etc. Me pregunto si alguien sabe de un buen libro …

12 reference-request  co.combinatorics  fl.formal-languages  automata-theory  research-practice 

Estoy buscando un pequeño gráfico GGG cuyo número cromático vectorial es menor que el número cromático, χv(G)&lt;χ(G)χv(G)&lt;χ(G)\chi_v(G)<\chi(G) . ( GGG tiene vector número cromática qqq si hay una asignación x:V→Rdx:V→Rdx\colon V \rightarrow \mathbf R^d , donde intuitivamente los vectores asociados con vértices vecinos están muy separados El requisito es. ⟨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 

El famoso artículo de 1983 de H. Lenstra Integer Programming With A Fixed Number Of Variables establece que los programas enteros con un número fijo de variables pueden resolverse en el tiempo polinomial en la longitud de los datos. Lo interpreto de la siguiente manera. La programación de enteros en …

12 co.combinatorics  linear-programming  integer-programming 

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 

El libro A = B de Petkovsek, Wilf y Zeilberger describe algoritmos para calcular diferentes sumas de binomios. AFAIK, estos algoritmos todavía están siendo mejorados por diferentes autores. ¿Sabes dónde podemos encontrar las implementaciones más actualizadas de estos algoritmos? ¿Y sabe si existen implementaciones en algunos softwares gratuitos como Sage …

12 ds.algorithms  co.combinatorics  implementation 

Si es un gráfico con el máximo grado 3 y es un menor de H , entonces es un menor topológica de .solGGHHHHsolGGHHH Wikipedia cita este resultado de la "teoría de grafos" de Diestel. Está listado como la Proposición 1.7.4 en la última versión del libro. El libro carece de …

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

Hice esta pregunta hace unas semanas en mathoverflow , pero no obtuve respuesta. Aquí, por rejilla 3D de longitud de lado me refiero a la gráfica G = ( V , E ) con V = { 1 , ... , k } 3 y E = { ( ( …

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

Deje y denote por G k el conjunto de todos los gráficos que se pueden incrustar en una superficie del género k de modo que todos los vértices estén situados en la cara externa . Por ejemplo, G 0 es el conjunto de gráficos de plano exterior. ¿Puede el ancho …

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

De nuevo, un problema de partición de bordes cuya complejidad me causa curiosidad, motivado por una pregunta anterior mía . Entrada: un gráfico cúbico G=(V,E)G=(V,E)G=(V,E) Pregunta: ¿hay una partición de en E 1 , E 2 , ... , E s , de modo que el subgrafo inducido por cada …

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

Los problemas de coloración de gráficos ya son bastante difíciles para la mayoría de las personas . Aun así, voy a tener que ser difícil y preguntar un problema sobre el color de la hipergrafía. Pregunta. ¿Qué algoritmos eficientes existen para encontrar una coloración de borde aproximadamente óptima para las …

12 co.combinatorics  hypergraphs  graph-colouring 

Deje que sea ​​cualquier estructura finita. ¿Su teoría de primer orden tiene un rango cuantificador acotado, en el sentido de que hay un tal que para todos con hay un con y ?AA\mathfrak{A} T:=TH(A)T:=TH(A) \mathfrak{T} := \mathfrak{TH}(\mathfrak{A}) q∈Nq∈N q\in\mathbb{N} φ∈Tφ∈T \varphi\in\mathfrak{T} qr(φ)&gt;qqr(φ)&gt;q qr(\varphi) > q φ′∈Tφ′∈T \varphi'\in\mathfrak{T} qr(φ′)≤qqr(φ′)≤q qr(\varphi')\leq q …

11 co.combinatorics  lo.logic  relational-structures 

Dado un conjunto de hiperplanos determinados por los vectores normales , sus tipos de células (o vectores de signos) son todos los vectores t ∈ { + , - } m para los que existe un vector v ∈ R d de modo que ⟨ v , h i ⟩ …

11 co.combinatorics  cg.comp-geom  computational-geometry  metric-spaces 

Cruzado desde MO . Sea una clase gráfica definida por un número finito de subgrafías inducidas prohibidas, todas las cuales son cíclicas (contienen al menos un ciclo).CCC ¿Hay problemas de gráficos NP-hard que se puedan resolver en tiempo polinómico para no sean Clique y Clique cover?CCC Si no recuerdo mal, …

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