Preguntas etiquetadas con computability

Deje que los términos sizesizesize de λλ\lambda se definan de la siguiente manera: size(x)=1size(x)=1size(x) = 1 , size(λx.t)=size(t)+1size(λx.t)=size(t)+1size(λx.t) = size(t) + 1 , size(ts)=size(t)+size(s)+1size(ts)=size(t)+size(s)+1size(t s) = size(t) + size(s) + 1 . Deje que la complejidad de un λλ\lambda -term ttt se defina como el número de reducciones beta paralelas …

12 lo.logic  computability  pl.programming-languages  lambda-calculus 

El "nombre del juego de mayor número" le pide a dos jugadores que escriban un número en secreto, y el ganador es la persona que anotó el número mayor. El juego comúnmente permite a los jugadores escribir funciones evaluadas en un punto, por lo que también sería una cosa aceptable …

11 computability  undecidability 

Hilbert utiliza el primer término en su trabajo de 1928, pero en el trabajo posterior de Gödel, lo mismo se conoce como Unvollständigkeitssatz ("teorema de incompletitud"). Para los investigadores de CS alemanes de hoy, parece que Unvollständigkeitssatz se usa más comúnmente, y Entscheidungsproblem ("problema de decisión") todavía se entiende, pero …

11 lo.logic  computability  ho.history-overview 

Hay teoría algorítmica de grafos / teoría de números / combinatoria / teoría de la información / teoría de juegos. ¿Existe un análisis matemático algorítmico? Según wiki, el análisis matemático incluye las teorías de diferenciación, integración, medida, límites, series infinitas y funciones analíticas. Está bien centrarse en el análisis real …

11 cc.complexity-theory  reference-request  soft-question  computability 

Como sabemos, la definición de la complejidad computacional del algoritmo es casi sin controversia, pero la definición de la complejidad computacional de los reales o los modelos de cálculo sobre los reales no es en tal caso. Conocemos el modelo y modelo de Blum y Smales en el libro Análisis …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

¿Existe una forma documentada de calcular nudos? (circunferencias incrustadas en un espacio euclidiano tridimensional). Quiero decir, un tipo de datos para representarlos y un algoritmo para determinar si dos instancias del tipo de datos representan el mismo nudo. Si la respuesta es positiva, ¿qué pasa con la complejidad de ese …

11 ds.algorithms  computability 

Esta puede ser una pregunta ingenua, pero aquí va. (Editar: no está recibiendo votos positivos, pero tampoco nadie ha ofrecido una respuesta; ¿tal vez la pregunta es más difícil, oscura o poco clara de lo que pensaba?) El primer teorema de incompletitud de Gödel puede demostrarse como un corolario de …

11 lo.logic  computability  church-turing-thesis 

El siguiente problema es decidible: Dada una gramática libre de contexto , ¿es L ( G ) = ∅ ?solGGL(G)=∅L(G)=∅L(G) = \varnothing El siguiente problema es indecidible: Dada una gramática libre de contexto , ¿es L ( G ) = A ∗ ?GGGL(G)=A∗L(G)=A∗L(G) = A^{\ast} ¿Existe una caracterización de lenguajes …

11 computability  fl.formal-languages 

¿Es posible construir un algoritmo que tome como entrada un autómata pushdown junto con la promesa de que el lenguaje aceptado por este autómata L ( M ) es un lenguaje determinista libre de contexto y genera un autómata determinista pushdown N que acepta exactamente el lenguaje aceptado por M …

11 reference-request  computability  fl.formal-languages  automata-theory 

Sé que la pregunta "si una fórmula de primer orden tiene un modelo" es indecidible en general.ϕϕ\phi ¿Alguien podría darme un enlace o un libro que dé la respuesta para modelos finitos? Si tengo una fórmula de primer orden , ¿es decidible si ϕ tiene un modelo finito? Estoy bastante …

11 reference-request  lo.logic  computability  finite-model-theory 

Considere el siguiente juego de 2 jugadores: La naturaleza elige un programa al azar Cada jugador juega un número en [0, infinito] inclusive en respuesta al movimiento de la naturaleza Tome el mínimo de los números de los jugadores y ejecute el programa durante (hasta) tantos pasos (a menos que …

10 lo.logic  computability  gt.game-theory 

¿Existe una noción de computabilidad en conjuntos distintos de los números naturales? En aras de la discusión, digamos en los conjuntos que se biject con .NSSSNN\mathbb{N} Es tentador decir "sí, son aquellas funciones de la forma donde es cualquier biyección y es cualquier función computable ". Soy cauteloso con esta …

10 computability 

Los problemas han sido, en su conjunto, clasificados, gracias a la Complejidad Computacional. Pero, en ecuaciones diferenciales, ¿es posible clasificar las ecuaciones diferenciales en función de su estructura computacional? Por ejemplo, si una ecuación no homogénea de primer orden es comparativamente difícil de resolver que, por ejemplo, una ecuación homogénea …

10 cc.complexity-theory  complexity-classes  computability  dynamic-algorithms 

Esta pregunta es acerca de si hay alguna lona de Turing reversible conocida, donde "reversible" significa en el sentido de Axelsen y Glück , y "tarpit" es un concepto mucho más informal (y podría no ser una muy buena elección de palabra), pero haré todo lo posible para explicar lo …

10 fl.formal-languages  computability  machine-models 

Contexto : Kavvadias y Sideri han demostrado que el problema Inverso 3-SAT es coNP Completo: Dado un conjunto de modelos en n variables, ¿existe una fórmula 3-CNF tal que ϕ es su conjunto exacto de modelos? Surge una fórmula candidata inmediata que es la conjunción de todas las 3 cláusulas …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat