Ciencias de la Computación

Supongamos que tenemos un conjunto y cada miembro de D es un par de datos y claves. Queremos una estructura de datos que soporte las siguientes operaciones:DreDDreD Inserte en D ,(d,k)(re,k)(d,k)DreD Eliminar miembro , (no es necesario buscar para encontrar e , por ejemplo, e apunta a un miembro en …

14 algorithms  data-structures  abstract-data-types 

Trato de enseñarme el uso del bisonte. La página de manual bison (1) dice acerca de bison: Genere un analizador determinista LR o generalizado LR (GLR) empleando tablas LALR (1), IELR (1) o analizador canónico LR (1). ¿Qué es un analizador IELR? Todos los artículos relevantes que encontré en la …

14 formal-languages  terminology  formal-grammars  parsers 

Tengo varias preguntas relacionadas sobre estos dos temas. En primer lugar, la mayoría de los textos de complejidad sólo pasan por alto la clase NCNC\mathbb{NC} . ¿Existe un buen recurso que cubra la investigación más en profundidad? Por ejemplo, algo que discute todas mis preguntas a continuación. Además, supongo que …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Una aplicación clásica de divide y vencerás es resolver el siguiente problema: Dada una matriz de elementos distintos y comparables, cuente el número de pares de inversión en la matriz: pares modo que e .( i , j ) a [ i ] > a [ j ] i < …

14 algorithms  reference-request  arrays 

En esta pregunta sobre el recuento de inversiones , encontré un documento que demuestra un límite inferior en la complejidad del espacio para todos los algoritmos de transmisión (exactos) . He afirmado que este límite se extiende a todos los algoritmos de tiempo lineal. Esto es un poco audaz ya …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Según el artículo de Wikipedia , la L en significa "exploración de izquierda a derecha", y la "R" significa "derivación más a la derecha". Sin embargo, en el artículo original de Knuth sobre las gramáticas L R ( k ) , define L R ( k ) (en la página …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Me pregunto ¿cómo es que el siguiente lenguaje está en .RR\mathrm R LMETRO1= { ⟨ M2⟩∣∣METRO2 es una TM, y L ( M1) = L ( M2) , Y | ⟨ M1⟩ | > | ⟨ M2⟩ | }LMETRO1={⟨METRO2⟩El |METRO2 es un TM, y L(METRO1)=L(METRO2), y El |⟨METRO1⟩El |>El |⟨METRO2⟩El …

14 computability  undecidability 

Tengo estas preguntas de un antiguo examen que estoy tratando de resolver. Para cada problema, la entrada es una codificación de una máquina de Turing MMM . Para un entero c>1c>1c>1 , y los siguientes tres problemas: ¿Es cierto que para cada entrada xxx , M no pasa el |x|+c|x|+c|x|+c …

14 computability  turing-machines  undecidability 

Dada una matriz de enteros, cada elemento en la matriz se puede aumentar en un número fijo con alguna probabilidad , . Tengo que encontrar la cantidad esperada de intercambios que se realizarán para ordenar la matriz usando el ordenamiento de burbujas .N b p [ i ] 0 ≤ …

14 algorithms  algorithm-analysis  sorting  average-case 

Si un gráfico está conectado y no tiene una ruta con una longitud mayor que , demuestre que cada dos rutas en de longitud tienen al menos un vértice en común. GGGkkkGGGkkk Creo que ese vértice común debería estar en el medio de ambos caminos. Porque si este no es …

14 graph-theory  graphs  combinatorics 

Aquí hay un problema bien conocido. Dada una matriz de enteros positivos, genera el entero positivo más pequeño que no esté en la matriz.A[1…n]A[1…n]A[1\dots n] El problema se puede resolver en el espacio y el tiempo : lea la matriz, realice un seguimiento en el espacio O ( n ) …

14 complexity-theory  time-complexity  space-complexity 

Dado que la programación lineal entera es NP-completa, hay una reducción de Karp de cualquier problema en NP. Pensé que esto implicaba que siempre hay una formulación de ILP de tamaño polinómico para cualquier problema en NP. Pero he visto documentos sobre problemas específicos de NP en los que la …

14 complexity-theory  np-complete  reductions  linear-programming 

Intento resolver el siguiente problema de cobertura. Hay transmisores con un área de cobertura de 1 km receptores. Decida en que todos los receptores están cubiertos por cualquier transmisor. Todos los reverentes y transmisores están representados por sus coordenadas e .nortenortenO ( n log n ) x ynortenortenO ( n …

14 algorithms  computational-geometry  search-problem 

La mayoría de los tutoriales sobre el cálculo de Lambda proporcionan un ejemplo en el que los enteros positivos y los booleanos pueden representarse mediante funciones. ¿Qué pasa con -1 y yo?

14 data-structures  lambda-calculus  integers  real-numbers 

Recibimos una secuencia de pares diferentes números del conjunto { 1 , ... , n } .n - 1norte-1n-1{ 1 , ... , n }{1,...,norte}\left\{1,\dots,n\right\} ¿Cómo puedo determinar el número faltante con un algoritmo que lee la secuencia una vez y usa una memoria de solo bits?O ( log2n )O(Iniciar …

14 algorithms  integers  online-algorithms