Ciencias de la computación teórica

¿Es posible demostrar que una oración debe ser formalmente independiente basada en el hecho de que no es relativizante? En otras palabras, ¿hay ejemplos de oraciones en la teoría de la computabilidad / complejidad donde se pueda demostrar tanto a) que todas las pruebas que resuelven la cuestión de si …

12 lo.logic  relativization 

El resultado de Baker-Gill-Solovay mostró que la pregunta P = NP no se relativiza, en el sentido de que ninguna prueba relativizante (insensible a la presencia de un oráculo) puede resolver la pregunta P = NP. Mi pregunta es: ¿Hay un resultado similar para la pregunta "¿Existe un problema de …

12 cc.complexity-theory  complexity-classes 

Dado X1,…,XkX1,…,XkX_1,\ldots,X_k (iid gaussianos con media 000 y varianza 111 ), ¿es posible (¿cómo?) Muestrear (para m=k2m=k2m=k^2 ) Y1,…,YmY1,…,YmY_1, \ldots, Y_m tal que YiYiY_i son pares gaussianos independientes con media 000 y varianza 111 .

12 derandomization  pr.probability 

Por http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Si es un lenguaje de PSPACE completa, P A = N P A .UNAAPAGUN= NPAGUNPA=NPAP^{A}=NP^{A} Si es un oráculo de tiempo polinómico determinista, P B ≠ N P B (suponiendo P ≠ N P ).siBBPAGsi≠ NPAGsiPB≠NPBP^{B}\ne NP^{B}PAG≠ NPAGP≠NPP\ne NP es la clase de problemas de decisión análogos para …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

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 

Problema Tengo un gráfico no dirigido (con múltiples bordes), que cambiará con el tiempo, los nodos y los bordes se pueden insertar y eliminar. En cada modificación del gráfico, tengo que actualizar los componentes conectados de este gráfico. Propiedades Las propiedades adicionales son que no se volverán a conectar dos …

12 ds.algorithms  graph-theory  approximation-algorithms  online-algorithms 

¿No se perderían los datos al asignar valores de 6 bits a valores de 4 bits en los S-Box de DES? Si es así, ¿cómo podemos revertirlo para que aparezca la salida correcta?

12 cr.crypto-security 

Tengo un conjunto de datos de miles de puntos y un medio para medir la distancia entre dos puntos, pero los puntos de datos no tienen dimensionalidad. Quiero un algoritmo para encontrar centros de clúster en este conjunto de datos. Me imagino que debido a que los datos no tienen …

12 machine-learning  lg.learning  clustering 

La siguiente pregunta ha surgido varias veces al probar la seguridad de un sistema o modelo. Motivación: las fallas de seguridad del software a menudo no provienen de errores debidos a entradas válidas, sino de errores resultantes de entradas no válidas que están lo suficientemente cerca de las entradas válidas …

12 lo.logic  csp  security 

Estoy en mi segundo año en una maestría que no se relaciona demasiado con TCS, aunque desearía que lo hiciera. Básicamente se trata de teoría de control, señales y sistemas, y tomé clases en sistemas avanzados (robusto, no lineal, óptimo, estocástico), procesamiento avanzado de señales y optimización convexa. Estoy tratando …

12 reference-request  soft-question 

Una formulación equivalente del teorema de PCP es: para Max 3-SAT es -duro distinguir entre fórmulas satisfactorias y fórmulas donde, como máximo, la fracción r de las cláusulas es satisfactoria (para algunos r < 1 ).nortePAGNPNPrrrr < 1r<1r\lt 1 ¿Existe algún teorema de dicotomía conocido que clasifique todos los CSP …

12 cc.complexity-theory  pcp  csp 

La geometría computacional es un área que me parece bastante interesante, y me gustaría dedicar aproximadamente un mes o dos a un proyecto que me presente a esto y me ayude a aprender conceptos clave. ¿Cuál es una buena manera de abordar esto y cuáles son los conceptos clave que …

12 soft-question  cg.comp-geom 

¿Cuáles son los algoritmos más eficientes en la práctica para multiplicar dos matrices booleanas muy dispersas (digamos, N = 200 y solo hay unos 100-200 elementos distintos de cero)? En realidad, tengo la ventaja de que cuando multiplico A por B, las B están predefinidas y puedo hacer un preprocesamiento …

12 ds.algorithms  matrix-product  sparse-matrix  boolean-matrix  implementation 

El ancho del árbol mide qué tan cerca está un gráfico de un árbol. Varios problemas NP-hard son manejables en gráficos con ancho de árbol acotado. Si un problema sigue siendo NP-hard en los árboles, entonces el ancho del árbol no puede salvarnos. Esta fue la motivación detrás de una …

12 np-hardness  directed-acyclic-graph 

El papel Lauri Hella y José María Turull-Torres, Cálculo de consultas con lógicas de orden superior , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 propone lógica VO, lógica de orden variable. Esto permite la cuantificación sobre los pedidos sobre las variables. VO es bastante poderoso y puede expresar algunas …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity