Preguntas etiquetadas con ho.history-overview

Editar: elijo la respuesta con la puntuación más alta antes del 06 de diciembre de 2012. Esta es una pregunta suave. El concepto de algoritmos (deterministas) se remonta a BC. ¿Qué pasa con los algoritmos probabilísticos? En esta entrada de la wiki , el algoritmo de Rabin para el problema …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Si es un gráfico d- no dirigido y S es un subconjunto de los vértices de la cardinalidad ≤ | V | / 2 , llame a la expansión del borde de S la cantidadG = ( V, E)G=(V,E)G=(V,E)reddSSS≤ | VEl | / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

Los otros editores sabios de Wikipedia han rechazado mi solicitud de mover el artículo de Wikipedia sobre el algoritmo Rabin-Karp a lo que creo que debería llamarse, el algoritmo Karp-Rabin, sobre la base de que el nombre Rabin-Karp se usa con más frecuencia ( falso, si uno usa los números …

26 ho.history-overview  string-matching 

Estoy seguro de que todos conocen el experimento de la aguja de Buffon en el siglo XVIII, que es uno de los primeros algoritmos probabilísticos para calcular .ππ\pi La implementación del algoritmo en las computadoras generalmente requiere el uso de , o una función trigonométrica, que, incluso si se implementan …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Recientemente enseñé expansores e introduje la noción de gráficos Ramanujan. Michael Forbes preguntó por qué se les llama así, y tuve que admitir que no lo sé. ¿Nadie?

25 graph-theory  soft-question  ho.history-overview  expanders 

He leído que inicialmente Church propuso el cálculo como parte de su artículo Postulados de lógica (que es una lectura densa). Pero Kleene demostró que su "sistema" era inconsistente, después de lo cual Church extrajo cosas relevantes para su trabajo sobre "computabilidad efectiva" y abandonó su trabajo previo sobre lógica.λλ\lambda …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Algoritmo de Karatsuba para la multiplicación rápida se publicó por primera vez en A. Karatsuba y Yu. Ofman (1962), "Multiplicación de muchos números digitales por computadoras automáticas", Actas de la Academia de Ciencias de la URSS 145: 293–294. Según Karatsuba (1995, "La complejidad de los cálculos", Proc. Steklov Institute of …

21 ho.history-overview 

Tengo dos preguntas históricas: ¿Quién describió por primera vez el cálculo no determinista? Sé que Cook describió problemas NP-completos, y que Edmonds propuso que los algoritmos P son algoritmos "eficientes" o "buenos". Busqué en este artículo de Wikipedia y hojeé "Sobre la complejidad computacional de los algoritmos", pero no pude …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Según el relato histórico (no verificado), Kolmogorov pensó que cada lenguaje en PP\mathsf{P} tiene una complejidad de circuito lineal. (Vea la pregunta anterior conjetura de Kolmogorov que PPP tiene circuitos de tamaño lineal .) Tenga en cuenta que esto implica P≠NPP≠NP\mathsf{P}\neq \mathsf{NP} . La conjetura de Kolmogorov, sin embargo, es …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Hace poco tuve una discusión sobre las máquinas de Turing cuando me preguntaron: "¿La máquina de Turing se deriva de autómatas o es al revés"? No sabía la respuesta, por supuesto, pero tengo curiosidad por averiguarlo. La máquina de Turing es básicamente una versión un poco más sofisticada de un …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

Al tratar de convencer a los economistas de la relevancia de la teoría de la complejidad en forma impresa, ¿hay alguna referencia estándar para citar? Estoy familiarizado con la publicación del blog de Noam Nisan , la encuesta de Tim Roughgarden y el capítulo 11 del ensayo de Scott Aaronson …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Hoy enseñé los límites inferiores de , y uno de los estudiantes preguntó por la razón del nombre . La explicación oficial es que la "A" significa "Alternancia".A C0 0AC0AC^0A CACAC Recuerdo vagamente que me dijeron hace muchos años que Nick Pippenger Steve Cook nombró a después de Nick Pippenger …

17 cc.complexity-theory  reference-request  ho.history-overview 

¿Existen casos interesantes de algoritmos que se hayan publicado con límites probados y donde se hayan publicado límites estrictamente mejores más adelante? No mejores algoritmos con mejores límites, ¡obviamente eso ha sucedido! Pero un mejor análisis conduce a un mejor límite en un algoritmo existente Pensé que la multiplicación de …

16 ho.history-overview  analysis-of-algorithms 

AFAIK, La primera evidencia del uso de funciones de orden superior se remonta al artículo de Schönfinkel de 1924: "Sobre los bloques de construcción de la lógica matemática", donde permitió pasar funciones como argumentos a otras funciones. Eso parece interesante Sin embargo, todo lo que he estado leyendo sobre su …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

Estoy interesado en la historia temprana de los resultados publicados sobre compensaciones de espacio-tiempo de propósito general. En particular, quiero saber quién describió por primera vez el siguiente tipo de algoritmo para evaluar un cálculo que tiene un gráfico de flujo de datos arbitrario con O en grado (1) usando …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff