Me gustaría escribir una encuesta sobre las aplicaciones de la topología en informática. Planeo cubrir la historia de las ideas topológicas en Ciencias de la Computación y también destacar algunos desarrollos actuales. Sería extremadamente útil si alguien pudiera dar su opinión sobre cualquiera de...
El propósito de esta pregunta es recopilar ejemplos de la informática teórica donde el uso sistemático de las computadoras fue útil. al construir una conjetura que conduzca a un teorema, falsificar un enfoque de conjetura o prueba, construir / verificar (partes de) una prueba. Si tiene un...
Actualmente estoy escribiendo una encuesta sobre teoremas de jerarquía en TCS. Al buscar artículos relacionados, noté que la jerarquía es un concepto fundamental no solo en TCS y matemáticas, sino en numerosas ciencias, desde teología y sociología hasta biología y química. Al ver que la cantidad de...
Parece que la teoría de la complejidad geométrica requiere mucho conocimiento de las matemáticas puras, como la geometría algebraica, la teoría de la representación. Si bien soy estudiante de CS y NO tengo clases de matemáticas muy abstractas y puras, estoy interesado en este programa. ¿Existe...
¿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...
Estoy buscando un libro sobre estructuras de datos avanzadas que vaya más allá de lo que se cubre en los libros de texto estándar como Cormen, Leiserson, Rivest y Stein "Introducción a los algoritmos". Un libro que se puede usar para enseñar un curso de posgrado sobre estructuras de datos...
¡Predecir el mercado de valores es difícil! ¿Puede TCS hacer este sentimiento más formal? Recientemente comencé a pensar un poco sobre las finanzas y me preguntaba cómo podría ayudar el conocimiento de TCS. Los fondos de cobertura y las empresas de inversión parecen utilizar el comercio...
¿La prueba automática de teoremas y la búsqueda de pruebas son más fáciles en lógicas subestructurales lineales y otras proposicionales que carecen de contracción? ¿Dónde puedo leer más sobre la demostración automática de teoremas en estas lógicas y el papel de la contracción en la búsqueda de...
Sería bueno recopilar una lista de condiciones que impliquen que un lenguaje L sin contexto es regular, es decir, condiciones de la forma: "si un CFG / PDA dado tiene la propiedad P, entonces sus idiomas son regulares" La propiedad P no tiene que caracterizar los CFG que generan lenguajes...
¿Hay una encuesta (de papel, capítulo de libro, tutorial, enlaces, ...) de la semántica de varias características del lenguaje de programación? Originalmente estaba abrumado por las características de D aquí http://www.digitalmars.com/d/2.0/comparison.html Me gustaría ver qué podría obtener de...
Sea una función booleana con sensibilidad s ( f ) y sensibilidad de bloque b s ( f ) .Fffs ( f)s(f)s(f)b s ( f)bs(f)bs(f) La conjetura de sensibilidad del bloque de sensibilidad establece que hay un tal que ∀ f , b s ( f ) ≤ s ( f ) c .c > 0c>0c>0∀ f, b s ( f ) ≤ s (...
Hace poco me recordaron el problema vs. como lo explicó Stephen A. Cook en el Clay Mathematics Institute.N PPAGP\mathsf{P}N PNP\mathsf{NP} Ha despertado mi interés y me gustaría aprender más al respecto. El primer paso sería obtener una comprensión más profunda del problema y una comprensión del...
¿Hay ejemplos concretos (o una rica fuente de) de aplicación de números adic en
En este momento hay montañas de resultados en separadores en gráficos, desde separador plano, separador de árbol, gráficos de ancho de árbol acotado, gráficos de género acotados, etc., etc. ¿Hay alguna encuesta actualizada sobre esto y sus
Estoy buscando recursos (preferiblemente un manual) sobre temas avanzados en algoritmos (temas más allá de lo que se cubre en los libros de texto de algoritmos como CLRS y DPV). El tipo de material que se puede usar para enseñar un tema en un curso de algoritmos como Erik Demaine y el curso de...
Estaba revisando el trabajo seminal de Les Valiant y tuve un momento difícil con la Proposición 4.3 en la página 10 del documento. No puedo ver por qué es el caso que si hay un generador con ciertos valores para con una base { ( a 1 , b 1 ) ... ( a r , b r ) } , entonces existe algún generador con...
Quiero comenzar a aprender sobre la codificación de red: http://en.wikipedia.org/wiki/Network_coding ¿Conoces alguna buena encuesta (por ejemplo, de IEEE Surveys and Tutorials) sobre los temas anteriores. Encontré algunos cursos universitarios en Google, pero me gustaría algunas recomendaciones...
Estoy buscando notas de conferencias disponibles en línea u otros recursos que brinden una buena introducción a la programación paralela, al igual que el análogo paralelo de las clases básicas de informática. Mi enfoque es el siguiente: si bien puedo hablar sobre divide y vencerás, algoritmos...
Las representaciones más simples para gráficos utilizan matrices / listas de adyacencia, lo que significa que cada nodo y borde se representa explícitamente. La importancia de las representaciones implícitas para gráficos que exhiben fuertes regularidades ha sido reconocida desde hace mucho tiempo....
Recientemente he estado leyendo una buena cantidad de documentos CoLT. Aunque no lucho con los documentos individuales (al menos no más de lo que normalmente lucho con otros documentos de teoría), no creo que tenga una buena comprensión del campo en general. ¿Existe un texto estándar, encuestas o...