Preguntas etiquetadas con big-list

En el artículo The Random Oracle Hypothesis Is False , los autores (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan y Rohatgi) discuten las implicaciones de la hipótesis del oráculo aleatorio . Argumentan que sabemos muy poco acerca de las separaciones entre clases de complejidad, y la mayoría de los resultados implican …

32 cc.complexity-theory  complexity-classes  big-list  complexity-assumptions 

Existen toneladas de problemas NP-completos y fuentes que los recopilan, por ejemplo, vea el libro de Garey y Johnson. Me interesaría ver una lista de problemas NEXP-complete también. ¿Hay uno disponible? Como supongo que no hay, abro esta pregunta (¿se supone que es una wiki comunitaria? No sé sobre esto). …

31 cc.complexity-theory  complexity-classes  big-list  nexp 

Richard J. Lipton ha sido seleccionado como el ganador del Premio Knuth 2014 "por Introducción de nuevas ideas y técnicas". ¿Cuáles son para usted las principales ideas y técnicas nuevas que desarrolló Lipton? Nota. Esta pregunta se convertirá en wiki de la comunidad, por favor ponga una idea, técnica o …

30 big-list 

Probablemente, algunas de las paradojas de las matemáticas y la lógica podrían aplicarse automáticamente a las computadoras, pero ¿hay alguna paradoja descubierta en la ciencia de la computación? Por paradojas me refiero a resultados contrarios a la intuición que parecen una contradicción.

30 big-list 

Recientemente, un amigo mío (trabajando en TCS) mencionó en una conversación que "quería ver / saber todo (o la mayor cantidad posible) de los hermosos resultados en TCS en su vida". Esto me hizo preguntarme sobre los hermosos resultados en esta área y, por lo tanto, la motivación para la …

29 soft-question  big-list 

Una de las cosas buenas de haber evolucionado en un universo con tres dimensiones espaciales es que hemos desarrollado habilidades para resolver problemas relacionados con objetos en el espacio. Así, por ejemplo, podemos pensar en un triplete de números como un punto en 3-d y, por lo tanto, en un …

28 big-list  cg.comp-geom  big-picture 

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 

Soy un científico de la computación que toma un curso sobre topología (una pizca de topología de conjunto de puntos fuertemente aromatizada con la teoría del continuo). Me interesaron los problemas de decisión al probar una descripción de un espacio (por simplificaciones) para propiedades topológicas; los conservados hasta el homeomorfismo. …

27 cc.complexity-theory  big-list  topology 

Estoy interesado en ejemplos de problemas en los que un teorema que aparentemente no tiene nada que ver con la mecánica / información cuántica (por ejemplo, afirma algo sobre objetos puramente clásicos), sin embargo, puede probarse utilizando herramientas cuánticas. Una encuesta de Quantum Proofs for Classical Theorems (A. Drucker, R. …

27 quantum-computing  big-list  proofs 

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 

¿Sobre qué temas faltantes de TCS en Wikipedia le gustaría que hubiera un artículo? Podrían ser omisiones evidentes o solo temas que crees que realmente deberían tener un artículo. Un tema por respuesta por favor para que los más buscados puedan ser votados. Actualización 5/2/2017 : Shuchi Chawla está liderando …

26 soft-question  big-list  survey 

Esta es mi primera pregunta sobre la pila de teoría, así que no seas demasiado grosero si estoy violando la etiqueta de alguna manera) Como sabemos, en matemáticas incluso matemáticos famosos, superestrellas y genios están cometiendo serios errores de vez en cuando. Por ejemplo, tanto el teorema de 4 colores …

26 soft-question  big-list 

Asistiré a mi primera conferencia de ciencias de la computación y después de leer los consejos sobre cómo mejorar las conferencias , noté que varias sugerencias eran sobre estudiantes graduados que asistían a su primera conferencia. ¿Qué consejo tiene para un estudiante graduado que asiste a su primera conferencia y …

25 soft-question  big-list  conferences 

Por supuesto, algunos resultados de complejidad pueden colapsar para los idiomas unarios, pero me pregunto si hay alguna encuesta que resuma los resultados conocidos en este caso: una especie de zoológico de complejidad para los idiomas unarios. ¿Sabrías de tal referencia?

25 cc.complexity-theory  reference-request  big-list 

Existe la reputación de que, en informática, no tenemos libros de ciencias populares. ¡Por supuesto que eso no es realmente cierto! (En el mismo espíritu de la lista de los libros que debería todo el mundo Leer? , ¿Qué documentos deben leer todo el mundo? , ¿Qué videos deben reloj …

24 big-list  books