Ciencias de la Computación

Veo que la mayoría de las definiciones de lo que es ser Turing completo son tautológicas hasta cierto punto. Por ejemplo, si buscas en Google "qué significa ser Turing completo", obtienes: Una computadora está completa en Turing si puede resolver cualquier problema que una máquina de Turing pueda ... Si …

34 turing-machines  turing-completeness 

¿Hay algún problema conocido en N PNP\mathsf{NP} (y no en PAGSP\mathsf{P} ) que no sea N PNP\mathsf{NP} Complete? Tengo entendido que actualmente no hay problemas conocidos en este caso, pero no se ha descartado como una posibilidad. Si hay un problema que es NPNP\mathsf{NP} (y no PP\mathsf{P} ) pero no …

34 complexity-theory  np-complete  p-vs-np 

Después de leer varias fuentes, todavía estoy confundido acerca de los hilos de nivel de usuario y kernel. En particular: Los hilos pueden existir tanto a nivel de usuario como a nivel de núcleo ¿Cuál es la diferencia entre el nivel de usuario y el nivel de kernel?

33 operating-systems  terminology  concurrency  os-kernel 

¿Existe una diferencia fundamental entre la programación dinámica de arriba hacia abajo y de abajo hacia arriba? En particular, ¿hay algún problema que pueda resolverse de abajo hacia arriba pero no de arriba hacia abajo? ¿O es el enfoque ascendente solo un desenrollamiento de la recurrencia en el enfoque descendente?

33 algorithms  dynamic-programming 

Dijkstra, en su ensayo Sobre la crueldad de enseñar realmente ciencias de la computación , hace la siguiente propuesta para un curso introductorio de programación: Por un lado, enseñamos lo que parece el cálculo predicado, pero lo hacemos de manera muy diferente a los filósofos. Para entrenar al programador novato …

33 reference-request  programming-languages  education  didactics 

Es bien sabido que este algoritmo 'ingenuo' para barajar una matriz intercambiando cada elemento con otro elegido al azar no funciona correctamente: for (i=0..n-1) swap(A[i], A[random(n)]); Específicamente, dado que en cada una de las iteraciones, se realiza una de las elecciones (con probabilidad uniforme), hay posibles 'caminos' a través del …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

Hay nnn contenedores mmm tipo de bolas. El iii th bin tiene etiquetas ai,jai,ja_{i,j} para 1≤j≤m1≤j≤m1\leq j\leq m , es el número esperado de bolas de tipo jjj . Comienzas con bjbjb_j bolas de tipo jjj . Cada bola de tipo jjj tiene peso wjwjw_j , y desea colocar las …

33 complexity-theory  np-hard  integer-programming 

En su artículo seminal de 1987, Dana Angluin presenta un algoritmo de tiempo polinómico para aprender un DFA a partir de consultas de membresía y consultas teóricas (contraejemplos a un DFA propuesto). Ella muestra que si está tratando de aprender un DFA mínimo con estados, y su contraejemplo más grande …

33 algorithms  learning-theory  machine-learning 

EDITAR: ahora he hecho una pregunta similar sobre la diferencia entre categorías y conjuntos. Cada vez que leo acerca de la teoría de tipos (que ciertamente es bastante informal), no puedo entender realmente en qué se diferencia de la teoría de conjuntos, concretamente . Entiendo que hay una diferencia conceptual …

33 type-theory  sets 

En mi clase, un estudiante preguntó si todos los autómatas finitos podían dibujarse sin cruzar bordes (parece que todos mis ejemplos lo hicieron). Por supuesto, la respuesta es negativa, el autómata obvio para el idioma tiene la estructura de K_5 , el gráfico completo en cinco nodos . Yuval ha …

33 regular-languages  finite-automata  planar-graphs 

Hoy discutimos en una conferencia un algoritmo muy simple para encontrar un elemento en una matriz ordenada usando la búsqueda binaria . Se nos pidió determinar su complejidad asintótica para una matriz de elementos.nnn Mi idea era que, obviamente, es u para ser más específico porque es el número de …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Lo siento de antemano si esta pregunta suena tonta ... Hasta donde sé, construir un algoritmo usando programación dinámica funciona de esta manera: expresa el problema como una relación de recurrencia; implementar la relación de recurrencia ya sea mediante la memorización o mediante un enfoque ascendente. Hasta donde sé, he …

33 algorithms  dynamic-programming  algorithm-design 

Ni siquiera soy un estudiante de CS, así que esta podría ser una pregunta estúpida, pero por favor tengan paciencia conmigo ... En la era anterior a la computadora, solo podemos implementar una estructura de datos de matriz con algo así como una matriz de cajones. Dado que uno tiene …

32 algorithms  algorithm-analysis  data-structures  runtime-analysis 

Estaba leyendo sobre Iota y Jot y encontré esta sección confusa: A diferencia de Iota, donde el árbol sintáctico para una cadena puede ramificarse tanto a la izquierda como a la derecha, la sintaxis de Jot se ramifica uniformemente a la izquierda. Como resultado, Iota es estrictamente libre de contexto, …

32 regular-languages  programming-languages  turing-completeness 

Cuando una computadora almacena una variable, cuando un programa necesita obtener el valor de la variable, ¿cómo sabe la computadora dónde buscar en la memoria el valor de esa variable?

32 compilers  memory-access  variable-binding