Ciencias de la computación teórica

¿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á...

DejeX1,…,XnX1,…,XnX_1,\ldots, X_nnnnX∼N(0,σ2)X∼N(0,σ2)X \sim N(0, \sigma^2)P(∣∣1n∑j=1nXj∣∣>t)P(∣∣1n∑j=1n(X2j−EX2j)∣∣>t)≤2exp(cnt2)  and≤2exp(cnmin{t2,t}).P(|1n∑j=1nXj|>t)≤2exp⁡(cnt2)  andP(|1n∑j=1n(Xj2−EXj2)|>t)≤2exp⁡(cnmin{t2,t}).\begin{align} \mathbb{P}\Bigl(...

En https://en.wikipedia.org/wiki/Geometric_complexity_theory se menciona que ".. Ketan Mulmuley cree que el programa, si es viable, es probable que tome alrededor de 100 años antes de que pueda resolver el problema P vs. NP". Parece indicar que el único programa actualmente viable podría enfrentar...

Defina como un gráfico dirigido al azar ( vértices; colocamos el borde entre dos vértices con probabilidad ).n pG(n,p)G(n,p)G(n, p)nnnppp ¿Cuáles son los resultados conocidos para el siguiente problema? Fijar dos vértices vvv y uuu . ¿Cuál es la probabilidad de que haya al menos una ruta (de...

¿Puede la intersección de dos idiomas en NP que no son NP completos ser NP completos? ¿Se puede completar la intersección de dos idiomas en coNP que no están completos en coNP? ¿Puede la intersección de dos idiomas uno en coNP pero no completo y otro en NP pero no NP completo ser NP completo o...

En el problema de los expertos, expertos le dan predicciones binarias a diario, y usted tiene que predecir si va a llover mañana.nnn Es decir, en el día , usted conoce las predicciones pasadas de los expertos, el clima real para los días y las predicciones para mañana, y tiene que predecir si...

Mi comprensión de la tesis de la Iglesia-Turing es la siguiente: Pone un límite a lo que se puede calcular mediante cualquier proceso discreto y finito. Aunque sigue siendo una tesis, no un teorema, si se refutara, esto no significaría solo una actualización de nuestros modelos actuales de...

Leo el periodico Ahmed Younes, " Un algoritmo de tiempo polinómico cuántico de error acotado para dos problemas de bisección gráfica ", 2015. doi: 10.1007 / s11128-015-1069-a que se publica en la revista Springer Quantum Information Processing. El artículo parece afirmar que proporciona un...

Como se muestra en el documento "Circuitos monótonos para la función mayoritaria", es posible construir un circuito booleano monótono para la función mayoritaria en n variables con tamaño O (n ^ 3) y profundidad 5.3 log (n) + O (1). http://link.springer.com/chapter/10.1007/11830924_38 Mi...

He leído las partes introductorias de un par de libros sobre semántica del lenguaje de programación (Gordon, Winskel, Nielson & Nielson, Allison, Stump, Schmidt), y si bien entiendo lo que significan por categorías sintácticas o dominios sintácticos , no entendí No encuentre una definición...

Puede que me falte algo obvio, pero no puedo encontrar referencias sobre la complejidad de contar coincidencias (no coincidencias perfectas) en gráficos bipartitos. Aquí está el problema formal: Entrada: un gráfico bipartito conE ⊆ U × VG = ( U, V, E)G=(U,V,E)G = (U, V, E)mi⊆ U× VE⊆U×VE \subseteq...

Estoy tratando de entender el artículo ΠΣ: Tipos dependientes sin el azúcar mediante la implementación de un intérprete y un corrector de tipo para el idioma. Al hacerlo, he visto que la unfold t as x -> usintaxis para definiciones recursivas (la sintaxis se define en la Sección 2.1) vincula una...

Parece ser bien sabido que los lenguajes de programación no pueden tener sumas, productos y falta de determinación juntos. Q1 . ¿Es esto cierto? A continuación (o en el enlace anterior que di) hay un argumento parcial. Sin embargo, la programación genérica de Hinze con adjunciones ignora el...

Anteriormente hice esta pregunta en Programmers.SE , sin éxito. Estoy buscando recursos de aprendizaje por escrito sobre cómo diseñar estructuras de datos concurrentes. Estoy más interesado en el proceso de diseño (por ejemplo, identificar los invariantes correctos) que en el producto final (una...

Se le da una matriz binaria de tamaño .nortenn Quiero mostrar que ningún algoritmo puede hacer lo siguiente (o sorprenderse y descubrir que estos algoritmos existen después de todo): 1) Preprocese la matriz de entrada con tiempo ilimitado, pero solo con bits .O ( n )O(n)O(n) 2) Responda...

Considere el siguiente problema de decisión. Deje y deje que sea ​​adecuado enumeración de aquellos subconjuntos de que tienen como máximo elementos.q=∑n/4i=0(ni)q=∑i=0n/4(ni)q = \sum_{i=0}^{n/4} \binom{n}{i}(Cn0,Cn1,…,Cnq−1)(C0n,C1n,…,Cq−1n)(C_0^n,

Estoy buscando ejemplos de problemas para los que es fácil ejecutar algoritmos a tiempo , o para algunos pero para los cuales no se sabe si hay un algoritmo ejecutándose en el tiempo . 2 O ( n c ) c > 1 2 O ( n )2O ( n logn )2O(nlog⁡n)2^{O(n\log n)}2O ( nC)2O(nc)2^{O(n^c)}c > 1c>1c>12O ( n...

En pocas palabras, mi pregunta es: ¿es la prueba original de Karp reducir SAT a 3SAT innecesariamente elaborada? Los detalles son los siguientes. En su artículo de 1972 Reducibilidad entre problemas combinatorios , Karp demostró que SAT se reduce a 3SAT al afirmar: Reemplace una cláusula ,...

Muchas estructuras de árbol equilibradas (árboles rojos / negros, árboles de separación, etc.) y algunas otras estructuras de diccionario ordenadas (listas de omisión) admiten una operación de unión que incluye dos diccionarios donde todas las claves de la primera estructura son menores que todas...

El pathwidth del grafo bipartito completo K3,nK3,nK_{3,n} con conjuntos tripartitos de tamaño 333 y nnn es como máximo 333 . Estoy interesado en planificar este gráfico mediante el siguiente proceso: Dibújalo en el plano de modo que ningún borde contenga un vértice en su interior y que no se...