Ciencias de la Computación

¿Cómo puedo construir un ejemplo de un DFA que tiene estados donde el NFA equivalente tiene estados? Obviamente, el conjunto de estados del DFA debe contener todos los subconjuntos del conjunto de estados del NFA, pero no sé cómo comenzar. ¿Alguna sugerencia para ponerme en el camino correcto? n2n2n2^nnnn

10 automata  finite-automata 

He estado estudiando el coeficiente de correlación de rango de Spearman .ρ = ∑yo( xyo- x¯) ( yyo- y¯)∑yo( xyo- x¯)2∑yo( yyo- y¯)2-------------------√ρ=∑i(xi−x¯)(yi−y¯)∑i(xi−x¯)2∑i(yi−y¯)2\qquad \displaystyle \rho = \frac{\sum_i(x_i-\bar{x})(y_i-\bar{y})}{\sqrt{\sum_i (x_i-\bar{x})^2 \sum_i(y_i-\bar{y})^2}} para dos listas e y 1 , ... , y n . ¿Cuál es la complejidad del algoritmo?X1, ... , xnortex1,…,xnx_1, …

10 complexity-theory  time-complexity  space-complexity 

¿Es con acceso oráculo a N P más grande que solo N P ? Según tengo entendido N P N P es sólo una máquina de Turing que se pueden realizar consultas a otro N P máquina si por lo que N P puede simular N P N P ? …

10 complexity-theory 

Para un gráfico plano dado incrustado en el plano, definido por un conjunto de segmentos de línea , cada segmento está representado por sus puntos finales . Construya una estructura de datos DCEL para la subdivisión plana, describa un algoritmo, pruebe que es correcto y muestre la complejidad.G ( V, …

10 algorithms  data-structures  computational-geometry  doubly-connected-edge-list 

¿Hay alguna manera de estimar cuántos datos se agregan a la red mundial cada segundo? ¿Hay algún estudio sobre esto?

10 computer-networks 

La desfuncionalización es una transformación descrita por primera vez en 1972 por John C. Reynolds para eliminar las funciones de orden superior. ¿Hay transformaciones alternativas (¿más eficientes?) Para eliminar las funciones de orden superior?

10 programming-languages  functional-programming 

Hace poco me enteré de la estructura de datos del árbol de rosas, pero simplemente saliendo de una datadefinición de Haskell y la pequeña descripción de Wikipedia , tengo algunos problemas para entender qué aplicaciones podría tener un árbol de rosas. Como referencia, la datadefinición de Haskell : data RoseTree …

10 trees 

Estaba investigando programación dinámica y leí lo siguiente: A menudo, cuando se utiliza un método más ingenuo, muchos de los subproblemas se generan y resuelven muchas veces. ¿Qué es un método ingenuo?

10 terminology  dynamic-programming 

En el análisis de algoritmos, asumimos una máquina de acceso aleatorio (RAM) genérica de un procesador. Hasta donde yo sé, la máquina RAM no es más eficiente que la máquina Turing. Todos los algoritmos se pueden implementar en la máquina Turing. Entonces mis preguntas son: Si la máquina de Turing …

10 turing-machines  computation-models 

Muchos sitios ofrecen a los operadores de Sobel la máscara de convolución para suavizar una imagen. Sin embargo, no he encontrado un solo sitio que describa cómo puede derivar los operadores de las primeras derivadas parciales. Si alguien puede explicar la derivación, lo agradecería mucho.

10 image-processing  computer-vision 

Dado un gráfico acíclico dirigido , un vértice es una fuente si su grado es cero, lo que significa que solo tiene arcos salientes.D = ( V, A )re=(V,UNA)D = (V,A)v ∈ Vv∈Vv \in V ¿Existe un algoritmo de tiempo lineal para encontrar una fuente en un gráfico acíclico dirigido …

10 algorithms  graph-theory 

En este sitio hay muchas variantes sobre la cuestión de si las TM pueden decidir el problema de detención, ya sea para todas las otras TM o ciertos subconjuntos. Esta pregunta es algo diferente. Pregunta si el problema de detención se aplica a todas las TM puede ser decidido por …

9 computability  turing-machines  undecidability  halting-problem 

Coq incluye expresiones let en su lenguaje principal. Podemos traducir expresiones let a aplicaciones como esta: let x : t = v in b ~> (\(x:t). b) v entiendo que esto no siempre funciona porque el valor vno estaría disponible cuando se verifica la escritura b. Sin embargo, esto se …

9 type-theory  dependent-types  type-checking  coq 

A menudo se dice (por ejemplo, en Wikipedia ) que el tiempo de ejecución de la búsqueda de amplitud primero (BFS) en un gráfico G = ( V, E)G=(V,E)G=(V,E) es O ( | VEl | + | miEl | )O(|V|+|E|)O(|V|+|E|) . Sin embargo, cualquier gráfico conectado tiene El | VEl …

9 algorithm-analysis  search-algorithms 

Estoy trabajando en el Libro Sipser (2ª edición) y encontré este ejemplo, que no entiendo. En el libro dice que este NFA acepta la cadena vacía, ϵϵ\epsilon . ¿Podría alguien explicarme por qué este es el caso? Tengo entendido que ϵϵ\epsilon se moverá a q3q3q_3 que no es un estado …

9 regular-languages  finite-automata  nondeterminism