Ciencias de la computación teórica

Seguimiento ¿Cuál es un ejemplo de una mónada que es una alternativa pero no una MonadPlus? : Supongamos que es una mónada. ¿Cuáles son las relaciones betweem m ser una alternativa , un MonadPlusCatch y una MonadPlusDistr ? metrommmetrommPara cada uno de los seis pares posibles, me gustaría tener una …

12 pl.programming-languages  functional-programming  haskell  monad  applicative 

¡En los tipos recursivos de Wadler gratis! [1], demostró dos tipos, y ∃ X . ( X → F ( X ) ) × X , y afirmó que son duales . En particular, señaló que el tipo ∃ X . X → ( X → F ( X ) …

12 lo.logic  type-theory 

Digamos que tenemos una función f:Zn2→Rf:Z2n→Rf:\mathbb{Z}_2^n \to \mathbb{R} , de modo que ∑x∈Zn2f(x)2=1∑x∈Z2nf(x)2=1\sum _{x\in \mathbb{Z}_2^n} f(x)^2 = 1 (por lo que podemos pensar en como una distribución). Es natural definir la entropía de dicha función de la siguiente manera: {f(x)2}x∈Zn2{f(x)2}x∈Z2n\{ f(x)^2\} _{x\in \mathbb{Z}_2^n}H(f)=−∑x∈Zn2f(x)2log(f(x)2).H(f)=−∑x∈Z2nf(x)2log⁡(f(x)2).H(f) = -\sum _{x \in \mathbb{Z}_2^n} f(x)^2 \log …

12 it.information-theory  boolean-functions  fourier-analysis 

Si nos dan dos cadenas de tamaño y n 2 , la Levenshtein cálculo de distancia de edición estándar es mediante un algoritmo dinámico con el tiempo complejidad O ( n 1 n 2 ) y el espacio complejidad O ( n 1 n 2 ) . (Se pueden hacer …

12 cc.complexity-theory  dynamic-algorithms  edit-distance  space-time-tradeoff 

Ahora se sabe que el adversario general de límite inferior caracteriza la complejidad de la consulta cuántica debido al trabajo innovador de Reichardt et al. La misma línea de trabajo también establece conexiones con el marco del programa span para diseñar algoritmos cuánticos. Muchos algoritmos cuánticos interesantes, incluidos los que …

12 cc.complexity-theory  quantum-computing  query-complexity 

Estoy en busca de una cota en la entropía de la suma de dos variables aleatorias discretas independientes X y Y . Naturalmente, H ( X + Y ) ≤ H ( X ) + H ( Y ) ( ∗ ) Sin embargo, aplicado a la suma de n …

12 it.information-theory  shannon-entropy 

Dado un gráfico dirigido con n nodos de modo que cada vértice tenga exactamente dos bordes salientes, y un número natural N codificado en binario, dos vértices syt, Quiero contar el número de rutas (no necesariamente simples) de sa t en N pasos. ¿Es este un problema difícil de # …

12 cc.complexity-theory  graph-theory  counting-complexity 

Definir un "problema" a ser un algoritmo aceptar un número natural y devolver 0 o 1 que devuelve 1 en al menos un n ∈ N . Cualquiera de tales n se llama una "solución" a AAAA111n∈Nn∈Nn \in \mathbb{N}nnnAAA Defina un "solucionador de problemas universal" como un algoritmo acepta un …

12 cc.complexity-theory  ai.artificial-intel 

Si le dan una colección de órdenes parciales, la clasificación topológica le dirá si hay una extensión de la colección a una orden total (una extensión en este caso es una orden total consistente con cada una de las órdenes parciales). Me he encontrado con una variación: Fijar un conjunto …

12 ds.algorithms  reference-request  order-theory 

¿Cuál es la relación entre la expresividad de LTL , Büchi / QPTL , CTL y CTL * ? ¿Puede dar algunas referencias que cubran tantas de estas lógicas temporales como sea posible (especialmente entre el tiempo lineal y el de ramificación)? Un diagrama de Venn con esas lógicas temporales …

12 lo.logic  automata-theory  model-checking  temporal-logic 

El libro A = B de Petkovsek, Wilf y Zeilberger describe algoritmos para calcular diferentes sumas de binomios. AFAIK, estos algoritmos todavía están siendo mejorados por diferentes autores. ¿Sabes dónde podemos encontrar las implementaciones más actualizadas de estos algoritmos? ¿Y sabe si existen implementaciones en algunos softwares gratuitos como Sage …

12 ds.algorithms  co.combinatorics  implementation 

Arora y Barak muestran que puede expresarse como B P ⋅ N P, es decir, el conjunto de idiomas que tienen reducciones aleatorias a 3SAT. M A también es una generalización aleatoria natural de N P en la que reemplaza el verificador determinista por uno aleatorio.A MAM\mathsf{AM}B P ⋅ N …

12 cc.complexity-theory  big-picture 

Un MPA (autómata multipebble) es un 2DFA (autómata finito determinista bidireccional) que puede usar un número arbitrario de guijarros (en realidad, como máximo guijarros en una entrada dada - la entrada está escrita en la cinta entre dos extremos -marcadores como ). Durante el cálculo, un MPA puede detectar si …

12 cc.complexity-theory  reference-request  automata-theory  space-bounded 

Espero que alguien sepa algo sobre esto, así que no tengo que leer la literatura ... Considere una secuencia de números . Piense en la secuencia como n - 1 intervalos [ x 1 , x 2 ] , [ x 2 , x 3 ] , … , [ …

12 ds.algorithms  reference-request  sorting 

Existe un algoritmo de tiempo lineal para dividir el texto de manera uniforme en líneas de ancho máximo. Utiliza SMAWK (o Knuth & Plass) y "uniformemente" significa: http://en.wikipedia.org/wiki/Word_wrap#Minimum_raggedness ¿Existe un algoritmo o una función de costo cóncava para el algoritmo anterior que tenga en cuenta la cantidad de líneas en …

12 ds.algorithms