Ciencias de la Computación

Muchos programas de informática requieren dos o tres clases de cálculo. Me pregunto, ¿cómo y cuándo se usa el cálculo en informática? El contenido de CS de un título en informática tiende a centrarse en algoritmos, sistemas operativos, estructuras de datos, inteligencia artificial, ingeniería de software, etc. ¿Hay momentos en …

95 education  mathematical-analysis 

Me he estado preguntando acerca de esta pregunta desde que era estudiante de pregrado. Es una pregunta general, pero elaboraré con ejemplos a continuación. He visto muchos algoritmos, por ejemplo, para problemas de flujo máximo, conozco alrededor de 3 algoritmos que pueden resolver el problema: Ford-Fulkerson, Edmonds-Karp y Dinic, con …

92 algorithms  data-structures  education  didactics 

Estos dos parecen muy similares y tienen una estructura casi idéntica. ¿Cual es la diferencia? ¿Cuáles son las complejidades de tiempo para las diferentes operaciones de cada uno?

92 data-structures  binary-trees  heaps 

En la mayoría de las clases de algoritmos introductorios, se introducen anotaciones como (Big O) y , y un estudiante generalmente aprendería a usar una de estas para encontrar la complejidad del tiempo.OOOΘΘ\Theta Sin embargo, hay otras notaciones, como , y . ¿Hay escenarios específicos donde una notación sería preferible …

91 algorithms  terminology  asymptotics  landau-notation  reference-question 

En informática, a menudo tenemos que resolver relaciones de recurrencia , es decir, encontrar una forma cerrada para una secuencia de números definida recursivamente. Al considerar los tiempos de ejecución, a menudo nos interesa principalmente el crecimiento asintótico de la secuencia . Ejemplos son El tiempo de ejecución de una …

90 asymptotics  proof-techniques  combinatorics  recurrence-relation  reference-question 

Aprendimos sobre la clase de lenguajes libres de contexto . Se caracteriza tanto por gramáticas libres de contexto como por autómatas pushdown, por lo que es fácil demostrar que un lenguaje determinado no tiene contexto.CFLCFL\mathrm{CFL} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

89 formal-languages  context-free  proof-techniques  reference-question 

La fórmula de dimensión Vapnik – Chervonenkis (VC) para redes neuronales varía de O ( E)O(E)O(E) a O ( E2)O(E2)O(E^2) , con O ( E2V2)O(E2V2)O(E^2V^2) en el peor de los casos, donde miEE es el número de aristas y VVV es el número de nodos El número de muestras de …

87 machine-learning  vc-dimension 

Hay dos métodos de partición de clasificación rápida mencionados en Cormen: Hoare-Partition(A, p, r) x = A[p] i = p - 1 j = r + 1 while true repeat j = j - 1 until A[j] <= x repeat i = i + 1 until A[i] >= x if …

83 algorithms  sorting  quicksort 

Me he dado cuenta de que algunas aplicaciones o algoritmos que se basan en un lenguaje de programación, por ejemplo, C ++ / Rust, se ejecutan más rápido o más rápido que los creados en Java, Node.js, que se ejecutan en la misma máquina. Tengo algunas preguntas con respecto a …

82 programming-languages  compilers 

Si calcula el área de un rectángulo, simplemente multiplique la altura y el ancho y recupere la unidad al cuadrado. Ejemplo: 5 cm * 10 cm = 50 cm² Por el contrario, si calcula el tamaño de una imagen, también multiplica la altura y el ancho, pero recupera la unidad, …

81 terminology 

Al buscar gráficos, hay dos algoritmos sencillos: primero en amplitud y profundidad-primero (generalmente se realiza mediante la adición de todos los nodos del gráfico adjactent a una cola (en amplitud) o pila (profundidad-primero)). Ahora, ¿hay alguna ventaja de uno sobre otro? Los que se me ocurren: Si espera que sus …

79 algorithms  graph-theory  search-algorithms  graph-traversal 

Aprendimos sobre la clase de idiomas regulares . Se caracteriza por un concepto cualquiera entre expresiones regulares, autómatas finitos y gramáticas lineales izquierdas, por lo que es fácil mostrar que un lenguaje determinado es regular.REGREG\mathrm{REG} Sin embargo, ¿cómo muestro lo contrario? Mi TA ha insistido en que para hacerlo, tendríamos …

76 formal-languages  regular-languages  proof-techniques  reference-question 

Siempre he pensado vagamente que la respuesta a la pregunta anterior fue afirmativa en las siguientes líneas. El teorema de incompletitud de Gödel y la indecidibilidad del problema de detención son resultados negativos sobre la capacidad de decisión y se establecen mediante argumentos diagonales (y en la década de 1930), …

76 computability  logic  halting-problem  incompleteness 

Como parte de una investigación relacionada con blockchain que estoy emprendiendo actualmente, la noción de usar blockchains para una variedad de aplicaciones del mundo real se da a conocer libremente. Por lo tanto, propongo las siguientes preguntas: ¿Qué aplicaciones importantes / cruciales del mundo real usan blockchain? Para agregar a …

75 blockchain 

He estado leyendo sobre el cálculo Lambda recientemente, pero extrañamente no puedo encontrar una explicación de por qué se llama "Lambda" o de dónde proviene la expresión. ¿Alguien puede explicar los orígenes del término?

75 terminology  computation-models  lambda-calculus  history