Viene desde la perspectiva de big data. Básicamente, muchos frameworks (como Apache Spark) "compensan" la falta de operaciones relacionales al proporcionar interfaces similares a Functor / Monad y hay un movimiento similar hacia las conversiones de gatos a SQL (Slick in Scala). Por ejemplo,...
¿Qué significa cuando decimos que un algoritmo es asintóticamente más eficiente que ?YXXXYYY XXX será una mejor opción para todas las entradas. XXX será una mejor opción para todas las entradas, excepto las entradas pequeñas. XXX será una mejor opción para todas las entradas, excepto las entradas...
Se dice que en el complemento de 2 0 tiene solo un valor, mientras que en el complemento de 1 ambos +0 y -0 tienen valores separados. ¿Qué
Me dieron el siguiente problema en una entrevista (que ya no pude resolver, sin tratar de engañarme): El juego comienza con un número entero positivo . (Por ejemplo, A 0 = 1234. ) Este número se convierte en representación binaria, y N es el número de bits establecido en 1 . (Por ejemplo, A 0 = b...
Soy nuevo en el aprendizaje automático. He leído varios documentos en los que han empleado el aprendizaje profundo para diversas aplicaciones y han usado el término "previo" en la mayoría de los casos de diseño de modelos, digamos anterior en la estimación de la postura del cuerpo humano. ¿Alguien...
¿Qué diferencias hay entre las máquinas de Turing deterministas y no deterministas? Modelos diferentes pero equivalentes de NDTM. En particular, ¿cuál es esta frase de uso frecuente "adivinanza no determinista"? Cómo usarlo correctamente y ejemplos de uso incorrecto. Mi objetivo es crear una...
Estoy estudiando el teorema smn y el concepto me recordó al curry. Del artículo de Wikipedia sobre el teorema smn : El teorema dice que para un lenguaje de programación dado y enteros positivos myn, existe un algoritmo particular que acepta como entrada el código fuente de un programa con m + n...
Estaba leyendo la pregunta ¿ Consistencia e integridad implican solidez? y la primera declaración dice: Entiendo que la solidez implica consistencia. Lo que me intrigó bastante porque pensé que la solidez era una afirmación más débil que la consistencia (es decir, pensé que los sistemas...
Estoy tratando de construir una lista de algoritmos / problemas que son "excepcionalmente útiles", como resolver problemas que 'parecen' muy exponenciales en la naturaleza, pero que tienen un algoritmo particularmente inteligente que finalmente los resuelve. Ejemplos de lo que quiero...
Sé que diferentes autores usan notación diferente para representar la semántica del lenguaje de programación. De hecho, Guy Steele aborda este problema en un video interesante . Me gustaría saber si alguien sabe si el operador principal de torniquetes tiene un significado bien reconocido. Por...
Suponiendo que tenemos un problema pagpp y mostramos que el límite inferior para resolver pagpp es Ω ( 2norte)Ω(2n)\mathcal{\Omega}(2^n) . ¿puede el límite inferior Ω ( 2norte)Ω(2n)\mathcal{\Omega}(2^n) implica el problema en nortePAGNPNP
Dadas dos cadenas S1,S2S1,S2S_1, S_2 , escribimos S1S2S1S2S_1S_2 para su concatenación. Dada una cadena SSS y número entero k≥1k≥1k\geq 1 , escribimos (S)k=SS⋯S(S)k=SS⋯S(S)^k = SS\cdots S para la concatenación de kkk copias de SSS . Ahora dada una cadena, podemos usar esta notación para...
Brainfuck es un lenguaje de programación completo de Turing que usa solo 8 símbolos (6 si ignora las E / S). Los dos más notables que lo empujan a la integridad de Turing son [y ], esencialmente, la etiqueta y el goto de Brainfuck. Normalmente, los programas en Brainfuck usan múltiples conjuntos...
Las definiciones de las máquinas de Turing son siempre explícitas sobre el símbolo en blanco que no forma parte del alfabeto de entrada. Me pregunto qué sale mal cuando lo harías parte del alfabeto de entrada, porque efectivamente el símbolo en blanco ya parece ser parte de la entrada. Para...
Cerrado. Esta pregunta está fuera de tema . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que esté en el tema de Computer Science Stack Exchange. Cerrado hace 10 meses . Python usa muy bien la...
En el wiki de haskell hay el siguiente ejemplo de uso condicional de la mónada IO (ver aquí) . when :: Bool -> IO () -> IO () when condition action world = if condition then action world else ((), world) Tenga en cuenta que en este ejemplo, la definición de IO ase toma RealWorld ->...
Si una función tiene un tipo de retorno de ⊥ ( tipo inferior ), eso significa que nunca regresa. Puede, por ejemplo, salir o lanzar, ambas situaciones bastante comunes. Presumiblemente, si una función tuviera un parámetro de tipo ⊥, nunca podría llamarse (con seguridad). ¿Hay alguna razón para...
Leí acerca de NPC y su relación con PSPACE y deseo saber si los problemas de NPC se pueden resolver de manera determinista utilizando un algoritmo con el requisito de espacio polinomial en el peor de los casos, pero potencialmente tomando tiempo exponencial (2 ^ P (n) donde P es...
Considerando este pseudocódigo de un bubbleort: FOR i := 0 TO arraylength(list) STEP 1 switched := false FOR j := 0 TO arraylength(list)-(i+1) STEP 1 IF list[j] > list[j + 1] THEN switch(list,j,j+1) switched := true ENDIF NEXT IF switched = false THEN break ENDIF NEXT ¿Cuáles...
He observado que hay dos tipos diferentes de estados en la predicción de ramas. En la ejecución superescalar, donde la predicción de ramificación es muy importante, y se debe principalmente a la demora de ejecución en lugar de la demora de recuperación. En la canalización de instrucciones, donde...