Ciencias de la Computación

Todo el mundo sabe que la velocidad informática ha aumentado drásticamente desde su invención, y parece que continuará. Pero una cosa me desconcierta: si hiciera pasar una corriente eléctrica a través de un material hoy, viajaría a la misma velocidad que si lo hiciera con el mismo material hace 50 …

48 computer-architecture 

Existen muchos métodos para demostrar que un idioma no es regular , pero ¿qué debo hacer para demostrar que un idioma es regular? Por ejemplo, si me dicen que LLL es regular, ¿cómo puedo probar que la siguiente L′L′L' es regular? L′: = { w ∈ L : u v …

48 formal-languages  regular-languages  automata  proof-techniques  reference-question 

Estoy leyendo un libro llamado Principios de informática (2008), de Carl Reynolds y Paul Tymann (publicado por Schaum's Outlines). El segundo capítulo presenta algoritmos con un ejemplo de búsqueda secuencial que simplemente itera a través de una lista de nombres y devuelve VERDADERO si se encuentra un nombre en la …

47 algorithms  algorithm-analysis  landau-notation  notation 

Por lo que he encontrado, una muy gran cantidad de protocolos que los viajes en internet son "basado en texto," en lugar de binario. Los protocolos en cuestión incluyen, entre otros, HTTP, SMTP, FTP (¿creo que este está basado en texto?), WHOIS, IRC. De hecho, algunos de estos protocolos saltan …

47 computer-networks  communication-protocols  protocols 

Disculpas de antemano por la ingenuidad de esta pregunta. Soy un artista de 50 años que intenta comprender correctamente las computadoras por primera vez. Entonces aquí va. He estado tratando de entender cómo un compilador maneja los tipos de datos y las variables (en un sentido muy general, sé que …

47 programming-languages  memory-allocation 

Parece que donde quiera que mire, las estructuras de datos se están implementando utilizando árboles rojo-negros ( std::seten C ++, SortedDictionaryen C #, etc.) Después de haber cubierto los árboles (a, b), rojo-negro y AVL en mi clase de algoritmos, esto es lo que obtuve (también de preguntar a los …

46 data-structures  search-trees  applied-theory  dictionaries  balanced-search-trees 

Hay muchas estructuras de datos que implementan la interfaz de cola de prioridad: Insertar: inserta un elemento en la estructura Get-Min: devuelve el elemento más pequeño en la estructura Extract-Min: elimina el elemento más pequeño de la estructura Las estructuras de datos comunes que implementan esta interfaz son montones (min) …

46 data-structures  amortized-analysis  priority-queues 

¿Cuál es la diferencia entre el algoritmo de árbol de expansión mínimo y un algoritmo de ruta más corta? En mi clase de estructuras de datos cubrimos dos algoritmos de árbol de expansión mínimo (Prim y Kruskal) y un algoritmo de ruta más corta (Dijkstra). El árbol de expansión mínimo …

45 algorithms  shortest-path  spanning-trees 

Al considerar cuán amigable debe ser nuestro programa con múltiples subprocesos, mi equipo se preguntó si hay algo que no se pueda hacer en una CPU de un solo núcleo. Postulé que el procesamiento de gráficos requiere un procesamiento paralelo masivo, pero argumentan que cosas como DOOM se hicieron en …

45 computation-models  cpu  multi-tasking 

Mientras se discuten algunos temas de nivel de introducción hoy, incluido el uso de algoritmos genéticos; Me dijeron que la investigación realmente se ha ralentizado en este campo. La razón dada fue que la mayoría de las personas se están centrando en el aprendizaje automático y la minería de datos. …

45 machine-learning  data-mining  evolutionary-computing  history 

Para encontrar la mediana de una matriz no ordenada, podemos hacer un montón mínimo en tiempo para elementos, y luego podemos extraer uno por uno elementos para obtener la mediana. Pero este enfoque llevaría tiempo .O ( n logn )O(norteIniciar sesión⁡norte)O(n\log n)nortenortenn / 2norte/ /2n/2O ( n logn )O(norteIniciar sesión⁡norte)O(n …

45 algorithms  time-complexity 

La coincidencia de patrones de alto orden es un problema indecidible. Eso significa que no existe un algoritmo que, dada una ecuación a => b, donde ay bson términos abiertos en el cálculo lambda simplemente tipeado, encuentre una sustitución Stal que aS => bS, donde =>significa "tiene la misma forma …

45 computability 

En la página de Wikipedia para Fixed Point Combinators está escrito el texto bastante misterioso. El combinador Y es un ejemplo de lo que hace que el cálculo Lambda sea inconsistente. Por lo tanto, debe considerarse con sospecha. Sin embargo, es seguro considerar el combinador Y cuando se define solo …

44 lambda-calculus  combinatory-logic 

Esta es una pregunta básica, pero estoy pensando que es lo mismo que , ya que el término más grande debería dominar a medida que avanzamos hasta el infinito. Además, eso sería diferente de O (\ min (m, n)) . ¿Está bien? Sigo viendo esta notación, especialmente cuando discuto algoritmos …

44 terminology  asymptotics  mathematical-analysis  landau-notation 

Existe este algoritmo estándar para encontrar la ruta más larga en árboles no dirigidos utilizando dos búsquedas de profundidad: Inicie DFS desde un vértice aleatorio y encuentre el vértice más alejado de él; di que es v ′ .vvvv′v′v' Ahora comience un DFS desde para encontrar el vértice más alejado …

44 algorithms  graphs  trees