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...
¿Qué debo leer para entender este problema? El poder de los circuitos cuánticos de pequeña profundidad. ¿Es ? En otras palabras, ¿se puede comprimir la parte "cuántica" de cualquier algoritmo cuántico a la profundidad de polylog (n), siempre que estemos dispuestos a realizar un posprocesamiento...
¿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 &...
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...
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,...
¿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 decir, tienen el mismo valor para todas las asignaciones a las...
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 y para el hijo...
¿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...
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...
La normalización débil para el cálculo lambda simple mecanografiado se puede probar (Turing) por inducción en . Un cálculo lambda extendido con recursores en números naturales (Gentzen) tiene una estrategia de normalización débil por inducción en .ω2ω2\omega^2ϵ0 0ϵ0 0\epsilon_0 ¿Qué pasa con el...
Estoy buscando un problema que pertenece a en gráficos generales pero está en en gráficos de ancho de árbol acotado. De hecho, creo que estos problemas son más difíciles que usar la programación dinámica normal en acotado -Gráficos de árbol de ancho para
Dado que la mayoría de las universidades estadounidenses solo aceptan solicitudes en un solo campo, estoy tratando de descubrir cuáles son las ventajas / desventajas de postularse a un programa de teoría de CS versus un programa de matemática aplicada dado que el interés de uno se encuentra en...
Es bien sabido que y son menores prohibidos para gráficos planos. Hay cientos de menores prohibidos para gráficos incrustados en un toro. El número de menores prohibidos para gráficos incrustados en la superficie del género g es una función exponencial de g . Mi pregunta es la...
¿Cuál es el número mínimo de compuertas binarias necesarias para calcular AND y OR de bits de entrada simultáneamente? El límite superior trivial es 2 n - 2 . Creo que esto es óptimo, pero ¿cómo probarlo? La técnica de eliminación de compuerta estándar no funciona aquí, ya que al asignar una...
Como es bien sabido, la descomposición de un árbol de un gráfico consiste en un árbol T con una bolsa asociada T v ⊆ V ( G ) para cada vértice , que cumple las siguientes condiciones:GGGTTTTv⊆V(G)Tv⊆V(G)T_v \subseteq V(G)v∈V(T)v∈V(T)v \in V(T) Cada vértice de se produce en alguna bolsa de...
Estoy tratando de descubrir cómo funciona el Gráfico de ruta P(G)P(G)P(G) según el Algoritmo de Eppstein en este documento y cómo puedo reconstruir las kkk rutas más cortas de a con la construcción del montón .ssstttH(G)H(G)H(G) Hasta aquí: v G Gout(v)out(v)out(v) contiene todos los bordes...
Una frase de permutación es una extensión de las definiciones de gramática libre de contexto estándar (E) BNF: una frase de permutación contiene n producciones (o, de manera equivalente, no terminales) A 1 a A n{ A1, ... , Anorte}{UN1,...,UNnorte}\{ A_1, \dots, A_n
Según un resultado clásico de Kuroda, la clase de complejidad NSPACE [ ]nortenorten (también conocida como NLIN-SPACE) es precisamente la clase CSL de lenguajes sensibles al contexto . El problema de satisfacción SAT está en NSPACE [ ], ya que una suposición de tamaño lineal para una solución se...
Estoy interesado en este problema: dado un gráfico no dirigido , ¿hay una partición de G en los gráficos G 1 ( E 1 , V 1 ) y G 2 ( E 2 , V 2 ) de modo que G 1 y G 2 son isomorfos?G(E,V)G(E,V)G(E, V)GGGG1(E1,V1)G1(E1,V1)G_1(E_1, V_1)G2(E2,V2)G2(E2,V2)G_2(E_2, V_2)G1G1G_1G2G2G_2 Aquí se divide en...
No trabajo en teoría, pero mi trabajo requiere leer (y comprender) documentos de teoría de vez en cuando. Una vez que entiendo un (conjunto de) resultados, discuto estos resultados con las personas con las que trabajo, la mayoría de las cuales tampoco trabajan en teoría. Durante una de esas...