Ciencias de la Computación

He encontrado el término muchas veces, en varios materiales educativos de CS: L2 CS162 (UC Berkeley): E / S mapeadas en memoria L4 CS162 (UC Berkeley): Archivos mapeados de memoria L24 CS61 (UC Berkeley): "E / S asignadas a memoria": registros de control / datos del dispositivo asignados al espacio …

10 data-structures  operating-systems  memory-management 

Se puede demostrar que dos modelos informáticos están completos si cada uno puede codificar un simulador universal para el otro. Se puede demostrar que dos lógicas están completas si una codificación de las reglas de inferencias (y tal vez los axiomas si están presentes) de cada uno se muestra como …

10 computability  logic  turing-completeness 

Si los procesadores solo pueden ejecutar una cosa a la vez, ¿por qué puedo reproducir música continuamente y aún así poder ejecutar otras tareas? Entiendo el sistema de interrupción, pero ¿no es necesario que la CPU procese continuamente el audio para que no suene nervioso / lento? Estoy preguntando sobre …

10 cpu  multi-tasking 

Considere la siguiente declaración del problema: Dado un número inicial, usted y su amigo se turnan para restarle un cuadrado perfecto. El primero en llegar a cero gana. Por ejemplo: Estado inicial: 37 El jugador1 resta 16. Estado: 21 El jugador2 resta 8. Estado: 13 El jugador1 resta 4. Estado: …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Aproximadamente, un gráfico no dirigido es muy similar a un gráfico dirigido donde para cada borde (v, w), siempre hay un borde (w, v). Eso sugiere que podría ser aceptable ver gráficos no dirigidos como un subconjunto de gráficos dirigidos (tal vez con una restricción adicional de que agregar / …

10 graphs  terminology 

Aquí está el problema: Hay un gráfico conectado con nodos que representan a varias personas. Cada nodo / persona tiene una opinión sobre un tema, por ejemplo, trump vs clinton, libros de papel vs kindle, etc. El objetivo es hacer que cada nodo en un gráfico comparta la misma opinión, …

10 graphs  graph-theory  social-networks 

Describo un enfoque para el isomorfismo gráfico que probablemente tiene falsos positivos, y tengo curiosidad por saber si hay literatura que indique que no funciona. Dadas dos matrices de adyacencia , un método ciertamente ingenuo para verificar el isomorfismo es verificar si para cada fila u de G , hay …

10 reference-request  graph-isomorphism 

Soy relativamente nuevo en teoría de tipos y programación dependiente. He estado estudiando el cálculo de construcciones (CoC) y otros sistemas de tipo puro. Estoy particularmente interesado en usarlo como una representación intermedia de preservación de pruebas para un sistema compilador. Entiendo que los tipos (co) recursivos son representables , …

10 type-theory  dependent-types  coq 

Viniendo de un entorno de C ++, no entiendo por qué uno necesita tipos / expresiones de tipo como ciudadano de primera clase. El único idioma que sé que admite esta función es Aldor. ¿Alguien tiene alguna literatura sobre tipos como ciudadano de primera clase o sabe algunas razones por …

10 programming-languages  language-design  types 

Considere una máquina de estados finitos como de costumbre, pero en cada transición, también puede actualizar un contador entero sumando o restando un número. Digamos, una función de transición de la forma mueve al nuevo estado p , y agrega k al contador, donde k ∈ Z (entonces k puede …

10 finite-automata 

Hoy he aprendido que el análisis de algoritmos difiere según el modelo computacional. Es algo en lo que nunca he pensado ni oído hablar. Un ejemplo que me dio, que lo ilustró aún más, por el usuario @chi fue: Por ejemplo, considere la tarea: dado devuelve . En RAM esto …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

No sé la terminología correcta para hacer esta pregunta, así que la describiré con muchas palabras, tengan paciencia conmigo. Antecedentes , solo para estar en la misma página: los programas a menudo contienen cachés, una compensación de tiempo / memoria. El error de un programador común es olvidar actualizar un …

10 terminology  reference-request  functional-programming  programming-paradigms 

Tenemos un grupo de nnn personas. Nos dan una lista de quién debe comprar regalos para quién dentro del grupo. Es posible que cada persona necesite comprar / recibir cualquier cantidad de regalos, o posiblemente ninguno. En un viaje de compras, un subconjunto de personas viaja juntas a la misma …

10 algorithms  graph-theory  set-cover 

Quiero proporcionar pruebas de partes de un programa de Haskell que estoy escribiendo como parte de mi tesis. Hasta ahora, sin embargo, no pude encontrar un buen trabajo de referencia. El libro introductorio de Graham Hutton Programming in Haskell ( Google Books ), que leí mientras aprendía Haskell, aborda algunas …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Esta prueba es una prueba por inducción, y es la siguiente: P (n) es la afirmación de que "Quicksort ordena correctamente cada matriz de entrada de longitud n". Caso base: cada matriz de entrada de longitud 1 ya está ordenada (P (1) se mantiene) Paso inductivo: arreglo n => 2. …

10 correctness-proof  induction  quicksort