Ciencias de la computación teórica

¿Cuáles son los trabajos de investigación más importantes sobre los fundamentos de los genéricos en C # y .NET?

12 pl.programming-languages 

La programación lineal es, por supuesto, hoy en día muy bien entendida. Tenemos mucho trabajo que caracteriza la estructura de soluciones factibles y la estructura de soluciones óptimas. Tenemos la fuerte dualidad, algoritmos de poli-tiempo, etc. Pero, ¿qué se sabe sobre las soluciones mínimas máximas de LP? O, de manera …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization 

Hice esta pregunta hace unas semanas en mathoverflow , pero no obtuve respuesta. Aquí, por rejilla 3D de longitud de lado me refiero a la gráfica G = ( V , E ) con V = { 1 , ... , k } 3 y E = { ( ( …

12 reference-request  graph-theory  co.combinatorics  treewidth  integer-lattice 

Deje y denote por G k el conjunto de todos los gráficos que se pueden incrustar en una superficie del género k de modo que todos los vértices estén situados en la cara externa . Por ejemplo, G 0 es el conjunto de gráficos de plano exterior. ¿Puede el ancho …

12 graph-theory  co.combinatorics  parameterized-complexity  graph-classes 

He leído en SP Jordan, D. Gosset, "Amor del PJ problemas -Complete para hamiltonianas stoquastic y matrices de MarkovQ MUNQMAQMA " que es poco probable que .Q MA ⊆ A MQMA⊆AMQMA \subseteq AM Me sorprendió esta afirmación. Entonces, ¿cuál es la relación adecuada entre y A M ?Q MUNQMAQMAA MAMAM

12 cc.complexity-theory  complexity-classes  quantum-computing  interactive-proofs  qma 

La descomposición de los árboles es difícil en el peor de los casos, pero el método codicioso parece ser casi óptimo en pequeñas redes de la vida real. ¿Se sabe algo sobre la dureza de la descomposición del árbol de una instancia "típica" de alguna clase de gráficos? ¿Hay algún …

12 ds.algorithms  graph-theory  graph-algorithms  treewidth 

Estoy buscando un nombre o alguna referencia a este problema. Dado un gráfico ponderado G = ( V, E, W )G=(V,E,w)G = (V, E, w) encuentre una partición de los vértices en hasta n = | VEl |n=|V|n = |V|establece S1, ... , SnorteS1,…,SnS_1,\ldots,S_n para maximizar el valor de los …

12 ds.algorithms  reference-request  approximation-algorithms  max-cut 

Hace poco me recordaron el problema vs. como lo explicó Stephen A. Cook en el Clay Mathematics Institute.N PPAGP\mathsf{P}N PNP\mathsf{NP} Ha despertado mi interés y me gustaría aprender más al respecto. El primer paso sería obtener una comprensión más profunda del problema y una comprensión del área en general. ¿Me …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

¿Cuáles son los problemas con la relación de aproximación más conocida lograda por un algoritmo que devuelve una solución aleatoria uniforme? Conozco uno de esos ejemplos para el problema del taller de flujo de permutación : en el documento " Límites ajustados para la programación del taller de flujo de …

12 ds.algorithms  reference-request  approximation-algorithms 

Deje que G sea un gráfico conectado. ¿Cuál es la complejidad de contar todos los subgrafos conectados si G es de los siguientes tipos? G es general. G es plano. G es bipartito. No me importan las estructuras o ... ¡solo necesito contar todas las subgrafías conectadas! También estoy interesado …

12 cc.complexity-theory  graph-theory  counting-complexity 

Dado un término t : ∀x.∃y.(¬(x = 0) ⇒ x = S(y))en la teoría de tipos de Martin-Lof, ¿cuál es el valor de w(t(0)), dónde westá el operador que extrae el testigo de un término de tipo existencial?

12 lo.logic  type-theory  proof-theory 

Al contar los argumentos, se puede mostrar que existen polinomios de grado n en 1 variable (es decir, algo de la forma que tienen complejidad de circuito n. Además, uno puede mostrar que un polinomio como x n requiere al menos log 2 n multiplicaciones (lo necesita solo para obtener …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

Mientras trabajaba en un proyecto algo no relacionado para Suresh, recientemente me encontré con un trabajo realizado por Page y Opper sobre sistemas componibles por el usuario y una parte de su trabajo discutió brevemente problemas que no pueden verificarse en el tiempo polinómico. No he podido encontrar mucha información …

12 cc.complexity-theory  complexity-classes 

El grupo Clifford de operadores cuánticos es generado por las operaciones cuánticas: Z controlada , Hadamard y = | 0 ⟩ ⟨ 0 | + i | 1 ⟩ ⟨ 1 |=El |0 0⟩⟨0 0El |+yoEl |1⟩⟨1El |= |0\rangle\langle0| + i |1\rangle\langle1| Un circuito compuesto solo por estas puertas puede …

12 quantum-computing 

Lo que me pregunto específicamente es si existe una condición interesante en el porcentaje de asignaciones que satisfacen una fórmula 3SAT para garantizar que tales problemas sean manejables. Supongamos, por ejemplo, la clase de problemas 3SAT que de las 2 n asignaciones posibles satisfacen la fórmula booleana; ¿podemos encontrar eficientemente …

12 cc.complexity-theory  ds.algorithms  sat  np