Preguntas etiquetadas con reference-request

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 

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 

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 

Deje que UNAAA sea una matriz sobre el campo finito F2= { 0 , 1 }F2={0,1}\mathbb{F}_2 = \{0,1\} y Xxx , yyy ser vectores del espacio Fnorte2F2n\mathbb{F}_2^n . Estoy interesado en la complejidad computacional de decidir si existe t ∈ Nt∈Nt \in \mathbb{N} tal que Atx=yAtx=yA^t x = y , …

10 cc.complexity-theory  reference-request  linear-algebra 

¿Dónde puedo encontrar una introducción a los autómatas probabilísticos y lo que reconocen (ciertas funciones desde palabras hasta )? ¿Existe un término estándar para tales funciones que son reconocidas por los autómatas probabilísticos, análoga a "lenguajes regulares" para lo que reconocen los autómatas finitos deterministas (DFA)?[ 0 , 1 ][0 …

10 reference-request  fl.formal-languages  probabilistic-automata 

Considere el siguiente problema: Dada una matriz , queremos optimizar el número de adiciones en el algoritmo de multiplicación para calcular .v ↦ M vMMMv ↦ Mvv↦Mvv \mapsto Mv Este problema me parece interesante debido a su relación con la complejidad de la multiplicación de matrices (este problema es una …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Los transductores considerados aquí son aquellos que Wikipedia llama transductores de estado finito . El comportamiento de un transductor , es decir, la relación que calcula, se escribe : una palabra es una salida para iff .TTT[T][T][T]yyyxxxx[T]yx[T]yx[T]y Pregunta: ¿Se puede resolver el siguiente problema: Dado: Un transductor y un lenguaje …

10 ds.algorithms  reference-request  automata-theory  regular-language  dfa 

Es un hecho bastante conocido que derivar una contradicción de una desigualdad (por ejemplo, ) en la teoría de tipo Martin-Loef requiere un universo.( 0 = 1 ) → ⊥(0=1)→⊥(0=1) \to \bot La prueba también es bastante sencilla: en ausencia de universos, podemos borrar las dependencias de cualquier tipo dependiente …

10 reference-request  lo.logic  pl.programming-languages  type-theory  dependent-type 

La complejidad de la prueba es un área más básica de la teoría de la complejidad computacional. Un propósito final de esta área es probar , es decir, cualquier comprobador no puede dar una prueba de insatisfacción de la fórmula de entrada dada. nortePAG≠ c o NPAGNP≠coNPNP\neq coNP Un gráfico …

10 cc.complexity-theory  reference-request  graph-theory  np  proof-complexity 

En el artículo de 1965 " Sobre la complejidad computacional de los algoritmos " de Hartmanis y Stearns, los autores conjeturan que si una máquina de Turing en tiempo real calcula el número real en, por ejemplo, la base 10, entonces es un número racional o un número trascendentalrrrrrrr ¿Existe …

10 cc.complexity-theory  reference-request  examples 

Antecedentes: el procesamiento de transacciones ha sido un tema de investigación tradicional en la teoría de bases de datos. Hoy en día, las transacciones distribuidas se popularizan por los sistemas de almacenamiento distribuido a gran escala que generalmente implican la partición de datos (también llamada fragmentación) y la replicación de …

10 reference-request  big-list  dc.distributed-comp  db.databases 

¿Hay algún problema que se pueda resolver en el tiempo polinomial solo si P! = NP, y de otra manera se puede resolver en (digamos) tiempo?O(2n)O(2n)O(2^n) Un ejemplo simple sería: Si P! = NP, calcule una prueba de primalidad para un número aleatorio de n bits, de lo contrario, evalúe …

10 cc.complexity-theory  reference-request 

nnortenx1,…,xnx1,…,xnx_1,\ldots, x_nkkkn>kn>kn > kmaxi≠jVar(xTixj)maxi≠jVar(xiTxj)\max_{i\neq j} \mathrm{Var}(x_i^T x_j)E[xTixj]=0E[xiTxj]=0\mathbb{E}[x_i^Tx_j]=0 Intenté algunas distribuciones y casi todas tienen varianza 1/k1/k1/k . Por ejemplo, tanto la distribución en la que cada coordenada de cada xixix_i se elige de forma independiente y uniforme entre {−1/k−−√,1/k−−√}{−1/k,1/k}\left\{-1/\sqrt{k}, 1/\sqrt{k}\right\} y la distribución en la que cada xixix_i es un …

10 reference-request  randomized-algorithms 

¿Cuál es la definición estándar de Planar 3-SAT? He visto varias definiciones diferentes. ¿Cuál fue el documento original que lo definió y demostró que era NP completo?

10 cc.complexity-theory  reference-request  np-hardness  sat  planar-graphs 

En el Capítulo 13 "Objetos atómicos" del libro "Algoritmos distribuidos" de Nancy Lynch, se demuestra que la linealización (también conocida como atomicidad) es una propiedad de seguridad. Es decir, su propiedad de rastreo correspondiente es no vacía, con prefijo cerrado y límite cerrado , como se define en la Sección …

10 reference-request  fl.formal-languages  dc.distributed-comp  concurrency