Ciencias de la computación teórica

¿Se ha estudiado este problema antes? Dado un gráfico métrico no dirigido G (las longitudes de los bordes satisfacen la desigualdad del triángulo), encuentre un conjunto S de vértices tal que MST (G [S]) se maximice, donde MST (G [S]) es el árbol de expansión mínimo del subgráfico inducido por …

11 ds.algorithms  graph-algorithms  np-hardness  approximation-algorithms 

En este momento hay montañas de resultados en separadores en gráficos, desde separador plano, separador de árbol, gráficos de ancho de árbol acotado, gráficos de género acotados, etc., etc. ¿Hay alguna encuesta actualizada sobre esto y sus aplicaciones?

11 reference-request  graph-algorithms  survey 

Este reciente artículo de FOCS2013, Strong Backdoors to Bounded Treewidth SAT de Gaspers y Szeider habla sobre el vínculo entre el ancho del árbol del gráfico de la cláusula SAT y la dureza de la instancia. Para instancias 3-SAT aleatorias, es decir, instancias 3-SAT elegidas al azar, ¿cuál es la …

11 graph-algorithms  sat  treewidth  random-k-sat  hard-instances 

Estoy buscando un lenguaje pequeño que ayude a 'convencer' a los estudiantes de que las máquinas de Turing son un modelo informático suficientemente general. Es decir, un lenguaje que se parece a los idiomas a los que están acostumbrados, pero que también es fácil de simular en una máquina de …

11 turing-machines 

Tengo algunos millones de valores de 32 bits. Para cada valor, quiero encontrar todos los demás valores dentro de una distancia de 5. En el enfoque ingenuo, esto requiere comparaciones de , que quiero evitar.O(N2)O(N2)O(N^2) Me di cuenta de que si solo trataba estos valores de 32 bits como enteros …

11 ds.algorithms  co.combinatorics  approximation-algorithms 

Esta puede ser una pregunta muy simple. Pero, ¿cuál es la diferencia entre tipos y géneros? Mi comprensión actual es que usted tiene una teoría de tipo con reglas de tipo que dan una noción de una declaración bien tipada, pero las clases son más básicas, diferenciando símbolos en diferentes …

11 type-theory 

Todos los solucionadores de #SAT que conozco, por ejemplo, RelSat, C2D, solo devuelven el número de instancias satisfactorias. Pero quiero saber cada una de esas instancias? ¿Existe tal solucionador #SAT o cómo debo modificar un solucionador #SAT disponible para hacer esto? Gracias.

11 lo.logic  sat  software 

Recordemos el diámetro de un gráfico es la longitud de un camino más largo más corto de G . Dado un gráfico, un algoritmo obvio para calcular diam ( G ) resuelve el problema de la ruta más corta de todos los pares (APSP) y devuelve la longitud de la …

11 graph-theory  graph-algorithms  shortest-path 

Si bien la regla general es que en los documentos de TCS los autores están ordenados alfabéticamente, hay algunos contraejemplos notables que vienen a la mente, en los que los autores están ordenados de una manera diferente, por ejemplo, Métodos algebraicos para sistemas de prueba interactivos [Lund, Fortnow, Karloff, Nisan] …

11 soft-question 

Parte de la dificultad de obtener más información sobre este problema es que el problema de coincidencia de gráficos es diferente de su primo mucho más famoso, el problema de coincidencia, pero es difícil distinguirlo cuando se utilizan motores de búsqueda. Dados dos gráficos y modo que, la tarea es …

11 reference-request  graph-theory  graph-isomorphism 

Me preguntaba si había algún límite inferior (en términos de complejidad de la muestra) conocido por el siguiente problema: Dado el acceso al oráculo de muestra a dos distribuciones desconocidas D1D1D_1 , D2D2D_2 en {1,…,n}{1,…,n}\{1,\dots,n\} , prueba (whp) si D1=D2D1=D2D_1=D_2 d2(D1,D2)=∥D1−D2∥2=∑ni=1(D1(i)−D2(i))2−−−−−−−−−−−−−−−−−−√≥ϵd2⁡(D1,D2)=‖D1−D2‖2=∑i=1n(D1(i)−D2(i))2≥ϵ\operatorname{d_2}(D_1,D_2)=\lVert D_1-D_2\rVert_2 = \sqrt{\sum_{i=1}^n\left(D_1(i)-D_2(i)\right)^2} \geq \epsilon Batu y col. [BFR …

11 ds.algorithms  lower-bounds  st.statistics  property-testing 

Este es un seguimiento de mi pregunta anterior: Mejor complejidad de tiempo determinista conocida límite inferior para un problema natural en NP Me resulta desconcertante que no hayamos podido probar ningún límite inferior de tiempo determinista cuadrático para ningún problema interesante de NP que a la gente le interese e …

11 cc.complexity-theory  lower-bounds  big-picture  barriers 

Se sabe que algunas clases de complejidad sintáctica (no relativizadas) entre y P S P A C E tienen la siguiente propiedad, P ⊆ C o N P ⊆ U S ⊆ C = P ⊆ P P ⊆ P S P A C E . Me pregunto si existe …

11 cc.complexity-theory  complexity-classes 

Estoy tratando de entender la relación entre la complejidad algorítmica y la complejidad del circuito de los determinantes y la multiplicación de matrices. Se sabe que el determinante de una matriz se puede calcular en el tiempo , donde es el tiempo mínimo requerido para multiplicar dos matrices. También se …

11 algebraic-complexity  arithmetic-circuits  matrix-product  determinant 

Deja ad(G)ad(G)\rm{ad}(G) sea la distancia media de un gráfico conectado G.G.G. Una forma de calcular ad(G)ad(G)\rm{ad}(G) es sumar los elementos de D(G),D(G),D(G), la matriz de distancia de GGG y escalar la suma adecuadamente. Si el gráfico de salida es un árbol, entonces se sabe que la distancia promedio se puede …

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