Esta pregunta está motivada por una pregunta de MathOverflow de Peng Zhang . Valiant mostró que contar las camarillas máximas en un gráfico general es # P-completo, pero ¿qué pasa si restringimos a los gráficos de incomparabilidad (es decir, queremos contar las antichains máximas en un grupo...
Parity-L, también conocido como L, es el conjunto de lenguajes reconocidos por una máquina de Turing no determinista que solo puede distinguir entre un número par o un número impar de rutas de "aceptación". Niel de Beaudrap hizo una pregunta relacionada reciente .⊕⊕\oplus Mi pregunta es la...
Sea un cuadrado n × nnorte×norten\times n matriz real UNUN{\bf A} y dos vectores XX{\bf x} y sisi{\bf b} de longitud nortenorten , de modo que A x = b .UNX=si.{\bf A}{\bf x}={\bf b}. Resolver XX{\bf x} través de la eliminación gaussiana estándar produce una complejidad agregada de casi O (...
En la definición de rastreabilidad de parámetros fijos (fuertes), el límite de tiempo es una expresión de la forma donde la instancia de entrada es ( x , k ) con el parámetro k , p es un polinomio yf es una función computable .F( K ) . p ( | x | ) ,F(k).pag(El |XEl |),f(k).p(|x|),( x , k...
Tengo una pregunta sobre la reducibilidad SERF de Impagliazzo, Paturi y Zane y los algoritmos subexponenciales. La definición de SERF-reducibilidad ofrece lo siguiente: Si P1P1P_1 es SERF-reducible a y hay un algoritmo para para cada , entonces hay un algoritmo para para cada . (El parámetro de...
El teorema de la pretición paralela de Raz es un resultado importante en PCP, aproximación, etc. El teorema se resume de la siguiente manera. G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi,
¿Hay alguna prueba de que la emulación de una máquina de Turing en una máquina de Turing ajena no se puede hacer en menos de donde es el número de pasos que usa la máquina de Turing ? ¿O es solo un límite superior?O ( m logm )O(metroIniciar sesiónmetro)\mathcal{O}\left(m\log...
Me gustaría saber sobre la historia de estos dos términos: " eficiente ", " factible ". ¿Quién los usó sobre computación / algoritmos la primera vez? (en el sentido moderno de estos términos, es decir, siglo XX). ¿Cómo se convirtieron en la corriente principal? ¿Cómo comenzaron a usarse estos dos...
¿Se sabe si el problema del conjunto de vértices de retroalimentación en gráficos planos no dirigidos de grado acotado es
¿Alguien puede enumerar algunos problemas conocidos que satisfacen las siguientes condiciones: 1. has a generalization problem that is known to be NP-complete 2. has not been proved to be NP-complete nor has a known polynomial time solution.
Hay varios conocidos AC0AC0\mathsf{AC^0} de límite inferior de tamaño de circuito basados en restricciones aleatorias y el Lema de conmutación . ¿Podemos desarrollar un resultado de Lema de conmutación para probar un tamaño de límite inferior para circuitos TC0TC0\mathsf{TC^0} (similar a las...
La eliminación gaussiana hace que el determinante de una matriz de tiempo polinómico sea computable. La reducción de la complejidad en la computación del determinante, que de otro modo es la suma de términos exponenciales, se debe a la presencia de signos negativos alternativos (la falta de lo que...
La fórmula más pequeña conocida para el determinante tiene un tamaño acuerdo con el folclore (o Ran Raz en su papel Las fórmulas multilineales para permanente y determinante son de tamaño superpolinomial ).norteO (logn )norteO(Iniciar sesiónnorte)n^{\mathcal O(\log n)} ¿Tienes alguna referencia...
Un algoritmo de prueba de distribución para una propiedad de distribución P (que es solo un subconjunto de todas las distribuciones sobre [n]) puede acceder a las muestras de acuerdo con alguna distribución D, y se requiere que decida (whp) si D∈PD∈PD\in P o d(D,P)>ϵd(D,P)>ϵd(D,P)>\epsilon (...
Me parece que los expertos en aprendizaje automático / minería de datos están familiarizados con P y NP, pero rara vez hablan de algunas de las clases de complejidad más sutiles (por ejemplo, NC, BPP o IP) y sus implicaciones para analizar los datos de manera efectiva. ¿Hay alguna encuesta de...
Decimos que una función es construible en el tiempo , si existe una máquina de Turing multi-cinta determinista M que en todas las entradas de longitud n realiza como máximo f ( n ) pasos y para cada n existe alguna entrada de longitud n en la que M realiza exactamente f ( n )
Es fácil ver que si entonces hay un total de problemas de búsqueda de N P que no se pueden resolver en tiempo polinómico (cree un problema de búsqueda total al tener tanto a los testigos como miembros como a los que no son miembros).NP∩coNP≠PNP∩coNP≠P\mathsf{NP}\cap\mathsf{coNP} \neq...
El problema de partición es débilmente NP-completo ya que tiene un algoritmo de tiempo polinomial (pseudo-polinomial) si los enteros de entrada están limitados por algún polinomio. Sin embargo, 3-Partition es un problema NP-completo, incluso si los enteros de entrada están delimitados por un...
Recordemos que la anchura de una resolución refutación de una fórmula CNF es el número máximo de literales en cualquier cláusula que ocurre en . Para cada , hay fórmulas insatisfactorias en 3-CNF st cada refutación de resolución de requiere un ancho de al menos .F R w F F...
Dada una matriz A con entradas racionales. ¿Cuál es la complejidad para verificar que A es diagonalizable?n × nnorte×norten\times nUNUNAUNUNA Sospecho que esto se puede hacer en P, pero no conozco ninguna referencia. Sin embargo, una pregunta más interesante es, ¿hay alguna clase de complejidad...