Preguntas etiquetadas con reference-request

Mirar las preguntas a través de la lente algorítmica (es decir, desde un punto de vista algorítmico o de complejidad) se ha vuelto útil en disciplinas fuera del "dominio estándar" de la informática. En particular, CS ha tenido un impacto en la biología a través de la biología computacional, en …

32 reference-request  soft-question  big-picture  social-sciences  algorithmic-lens 

Defina LOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (loglog n) mediante una máquina de Turing determinista (con acceso bidireccional a la entrada). De manera similar, defina NLOGLOG como la clase de lenguajes que se pueden calcular en el espacio O (log log n) …

32 cc.complexity-theory  reference-request  space-bounded 

Si bien he aprobado algunos cursos sobre teoría de la probabilidad, tanto en la escuela secundaria como en la universidad, me cuesta leer los documentos de TCS cuando se trata de probabilidad. Parece que los autores de los artículos de TCS están muy familiarizados con la probabilidad. Trabajan mágicamente con …

32 reference-request  big-list  pr.probability  books 

Necesito un libro de teoría de autómatas finito con muchos ejemplos que pueda usar para el autoaprendizaje y para prepararme para los exámenes.

32 reference-request  automata-theory  fl.formal-languages 

He estado leyendo " Semántica con aplicaciones " de Nielson & Nielson , y realmente me gusta el tema. Me gustaría tener un libro más sobre semántica del lenguaje de programación, pero realmente solo puedo obtener uno. Eché un vistazo al libro de Turbak / Gifford , pero es demasiado …

31 reference-request  pl.programming-languages  semantics  denotational-semantics  books 

No parece que se sepa esto, pero ¿hay algún límite inferior interesante sobre la complejidad de la multiplicación de matrices en el modelo de computación cuántica? ¿Tenemos alguna intuición de que podemos vencer la complejidad del algoritmo Coppersmith-Winograd usando computadoras cuánticas?

30 reference-request  quantum-computing  matrix-product 

Los métodos polinómicos , por ejemplo, el teorema combinatorio de Nullstellensatz y Chevalley-Warning son herramientas poderosas en la combinatoria aditiva. Al representar un problema con los polinomios adecuados, pueden garantizar la existencia de una solución o el número de soluciones para los polinomios. Se han utilizado para resolver problemas como …

29 cc.complexity-theory  reference-request  co.combinatorics  polynomials 

En su libro, Boolean Function Complexity, Stasys Jukna menciona (página 564) que Kolmogorov creía que cada lenguaje en P tiene circuitos de tamaño lineal. No se menciona ninguna referencia y no pude encontrar nada en línea. ¿Alguien sabe más sobre esto?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Solo conozco dos pruebas del lema de Schwartz-Zippel. La primera prueba (más común) se describe en la entrada de wikipedia . La segunda prueba fue descubierta por Dana Moshkovitz. ¿Hay alguna otra prueba que use ideas sustancialmente diferentes?

28 cc.complexity-theory  reference-request  algebra  polynomials  finite-fields 

El estudio de la ecología y la evolución se está volviendo cada vez más matemático, pero la mayoría de las herramientas teóricas parecen provenir de la física. Sin embargo, en muchos casos los problemas tienen una naturaleza muy discreta (véase, por ejemplo, SLBS00 ) y podrían beneficiarse desde una perspectiva …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Supongamos que es un gráfico con el número de colorante . Considere el siguiente juego entre Alice y Bob. En cada ronda, Alice elige un vértice y Bob responde con un color en para este vértice. El juego termina cuando se descubre un borde monocromático. Deje que sea ​​la duración …

27 reference-request  graph-theory  co.combinatorics  graph-colouring  decision-trees 

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 

Acabo de enseñar el algoritmo de mincut aleatorio Karger-Stein en mi clase de algoritmos de posgrado. Esta es una verdadera joya algorítmica , así que no puedo no enseñarlo, pero siempre me deja frustrado, porque no conozco ninguna otra aplicación de la técnica principal. (Por lo tanto, es difícil asignar …

27 ds.algorithms  reference-request  randomized-algorithms  teaching 

A menudo puede encontrar métodos de plano de corte, propagación variable, ramificación y encuadernación, aprendizaje de cláusulas, retroceso inteligente o incluso heurística humana tejida a mano en solucionadores SAT. Sin embargo, durante décadas, los mejores solucionadores de SAT se han basado en gran medida en técnicas de prueba de resolución …

27 reference-request  big-list  sat  proof-complexity  lo.logic 

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