Ciencias de la Computación

Estoy planeando enseñar un curso de invierno sobre un número variable de temas, uno de los cuales será compiladores. Ahora, me encontré con este problema mientras pensaba en tareas para dar durante el trimestre, pero me tiene perplejo, por lo que podría usarlo como un ejemplo. public class DeadCode { …

32 computability  proof-techniques  compilers 

Estoy estudiando CPU y sé cómo lee un programa de la memoria y ejecuto sus instrucciones. También entiendo que un sistema operativo separa los programas en los procesos, y luego alterna entre cada uno tan rápido que cree que se están ejecutando al mismo tiempo, pero de hecho cada programa …

32 operating-systems 

Si algo es simple, entonces debería ser completamente explicable con unas pocas palabras. Esto se puede hacer para el cálculo λ: El cálculo λ es una gramática sintáctica (básicamente, una estructura) con una regla de reducción (lo que significa que un procedimiento de búsqueda / reemplazo se aplica repetidamente a …

32 functional-programming  type-theory 

Este programa de 579 bits en el cálculo binario de Lambda tiene un estado de detención desconocido: 01001001000100010001000101100111101111001110010101000001110011101000000111001110 10010000011100111010000001110011101000000111001110100000000111000011100111110100 00101011000000000010111011100101011111000000111001011111101101011010000000100000 10000001011100000000001110010101010101010111100000011100101010110000000001110000 00000111100000000011110000000001100001010101100000001110000000110000000100000001 00000000010010111110111100000010101111110000001100000011100111110000101101101110 00110000101100010111001011111011110000001110010111111000011110011110011110101000 0010110101000011010 Es decir, no se sabe si este programa finaliza o no. Para determinarlo, debes resolver la conjetura de Collatz , o, al menos, para todos …

32 algorithms  computability  kolmogorov-complexity 

Estoy buscando ayuda para comprender el algoritmo de detección de ciclo de Floyd. He revisado la explicación en wikipedia ( http://en.wikipedia.org/wiki/Cycle_detection#Tortoise_and_hare ) Puedo ver cómo el algoritmo detecta el ciclo en el tiempo O (n). Sin embargo, no puedo visualizar el hecho de que una vez que los punteros de …

32 algorithms  linked-lists 

¿Existe algún cálculo lambda tipificado completo de Turing? Si es así, ¿cuáles son algunos ejemplos?

31 computability  lambda-calculus  type-theory 

Acabo de completar el primer capítulo de Introducción a la teoría de la computación de Michael Sipser que explica los conceptos básicos de los autómatas finitos. Él define un lenguaje regular como cualquier cosa que pueda ser descrita por un autómata finito. Pero no pude encontrar dónde explica por qué …

31 formal-languages  regular-languages  terminology  finite-automata  history 

Digamos que y b 1 b 2 ... b n son dos cadenas de la misma longitud. Una anagramación de dos cadenas es un mapeo biyectivo p : [ 1 ... n ] → [ 1 ... n ] tal que a i = b p ( i ) para …

31 algorithms  strings  search-algorithms  natural-language-processing 

Digamos que necesito simular la siguiente distribución discreta: P(X=k)={12N,1−12N,if k=1if k=0P(X=k)={12N,if k=11−12N,if k=0 P(X = k) = \begin{cases} \frac{1}{2^N}, & \text{if $k = 1$} \\ 1 - \frac{1}{2^N}, & \text{if $k = 0$} \end{cases} La forma más obvia es dibujar bits aleatorios y verificar si todos equivalen a (o ). …

31 algorithms  information-theory  randomness  pseudo-random-generators  entropy 

Estoy aprendiendo sobre los árboles radix (también conocidos como intentos comprimidos) y Patricia intenta, pero encuentro información contradictoria sobre si realmente son lo mismo o no. Se puede obtener un árbol de raíz de un trie normal (sin comprimir) fusionando nodos con sus padres cuando los nodos son el único …

31 data-structures  trees 

Tengo problemas para entender intuitivamente por qué se cree que PSPACE es diferente de EXPTIME. Si PSPACE es el conjunto de problemas que se pueden resolver en el polinomio espacial en el tamaño de entrada F( n )f(n)f(n) , entonces, ¿cómo puede haber una clase de problemas que experimenten una …

31 complexity-theory  complexity-classes  intuition 

¿Por qué las computadoras usan el sistema de números binarios (0,1)? ¿Por qué no usan el Sistema de números ternarios (0,1,2) o cualquier otro sistema de números?

31 computer-architecture  binary-arithmetic 

Entonces, el problema de decisión TSP (problema del vendedor ambulante) es NP completo . Pero no entiendo cómo puedo verificar que una solución dada a TSP sea de hecho óptima en tiempo polinómico, dado que no hay forma de encontrar la solución óptima en tiempo polinómico (¿porque el problema no …

31 complexity-theory  np-complete  traveling-salesman 

Me pregunto si hay un buen ejemplo para un problema NP-Hard fácil de entender que no sea NP-Complete y no sea indecidible. Por ejemplo, el problema de detención es NP-Hard, no NP-Complete, pero es indecidible. Creo que esto significa que es un problema que puede verificarse una solución, pero no …

31 complexity-theory  computability  np-hard 

¿Cuál sería la forma más rápida de hacer esto (desde una perspectiva algorítmica, así como una cuestión práctica)? Estaba pensando algo en las siguientes líneas. Podría agregar al final de una matriz y luego usar bubbleort, ya que tiene un mejor caso (matriz totalmente ordenada al inicio) que está cerca …

31 algorithms  efficiency  arrays  sorting