Ciencias de la Computación

Tomé una clase de algoritmos en Coursera. El profesor en el video sobre tablas hash dijo que Lo cierto es que para los datos no patológicos, obtendrá operaciones de tiempo constante en una tabla hash implementada correctamente. ¿Qué significa "datos no patológicos"? ¿Puedes dar algunos ejemplos?

14 hash-tables 

Supongamos que tengo un buque de superficie autónomo alimentado por energía solar en algún lugar de los fiordos de Noruega, provisto de un conjunto bastante reciente de mapas, un receptor GPS y ningún medio para descifrar comandos detallados de mi parte. Este barco tiene que llegar, digamos, a la isla …

14 artificial-intelligence  search-algorithms 

Dado un alfabeto , ¿cuántos idiomas regulares diferentes puede aceptar un autómata finito no determinista de estados?Σ={a,b}Σ={a,b}\Sigma = \{ a,b \}nnn Como ejemplo, consideremos . Luego tenemos configuraciones de transición diferentes y configuraciones de estado inicial y final diferentes, por lo que tenemos un límite superior de idiomas diferentes. Sin …

14 formal-languages  regular-languages  finite-automata  combinatorics 

Estoy leyendo sobre el algoritmo de mecanografía Hindley-Milner mientras escribo una implementación, y veo que, siempre que todas las variables estén vinculadas, siempre obtendrás tipos atómicos o tipos donde los argumentos determinarán el tipo final, como t1 -> t1o (t1 -> t2) -> (t1 -> t2)donde t1y t2son variables de …

14 lambda-calculus  type-theory  typing  type-inference 

¿Es posible usar un algoritmo de clasificación con una comparación no transitiva, y en caso afirmativo, ¿por qué se enumera la transitividad como un requisito para ordenar comparadores? Antecedentes: Un algoritmo de clasificación generalmente ordena los elementos de una lista de acuerdo con una función de comparación C (x, y), …

14 algorithms  sorting  quicksort  transitivity 

Esto surgió mientras intentaba responder esta pregunta sobre la minimización de la longitud del cableado . Iba a llamar a esto el problema del "matrimonio polígamo", pero Internet, así que gatitos. ¡Hurra! Supongamos que tenemos gatitos que necesitan ser adoptados por N personas, M > N . Para cada gatito, …

14 algorithms  complexity-theory 

Tengo dos grandes conjuntos de enteros y . Cada conjunto tiene aproximadamente un millón de entradas, y cada entrada es un entero positivo que tiene como máximo 10 dígitos de largo. BAAABBB ¿Cuál es el mejor algoritmo para calcular y ? En otras palabras, ¿cómo puedo calcular eficientemente la lista …

14 algorithms  data-structures  sets 

Una familia HHH de funciones hash h : U→ { 0 , ... , M- 1 }h:U→{0 0,...,METRO-1}h: U \rightarrow \{0,\ldots,M-1\} es universal si ∀ x , y∈ U, x ≠ y⇒ Prh ∈ H[ h ( x ) = h ( y) ] ≤ 1METRO∀X,y∈U,X≠y⇒Prh∈H[h(X)=h(y)]≤1METRO\forall x,y \in U, x …

14 data-structures  education  hash-tables  applied-theory 

He estado mirando este sitio y dice que la gente encontró soluciones para recorridos TSP que son solo 0.031% más altos que el recorrido óptimo. Sin encontrar el recorrido óptimo, ¿cómo saben qué longitud se supone que debe ser?

14 complexity-theory  approximation 

Deje un grafo, y dejar que y sea dos vértices de . Podemos degustar una manera eficiente más corto - ruta uniformemente y de forma independiente al azar del conjunto de todos los caminos más cortos entre y ? Por simplicidad, podemos suponer que es simple, no dirigido y no …

14 graph-theory  reference-request  shortest-path  sampling 

¿Qué algoritmo usaría para encontrar la ruta más corta de un gráfico, que está incrustado en un plano euclidiano, de modo que la ruta no contenga ninguna intersección propia (en la incrustación)? Por ejemplo, en el gráfico a continuación, desea pasar de . Normalmente, un algoritmo como el algoritmo de …

14 algorithms  graphs  shortest-path  graph-traversal  weighted-graphs 

¿Alguien puede referirme a trabajos revisados ​​por pares que estudien las ventajas o desventajas de escribir código en un estilo funcional? ¿Existen documentos que analicen las aplicaciones del cálculo Lambda en campos como el aprendizaje automático, el diseño del lenguaje, etc.?

14 reference-request  programming-languages  lambda-calculus  functional-programming 

Me doy cuenta de que los autómatas de pushdown no deterministas pueden ser una mejora sobre los deterministas, ya que pueden "elegir" entre varios estados y hay algunos lenguajes libres de contexto que no pueden ser aceptados por un pushdown determinista. Aún así, no entiendo cómo exactamente "eligen". Para palindormes, …

14 automata  pushdown-automata  nondeterminism 

Problema Dada una máquina de Turing que ha conocido el tiempo de ejecución O ( g ( n ) ) con respecto a la longitud de entrada n , ¿es el tiempo de ejecución de M ∈ O ( f ( n ) ) ?MMMO(g(n))O(g(n)){O}(g(n))nnnM∈O(f(n))M∈O(f(n))M \in {O}(f(n)) Es la decidable …

14 complexity-theory  time-complexity 

Sé que podemos minimizar los DFA al encontrar y fusionar estados equivalentes, pero ¿por qué no podemos hacer lo mismo con los NFA? No estoy buscando una prueba ni nada de eso, a menos que una prueba sea más fácil de entender. Solo quiero entender intuitivamente por qué la minimización …

14 complexity-theory  finite-automata  nondeterminism