Ciencias de la Computación

Soy nuevo en la comprensión de algoritmos informáticos. Entiendo el proceso de la búsqueda binaria, pero estoy teniendo un ligero malentendido con su eficiencia. En un tamaño de elementos, tomaría, en promedio, pasos para encontrar un elemento en particular. Tomar el logaritmo de base 2 de ambos lados produce . …

35 algorithms  runtime-analysis  binary-search 

Clásicamente, hay 3 formas populares de pensar en la computación: la máquina de Turing, los circuitos y el cálculo lambda (lo uso como una trampa para la mayoría de las vistas funcionales). Los 3 han sido formas fructíferas de pensar sobre diferentes tipos de problemas, y diferentes campos utilizan diferentes …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

En la teoría de los autómatas, todos leemos autómatas como autómatas finitos, desde el principio. Lo que quiero saber es, ¿por qué los autómatas son finitos? Para ser claros, ¿qué hay en un autómata que es finito: el alfabeto, el idioma, las cadenas hechas con expresiones regulares o qué? ¿Y …

35 automata  finite-automata 

La programación lineal (LP) está en P y la programación entera (IP) es NP-hard. Pero dado que las computadoras solo pueden manipular números con precisión finita, en la práctica una computadora usa números enteros para la programación lineal. Debido a esto, ¿no deberían LP e IP estar en la misma …

35 complexity-theory  polynomial-time 

Tengo problemas para encontrar buenos recursos que den el peor de los casos en su lugar estableO ( n lnn )O(norteEn⁡norte)O(n \ln n) algoritmo de clasificación . ¿Alguien sabe de algún buen recurso? Solo un recordatorio, en su lugar significa que usa la matriz que se pasa y el algoritmo …

35 algorithms  reference-request  sorting  in-place 

Sé que Idris tiene tipos dependientes pero no está completo. ¿Qué no puede hacer al renunciar a la integridad de Turing, y esto está relacionado con tener tipos dependientes? Supongo que esta es una pregunta bastante específica, pero no sé mucho sobre los tipos dependientes y los sistemas de tipos …

35 computability  programming-languages  type-theory  dependent-types 

De acuerdo con Wikipedia : La entropía de Shannon mide la información contenida en un mensaje en oposición a la parte del mensaje que se determina (o es predecible). Ejemplos de esto último incluyen redundancia en la estructura del lenguaje o propiedades estadísticas relacionadas con las frecuencias de aparición de …

35 information-theory  data-compression  entropy 

La mayoría de nosotros aprendimos programación usando lenguajes de programación "textuales" como Basic, C / C ++ y Java. Creo que es más natural y eficiente para los humanos pensar visualmente. La programación visual permite a los desarrolladores escribir programas manipulando elementos gráficos. Supongo que usar programación visual debería mejorar …

35 programming-languages 

Como educador de CS de nivel universitario, la cuestión de qué lenguaje de programación enseñar en el primer curso de programación a menudo se debate. Hay miles de idiomas para elegir, y mucha fiebre religiosa (o fevour) que apoya un campamento de idiomas sobre otro. Todo este sesgo subjetivo que …

35 programming-languages  education 

Aquí está el pseudocódigo estándar para la primera búsqueda de amplitud: { seen(x) is false for all x at this point } push(q, x0) seen(x0) := true while (!empty(q)) x := pop(q) visit(x) for each y reachable from x by one edge if not seen(y) push(q, y) seen(y) := true …

35 algorithms  graphs 

Un colega mío y yo acabamos de tocar algunas notas de uno de nuestros profesores. Las notas indican que hay tareas que son posibles de resolver en tiempo polinomial (están en la clase de PF) pero que NO son verificables en tiempo polinomial (NO están en la clase de NPF). …

34 complexity-theory  np 

Puede alguien me sugieren un algoritmo de tiempo lineal que toma como entrada una dirigido acíclico gráfico y dos vértices y y devuelve el número de caminos sencillos de a en . Tengo un algoritmo en el que ejecutaré un DFS (Profund First Search) pero si DFS encuentra entonces no …

34 algorithms  graphs 

Al ver que en la Jerarquía de Chomsky, los lenguajes Tipo 3 pueden ser reconocidos por una máquina de estado sin memoria externa (es decir, un autómata finito), el Tipo 2 por una máquina de estado con una sola pila (es decir, un autómata pushdown) y el Tipo 0 una …

34 formal-languages  applied-theory  computability  automata  formal-grammars 

Puede sonar como una pregunta estúpida, pero tengo mucha curiosidad por saber cómo una computadora sabe que . Además, ¿cómo sabe una computadora que el orden de los enteros es 1 , 2 , 3 , 4 , 5 , ... y el alfabeto es A, B, C, D, ...? …

34 computer-architecture  reference-question 

Me pregunto si hay una forma estándar de medir la "clasificación" de una matriz. ¿Se consideraría una matriz que tiene el número medio de posibles inversiones máximamente sin clasificar? Con eso quiero decir que está básicamente lo más lejos posible de ser ordenado o revertido.

34 algorithms  algorithm-analysis  sorting  arrays