¿Qué otros problemas de idiomas diferentes al isomorfismo de gráficos hay en ? ¿Puedes dar algunas referencias?nortePAG∩ c o A MNP∩coAMNP\cap coAM Actualización: Olvidé mencionar que estoy interesado en idiomas que no se sabe que están en .c o
Los algoritmos de flujo requieren aleatorización en su mayor parte para hacer algo no trivial, y debido a la restricción de espacio pequeño, necesitan PRG que usen poco espacio. Sé de dos métodos que se han citado para su uso en algoritmos de flujo hasta ahora: -wise PRGs independientes como la...
El concepto de un esquema de intercambio secreto a menudo se atribuye a Shamir (A. Shamir, Cómo compartir un secreto , Comm. ACM, 22 (1979), pp. 612-613.) Y Blakey (GR Blakey, Salvaguarda de claves criptográficas , en Proc. NCC, vol. 48, 1979, pp. 313-317.). La idea general es que algunos S...
Los problemas de coloración de gráficos ya son bastante difíciles para la mayoría de las personas . Aun así, voy a tener que ser difícil y preguntar un problema sobre el color de la hipergrafía. Pregunta. ¿Qué algoritmos eficientes existen para encontrar una coloración de borde aproximadamente...
¿Qué algoritmos útiles existen que funcionan en grandes flujos de datos y también sus resultados son bastante pequeños y uno puede calcular el resultado para una mezcla de dos flujos fusionando de alguna manera sus resultados? Puedo nombrar algunos: Las cosas obvias como sum, min, max, count,...
Este es un seguimiento de la reciente pregunta de David Eppstein y está motivado por los mismos problemas. Supongamos que tengo un dag con pesos de números reales en sus vértices. Inicialmente, todos los vértices no están marcados. Puedo cambiar el conjunto de vértices marcados marcando (1) un...
Sea { 0 , . . . , N - 1 } y ∘ : S × S → S . Quiero calcular la complejidad de la comunicación al decidir si ∘ es asociativo.S=S=S=0 , . . . , n - 10,...,n−10,...,n-1∘ : S× S→ S∘:S×S→S\circ : S \times S \rightarrow S∘∘\circ El modelo es el siguiente. se da como una matriz M . Alice (resp. Bob)...
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...
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 de mis...
¿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...
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 debería estar...
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...
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...
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...
La siguiente pregunta utiliza ideas de criptografía aplicadas a la teoría de la complejidad. Dicho esto, es una pregunta puramente teórica de la complejidad, y no se requiere ningún conocimiento criptográfico para responderla. Deliberadamente escribo esta pregunta de manera informal. A falta de...
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 dimensiones, un...
¿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
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...
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...
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 E i sea una garra...