Para un lenguaje fijo en algún alfabeto , consideremos el siguiente problema, que llamo -INTERLEAVING :A LLLLUNAAALLL Entrada: dos palabras u , v ∈ A∗u,v∈A∗u, v \in A^* Salida: si existe un entrelazado de tuuu y vvv que está en LLL . Aquí, un entrelazado de dos palabras tuuu y vvv es una...
El tiempo cuasi polinomial, o QP para abreviar, es una clase de complejidad en la máquina determinista de Turing. Aquí está la definición precisa: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp Mientras que βP es una clase de complejidad de no determinismo limitado. Aquí está la definición...
¿Hay algún número trascendental computable conocido tal que su º dígito es computable en tiempo polinomial, pero no en
What is Razborov's method of approximations? Can someone give a high-level overview and the intuition behind
Después de los éxitos cada vez más nuevos de las redes neuronales en los juegos de mesa, uno siente que el próximo objetivo que establecimos podría ser algo más útil que vencer a los humanos en Starcraft. Más precisamente, me preguntaba si ¿Pueden las redes neuronales ser entrenadas para...
¿Cuáles son los límites superiores asintóticos más conocidos en tamaños de pruebas probabilísticamente comprobables? Idealmente, estoy buscando una encuesta contemporánea sobre esta amplia pregunta, pero si no hay ninguna, estoy especialmente interesado en la inaccesibilidad de 3-SAT. Deje que 7/8...
Este resultado de Tavenas, Koiran y otros muestran que cualquier polinomio calculado por un circuito de tamaño sss se calcula por un circuito homogéneo de profundidad 4 de tamaño sd√sds^{\sqrt{d}} . ¿Hay resultados similares para los circuitos booleanos o sabemos por qué tal cosa no es posible?...
Contexto : Hay varios documentos que estudian las implicaciones de las curvas cerradas de tiempo (CTC) para la complejidad cuántica. En 2008, Aaronson y Watrous publicaron su famoso artículo sobre este tema que muestra que ciertas formas de viaje en el tiempo pueden hacer que la computación...
Hay un tipo de resultados en TCS que generalmente se llaman resultados de arranque . En general, es de la forma Si la proposición UNAUNAA cumple, entonces la proposición UNA′UNA′A' cumple. donde UNAUNAA y UNA′UNA′A' son proposiciones que se parecen, y UNAUNAA es aparentemente "más débil" que...
Para muchos problemas, el algoritmo con la mejor complejidad asintótica tiene un factor constante muy grande que está oculto por la notación O grande. Esto ocurre en la multiplicación de matrices, la multiplicación de enteros (específicamente, el reciente algoritmo de multiplicación de enteros O (n...
Me preguntaba si se sabe que la tarea de buscar colores planos 3 es de complejidad O(cn√)O(cn)O\left(c^{\sqrt{n}}\right)o inferior? Parece que sería una consecuencia intuitiva basada en los resultados del separador plano, pero enwikipediasolo menciona conjuntos independientes, árboles Steiner,...
Hubo recientemente un reivindicado prueba de que PAGS≠ NPAGSPAGS≠nortePAGSP \ne NP . No mucho después de su publicación, surgieron algunos problemas con esta prueba. Entonces ... ¿la prueba es correcta o no? (Responda esto solo si tiene evidencia ... esta pregunta puede tomar un tiempo hasta que...
Supongamos que tienes hombres y mujeres. Cada persona tiene atributos. Cada persona indica un conjunto de atributos que debe tener un posible candidato. Una coincidencia es un conjunto de pares. Cada par une a un macho con una hembra. La satisfacción de una coincidencia es el número de atributos...
Problema de cláusulas independientes máximas parametrizadas : Entrada: Una fórmula F de r-CNFSAT que tiene n variables y cláusulas m , k Ques: ¿Existe al menos k cláusulas tales que sean mutuamente independientes, es decir, no se produce ninguna variable más de una vez en todas estas cláusulas...
Se sabe que si PAGS= NPAGSP=NPP=NP entonces Co NPAGS= PCPAGS[ O ( l o g( n ) ) , O ( 1 ) ]CoNP=PCP[O(log(n)),O(1)]CoNP= PCP[O(log(n)),O(1)] . Además, se sabe que nortemiXPAGS= PCPAGS[ p o l y( n ) , p o l y( n ) ]NEXP=PCP[poly(n),poly(n)]NEXP=PCP[poly(n),poly(n)]. Parece que el PCP no puede...
Se sabe que el problema # MONOTONE-2SAT es # P-completo. Esto significa que #SAT se puede reducir a eso. Mi pregunta es: dada una instancia #SAT , ¿cuál es la transformación que convierte F en su correspondiente instancia # MONOTONE-2SAT F ' ?FFFFFFF′F′F' Una segunda pregunta es: que es el número...
He estado leyendo un artículo de un químico matemático. Propone algunos índices para medir la complejidad de las moléculas. De aquí en adelante, en lugar de moléculas, piense en gráficos conectados no dirigidos: un vértice es un átomo y un borde es un enlace entre los átomos. Es posible considerar...
Esta pregunta surge de una respuesta que Joe Fitzsimons dio a una pregunta diferente . La mayoría de las clases de complejidad natural tienen una "descripción intuitiva" de una línea que ayuda a caracterizar los problemas centrales de esa clase. NP es "verificación eficiente", #P se trata de...
¿Se sabe si SPACE (n) (la clase de lenguajes reconocidos por TM deterministas con espacio lineal) es un subconjunto apropiado de E (la clase de lenguajes reconocidos por TM deterministas en el tiempo 2 ^ O
En el artículo Relativizaciones de la P =? Pregunta NP , Baker et al. demostró que existen mundos relativizados en los que se mantiene P = NP o P ≠ NP. Todos los oráculos en su configuración eran conjuntos recursivos. En otro artículo relativo a un Oráculo aleatorio , P A ≠ N P A ≠ co- N P A con...