Preguntas etiquetadas con survey

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 las preguntas a continuación. ¿Hay documentos …

61 reference-request  ho.history-overview  topology  survey 

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 ejemplo específico, describa …

55 proofs  survey  examples 

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 información es enorme, …

42 cc.complexity-theory  reference-request  big-list  survey 

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 una lista de "conocimiento …

38 reference-request  big-list  survey  gct 

¿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 

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 …

24 soft-question  ds.data-structures  survey  books 

¡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 algorítmico, el aprendizaje automático …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

¿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 pruebas?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic 

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 …

14 reference-request  fl.formal-languages  regular-language  context-free  survey 

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 ( …

12 cc.complexity-theory  big-picture  boolean-functions  survey 

¿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 aquí, aunque he hecho una pregunta similar sobre stackoverflow y entiendo que …

12 reference-request  pl.programming-languages  survey 

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 área en general. ¿Me …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

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 …

11 ds.algorithms  reference-request  survey  books 

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 aplicaciones?

11 reference-request  graph-algorithms  survey 

¿Hay ejemplos concretos (o una rica fuente de) de aplicación de números adic en informática?ppp

11 survey