Ciencias de la Computación

¿Es posible minimizar los autómatas pushdown? Si no, ¿por qué? ¿Es porque para minimizar las clases de equivalencia deben tener un índice finito y no podemos garantizarlo para CFG?

8 computability  automata  pushdown-automata 

Estoy tratando de vincular circuitos lógicos combinacionales (computadoras basadas solo en puertas lógicas) con todo lo que aprendí recientemente en Teoría de la Computación. Me preguntaba si los circuitos lógicos combinacionales pueden implementar cálculos de la misma manera que las máquinas de estados finitos. Parecen radicalmente diferentes: Las máquinas de …

8 complexity-theory  turing-machines  computation-models  circuits 

Quiero demostrar que la complejidad temporal de un algoritmo es poliglogarítmica en la escala de entrada. La relación de recurrencia de este algoritmo es , donde .T(2n)≤T(n)+T(na)T(2n)≤T(n)+T(na)T(2n) \leq T(n) + T(n^a)a∈(0,1)a∈(0,1)a\in(0,1) Parece que para algunos depende de . Pero no puedo probar esta desigualdad. ¿Cómo resolver esta relación de recurrencia?T(n)≤logβnT(n)≤logβ⁡nT(n) …

8 asymptotics  recurrence-relation 

Tengo un gráfico y necesito encontrar un árbol de expansión mínimo para un gráfico dado. ¿Qué se debe hacer para que la salida obtenida sea un árbol binario?

8 graph-theory  binary-trees  spanning-trees  minimum-spanning-tree 

Se ha investigado bastante sobre algoritmos de exclusión mutua; por ejemplo, gran parte se presenta en libros de texto clásicos como The Art of Multiprocessor Programming , donde se dedica un capítulo completo a ellos. Me pregunto cuáles son las situaciones prácticas en las que uno podría necesitar estos algoritmos …

8 reference-request  concurrency  mutual-exclusion 

Queremos un algoritmo que, dada una matriz de longitud nnn de enteros, encuentre la diferencia mínima entre dos enteros en la matriz. Uno de estos algoritmos es ordenar la matriz y verificar pares de números adyacentes. Esto lleva tiempoO(nlogn)O(nlog⁡n)O(n\log n). ¿Hay una forma más rápida, por ejemplo, un O(n)O(n)O(n) ¿algoritmo?

8 algorithms  arrays 

\def\R{\mathbb{R}}\def\Z{\mathbb{Z}}\def\n#1{\|#1\|_\infty} El problema proviene directamente de las matemáticas computacionales y puede ser declarado de la siguiente manera: Dada una matriz regular , encuentre efectivamente todos los vectores modo que , donde \ n {Mv} sea ​​el componente máximo de vector en móduloMETRO∈Rre× dMETRO∈Rre×reM\in\R^{d\times d}v ∈Zrev∈Zrev\in\Z^d∥ Mv∥∞≤ 1‖METROv‖∞≤1\n{Mv}\leq1∥ Mv∥∞‖METROv‖∞\n{Mv} A continuación …

8 algorithms  linear-algebra  enumeration 

La clase de Nick (NC) es la clase de problemas que se pueden decidir en el tiempo de poli-log utilizando un número polinómico de procesadores. Quiero saber sobre el análogo exponencial, que cubriría los problemas que se pueden decidir en el tiempo polinómico usando un número exponencial de procesadores. Lo …

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

Según este gráfico , los DCFL se cierran por reversión. Sin embargo, no estoy convencido de que la prueba intuitiva (que invierte las flechas de la máquina de estados finitos de control y cambie los empujes y estallidos) para esto parece depender del no determinismo en la elección de la …

8 formal-languages  context-free  closure-properties  pushdown-automata  nondeterminism 

Pregunta: Dado un bits número natural , cómo calcular utilizando sólo adiciones y cambios (BIT)?nnnNNN⌈N−−√⌉⌈N⌉\lceil \sqrt{N} \rceilO(n)O(n)O(n) El consejo es utilizar la búsqueda binaria. Sin embargo, no pude lograr la complejidad requerida (obtuve ).O(n2)O(n2)O(n^2) ¿Qué quiere decir con using only $O(n)$ (bit) additions and shifts: Este es un ejercicio en …

8 algorithms  arithmetic  binary-search 

¿Cómo se realiza la reproducción de video en una computadora? Obviamente, no se basa únicamente en la CPU, ya que la reproducción de video continúa cuando un usuario realiza otra actividad, como escribir en un campo de comentarios de YouTube. Esta tarea parece aún más complicada en el caso de …

8 computer-architecture  video 

Con los métodos convencionales de resolución de colisiones, como el encadenamiento separado y el sondeo lineal / cuadrático, la secuencia de la sonda para una clave puede ser arbitrariamente larga: simplemente se mantiene corta con alta probabilidad manteniendo el factor de carga de la tabla bajo. Las colisiones durante la …

8 data-structures  hash  hash-tables 

Quiero comprimir el tamaño del archivo haciendo mi propio sistema de numeración, que es un número basado en 80, ¿realmente quiero saber si esto es posible? Aprendí que el hexadecimal usa símbolos como A, B, C, D, E, F para representar 10,11,12,13,14,15, y eso es lo que quiero hacer con …

8 data-compression  number-formats 

Dejar METROMETROM ser un NFA acíclico. Ya que METROMETROM es acíclico L ( M)L(METRO)L(M) es finito Podemos calcular El | L(M) |El |L(METRO)El ||L(M)| en tiempo polinomial? Si no, ¿podemos aproximarlo? Tenga en cuenta que el número de palabras no es el mismo que el número de rutas de aceptación …

8 formal-languages  automata  finite-automata  nondeterminism  counting 

Como entrada tengo dos conjuntos de puntos en R N , típicamente para N grande, por ejemplo N = 40. Supongamos que ambos conjuntos tienen m elementos: S = s 1 ... s m T = t 1 ... t m Semánticamente ambos conjuntos son iguales, pero debido al ruido …

8 algorithms  optimization