Ciencias de la Computación

¿Se utiliza el algoritmo de Dijkstra en los sistemas modernos de búsqueda de rutas, como los mapas de Google o el satélite en su automóvil? Si no, entonces ¿qué es?

10 algorithms  graphs  shortest-path  applied-theory 

Mientras leía un artículo que describía las diferencias en OO y la programación funcional, me encontré con punteros de función. Ha pasado un tiempo desde que completé mi licenciatura en Ciencias de la Computación (2003), así que busqué punteros para refrescar mi memoria. Los punteros son variables que contienen una …

10 terminology  programming-languages 

Estoy tratando de entender cómo se pueden modificar los árboles indexados binarios (árboles fenwick) para manejar tanto las consultas de rango como las actualizaciones de rango. Encontré las siguientes fuentes: http://kartikkukreja.wordpress.com/2013/12/02/range-updates-with-bit-fenwick-tree/ http://programmingcontests.quora.com/Tutorial-Range-Updates-in-Fenwick-Tree http : //apps.topcoder.com/forums/? module = Thread & threadID = 756271 & start = 0 & mc = 4 …

10 data-structures  binary-trees  search-trees 

Estoy estudiando el peor tiempo de ejecución de quicksort con la condición de que nunca haga una partición muy desequilibrada para diferentes definiciones de very . Para hacer esto, me pregunto cuál sería el tiempo de ejecución en el caso de que la clasificación rápida siempre se reparta en alguna …

10 algorithm-analysis  runtime-analysis  recurrence-relation 

La pregunta está más o menos en el título. ¿Hay algún momento en que un lenguaje puede ser aceptado por un DFA mínimo con estados, pero , la reversión de , puede ser aceptado por un DFA con estados, dondeLLLnnnLRLRL^RLLLmmmm&lt;nm&lt;nm<n ?

10 formal-languages  reference-request  automata  finite-automata 

Mi libro de texto dice: "Definimos la función de la siguiente forma: f ( 1 ) = 2 y f ( i + 1 ) = 2 f ( i ) 1.2 . Tenga en cuenta que dado n , podemos encontrar fácilmente en O ( n 1.5 ) tiempo, …

10 complexity-theory  algorithm-analysis  nondeterminism 

Estoy buscando un algoritmo para convertir un dígrafo (gráfico dirigido) en un gráfico no dirigido de manera reversible, es decir, el dígrafo debe ser reconstruible si se nos da el gráfico no dirigido. Entiendo que esto vendrá a expensas del gráfico no dirigido que tiene más vértices, pero no me …

10 algorithms  graph-theory  graphs 

Soy estudiante de informática. Quiero crear mi propio lenguaje de programación (un lenguaje básico con pocas instrucciones). Sé cómo hacer un analizador sintáctico, ya lo hice en Perl. En un artículo, leí algo sobre el compilador, un compilador se hace en sí mismo. Por ejemplo, el compilador de C está …

10 programming-languages  compilers 

Estoy trabajando en un editor de diagramas. Los diagramas muestran formas 2D ( nodos ) conectadas con conectores ( bordes ). Me gustaría agregar una operación que, dada una selección de nodos, los "desenrede" : los reposiciona para reducir el número de bordes cruzados, si es posible (y está bien …

10 algorithms  graph-theory  graph-algorithms  crossing-number 

Antecedentes Estoy aprendiendo asistencia, Coq, por mi cuenta. Hasta ahora, he terminado de leer Coq de Yves Bertot a toda prisa . Ahora, mi objetivo es probar algunos resultados básicos con respecto a los números naturales, que culminan con el llamado algoritmo de división. Sin embargo, he encontrado algunos contratiempos …

10 automated-theorem-proving  proof-assistants  mathematical-programming  coq 

Me resulta difícil diferenciar claramente entre multiprogramación y multitarea. Mi fuente principal ha sido Wikipedia , pero el artículo de WP parece estar un poco en desacuerdo con algunas fuentes menos confiables (como mi profesor universitario). Mientras leo WP, la multiprogramación es una forma rudimentaria de aumentar el rendimiento de …

10 terminology  process-scheduling 

Desde el punto de vista del comportamiento asintótico, ¿qué se considera un algoritmo "eficiente"? ¿Cuál es el estándar / razón para dibujar la línea en ese punto? Personalmente, pensaría que cualquier cosa que sea ingenuamente llamaría "subpolinomio", de modo que como sería eficiente y cualquier cosa que sea sería "ineficiente". …

10 algorithms  terminology  asymptotics  landau-notation 

Esta página sobre el algoritmo de Knuth-Moriss-Pratt en comparación con Boyer-Moore describe un posible caso en el que el algoritmo de Boyer-Moore sufre una pequeña distancia de salto mientras que KMP podría funcionar mejor. Estoy buscando un buen ejemplo (texto, patrón) que pueda demostrar claramente este caso.

10 algorithms  substrings  matching 

Hay una variedad vertiginosa de símbolos que a veces se utilizan en documentos de matemáticas y CS. Sin embargo, muchos suponen una familiaridad básica que parece raramente enseñada en un solo lugar. Estoy buscando un diccionario similar al siguiente, especialmente desde una perspectiva CS. Enumeraría todos los símbolos matemáticos básicos …

10 terminology  reference-request  education 

En mi clase de Java, estamos aprendiendo sobre la complejidad de diferentes tipos de colecciones. Pronto hablaremos de árboles binarios, sobre los que he estado leyendo. El libro establece que la altura mínima de un árbol binario es , pero no ofrece más explicaciones.Iniciar sesión2( n + 1 ) - …

10 data-structures  binary-trees  discrete-mathematics  trees