Preguntas etiquetadas con cc.complexity-theory

Como todos sabrán, hay una caída continua de la crisis financiera de 2008. Estaba pensando en cómo la teoría de la complejidad encajaba en todo esto, cuando me di cuenta de que no conocía las clases básicas de complejidad relacionadas con la economía financiera. Entonces, mi pregunta es ¿cuál es …

9 cc.complexity-theory  gt.game-theory  ce.computational-finance 

En la complejidad del árbol de decisión de una función booleana, un método de límite inferior muy conocido es encontrar un polinomio (aproximado) que represente la función. Paturi dio una caracterización para funciones booleanas simétricas (parciales y totales) en términos de una cantidad denotada :ΓΓ\Gamma Teorema ( Paturi ): Sea …

9 cc.complexity-theory  quantum-computing  lower-bounds  boolean-functions  query-complexity 

Defina que el modelo computacional MPostBQP sea idéntico a PostBQP, excepto que permitimos polinómicamente muchas mediciones de qubit antes de la selección posterior y la medición final. ¿Podemos dar alguna evidencia que indique que MPostBQP es más poderoso que PostBQP? Defina MPostBQP [k] para permitir múltiples rondas de medición y …

9 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs 

Esta es una publicación separada de Consecuencias de UP es igual a NP , y también una pregunta de seguimiento a las clases de complejidad semántica vs. sintáctica . En la publicación anterior aprendimos sobre las clases semánticas y sintácticas . En pocas palabras, cuando una clase puede caracterizarse como …

9 cc.complexity-theory  complexity-classes  big-picture 

Sea un conjunto de formas rectangulares -dimensionales. Para y , describe la longitud de en la dimensión . La misma notación se utiliza para el contenedor C . El problema del empaque ortogonal dimensional D (OPP- D ) es decidir si V encaja en el contenedor C sin solaparse. Formalmente, …

9 cc.complexity-theory  reference-request  np-hardness  packing 

¿Es el siguiente problema de decisión NP-completo: Sea un gráfico no dirigido y dos enteros. ¿Es posible seleccionar para cada vértice de exactamente vecinos diferentes de modo que no se elija ningún nodo más de veces?b ≤ c G b csolGGb ≤ cb≤cb \le csolGGsibbCcc El caso se puede resolver …

9 cc.complexity-theory  np-hardness  graph-algorithms 

La teoría de la complejidad computacional clasifica los problemas de acuerdo con su dificultad inherente. La teoría de sistemas complejos aborda sistemas que exhiben comportamientos que obviamente no surgen de las propiedades de las partes individuales del sistema. Los ejemplos incluyen sistemas caóticos, sistemas adaptativos complejos o sistemas no lineales. …

9 cc.complexity-theory  soft-question  big-picture 

La multiplicación de matrices usando Regular - técnica (fila columna interna producto) realiza multiplucations y adiciones. Sin embargo, suponiendo entradas de igual tamaño (número de bits en cada entrada de ambas matrices que se multiplican) de tamaño bits, la operación de suma en realidad ocurre en bits.O ( n 3 …

9 cc.complexity-theory  algebraic-complexity 

IP (2pfa) y AM (2pfa) son las clases de lenguajes reconocidos con error acotado por versiones de monedas públicas y privadas, respectivamente, de sistemas de prueba interactivos con verificadores que son autómatas finitos probabilísticos con un cabezal de entrada de dos vías. ¿Se conocen propiedades de cierre de estas clases?

9 cc.complexity-theory  interactive-proofs 

¿Hay resultados conocidos que demuestren que la existencia (o la no existencia) de gráficos finitos con propiedades computables específicas implican ciertos resultados de complejidad (como P = NP)? Aquí hay un resultado completamente hipotético : si existe un gráfico finito con bordes distingos A, B, C y D, de modo …

9 cc.complexity-theory 

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, ciclos hamiltonianos y TSP. A continuación incluyo un razonamiento que creo que …

9 cc.complexity-theory  graph-algorithms  planar-graphs  graph-colouring 

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 clásica y cuántica …

9 cc.complexity-theory  quantum-computing  big-picture 

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?

9 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

La siguiente noción de un algoritmo de destilación proviene de "En problemas sin núcleos polinomiales". Deje que se le dé una lenguaUn algoritmo de destilación para toma una lista dada de cadenas de entrada y calcula una cadena de salida tal que:L { x i } i ∈ [ t …

9 cc.complexity-theory  np-hardness  parameterized-complexity  polynomial-hierarchy  pspace 

Problema clásico: Deje que se dé un número . El problema -clique es el siguiente.kkkkkkk Dado un gráfico , ¿existe un subconjunto de vértices para que dos vértices de sean adyacentes?S k SGGGSSSkkkSSS Problema de hipergrafía: Deje que se den los números y . El problema -hiperclique es el siguiente.k …

9 cc.complexity-theory  graph-theory  matrices  clique  fixed-parameter-tractable