Ciencias de la computación teórica

Dado un gráfico bipartito no ponderado . ¿Es cierto que siempre existe una coincidencia no vacío M ⊆ E (no necesariamente máxima), tal que para cada ( i , j ) ∈ E con i emparejado y j inigualable, que posee grados ( i ) > deg ( j ) …

8 graph-theory  matching 

Un resultado fundamental en la complejidad parametrizada de los problemas gráficos es que la CUBIERTA VERTEX parametrizada por el tamaño de la solución es manejable con parámetros fijos (FPT). Por otro lado, cuando se parametriza mediante el "parámetro dual" , se convierte en equivalente a SET INDEPENDIENTE parametrizado por tamaño …

8 reference-request  graph-algorithms  fixed-parameter-tractable 

Deje que Alice y Bob calculen la función booleana .f(x1,…,x2n)f(x1,…,x2n)f(x_1,\dots,x_{2n}) Seleccionar un subconjunto aleatorio de cardinalidad y dejar que .n J = { 1 , ... , 2 n } ∖ II⊆{1,…,2n}I⊆{1,…,2n}\mathcal I\subseteq\{1,\dots,2n\}nnnJ={1,…,2n}∖IJ={1,…,2n}∖I\mathcal J=\{1,\dots,2n\}\backslash\mathcal I Deje que Alice obtener las variables , donde y Bob obtener donde . i ∈ …

8 reference-request  communication-complexity 

Dado un gráfico G no dirigido, podemos decir que G es casi bipartito si eliminar k bordes (o vértices) lo haría bipartito. ¿Existen algoritmos de poli tiempo para determinar si una gráfica es exacta o aproximadamente casi bipartita?

8 ds.algorithms  graph-theory 

Estoy confundido sobre el ejemplo dado en el artículo de Wikipedia sobre gramática sensible al contexto: https://en.wikipedia.org/wiki/Context-sensitive_grammar Descargo de responsabilidad : ya he cambiado la sección discutida en el artículo de Wikipedia, por lo que el estado actual del artículo diferirá de lo que estoy discutiendo en esta pregunta. La …

8 fl.formal-languages  grammars 

En comparación con los espectros de gráficos no dirigidos, que corresponden a matrices simétricas, los espectros de gráficos dirigidos no son muy conocidos: Se sabe que un gráfico dirigido G=(V,E)G=(V,E)G = (V,E) tiene una matriz de adyacencia A(G)A(G)A(G) cuyos valores propios son binarios {0,1}{0,1}\{0,1\} si GGG es a-cíclico. Esto se …

8 graph-theory  graph-algorithms  linear-algebra  spectral-graph-theory 

Vamos ser un parámetro gráfico (ex. De diámetro, número de dominación, etc)sss Una familia de gráficos tiene la propiedad s -treewidth si hay una función f tal que para cualquier gráfico G ∈ F , el ancho de árbol de G es como máximo f ( s ) .FF\mathcal{F}sssFffG ∈ …

8 graph-theory  graph-algorithms  graph-minor 

Después de leer Efectos como Sesiones, Sesiones como Efectos , me preguntaba cómo podría tener lugar una prueba de equivalencia entre ambos, o incluso, una prueba de que los tipos de Sesiones son un Sistema de Tipo y Efecto. De una manera más genérica, ¿cómo se puede probar una relación …

8 type-theory  proofs  type-systems 

(Este es el "extremo superior" de mi pregunta de hace más de 10 meses en cs.stackexchange. Esa pregunta y el "extremo inferior" Pregunté aquí hace más de 8 meses , lo que también tengo una recompensa por, son a la vez sin respuesta. Estos son capturas de pantalla de cómo …

8 np-hardness  csp  promise-problems 

¿Cuál es la primera publicación del concepto de optimización de fusión ordenar por identificar secuencias de posiciones consecutivas en órdenes crecientes (también conocidas como carreras) en tiempo lineal; entonces fusionar repetidamente las dos secuencias más cortas y agregar el resultado de esta fusión a la lista de fragmentos ordenados. En …

8 reference-request  sorting  huffman 

¿Qué se sabe sobre la complejidad de los problemas NP-hard en los gráficos Cayley? Suponga que la gráfica se da explícitamente como la tabla de multiplicación del grupo y la lista de generadores. Entonces la longitud de entrada es el tamaño de la gráfica. ¿Podemos resolver problemas de NP completo …

8 np-hardness  np-complete 

Muchas estructuras de árbol equilibradas (árboles rojos / negros, árboles de separación, etc.) y algunas otras estructuras de diccionario ordenadas (listas de omisión) admiten una operación de unión que incluye dos diccionarios donde todas las claves de la primera estructura son menores que todas las claves del segundo, luego combina …

8 ds.data-structures 

El pathwidth del grafo bipartito completo K3,nK3,nK_{3,n} con conjuntos tripartitos de tamaño 333 y nnn es como máximo 333 . Estoy interesado en planificar este gráfico mediante el siguiente proceso: Dibújalo en el plano de modo que ningún borde contenga un vértice en su interior y que no se crucen …

8 graph-theory  co.combinatorics  graph-drawing 

En pocas palabras, mi pregunta es: ¿es la prueba original de Karp reducir SAT a 3SAT innecesariamente elaborada? Los detalles son los siguientes. En su artículo de 1972 Reducibilidad entre problemas combinatorios , Karp demostró que SAT se reduce a 3SAT al afirmar: Reemplace una cláusula , donde son literales …

8 cc.complexity-theory  sat  reductions 

Se le da una matriz binaria de tamaño .nortenn Quiero mostrar que ningún algoritmo puede hacer lo siguiente (o sorprenderse y descubrir que estos algoritmos existen después de todo): 1) Preprocese la matriz de entrada con tiempo ilimitado, pero solo con bits .O ( n )O(n)O(n) 2) Responda consultas en …

8 ds.algorithms  lower-bounds  it.information-theory