Ciencias de la computación teórica

Estoy en una situación en la que necesito demostrar que la verificación de tipos es decidible para un cálculo de tipo dependiente en el que estoy trabajando. Hasta ahora, he podido demostrar que el sistema se está normalizando fuertemente y, por lo tanto, que la igualdad de definición es decidible. …

10 reference-request  pl.programming-languages  type-theory  dependent-type  typed-lambda-calculus 

Deje que sea una máquina determinista en tiempo polinómico que pueden hacer preguntas a algún oráculo A . Inicialmente, A está vacío, pero esto se puede cambiar después de un juego que se describirá a continuación. Deje x ser una cadena.METROMMUNAAAUNAAAXxx Considere el siguiente juego de Alice y Bob. Inicialmente, …

10 cc.complexity-theory  complexity-classes  gt.game-theory 

Teorema de Mahaney nos dice que si hay una escasa conjunto -Complete bajo en tiempo polinomial muchos uno-reducciones, entonces P = N P . (Ver " Conjuntos completos escasos para NP: Solución de una conjetura de Berman y Hartmanis ")nortePAGNPNPPAG= NPAGP=NPP = NP ¿Existen consecuencias conocidas de la existencia de …

10 cc.complexity-theory  complexity-classes  reductions  polynomial-time  logspace 

¿Qué piensas acerca de leer regularmente periódicos fuera del propio campo, incluso aquellos que no están relacionados con su área? Mi intuición es que puede dar una perspectiva o técnica totalmente diferente que me puede ayudar en mis propios problemas. Pero al mismo tiempo soy un poco escéptico al respecto, …

10 soft-question  advice-request 

Encontré dos ejemplos de dureza hipotética de algunos problemas gráficos. La dureza hipotética significa que refutar alguna conjetura implicaría la completitud NP del problema gráfico respectivo. Por ejemplo, la conjetura de Barnette establece que cada gráfico bipartito plano cúbico conectado a 3 es hamiltoniano. Feder y Subi demostraron que refutar …

10 cc.complexity-theory  graph-theory  np-hardness 

¿Existe un algoritmo de clasificación basado en la comparación que utiliza un promedio de l g ( n ! ) + O ( n )lg(n!)+o(n)\mathrm{lg}(n!)+o(n) comparaciones? La existencia de un algoritmo de comparación l g ( n ! ) + O ( n ) en el peor de los casos …

10 cc.complexity-theory  ds.algorithms  sorting 

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 

Considere el siguiente problema. nnnv1,⋯,vn∈Rv1,⋯,vn∈Rv_1, \cdots, v_n \in \mathbb{R}S⊆{1,⋯,n}S⊆{1,⋯,n}S \subseteq \{1,\cdots,n\}maxi∈Svimaxi∈Svi\max_{i \in S} v_i Este problema es fácil: podemos usar la búsqueda binaria para encontrar el argmax con consultas O(logn)O(log⁡n)O(\log n) . es decir, construir un árbol binario completo con nnn hojas correspondientes a los índices. Comienza en la raíz …

10 approximation-algorithms  randomized-algorithms  search-problem  random-walks  binary-trees 

El término inversión de programa tiene múltiples matices de significado, pero probablemente comenzó con el trabajo de J. McCarthy de 1956 La inversión de las funciones definidas por las máquinas de Turing en el contexto de la IA. Hasta ahora se han descubierto muchas conexiones entre la inversión del programa …

10 reference-request  lambda-calculus  typed-lambda-calculus  reversible-computing 

¿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 

Motivación : Mientras desarrollamos herramientas para el control de versiones de datos, terminamos buscando algoritmos para "diferenciar" dos conjuntos de enteros, creando una secuencia de transformaciones que llevan un conjunto de enteros al otro. Pudimos reducir ese problema al siguiente problema muy natural que parece tener conexiones para editar la …

10 cc.complexity-theory  ds.algorithms  reference-request  string-matching  edit-distance 

Estoy interesado en determinar la complejidad del siguiente problema de decisión: dados dos enteros y l 2 (cada uno con m bits como máximo), decida si el bit más significativo de la multiplicación l 1 ⋅ l 2 es 1 (donde el resultado se imprime en bits de 2 m …

10 cc.complexity-theory  circuit-complexity 

Sea un grupo abeliano finito, y sea el politopo en definido como los puntos satisfacen las siguientes desigualdades:P R Γ xΓΓ\GammaPPPRΓRΓ\mathbb{R}^\Gammaxxx ∑g∈Gxg≤|G|xg≥0∀G≤Γ∀g∈Γ∑g∈Gxg≤|G|∀G≤Γxg≥0∀g∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} donde significa que es un subgrupo de . …

10 gr.group-theory  fourier-analysis  convex-geometry 

Supongamos que es un lenguaje parametrizado con respecto a algún alfabeto . La división de es , el conjunto de instancias en que tienen el parámetro . La clase de complejidad contiene los lenguajes parametrizados modo que para cada , posiblemente con un algoritmo diferente y un tiempo de ejecución …

10 cc.complexity-theory  reference-request  parameterized-complexity 

Elberfeld, Jakoby y Tantau 2010 ( ECCC TR10-062 ) demostraron una versión eficiente del espacio del teorema de Bodlaender. Demostraron que para los gráficos con ancho de árbol como máximo , se puede encontrar una descomposición de árbol de ancho k usando espacio logarítmico. El factor constante en el espacio …

10 cc.complexity-theory  sat  treewidth  space-complexity