Ciencias de la computación teórica

Recientemente ha habido algunos resultados nuevos en el estudio experimental basado en computadora del Problema de Discrepancia de Erdos (EDP) (a través de solucionadores SAT, citados a continuación). Este problema ha sido citado y estudiado por varios investigadores de (T) CS. Sin embargo, los enlaces (¿posiblemente profundos?) A (T) CS …

8 reference-request  co.combinatorics  soft-question  big-picture 

Una forma de probar NP coNP es mostrar que para cada sistema de prueba proposicional f computable en tiempo polinómico, existe una familia de tautologías para las cuales f requiere longitudes de prueba súper polinomiales (wrt la longitud de la tautología que se está probando). Resultados como el de Haken …

8 cc.complexity-theory  proof-complexity 

Considere el siguiente problema: Entrada: (G1, G2) donde G1 y G2 son gráficos no dirigidos Pregunta: ¿El tamaño del conjunto independiente máximo de G1 es al menos tan grande como el tamaño del conjunto independiente máximo de G2? Parece una pregunta bastante natural, y, sin embargo, no he podido encontrar …

8 cc.complexity-theory 

Estoy trabajando para intentar dividir un gráfico triangulado en subgrafías conectadas con algunas garantías sobre el número de bordes entre particiones. Aquí hay un ejemplo de un gráfico triangulado que se ha dividido en 4 "grupos": Lo que quería originalmente era un algoritmo que pudiera crear particiones de aproximadamente k …

8 graph-theory  graph-algorithms  planar-graphs  partition-problem  delaunay-triangulation 

Un código de autenticación de mensaje (MAC) se define por un triple de algoritmos eficientes , que satisfacen lo siguiente (la definición se toma de la sección 4.3 de Katz -Lindell libro ):(Gen,MAC,Verif)(Gen,MAC,Verif)(\mathsf{Gen}, \mathsf{MAC}, \mathsf{Verif}) En la entrada , el algoritmo genera una clave .1n1n1^nGenGen\mathsf{Gen}k≥nk≥nk \ge n En la entrada …

8 cr.crypto-security 

¿Cuál es el algoritmo más rápido conocido para factorizar polinomios con nnn variables y grado total ≤d≤d\leq d ? Aquí, nnn está creciendo ddd está arreglado. La mayoría del trabajo parece considerar el caso cuando ddd está creciendo nnn es fijo. Me interesan los resultados tanto en campos finitos como …

8 cc.complexity-theory  algebra  factoring 

¿Alguien ha pensado en la posibilidad de un lenguaje de programación y un compilador, de modo que el compilador pueda hacer automáticamente el análisis asintótico del peor de los casos? El caso de uso que tengo en mente es un lenguaje de programación donde escribo código y compilo. El compilador …

8 reference-request  pl.programming-languages  time-complexity  compilers  program-analysis 

Nota: publiqué una pregunta similar con respecto al gráfico no dirigido . Dado Un dígrafo sin múltiples aristas o buclesGGG Un nodo fuente sss Un nodo objetivo ttt Longitud máxima del camino lll Busco - A subgrafo de G que contiene cualquier nodo y cualquier borde en G (y sólo …

8 graph-algorithms 

Estoy buscando una referencia sobre 'reducir' las reducciones de Turing a muchas reducciones. Tengo en mente una declaración de la siguiente forma (declaraciones suficientemente similares también me satisfarían): Teorema. Si , entonces .A ≤ 2 f m B t tA ≤FTsiA≤TfB\mathsf{A}\leq_T^f \mathsf{B}A ≤2Fmetrosit tA≤m2fBtt\mathsf A\leq_m^{2^f}\mathsf B^{tt} donde " " y …

8 cc.complexity-theory  reference-request  complexity-classes 

(Publiqué esta pregunta en CS hace diez días, sin respuesta desde entonces, así que la publico aquí). Cualquier fórmula CNF se puede transformar en tiempo polinómico en una fórmula 3-CNF mediante el uso de nuevas variables. No siempre es posible si no se permiten nuevas variables (tome por ejemplo la …

8 cc.complexity-theory  complexity-classes  sat 

Dado un gráfico , ¿cuál es el número mínimo de bordes de que necesitamos eliminar para liberar el triángulo del gráfico? Para mi ojo inexperto, esto parece ser un problema difícil.solsolGsolsolG ¿Se sabe que este problema es NP completo? ¿Qué pasa con el análogo para gráficos orientados (es decir, dígrafos …

8 cc.complexity-theory  graph-algorithms  np-hardness 

Digamos que tengo una variable aleatoria de un bit , y que sea ​​un número natural. Quiero una secuencia de variables aleatorias stX∈{0,1}X∈{0,1}X \in \{0,1\}nnn0=X0,X1,…,Xn=X0=X0,X1,…,Xn=X0 = X_0, X_1, \ldots, X_n = X H(X | {X0,…,Xk})=1−knH(X | {X0,…,Xk})=1−knH\left(X~|~\{X_0,\ldots,X_k\}\right) = 1-\frac{k}{n} Es decir, cada adicional proporciona de la información de , hasta …

8 it.information-theory  shannon-entropy 

Mientras hojeaba publicaciones antiguas de CStheory.se , me encontré con una fascinante publicación de blog sobre el problema de la mortalidad matricial . A menos que haya malinterpretado el problema, establece que dada una colección finita de 3 x 3 matrices con entradas enteras para cada valor de matriz, uno …

8 cc.complexity-theory  matrix-product 

Estoy interesado en cómo se prueba que una oración se relativiza. Por supuesto, probar que una oración no se relativiza es simple, como se ve en el resultado de Baker-Gill-Solovay; pero ¿cómo se prueba que una oración se relativiza, es decir, que es verdadera en relación con cualquier oráculo? ¿Existen …

8 cc.complexity-theory  reference-request  relativization 

Sea un subgrafo de intervalo inducido máximo de un gráfico . Si¿Cuál es el número más pequeño de ?HHHG=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n=|V|V(H)V(H)V(H) El número es como máximo : considere un conjunto de agujeros distintos.3n/43n/43n/4444 ¿Puede ser más pequeño?

8 reference-request  extremal-combinatorics  interval-graphs