Ciencias de la computación teórica

Estoy buscando más problemas en con límites inferiores de complejidad temporal clásica. Algunas personas podrían preguntarse cómo podría probar un límite tan bajo. Vea abajo.PPP Límites inferiores exponenciales: Reclamación: Si tiene un problema que es E X P T I M E -completo bajo reducciones polinómicas, entonces hay una constante …

8 cc.complexity-theory  complexity-classes  time-complexity  lower-bounds  polynomial-time 

Según Handshaking Lemma: cualquier gráfico no dirigido que tenga un vértice cuyo grado sea un número impar debe tener algún otro vértice cuyo grado sea un número impar. Esta observación significa que si se nos da un gráfico y un vértice de grado impar, y se nos pide que encontremos …

8 complexity-classes  counting-complexity  ppad 

La conjetura del isomorfismo de Berman y Hartmanis establece que todos los conjuntos completos de son polinomiales en el tiempo isomorfos entre sí. Esto significa que los completos de pueden reducirse eficazmente entre sí mediante bijecciones de tiempo polinómico computables e invertibles. La conjetura implica .N P P ≠ N …

8 cc.complexity-theory  structural-complexity 

¿Hay alguna complejidad de comunicación aleatorizada (no trivial) conocida con límites inferiores para problemas de brecha natural en los que las entradas 1 están linealmente lejos de las entradas 0? Es decir, funciones parciales tal que la distancia de Hamming entre cada ( x , y ) ∈ f - …

8 reference-request  communication-complexity 

M M E┌ M┐⌜M⌝\ulcorner M \urcornerMETROMMMETROMMmiE\mathsf E E ┌M┐ =βMETRO.E⌜M⌝=βM.\mathsf E \ulcorner M \urcorner =_\beta M. Hay una variedad de codificaciones como la de Kleene que usa números naturales y la codificación moderna más eficiente es una sintaxis de orden superior de Mogensen. Otra posible codificación (trivial) es la función …

8 lambda-calculus  encoding 

¿Cuáles son algunos ejemplos de problemas con el tiempo cuasi-polinomial (algoritmos de Q P ) que posiblemente podrían estar en P ? En otras palabras, ¿están en Q P sin ninguna razón obvia aparte de que nadie ha encontrado un algoritmo de tiempo polinomial?QPQPQPPPPQPQPQP Esta pregunta está motivada por el …

8 polynomial-time 

nnnv1,…,vn∈RNv1,…,vn∈RNv_1,\dots,v_n\in\Bbb R^N∥vi∥22≤1‖vi‖22≤1\|v_i\|_2^2\leq1i∈{1,…,n}i∈{1,…,n}i\in\{1,\dots,n\}c∈Rc∈Rc\in\Bbb Rn,Nn,Nn,Nϵ∈{−1,+1}nϵ∈{−1,+1}n\epsilon\in\{-1,+1\}^n∥∥∑i=1nϵivi∥∥∞<c.‖∑i=1nϵivi‖∞<c.\Big\|\sum_{i=1}^n\epsilon_iv_i\Big\|_\infty0 donde falla la conjetura de Komlos?

8 co.combinatorics  extremal-combinatorics 

¿Existe un algoritmo para verificar si una expresión regular de tamaño n coincide con una cadena de tamaño m , suponiendo un alfabeto de tamaño fijo si eso importa?O ( n + m )O(norte+metro)O(n+m)nortenortenmetrometrom El algoritmo estándar de NFA es peor de los casos. Groz y col. lograr tiempo lineal …

8 regular-expressions  parsing 

Siempre me he preguntado si las pruebas en ciencias de la computación se considerarían pruebas suficientes de la propuesta si tuvieran que asumir leyes físicas. Por ejemplo, me pregunto qué pasaría si algún día alguien probara P! = NP bajo el supuesto de la segunda ley de la termodinámica. ¿Resolvería …

8 proofs 

En [1] se afirma que "Sigue siendo una pregunta abierta si cada función en tiene circuitos (aunque al menos se sabe que no todas las funciones tienen circuitos uniformes DLogTime )".T C 0 # P T C 0#P#P\#PTC0TC0TC^0#P#P\#PTC0TC0TC^0 TC0TC0TC^0 circuitos generados por las funciones DLogTime no contienen . No sabemos …

8 cc.complexity-theory  complexity-classes  circuit-complexity  counting-complexity  permanent 

Recuerdo haber leído una publicación de blog que mostraba dos versiones de la misma prueba, una escrita por un humano y la otra por una máquina, y les pedí a los lectores que dijeran cuál es cuál. Tratando de buscar en Google la publicación nuevamente, parece que no puedo encontrar …

8 proofs  proof-assistants 

Es común definir la completitud de con respecto a las reducciones de espacio de registro de muchos.PAGSPP Estoy buscando una clase de complejidad tal manera que haya problemas P- completos wrt muchas- C- reducciones.C⊆ LC⊆LC \subseteq \mathsf{L}PAGSP\mathsf{P}CCC ¿Cuál es la clase reducción múltiple más pequeña conocida de tal forma que …

8 cc.complexity-theory  complexity-classes 

En el documento 'Sobre la desaparición de los coeficientes de Kronecker' aquí en http://arxiv.org/pdf/1507.02955v1.pdf , se muestra que decidir positividad de los coeficientes de Konecker es en general NP difícil. Sin embargo, hay una advertencia que establece que solo se necesita positividad de 'coeficientes rectangulares de Kronecker' en GCT . …

8 cc.complexity-theory 

Encontré una presentación de Ryan O'Donnell sobre los principios de invariancia. Después de probar el teorema de Berry-Esseen, hay una diapositiva que analiza las extensiones del teorema y una que se menciona que hay una llamada "versión desaleatorizada": Si -nice (es decir, tiene un tercer momento delimitado), independiente en tres …

8 reference-request  pr.probability  limited-independence  k-wise-independence 

¿Es la complejidad de la comunicación (CC) el único enfoque conocido para los algoritmos de transmisión de límites inferiores? ¿Existen otras técnicas, incluso si los límites inferiores condicionales ? En general, ¿estamos satisfechos con el progreso logrado a través de CC? ¿O buscar técnicas alternativas (aunque sean condicionales) sería una …

8 lower-bounds  streaming-algorithms  proof-techniques