Dado que ambas pruebas hacen uso del argumento diagonal, me pregunto si existe un vínculo oscuro entre la existencia de incontables conjuntos infinitos y la indecidibilidad del problema de detención. ¿El problema de detención sería decidible si todos los conjuntos fueran
Aquí hay un problema vecino más cercano. Dados los reales (¡muy grande !), Más el objetivo real , encuentre y cuyo SUM sea más cercano a . Permitimos un preprocesamiento / indexación razonable de (hastauna1, ... , unnortea1,…,ana_1, \ldots, a_np a i a j p a 1 , … , a n O ( n log n ) p O ( log n...
¿Existen algoritmos conocidos para el siguiente problema que superen al algoritmo ingenuo? Entrada: matriz y vectores , donde todas las entradas de son enteros no negativos.b , c A , b , cAAAb,cb,cb,cA,b,cA,b,cA,b,c Salida: una solución óptima a
¿Cuántos ciclos hay en un gráfico de vértices de modo que el gráfico no tenga ningún ciclo ? ( k ≥ 3 ) n C m ( m > k )CkCkC_k (k≥3)(k≥3)(k \geq 3)nnn CmCmC_m (m>k)(m>k)(m>k) Por ejemplo, , , entonces el gráfico tendrá como máximo dos para que no tenga ningúnk = 3 C 3 G C k ( k > 3 )...
¿ Las pruebas naturales , la relativización y la algebrización también afectan la separación de otras clases de complejidad como etc.?L ≠ NL ≠ NPAGS≠ c o NPAGS≠ PH≠ PSPAGSA CmiL≠NL≠NP≠coNP≠PH≠PSPACEL\neq NL\neq NP\neq coNP \neq PH\neq PSPACE Por ejemplo, la barrera de pruebas naturales debería...
Todos sabemos que la complejidad mínima de un algoritmo de clasificación basado en la comparación es la comparación de . Estoy tratando de hacer una clasificación a ciegas , es decir, dado un número salida de un circuito (con puertas booleanas, aritméticas y de "comparación") que ordena una lista...
Tenemos un algoritmo de tiempo para determinar si un gráfico G tiene un ciclo de longitud exactamente k . ¿Cómo podemos encontrar cuántos k- ciclos están presentes en G usando el mismo algoritmo o cualquier otro?f(k)n3f(k)n3f(k)
Ahora estoy tratando de entender mejor qué es la "interpretación abstracta" en los lenguajes de programación. Encontré un buen capítulo de libro que explica la idea de extender el dominio con un elemento menos fijo, los cuatro axiomas que producen un punto fijo para una función continua, y así...
No se cree que lo siguiente sea cierto: L⊆L−uniform NC1L⊆L−uniform NC1\mathsf{L} \subseteq \mathsf{L}-\mbox{uniform } \mathsf{NC}^1 ¿Puedes ayudarme a ver dónde se rompe la discusión? El problema de accesibilidad dirigida está completo para . Sostengo que está en -uniform .L N C...
Deje para , con la promesa de que (donde la suma ha terminado ). Entonces, ¿cuál es la complejidad de determinar si ?xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\}i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\}ZZ\mathbb{Z}x=1x=1x = 1 Observe que...
Esta pregunta es esencialmente la pregunta que hice en Mathoverflow. La lógica monádica de segundo orden (MSO) es lógica de segundo orden con cuantificación sobre predicados unarios. Es decir, cuantificación sobre conjuntos. Hay varias lógicas de MSO que son fundamentales para las estructuras...
Siendo ingeniero de software profesional, he visto mucho trabajo técnico realmente interesante, muchos de ellos publicados como artículos técnicos en revistas técnicas y sitios web como http://www.drdobbs.com y http://www.codeproject.com y muchos otros, aquí hay algunos ejemplos en algunas áreas de...
Estoy familiarizado con los programas lineales en que pueden resolver problemas con funciones objetivas lineales y restricciones lineales. Pero, ¿qué puede resolver la programación semidefinida que la programación lineal no puede? Ya sé que los programas semidefinidos son una generalización de...
¿Existe algún sistema similar al cálculo lambda que sea fuerte normalizando, sin la necesidad de agregar un sistema de tipo
Feto, si no has oído hablar de él, puedes leerlo aquí . Utiliza un sistema de 'matrices de llamadas' y 'gráficos de llamadas' para encontrar todos los 'comportamientos de recursividad' de llamadas recursivas en una función. Para mostrar que una función termina, muestra que todos los comportamientos...
¿Me interesa saber cómo podemos usar los conceptos de Límites y Colimits para modelar problemas en la vida cotidiana? ¿Podría alguien proporcionar ejemplos de ingeniería (de software), tal vez? ¿O describir intuitivamente en general para qué tipo de problemas de modelado podemos usar estos...
Suponga que tengo conjuntos de con elementos tomados de r posibles. Cada conjunto es de tamaño n ( n < r ), donde los conjuntos pueden superponerse. Quiero determinar si los siguientes dos problemas son NP completos o
Tengo una pregunta ingenua: ¿existe una máquina de Turing cuya terminación sea verdadera pero no demostrable por ninguna teoría natural, consistente y finitamente axiomatizable? Pido una mera prueba de existencia en lugar de un ejemplo específico. Esto podría tener alguna conexión con el análisis...
¿Cuáles son algunas de las mejores fuentes (libros y documentos) para motivar y aprender la complejidad de la comunicación por sí misma y en relación con su relación con la teoría de la complejidad
¿Comprobar la transitividad de un dígrafo no es más fácil que (en términos de complejidad asintótica) tomar el cierre transitivo del dígrafo? ¿Conocemos algún límite inferior mejor que para determinar si un dígrafo es transitivo o