Si existen OWF, entonces es posible un compromiso de bits estadísticamente vinculante. [1] ¿Se sabe que si existen OWFs, entonces es posible un compromiso de bits perfectamente vinculante? Si no, ¿existe una separación de caja negra conocida entre ellos? [1]
Considere un gráfico cúbico aleatorio conectado de n = | V | vértices, extraídos de G ( n , 3 -reg ) (como se define aquí , es decir, 3 n es par y cualesquiera dos gráficos tienen la misma probabilidad).G=(V,E)G=(V,E)G=(V,E)n=|V|n=|V|n =|V|G(n,3G(n,3G(n, 3)))3n3n3n Por supuesto que hay posibles...
La matriz de Moore es similar a la matriz de Vandermonde pero tiene una definición ligeramente modificada. http://en.wikipedia.org/wiki/Moore_matrix ¿Cuál es la complejidad de calcular el determinante de un rango completo de la matriz de Moore módulo algún entero?n×nn×nn \times n ¿Se puede...
Supongamos que consideramos 3-SAT con vvv variables y cláusulas . Estoy investigando un método que parece tomar tiempo / espacio para resolver cualquier problema SAT que se ajuste a esta descripción, dentro de un error que se puede ajustar a una cantidad arbitraria. Sin embargo, hay una trampa.O (...
Para un grafo no dirigido y un conjunto dado S de vértices, lo que es el algoritmo asintóticamente más rápida conocida para encontrar un camino simple que contiene todos los elementos de S . ¿Qué pasa si requerimos que el camino sea lo más corto
Se proporciona el conjunto . Para cada elemento , tenemos peso y costo . El objetivo es encontrar el subconjunto de tamaño que maximice la siguiente función objetivo: .e i w i > 0 c i > 0 M k ∑ e i ∈ M w i + ∑ e i ∉ M w i c iS= { e1, ⋯ , enorte}S={e1,⋯,en}S=\{e_1,\cdots,e_n\}miyoeie_iwyo>...
¿Cuál es el resultado del estado del arte sobre la complejidad de las consultas de las fórmulas de aprendizaje 2-DNF PAC adecuadas con consultas de muestra y bajo distribución uniforme ? ¿O alguna atadura no trivial? Debido a que no estoy familiarizado con la teoría del aprendizaje y esta pregunta...
¿Cuál es el mejor límite actual para realizar consultas de conteo de rango de medio espacio en un conjunto de puntos dimensionales, expresados en forma de una compensación tiempo / espacio. De acuerdo con el artículo seminal de 1993 de Matousek (Teorema 6.2, Búsqueda de rangos con cortes...
En el documento Sobre dos problemas de la teoría de la información , Erdõs y Rényi dan límites inferiores sobre el número mínimo de pesadas que uno debe hacer para determinar el número de monedas falsas en un conjunto de monedas.nortenorten Más formalmente: Las monedas falsas tienen un peso...
Soy nuevo en este sitio y esta pregunta ciertamente no tiene un nivel de investigación, pero bueno. Tengo un poco de experiencia en ingeniería de software y casi ninguno en CSTheory, pero me parece atractivo. Para resumir, quisiera una respuesta más detallada a lo siguiente si esta pregunta es...
JBV sugirió que convirtiera algunos comentarios en una pregunta, así que aquí va. Otra pregunta [1] es sobre las aplicaciones de la computación QM. Una respuesta [2] fue "simular eficientemente la mecánica cuántica". Aparentemente, esta idea se remonta a los primeros escritos de Feynman sobre el...
Deje ser un gráfico no dirigido. Una descomposición de V en subconjuntos disjuntos V i se llama descomposición de Hamilton de G si el subgrafo inducido por cada conjunto V i es un gráfico de Hamilton o consiste en un solo borde con | V i | = 2
Estoy tratando de usar árboles de sufijos para comparar secuencias de cadenas. He encontrado implementaciones / teoría para el problema de subcadena común más largo usando árboles de sufijos. Sin embargo, lo que estoy buscando es una discusión del problema relacionado: "todas las subcadenas...
¿ implica E = N E ?E XP = N E X PEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E = N
Sé que para un gráfico bipartito no ponderado, puedo encontrar la cobertura de vértice mínima al encontrar primero la coincidencia máxima y convertirla en una cubierta de vértice usando el Teorema de König. ¿Hay alguna modificación que se pueda usar si los nodos están
Es bien sabido que el cálculo de una máquina de Turing no determinista (NTM) es representable como un árbol de configuraciones, enraizado en la configuración inicial. Cualquier transición en el programa está representada por un enlace padre-hijo en este árbol. También se pueden construir árboles...
Es bien sabido que la máquina analítica de Charles Babbage tenía una arquitectura que se parecía mucho a la arquitectura moderna de Von Neumann. Además, es notable que las tablas para representar un programa para la máquina analítica de Babbage ( http://www.fourmilab.ch/babbage/figures/menat3.png...
Wikipedia escribe: FPT contiene los problemas manejables del parámetro fijo, que son aquellos que pueden resolverse en el tiempo para alguna función computable f . Por lo general, esta función se considera exponencial simple, como 2 O ( k ), pero la definición admite funciones que crecen aún más...
Decidir Graph Homomorphism es en general NP-Complete. ¿Hay algún resultado que estudie este problema cuando los gráficos subyacentes tienen estructura algebraica (como decidir los homomorfismos de Cayley o los gráficos de coset de Cayley a otros gráficos con alguna estructura definida también)?...
Cuando se consideran las interacciones en las redes, generalmente es muy difícil calcular la dinámica analíticamente , y se emplean aproximaciones. Las aproximaciones de campo medio generalmente terminan ignorando la estructura de la red por completo, por lo que rara vez son una buena aproximación....