Preguntas etiquetadas con reference-request

Recientemente me he vuelto extremadamente interesado en comprender y probar aspectos de lenguajes de programación (funcionales). Sin embargo, a medida que profundizo, cosas como el cálculo , la teoría de categorías y la semántica denotacional son un poco difíciles de asimilar sin una explicación adecuada.λλ\lambda Leí SICP (un libro bastante …

15 reference-request  lambda-calculus  functional-programming  books 

Soy asistente de pruebas de autoaprendizaje y decidí comenzar con algunas pruebas básicas y progresar. Como las pruebas se basan en otras pruebas y, por lo tanto, forman una jerarquía, ¿existe un depósito de la jerarquía de pruebas? Sé que puedo elegir un asistente de pruebas en particular y analizar …

15 reference-request  logic  proof-assistants 

Usualmente uso el símbolo para una cadena vacía (palabra vacía o cadena nula). Pero sé que algunas personas usan λ en lugar de ε .εε\varepsilonλλ\lambdaεε\varepsilon Creo que se deriva de la palabra "Vacío". Sin embargo, no sé cuál es el origen de λ .εε\varepsilonλλ\lambda En la teoría de autómatas, existe …

14 formal-languages  automata  reference-request  notation  history 

Me pregunto, ¿cuál es el algoritmo más conocido, en términos de notación Big- , para resolver la programación lineal entera?OOO Sé que el problema es completo, por lo que no espero nada polinomial. Y sé que hay muchas heurísticas y otras que se usan en aplicaciones prácticas como CPLEX, pero …

14 algorithms  complexity-theory  reference-request  np-complete  integer-programming 

Un estudiante recientemente me pidió que verificara una prueba de dureza NP para ellos. Realizaron una reducción en la línea de: Reduzco este problema P′P′P' que se sabe que es NP completo a mi problema PPP (con una reducción múltiple de tiempo múltiple), por lo que PPP es NP-duro. Mi …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Supongamos que se nos dan dos números y y que queremos encontrar para l \ le i, \, j \ le r .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r El algoritmo ingenuo simplemente verifica todos los pares posibles; por ejemplo en ruby ​​tendríamos: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Deje un grafo, y dejar que y sea dos vértices de . Podemos degustar una manera eficiente más corto - ruta uniformemente y de forma independiente al azar del conjunto de todos los caminos más cortos entre y ? Por simplicidad, podemos suponer que es simple, no dirigido y no …

14 graph-theory  reference-request  shortest-path  sampling 

¿Alguien puede referirme a trabajos revisados ​​por pares que estudien las ventajas o desventajas de escribir código en un estilo funcional? ¿Existen documentos que analicen las aplicaciones del cálculo Lambda en campos como el aprendizaje automático, el diseño del lenguaje, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Tengo varias preguntas relacionadas sobre estos dos temas. En primer lugar, la mayoría de los textos de complejidad sólo pasan por alto la clase NCNC\mathbb{NC} . ¿Existe un buen recurso que cubra la investigación más en profundidad? Por ejemplo, algo que discute todas mis preguntas a continuación. Además, supongo que …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Una aplicación clásica de divide y vencerás es resolver el siguiente problema: Dada una matriz de elementos distintos y comparables, cuente el número de pares de inversión en la matriz: pares modo que e .( i , j ) a [ i ] > a [ j ] i < …

14 algorithms  reference-request  arrays 

Según el artículo de Wikipedia , la L en significa "exploración de izquierda a derecha", y la "R" significa "derivación más a la derecha". Sin embargo, en el artículo original de Knuth sobre las gramáticas L R ( k ) , define L R ( k ) (en la página …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Los algoritmos y las estructuras de datos ajenos a la memoria caché son algo bastante nuevo, presentado por Frigo et al. en algoritmos ajenos a la memoria caché, 1999 . La tesis de Prokop del mismo año también presenta las primeras ideas. El artículo de Frigo et al. presentar algunos …

14 algorithms  data-structures  computer-architecture  reference-request  cpu-cache 

El problema del ancho de banda mínimo es encontrar un orden de los nodos del gráfico en la línea entera que minimiza la distancia más grande entre dos nodos adyacentes. El problema de decisión es NP-completo incluso para árboles binarios. Resultados de complejidad para la minimización del ancho de banda. …

14 complexity-theory  np-complete  reference-request  approximation 

Soy un hombre de 16 años que recientemente recibió una gran enciclopedia sobre informática de un amigo mío. Por lo general, no estoy tan interesado en las computadoras y la tecnología, pero la informática ha comenzado a fascinarme. Sin embargo, tengo la intención de estudiar Física y / o Matemáticas …

14 reference-request  education 

La literatura es bastante clara que las RAM de costo unitario con multiplicación primitiva no son razonables, ya que no puede ser simulado por máquinas de Turing en tiempo polinómico puede resolver problemas completos de PSPACE en tiempo polinómico Sin embargo, todas las referencias que puedo encontrar sobre este tema …

13 complexity-theory  reference-request  computation-models  history