Ciencias de la Computación

He terminado la mayor parte del material en el libro de Introducción a Algoritmos de Cormen y estoy buscando un libro de algoritmos que cubra material más allá del libro de Corman. ¿Hay alguna recomendación? NOTA: pregunté esto en stackoverflow pero no estaba muy contento con la respuesta. NOTA: Mirando …

21 algorithms  reference-request  books 

Si un gráfico ponderado tiene dos árboles de expansión mínima diferentes y , entonces es cierto que para cualquier borde enT 1 = ( V 1 , E 1 ) T 2 = ( V 2 , E 2 ) e E 1 E 1 e e E 2 eGGGT1=(V1,E1)T1=(V1,E1)T_1 …

21 graph-theory  spanning-trees  weighted-graphs 

Estoy buscando una explicación sobre cómo se podría probar que dos modelos de cálculo son equivalentes. He estado leyendo libros sobre el tema, excepto que se omiten las pruebas de equivalencia. Tengo una idea básica sobre lo que significa que dos modelos de computación sean equivalentes (la vista de autómatas: …

21 proof-techniques  computation-models  simulation 

Sé que desde ~ 2004, la ley de Moore dejó de funcionar para la velocidad del reloj de la CPU. Estoy buscando un gráfico que muestre esto, pero no puedo encontrarlo: la mayoría de los gráficos muestran el recuento de transistores o la capacidad por año. ¿Dónde puedo encontrar algunos …

21 computer-architecture  empirical-research  data-sets 

Que yo sepa, hay tres álgebras de procesos principales que han inspirado una amplia gama de investigaciones sobre modelos formales de concurrencia. Estos son: CCS y cálculo ambos por Robin Milnerππ\pi CSP por Tony Hoare y ACP por Jan Bergstra y Jan Willem Klop Los tres parecen tener hasta el …

21 logic  concurrency  process-algebras 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . ¿Cuál es un buen libro de ciencias de la computación para principiantes para un adulto joven, digamos, un joven de 15 años? Quiero comenzar en …

21 education  reference-request 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . En el script que estoy leyendo actualmente sobre el cálculo lambda, la equivalencia beta se define así: La equivalencia ≡ β es la equivalencia más …

21 logic  terminology  lambda-calculus  type-theory 

Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Quiero probar o refutar la existencia de un algoritmo que, dada una matriz de enteros, encuentra tres índices y manera que y (o encuentra que …

21 algorithms  arrays  subsequences 

Considere un tipo inductivo que tiene algunas ocurrencias recursivas en una ubicación anidada, pero estrictamente positiva. Por ejemplo, árboles con ramificación finita con nodos que utilizan una estructura de datos de lista genérica para almacenar los elementos secundarios. Inductive LTree : Set := Node : list LTree -> LTree. La …

21 logic  coq  type-theory  recursion  proof-assistants 

Recientemente escuché una analogía interesante que afirma que la prueba de Turing de la indecidibilidad del problema de detención es muy similar a la paradoja de barbero de Russell. Así que me pregunté: los matemáticos finalmente lograron hacer que la teoría de conjuntos sea coherente al pasar de la formulación …

21 computability  turing-machines  computation-models  halting-problem 

En algunos lugares del mundo, las personas generalmente no tienen acceso a (y por lo tanto poco conocimiento de) computadoras, e incluso si lo tienen, el hardware y el software están desactualizados y el uso está plagado de cortes de energía y demás. También suele faltar el acceso a libros …

21 education 

Cuando se consideran modelos de cómputo de máquinas, la jerarquía de Chomsky normalmente se caracteriza por (en orden), autómatas finitos, autómatas push-down, autómatas lineales y máquinas de Turing. Para el primer y último nivel 1 (lenguajes regulares y lenguajes recursivamente enumerables), no importa el poder del modelo si consideramos máquinas …

21 formal-languages  computability  context-free  computation-models  context-sensitive 

Una posible motivación para estudiar las clases de complejidad computacional es comprender el poder de los diferentes tipos de recursos computacionales (aleatoriedad, no determinismo, efectos cuánticos, etc.). Si lo miramos desde esta perspectiva, parece que podemos obtener un axioma plausible para cualquier intento de caracterizar qué cálculos son factibles en …

21 complexity-theory  oracle-machines 

Aquí está el problema. Dado , donde cada T i ⊆ { 1 , ... , n } . ¿Hay un subconjunto S ⊆ { 1 , ... , n } con un tamaño máximo de k tal que S ∩ T i ≠ ∅ para todo i ? Estoy …

21 complexity-theory  reductions  np-hard 

Enseño computación a jóvenes de 18 años. Después de que se les explicara la notación polaca inversa, uno preguntó por qué es lo suficientemente significativo como para estar en el examen público. Le expliqué el significado histórico de las calculadoras de los años 70, pero esto no logró abordar el …

21 terminology  education