Pensé que esta pregunta se sirve mejor en la parte CS de Stack Exchange. Ahora que tenemos GPGPU con lenguajes como CUDA y OpenCL, ¿las extensiones multimedia SIMD (SSE / AVX / NEON) todavía tienen un propósito? Hace poco leí un artículo sobre cómo se podrían usar las instrucciones SSE para...
Nuestras computadoras actuales usan bits, por lo que usan el sistema de numeración binaria. Pero escuché que las futuras computadoras cuánticas usarán qubits en lugar de simples bits. Como en la palabra "qubit" está la palabra "bi", primero pensé que esto significaba que las computadoras cuánticas...
Cuando ocurre una interrupción, el procesador se adelanta al proceso actual y llama al código del núcleo para manejar la interrupción. ¿Cómo sabe el procesador dónde ingresar el núcleo? Entiendo que hay controladores de interrupciones que se pueden instalar para cada línea de interrupción. Pero...
Algunos hipervisores optimizan el uso de la memoria usando un método que se llama globo (al menos así lo llama KVM), este método deduplica la memoria entre máquinas virtuales y establece páginas comunes para solo lectura con copia en escritura. Esto es más o menos lo contrario de una llamada...
Estaba jugando el otro día en este sitio web: http://regexcrossword.com/ y me pregunté cuál era la mejor manera de resolverlo. ¿Puedes resolver el siguiente problema en tiempo polinómico o es NP-hard? Dada una cuadrícula NxM con N expresiones regulares para las columnas y M para las filas,...
Todavía estoy un poco confundido con los términos "longitud de entrada" y "tamaño de entrada" cuando se usan para analizar y describir el límite superior asintomático de un algoritmo Parece que la longitud de entrada para el algoritmo depende mucho del tipo de datos y del algoritmo del que está...
La página del problema de isomorfismo gráfico de Wikipedia parece indicar que, no, no se ha resuelto. Sin embargo, un amigo mío señaló un Algoritmo de tiempo polinómico para el isomorfismo gráfico . No soy lo suficientemente sofisticado como para seguir el razonamiento en el documento. Tengo mi...
Descubrí que si no entiendo la etimología detrás de un término cs / programación, generalmente significa que he perdido o malinterpretado algún concepto subyacente importante. No entiendo por qué la estrella de Kleene también se llama cierre de Kleene. ¿Está relacionado con los cierres en la...
Pensé que entendía el tipeo dependiente (DT) correctamente, pero la respuesta a esta pregunta: /cstheory/30651/why-was-there-a-need-for-martin-l%C3% B6f-to-create-intuitionistic-type-theory me ha hecho pensar lo contrario. Después de leer sobre DT y tratar de entender lo que son, intento...
En 1962, podría ganar un premio de $ 10 000 (aproximadamente $ 80 000 en dinero de hoy) si encuentra la solución a un problema de vendedor ambulante euclidiano definido en 33 ciudades. http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Mirando la imagen, el problema parece bastante...
Estoy leyendo un libro sobre un tema de ciencias de la computación, pero me falta algo de los requisitos previos. Normalmente, cuando me encuentro con términos que no entiendo, simplemente los busco, pero para Universal Search simplemente no he podido encontrar una explicación adecuada para un...
Antecedentes \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak
Me pregunto si decidir la capacidad de decisión del problema es un problema decidible. Supongo que no, pero después de las búsquedas iniciales no puedo encontrar ninguna literatura sobre este
Estoy tratando de entender la existencia de lenguajes no reconocibles. Para obtener esto, necesito saber por qué una máquina Turing reconoce solo un idioma, no varios. ¿Por qué es
Tengo un problema con este ejercicio: Sea G la siguiente gramática ambigua para el cálculo λ: E → v | λv.E | EE | (E) donde E es el símbolo único no terminal, λv.E representa la abstracción wrt la variable v en E, y EE representa la aplicación. Defina una gramática LL (1) G 'tal que...
La función de conteo primo , degradada , se define como el número de números primos menores o iguales que .π(x)π(x)\pi(x)xxx Podemos definir un problema de decisión desde siguiente manera:π(x)π(x)\pi(x) Dados dos números y , escritos en binario, decida si .xxxnnnπ(x)=nπ(x)=n\pi(x) = n Un...
Vi en esta publicación en stackoverflow que hay algunos algoritmos relativamente rápidos para tamizar un intervalo de números para ver si hay un primo en ese intervalo. Sin embargo, ¿esto significa que el problema de decisión general de: (¿Existe una prima en un intervalo?) Está en P. (Hubo muchas...
Sin embargo, muchos problemas indecidibles "famosos" son al menos semidecidibles, y su complemento es indecidible. Un ejemplo sobre todo puede ser el problema de detención y su complemento. Sin embargo, ¿alguien puede darme un ejemplo en el que tanto un problema como su complemento sean...
¿Hay algún cambio que se pueda hacer en las CPU para que funcionen mejor en tiempos de ejecución concurrentes como Rust? Por ejemplo, ¿hay cambios en las implementaciones de predicción de sucursales o en los tamaños de caché que ayudarían a los tiempos de ejecución concurrentes? Tengo la impresión...
Acabo de encontrar esta oración en la página 6 de "Computadoras e Intractabilidad" de Garey y Johnson. Cualquier algoritmo cuya función de complejidad de tiempo no pueda estar tan limitada se llama algoritmo de tiempo exponencial (aunque debe tenerse en cuenta que esta definición incluye ciertas...