Ciencias de la Computación

Estoy buscando una estructura de datos que admita búsquedas aproximadas eficientes de claves (por ejemplo, distancia de Levenshtein para cadenas), devolviendo la coincidencia más cercana posible para la clave de entrada. La estructura de datos más adecuada que he encontrado hasta ahora son los árboles de Burkhard-Keller , pero me …

25 data-structures  strings  efficiency 

No entiendo bien por qué la rotación en la estructura de datos del árbol de separación está teniendo en cuenta no solo al padre del nodo de calificación, sino también al abuelo (operación zig-zag y zig-zig). ¿Por qué no funcionaría lo siguiente? A medida que insertamos, por ejemplo, un nuevo …

25 algorithms  data-structures  binary-trees  search-trees 

Aquí hay una pregunta de un examen anterior que estoy tratando de resolver: Para un gráfico no dirigido con pesos positivos , estoy tratando de encontrar el corte mínimo. No conozco otras formas de hacerlo además de usar el teorema de corte mínimo de flujo máximo. Pero el gráfico no …

25 algorithms  graph-theory 

Aquí hay una conjetura para expresiones regulares: Para la expresión regular , deje que la longitudser el número de símbolos que contiene, ignorando paréntesis y operadores. Ej.| R | El | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2RRR|R||R||R||0∪1|=|(0∪1)∗|=2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 …

25 formal-languages  regular-languages  regular-expressions 

Me pregunto si hay experimentos que muestren la existencia o la inexistencia de una correlación entre el uso de un lenguaje dinámico (como Python, Ruby o incluso lenguajes que se ejecutan en la plataforma Java como Groovy, Clojure) en un lenguaje estático (como C / C ++), y la diferencia …

25 programming-languages  empirical-research  software-engineering 

Mi problema es cómo puedo probar que una gramática no es ambigua. Tengo la siguiente gramática: S→ s t a t e m e n t ∣ si e x p r e s s i o n entonces S∣ si e x p r e s s i o …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Claramente no hay ningún problema indecidible en NP. Sin embargo, según Wikipedia : NP es el conjunto de todos los problemas de decisión para los cuales las instancias donde la respuesta es "sí" tienen [... pruebas que son] verificables en tiempo polinómico por una máquina de Turing determinista. [...] Se …

25 complexity-theory  computability  undecidability  decision-problem 

Tienes una moneda Puedes voltearlo tantas veces como quieras. Desea generar un número aleatorio tal que donde .rrra≤r&lt;ba≤r&lt;ba \leq r < br,a,b∈Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ La distribución de los números debe ser uniforme. Es fácil si :b−a=2nb−a=2nb -a = 2^n r = a + binary2dec(flip n times write 0 for heads and …

25 algorithms  probability-theory  randomness  random-number-generator 

Uno de los hiperparámetros para las redes LSTM es la temperatura. ¿Qué es?

25 machine-learning  neural-networks 

Si alguien construyera una computadora cuántica universal, ¿tendría alguna implicación en el problema de P vs. NP?

25 complexity-theory  complexity-classes  quantum-computing 

Suponiendo que P NP, los problemas de NP completo son "difíciles de resolver, pero tienen respuestas que son fáciles de verificar". ¿Tiene algún sentido considerar lo contrario, es decir, problemas para los cuales es fácil calcular una respuesta correcta, pero difícil de verificar una supuesta solución arbitraria?≠≠\neq Creo que tal …

25 complexity-theory 

¿Hay algún algoritmo que sea muy difícil de paralelizar o la investigación aún está activa? Quería saber sobre cualquier algoritmo o cualquier campo de investigación en computación paralela. Todo lo que busqué tiene una implementación "paralela". Solo quiero estudiar un poco sobre cualquier campo de computación paralela inexplorado.

24 algorithms  parallel-computing 

Intenté algunos casos y descubrí que dos árboles de expansión de un gráfico simple tienen algunos bordes comunes. Quiero decir que no pude encontrar ningún contraejemplo hasta ahora. Pero tampoco pude probar o refutar esto. ¿Cómo probar o refutar esta conjetura?

24 graphs  graph-theory  spanning-trees 

¿Todos los generadores de números pseudoaleatorios son en última instancia periódicos? ¿O son periódicas al final? Por periódico quiero decir que, al igual que los números racionales, al final generan una subsecuencia periódica ... Y seudoaleatorio significa generación algorítmica / matemática de números aleatorios ...

24 randomness  pseudo-random-generators 

Si tengo alguna función por su complejidad, el tiempo es O ( mn ), donde m y n son los tamaños de sus dos entradas, tendría que llamar a su complejidad tiempo "lineal" (ya que es lineal en ambos m y n ) o "cuadrática" ( ya que es un …

24 terminology  asymptotics  landau-notation