Ciencias de la Computación

Por lo tanto, existe un algoritmo para convertir los términos de cálculo lambda en lógica combinatoria utilizando los combinadores SK. Produce cosas que explotan en tamaño. Me gustaría saber más sobre esta explosión de tamaño. Sin embargo, no puedo pensar en un algoritmo mejor. He oído hablar de lenguajes funcionales …

9 lambda-calculus  functional-programming  combinatory-logic 

En el algoritmo de Welch-Berlekamp para decodificar códigos Reed-Solomon, a uno se le da una lista de puntos (ai,bi)(ai,bi)(a_i, b_i) representan un mensaje con errores eee en bibib_i en ubicaciones desconocidas (y eee se le da al algoritmo). La salida es un polinomio que pasa por todos los puntos dados, …

9 algorithms  error-correcting-codes 

En la página de Wikipedia aquí , describe bastante bien el algoritmo CDCL (y parece que las imágenes fueron tomadas de diapositivas creadas por Sharad Malik en Princeton). Sin embargo, al describir cómo dar marcha atrás, todo lo que dice es "al punto apropiado". MiniSAT también usa una variante del …

9 machine-learning  satisfiability  sat-solvers  backtracking 

Considere el siguiente problema. Dado: Un gráfico completo con pesos reales no negativos en los bordes. Tarea: Encuentre un subgrafo plano de peso máximo. ("Máximo" entre todos los subgrafos planos posibles.) Nota: El subgrafo de peso máximo será una triangulación; Si el gráfico completo está en vértices, tendrá m = …

9 algorithms  graph-theory  optimization  combinatorics 

Parece recordar de una clase de pregrado que para una máquina de Turing con una cinta finita siempre existirán los autómatas estatales finitos correspondientes, pero no he podido encontrar esto confirmado en ningún lugar de Internet. ¿Es este realmente el caso o estoy recordando mal?

9 turing-machines  finite-automata 

Pienso en los idiomas unarios , donde L k es un conjunto de todas las palabras cuya longitud es la suma de k cuadrados. Formalmente: L k = { a n ∣ n = k ∑ i = 1 n i 2 ,LkLkL_kLkLkL_kkkk Es fácil demostrar que L 1 = …

9 formal-languages  regular-languages 

Que yo sepa, no existe un algoritmo de peor caso que resuelva el siguiente problema:O ( n )O(norte)O(n) Dada una secuencia de longitud consiste en enteros finitos, encuentre la permutación donde cada elemento es menor o igual que su sucesor.nortenorten ¿Pero hay una prueba de que no existe, en el …

9 complexity-theory  sorting  computation-models  lower-bounds 

Escuché varias explicaciones posibles, así que me gustaría una referencia confiable. Actualización 05.19: Estoy interesado en la pregunta porque uno de mis estudiantes escribió en su tesis que el nombre proviene de la explicación a continuación (1). Hasta ahora pensé / escuché que proviene de la explicación (2). Me sentiría …

9 terminology  reference-request  history 

Actualmente estoy leyendo algunos documentos sobre el agrupamiento de la cadena de Markov y no puedo ver la diferencia entre una cadena de Markov y un gráfico ponderado dirigido simple. Por ejemplo, en el artículo Optimización óptima del espacio de estado en las cadenas de Markov , proporcionan la siguiente …

9 probability-theory  weighted-graphs  mathematical-foundations  markov-chains 

Este es un seguimiento de otra pregunta aquí , y espero que no sea demasiado filosófico. Como señaló Raphael en un comentario sobre mi pregunta anterior, realmente no entiendo la definición de "computable", pero de acuerdo con algunos documentos que leí, la definición tampoco está muy clara cuando se trata …

9 computability  computation-models 

En Conceptos en lenguajes de programación , John Mitchell escribe que la verificación de tipos estáticos es necesariamente conservadora (demasiado estricta) debido al problema de detención. Él da como ejemplo: if (complicated-expression-that-could-run-forever) then (expression-with-type-error) else (expression-with-type-error) ¿Alguien puede proporcionar una respuesta no artificial que realmente sería una preocupación práctica? Entiendo …

9 programming-languages  compilers  type-checking 

Utilizo una variación de un filtro mediano de 5 cruces en los datos de imagen en un pequeño sistema integrado, es decir x x x x x El algoritmo es realmente simple: lea 5 valores enteros sin signo, obtenga los 2 más altos, haga algunos cálculos y escriba el resultado …

9 algorithms  efficiency  selection-problem 

Como estoy estudiando para mi curso universitario de idiomas formales, me topé con estas fascinantes publicaciones ( One Two ) que describen cómo encontrar un número primo usando una expresión regular . Como ya he dicho, una expresión regular , no una expresión regular . Dado que una expresión regular …

9 regular-expressions 

Considere el siguiente problema: Entrada : enumera de enterosX,YX,YX,Y Objetivo : determinar si existe un número entero que está en ambas listas.xxx Supongamos que ambas listas son de tamaño n . ¿Existe un algoritmo determinista de tiempo lineal para este problema? En otras palabras, ¿puedes resolver este problema en O …

9 algorithms  complexity-theory  lower-bounds 

Soy un estudiante de segundo año de secundaria que está interesado en ciencias de la computación. Desarrollé un algoritmo genial para #SAT, y estoy implementando y haciendo un proyecto de feria de ciencias al respecto. Mi asesora, quien es la mejor maestra de ciencias en mi escuela y también es …

9 algorithms  satisfiability