Preguntas etiquetadas con co.combinatorics

Nota: se trata del rompecabezas sudoku estándar de 9x9. La solución solo tiene que soportar acertijos legales resueltos . Por lo tanto, una solución no necesita admitir celdas vacías y puede confiar en las propiedades de un rompecabezas de sudoku resuelto. Me preguntaba esto, pero no podía pensar en una …

28 co.combinatorics  puzzles 

El ISGCI enumera más de 1100 clases de gráficos. Para muchos de estos sabemos si el CONJUNTO INDEPENDIENTE se puede decidir en tiempo polinómico; a veces se denominan clases IS-easy . Me gustaría compilar una lista de clases máximas IS-easy. Estas clases juntas forman el límite de la trazabilidad (conocida) …

28 ds.algorithms  graph-theory  co.combinatorics  graph-classes 

En mi educación en ciencias de la computación, noto cada vez más que la mayoría de los problemas discretos son NP completos (al menos), mientras que la optimización de problemas continuos es casi siempre fácil de lograr, generalmente a través de técnicas de gradiente. ¿Hay excepciones a esto?

27 cc.complexity-theory  co.combinatorics  optimization 

Supongamos que es un gráfico con el número de colorante . Considere el siguiente juego entre Alice y Bob. En cada ronda, Alice elige un vértice y Bob responde con un color en para este vértice. El juego termina cuando se descubre un borde monocromático. Deje que sea ​​la duración …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

Para mi sorpresa, no pude encontrar documentos sobre esto, probablemente busqué las palabras clave incorrectas. Entonces, tenemos una variedad de cualquier cosa, y una función en sus índices; es una permutación.ffffff ¿Cómo reordenamos la matriz de acuerdo con con memoria y tiempo de ejecución tan cerca de y como sea …

27 ds.algorithms  co.combinatorics  permutations 

Estoy buscando códigos de corrección de errores del siguiente tipo: códigos binarios con tasa constante, decodificable a partir de una fracción constante de errores, por un decodificador implementable como un circuito booleano de tamaño , donde es la longitud de codificación.O ( N)O(norte)O(N)nortenorteN Algunos antecedentes: Spielman, en códigos de corrección …

27 co.combinatorics  it.information-theory  coding-theory 

Definimos un lenguaje de árbol regular como en el libro TATA : es el conjunto de árboles aceptado por un autómata de árbol finito no determinista (Capítulo 1) o, de manera equivalente, el conjunto de árboles generado por una gramática de árbol regular (Capítulo 2). Ambos formalismos se parecen mucho …

26 co.combinatorics  fl.formal-languages  tree  regular-language 

Dado un lenguaje regular (NFA, DFA, gramática o expresión regular), ¿cómo se puede contar el número de palabras aceptadas en un idioma determinado? Tanto "con exactamente n letras" como "con como máximo n letras" son de interés. Margareta Ackerman tiene dos documentos sobre el tema relacionado de enumerar palabras aceptadas …

26 ds.algorithms  co.combinatorics  fl.formal-languages  regular-language 

¿Se sabe algo sobre la clase de gráficos con la propiedad de que todos los conjuntos independientes máximos tienen la misma cardinalidad y, por lo tanto, son IS máximos? Por ejemplo, tome un conjunto de puntos en el plano y considere la gráfica de intersecciones entre todos los segmentos entre …

26 graph-theory  co.combinatorics 

Para cualquier , digo que una secuencia s de enteros en { 1 , ... , n } es n -completa si, para cada permutación p de { 1 , ... , n } , se escribe como una secuencia de enteros distintos por pares p 1 , ... , …

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

El lema de regularidad de Szemeredi dice que cada gráfico denso puede aproximarse como una unión de O(1)O(1)O(1) muchos gráficos expansores bipartitos. Más exactamente, hay una partición de la mayoría de los vértices en conjuntos O(1)O(1)O(1) tal manera que la mayoría de los pares de conjuntos forman expansores bipartitos (el …

25 graph-theory  co.combinatorics  expanders 

Volumen III de Knuth de The Art of Computer Programming (capítulo 5, verso 3.2) incluye la siguiente tabla que enumera el exacto número mínimo de comparaciones requeridas para seleccionar el -ésimo elemento más pequeño de un conjunto sin ordenar de tamaño , para todos . Esta tabla, junto con las …

25 ds.algorithms  reference-request  co.combinatorics  sorting  selection 

El resultado por Robertson y Seymour demuestra un algoritmo para comprobar que es un gráfico fijo G es un menor de H . Tengo dos preguntas y media sobre este tema:O ( n3)O(norte3)O(n^3)solsolGHHH 1) Parece que ha habido mejoras en este algoritmo desde entonces. ¿Cuál es el algoritmo más conocido …

25 reference-request  graph-theory  co.combinatorics  graph-algorithms 

Dado un gráfico no dirigido y no ponderado y un entero par , ¿cuál es la complejidad computacional de contar conjuntos de vértices tal que y el subgrafo de restringido al conjunto de vértices admite una combinación perfecta? ¿La complejidad # P-completa? ¿Hay alguna referencia para este problema?k S ⊆ …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

¿Se ha estudiado la complejidad del siguiente problema? Entrada : un gráfico cúbico (o regular) , un límite superior naturalG = ( V , E ) t333G = ( V, E)G=(V,E)G=(V,E)ttt Pregunta : ¿hay una partición de en partes de tamaño modo que la suma de los órdenes de los …

25 graph-theory  np-hardness  co.combinatorics