¿Es cierto que la coherencia secuencial es una propiedad más fuerte que la coherencia de caché? De acuerdo a Sorin, Daniel J; Hill, Mark D; Wood, David A: Introducción a la coherencia de la memoria y la coherencia de caché , Morgan y Claypool, 2011 la consistencia secuencial se puede...
Esta pregunta trata sobre un enfoque para los oponentes informáticos que he creado y que actualmente se está utilizando o se planea utilizar en varios juegos de computadora. Antecedentes El año pasado, cuando traté de mejorar a un oponente de la computadora para un juego llamado "Buscaminas"...
Al desarrollar algoritmos en computación cuántica, noté que hay dos modelos principales en los que se hace esto. Algunos algoritmos - como para el problema del árbol de Hamilton NAND (Farhi, Goldstone, Guttman) - trabajo mediante el diseño de un hamiltoniano y un estado inicial y, a continuación,...
El combinador Y tiene el tipo . Según la correspondencia de Curry-Howard, debido a que el tipo ( a → a ) → a está habitado, debe corresponder a un verdadero teorema. Sin embargo, a → a siempre es cierto, por lo que parece que el tipo del combinador Y corresponde al teorema a , que no siempre es...
Sabemos que calcular un flujo máximo resp. un corte mínimo de una red con capacidades es equivalente; cf. el teorema de corte mínimo y flujo máximo . Tenemos algoritmos (más o menos eficientes) para calcular los flujos máximos, y calcular un corte mínimo dado un flujo máximo tampoco es difícil ni...
Usted y un amigo se perdieron en la línea en un concierto, y ninguno de los dos está seguro de cuál de ustedes está más adelante. Formalmente, cada uno está en alguna coordenada entera y solo puede caminar hacia una coordenada más alta o permanecer en su lugar. Suponiendo que usted y su amigo...
El teorema de Galois dice efectivamente que no se pueden expresar las raíces de un polinomio de grado> = 5 usando funciones racionales de coeficientes y radicales. ¿No se puede leer que esto dice que dado un polinomio no hay un algoritmo determinista para encontrar las raíces? Ahora considere...
El problema de si dos autómatas pushdown reconocen el mismo idioma es indecidible. El problema de si un autómata pushdown reconoce el idioma vacío es decidible, por lo tanto, también es decidible si reconoce un idioma finito determinado. No se puede determinar si el lenguaje aceptado por un...
No existe una solución analítica general para el problema del cuerpo n que pueda producir una función analítica que pueda usarse para proporcionar el estado de un sistema n-cuerpo en un tiempo arbitrario t con precisión exacta. Sin embargo, hay algunos casos especiales de sistemas de n cuerpos para...
Dados los idiomas AAA y BBB , digamos que su concatenación ABABAB es inequívoca si para todas las palabras w∈ABw∈ABw \in AB , hay exactamente una descomposición w=abw=abw = ab con a∈Aa∈Aa \in A y b∈Bb∈Bb \in B , y de lo contrario es ambigua . (No sé si hay un término establecido para esta...
Aparentemente, los ataques ReDos explotan las características de algunas expresiones regulares (de otro modo útiles) ... esencialmente causando una explosión de posibles caminos a través del gráfico definido por la NFA. ¿Es posible evitar tales problemas escribiendo una expresión regular 'no...
Hice esta pregunta en StackOverflow , pero creo que este es un lugar más apropiado. Este es un problema del curso de Introducción al algoritmo : Tiene una matriz con enteros positivos (la matriz no necesita ser ordenada o los elementos únicos). Sugiera un algoritmo para encontrar la mayor suma...
Esta es una pregunta suave. No sé mucho acerca de la criptografía o su historia, pero parece que un uso común para RSA es hacer un intercambio de claves encriptando una clave simétrica para enviar un mensaje más largo (por ejemplo, la descripción de iMessage aquí ). ¿No es esto exactamente para lo...
De acuerdo con este artículo, la siguiente línea de código Lisp imprime "Hola mundo" a la salida estándar. (format t "hello, world") Lisp, que es un lenguaje homoicónico , puede tratar el código como datos de esta manera: Ahora imagine que escribimos la siguiente macro: (defmacro backwards...
De acuerdo con la página de Wikipedia sobre asignación única estática (SSA) , SSA es utilizada por proyectos grandes y conocidos como LLVM, GCC, MSVC, Mono, Dalvik, SpiderMonkey y V8, mientras que la página de proyectos utiliza un estilo de paso continuo. (CPS) es un poco deficiente en...
El algoritmo de ordenación rápida se puede dividir en los siguientes pasos Identificar pivote. Particionar la lista vinculada basada en pivote. Divida la lista vinculada recursivamente en 2 partes. Ahora, si siempre elijo el último elemento como pivote, identificar el elemento pivote (1er paso)...
Al colocar objetos geométricos en un quadtree (u octree), puede colocar objetos que son más grandes que un solo nodo de varias maneras: Colocando la referencia del objeto en cada hoja para la que está contenido Colocar la referencia del objeto en el nodo más profundo para el que está...
¿Hay alguna evidencia que sugiera que el tiempo dedicado a escribir o pensar en los requisitos tendrá algún efecto en el tiempo de desarrollo? El estudio realizado por Standish (1995) sugiere que los requisitos incompletos contribuyeron parcialmente (13.1%) al fracaso de los proyectos. ¿Se han...
Dado un lenguaje , defina el conjunto de longitud de L como el conjunto de longitudes de palabras en L : L S ( L ) = { | u | ∣ u ∈ L }LLLLLLLLLLS(L)={|u|∣u∈L}LS(L)={|u|∣u∈L}\mathrm{LS}(L) = \{|u| \mid u \in L \} ¿Qué conjuntos de enteros pueden ser el conjunto de longitud de un lenguaje...
Es discutible que la mayoría de los lenguajes creados para describir problemas cotidianos sean sensibles al contexto. Por otro lado, es posible y no difícil encontrar algunos lenguajes que no sean recursivos o incluso no recursivamente enumerables. Entre estos dos tipos se encuentran los lenguajes...