Ciencias de la computación teórica

El reciente resultado innovador del límite inferior de la complejidad del circuito de Ryan Williams proporciona una técnica de prueba que utiliza el resultado del límite superior para demostrar la complejidad de los límites inferiores. Suresh Venkat en su respuesta a esta pregunta, ¿hay resultados contraintuitivos en informática teórica? , …

29 cc.complexity-theory  lower-bounds 

He escuchado que existen argumentos heurísticos en física estadística que arrojan resultados en la teoría de probabilidad para la cual se desconocen o son muy difíciles las pruebas rigurosas. ¿Cuál es un ejemplo de juguete simple de tal fenómeno? Sería bueno si la respuesta asumiera pocos antecedentes en física estadística …

29 sat  pr.probability  physics  statistical-physics 

Recientemente, un amigo mío (trabajando en TCS) mencionó en una conversación que "quería ver / saber todo (o la mayor cantidad posible) de los hermosos resultados en TCS en su vida". Esto me hizo preguntarme sobre los hermosos resultados en esta área y, por lo tanto, la motivación para la …

29 soft-question  big-list 

Una computadora que recibe un flujo infinito de bits verdaderamente aleatorios es más poderosa que una computadora sin una. La pregunta es: ¿es lo suficientemente potente como para resolver el problema de detención? Es decir, ¿puede una computadora probabilística determinar si un programa determinista se detiene o no ? Ejemplo …

29 computability  randomness  turing-machines 

Soy un principiante trabajando en métodos que prueban la equivalencia del programa. He leído algunos artículos sobre la definición de relaciones lógicas o simulaciones para demostrar que dos programas son equivalentes. Pero estoy bastante confundido acerca de estas dos técnicas. Solo sé que las relaciones lógicas se definen inductivamente mientras …

29 lo.logic  pl.programming-languages  logical-relations  parametricity 

Esta es una pregunta de seguimiento para ¿Cuál es la diferencia entre pruebas y programas (o entre proposiciones y tipos)? ¿Qué programa correspondería a una prueba no constructiva (clásica) de la forma ? (Suponga que es una relación decidible interesante, por ejemplo, -th TM no se detiene en pasos)T e …

29 lo.logic  pl.programming-languages  proof-theory 

Sabemos que (véanse, por ejemplo, los Teoremas 1 y 3 de [1]), en términos generales, en condiciones adecuadas, las funciones que pueden calcularse eficientemente por la máquina de Turing en tiempo polinómico ("eficientemente computable") pueden expresarse mediante redes neuronales polinómicas con tamaños razonables, y por lo tanto se puede aprender …

28 cc.complexity-theory  np-hardness  machine-learning  turing-machines  lg.learning 

En este artículo de Wikipedia sobre la integridad de Turing establece que: El cálculo lambda no tipificado es Turing completo, pero muchos cálculos lambda tipificados, incluido el Sistema F, no lo son. El valor de los sistemas mecanografiados se basa en su capacidad para representar la mayoría de los programas …

28 computability  turing-machines  haskell 

Arreglemos una codificación sin prefijo de máquinas de Turing y una máquina universal de Turing que en la entrada (codificada como el código sin prefijo de seguido de ) emite salidas de en la entrada (posiblemente ambos corriendo para siempre). Defina la complejidad de Kolmogorov de , , como la …

28 cc.complexity-theory  kolmogorov-complexity  universal-computation  universal-turing-machines 

La pregunta sobre la teoría " ¿Qué es NP restringido a testigos de tamaño lineal? " Pregunta sobre la clase NP restringida a testigos de tamaño lineal , peroO ( n )O(n)O(n) ¿Existen problemas naturales de NP completo en los que (sí) las instancias de tamaño requieren testigos de tamaño …

28 cc.complexity-theory  np  proof-complexity 

En su libro, Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov creía que cada lenguaje en P tiene circuitos de tamaño lineal. No se menciona ninguna referencia y no pude encontrar nada en línea. ¿Alguien sabe más sobre esto?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Recientemente estoy estudiando Haskell y lenguajes de programación. ¿Alguien podría recomendar algunos libros sobre teoría de tipos?

28 soft-question  pl.programming-languages  type-theory 

Hay varios algoritmos que deciden en tiempo polinómico si un gráfico se puede dibujar en el plano o no, incluso muchos con un tiempo de ejecución lineal. Sin embargo, no pude encontrar un algoritmo muy simple que uno pudiera explicar fácil y rápidamente en clase y mostrara que PLANARITY está …

28 graph-algorithms  co.combinatorics  planar-graphs 

Log-space-uniform NC está contenido en un espacio polylog determinista (a veces escrito PolyL). ¿Log-space-uniform RNC también está en esta clase? La versión aleatoria estándar de PolyL debería estar en PolyL, pero no veo que el RNC (uniforme) esté en PolyL aleatorizado. La dificultad que veo es que en RNC, el …

28 complexity-classes  randomized-algorithms 

¿Hay ejemplos de juguetes que brinden información 'esencial' para comprender las tres barreras conocidas para el problema : relativización, pruebas naturales y algebrización?PAGS= NPAGSP=NPP = NP

28 cc.complexity-theory  relativization  p-vs-np  natural-proofs  barriers