Ciencias de la computación teórica

Estoy buscando obtener una respuesta definitiva a la pregunta del título. ¿Existe un conjunto de reglas que traduzca cualquier programa en una configuración de piezas finitas en un tablero infinito, de modo que si el blanco y negro juega solo movimientos legales, el juego termina en un tiempo finito si …

16 computability  turing-machines  board-games  halting-problem  recreational 

¿Hay casos en los que publicaciones adicionales pueden dañar su registro? Esto evita los casos obvios en los que publica resultados incorrectos o controvertidos. También evite el caso del tiempo finito: solo tiene tanto tiempo para pensar y escribir, por lo que escribir un artículo puede hacer que pierda tiempo …

16 soft-question  advice-request  career 

El análisis del caso peor y el caso promedio son medidas bien conocidas para la complejidad de un algoritmo. El análisis suavizado recientemente ha surgido como otro paradigma para explicar por qué algunos algoritmos que son exponenciales en el peor de los casos funcionan tan bien en la práctica, por …

16 cc.complexity-theory  average-case-complexity  smoothed-analysis 

¿Es el siguiente problema en PTIME o coNP-hard: Dadas dos expresiones booleanas y e 2 en variables x 1 , ... , x n , sin negación (es decir, las expresiones se construyen completamente a través de ∧ y ∨ ). Decida si e 1 ≡ e 2 , es …

16 cc.complexity-theory  time-complexity  boolean-functions  monotone 

Existe evidencia teórica de que la ingenua construcción de productos cartesianos para la intersección de los DFA es "lo mejor que podemos hacer". ¿Qué pasa con la concatenación de dos DFA? La construcción trivial implica convertir cada DFA en un NFA, agregar una transición épsilon y determinar el NFA resultante. …

16 cc.complexity-theory  fl.formal-languages  automata-theory  dfa 

Antecedentes Un árbol de decisión binario es un árbol enraizado donde cada nodo interno (y raíz) está etiquetado por un índice modo que ninguna ruta de raíz a hoja repita un índice, las hojas están etiquetados por salidas en , y cada borde está etiquetado por para el hijo izquierdo …

16 ds.algorithms  query-complexity  decision-trees 

¿Está disponible públicamente el siguiente manuscrito? Dana Scott, 1969, Una teoría de funciones computables de tipo superior . Notas de seminario no publicadas, 7 páginas, Universidad de Oxford. Hay una discusión sobre este artículo en la sección 8.1.2, Tipos como conjuntos , en Cardone & Hindley, 2006 History of Lambda-calculus …

16 reference-request  lo.logic  type-theory  domain-theory 

Tome un gráfico dirigido donde los bordes estén decorados con un número natural. Queremos el conjunto de todas las rutas entre dos vértices y modo que cada borde sucesivo en la ruta esté decorado con un número natural que sea mayor que el número natural que decora el borde anterior.solsolGPAGPAGPv1v1v_1v2v2v_2 …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

Me preguntaba si hay una buena bibliografía de intentos de investigar la conjetura de Collatz como una gramática formal. (o cualquier otro intento en la comunidad de CS para lidiar con esta clase de fenómenos generativos y sus propiedades de "detención").

16 fl.formal-languages  nt.number-theory  halting-problem 

¿Existe alguna teoría del lenguaje de programación que describa interfaces de funciones foráneas (FFI) y enlaces de múltiples idiomas? He preguntado algunos problemas de implementación en stackoverflow , que no es adecuado aquí. Pero me gustaría preguntar desde la vista de este sitio y ver qué podría obtener de aquí. …

16 pl.programming-languages  semantics 

Una de las cosas sorprendentes de la informática es que la implementación física es en cierto sentido "irrelevante". La gente ha construido computadoras con éxito a partir de varios sustratos diferentes: relés, tubos de vacío, transistores discretos, etc. La gente puede tener éxito pronto en la construcción de computadoras completas …

16 computability  turing-machines  terminology  physics  natural-computing 

A menudo queremos definir un objeto A∈UA∈UA \in U acuerdo con algunas reglas de inferencia. Dichas normas denotan una función de generación FFF que, cuando es monotónica, se obtiene un punto menos fijo μFμF\mu F . Tomamos A:=μFA:=μFA := \mu F como la "definición inductiva" de AAA . Además, la …

16 lo.logic  pl.programming-languages  type-theory  proof-assistants  coq 

Es bien sabido que las fórmulas aleatorias -CNF sobre n variables con c n cláusulas son insatisfactorias (es decir, son contradicciones) con alta probabilidad, para una constante c suficientemente grande . Por lo tanto, las fórmulas aleatorias de k -CNF (para c lo suficientemente grande) constituyen una distribución natural sobre …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

Después de trabajar con 2-3 árboles de dedos durante bastante tiempo, me ha impresionado su velocidad en la mayoría de las operaciones. Sin embargo, el único problema con el que me he encontrado es la gran sobrecarga asociada con la creación inicial de un gran árbol de dedos. Debido a …

16 ds.data-structures  functional-programming 

Supongamos que denota la complejidad de Kolmogorov de una cadena x . ¿Existe una cadena tal que K ( x x ) < K ( x ) . (Aquí x x es la concatenación de x consigo mismo). Aquí se hizo una pregunta similar pero diferente , pero el contraejemplo …

16 cc.complexity-theory  kolmogorov-complexity