(Estoy en el medio de mi primer curso cs teórico, así que me disculpo de antemano por lo que probablemente sea una pregunta estúpida). Entonces, decimos que algún lenguaje L está en P, lo que significa que se puede construir una máquina de Turing que genera un 1 si x está en L y 0 de lo contrario;...
Tengo algunas preguntas sobre la conjetura de Quantum PCP: ¿Cuál es la declaración de la conjetura de PCP cuántica? ¿Qué implicaciones tendría el teorema de PCP Quantum para la simulación de hamiltonianos? ¿Se cree que la adopción de la prueba de Irit Dinur del teorema clásico de PCP puede...
La seguridad basada en simulación proporciona una definición de seguridad más natural y poderosa que la seguridad basada en juegos. He visto que los enfoques basados en simulación usan las pruebas basadas en juegos en parte para demostrar la seguridad de algunas partes del protocolo. Por ejemplo,...
Es bien sabido en la teoría de modelos finitos que sin un orden en la entrada, la expresividad es muy limitada. Por ejemplo, se sabe que es igual a PSPACE , y F O ( PFP ) (sin ningún orden en la entrada) es solo PSPACE -relacional, una noción definida por Abiteboul y Vianu cuando demostraron su...
Esta es una pregunta algo frívola que surgió en mi cabeza después de leer las diversas respuestas a "¿Cuál es la clase de complejidad" más pequeña "para la que se conoce un circuito superlineal? ". Las respuestas se refieren a , y cuando miré la entrada del zoológico , descubrí...
En nuestro grupo de investigación estamos trabajando en la aplicación de métodos heurísticos al problema de iluminación inversa (es decir, dada una serie de restricciones sobre las condiciones de iluminación en una escena, encontrar los lugares donde se deben colocar las fuentes de luz y sus...
El problema de optimización de CSP es resistente a la aproximación si es difícil de superar el factor de aproximación de una asignación aleatoria. Por ejemplo, MAX 3-LIN es resistente a la aproximación ya que una asignación aleatoria satisface fracción de las ecuaciones lineales, pero lograr un...
¿Existe una base de datos de problemas conocidos con información sobre su complejidad y algoritmos, problemas relacionados, referencias, etc. que está disponible para nosotros? [Si no, ¿podemos hacer uno? Sé que esto está fuera de tema, pero sería TAN
Estoy buscando una referencia para la complejidad de la comunicación aleatoria unidireccional (clásica) cuando el universo puede ser grande. Digamos que Alice y Bob tienen conjuntos de tamaño elegidos de un universo de tamaño y Bob quiere determinar si la intersección de sus conjuntos está vacía o...
El siguiente problema surgió recientemente de mi investigación y me gustaría preguntar si alguien sabe si este problema se consideró antes o si ha oído hablar de algo que pueda estar relacionado. La configuración general es la siguiente. Se nos ha dado FFF , una familia de ttt -subsets de { 1 , 2...
En el contexto de la percolación de enlaces en donde es un número entero positivo, considere el problema de calcular una aproximación -de la percolación crítica dada una dimensión de red y un parámetro de precisión como entradas. ¿Hay algún resultado conocido sobre la complejidad de tal problema? d...
La pregunta es: ¿Existe siempre un esquema de aproximación de polivinilos para problemas con NP completo que tienen algoritmos de tiempo pseudopolinomiales (como la mochila, por
por favor, ¿puede proporcionar una referencia o dar ejemplos particulares de problemas completos de PSPACE que se puedan resolver en tiempo pseudo-polinomial? Notas Adicionales: Definición de tiempo pseudopolinomial: http://en.wikipedia.org/wiki/Pseudo-polynomial_time En respuesta a algunos...
Como sabemos, el isomorfismo gráfico está en NP pero no se sabe que sea NP-Completo o P-Completo. Me preguntaba si hay algún problema que se sabe que está en PSPACE pero no se sabe que es PSPACE-Complete y no se encuentra en
La idea básica de la inducción hacia atrás es comenzar con todas las posiciones finales posibles de un juego en el que el jugador X gana. Entonces, para el ajedrez, mira todas las formas en que las blancas pueden hacer jaque mate a las negras. Ahora trabaje hacia atrás a todos los movimientos /...
En el paso de reducción de grados de la prueba de Dinur, el gráfico de entrada se transforma en un gráfico G ' reemplazando cada vértice v ∈ V ( G ) por un conjunto de vértices, c l o u d ( v ) , de modo que | c l o u d ( v ) | = d e g r e e G ( v ) , e imponiendo un gráfico expansor de grado d en...
¿Existe una función similar a una trampilla cuya complejidad de codificación es el tiempo polinomial nk1nk1n^{k_{1}} y la complejidad inversora (sin clave secreta) también es una función polinómica en la longitud de entrada con (digamos que y es incondicionalmente demostrable estar limitado por )...
Aunque L.Berman demostró que el problema de verificar o falsificar cualquier declaración de primer orden sobre números reales que usa la suma y la comparación pero no la multiplicación está en EXPSPACE. ¿Se le ha mostrado cuánto tiempo o espacio necesitaría para verificar o falsificar cualquier...
Dado un gráfico G ( V, E)G(V,E)G(V,E) , el problema clásico de coincidencia máxima es elegir el subconjunto máximo de aristas METROMETROM st, para cada arista ( u , v ) ∈ M(tu,v)∈METRO(u,v) \in M , re( u ) = d( v ) = 1re(tu)=re(v)=1d(u)=d(v)=1 . ¿Alguien ha estudiado la siguiente variante? Para...
Estoy buscando vincular un problema en el que estoy trabajando con un problema NP-hard conocido. Creo que puedo modelar mi problema como un problema de ruta más corta con recursos limitados. Sin embargo, la estructura de mi gráfico no es completamente arbitraria. Por lo tanto, será útil saber...