Estoy leyendo el libro de HoTT y tengo dificultades con la inducción del camino. Cuando miro el tipo en la sección 1.12.1 : Indiana=UN: ∏C: ∏x , y: A( x =UNy) → U( (
Creo que sé lo que es un sistema operativo en tiempo real "duro". Es un sistema operativo con un planificador que proporciona un contrato con el programador de la aplicación. Una aplicación proporciona una fecha límite con cada solicitud de asignación de recursos. Si las solicitudes de la fecha...
Los solucionadores de SAT se están volviendo cada vez más eficientes en la resolución de grandes instancias y se están utilizando como back-end en varios contextos. Cada vez que uno quiere usarlos para resolver un problema en un dominio específico, tiene que encontrar una codificación ad-hoc que no...
De acuerdo con Wikipedia , La operación de prueba y configuración puede resolver el problema de consenso sin esperas para no más de dos procesos concurrentes. ¿Por qué no puede resolver el problema durante más de dos
xorpuerta, ahora necesito construir esta puerta usando solo 4 nandpuertas a b out 0 0 0 0 1 1 1 0 1 1 1 0 el xor = (a and not b) or (not a and b), que es A¯¯¯¯B+AB¯¯¯¯A¯B+AB¯\begin{split}\overline{A}{B}+{A}\overline{B}\end{split} Sé la respuesta, pero ¿cómo obtener el diagrama de compuerta de...
Te doy una lista de nnn vectores de bits de ancho kkk . Su objetivo es devolver dos vectores de bits de la lista que no tienen 1 en común, o bien informar que no existe dicho par. Por ejemplo, si le doy [00110,01100,11000][00110,01100,11000][00110, 01100, 11000] entonces la única solución es...
En mi curso de Algoritmos y Estructuras de Datos , profesores, diapositivas y el libro ( Introducción a los Algoritmos, 3ra edición ) han estado usando la palabra NILpara denotar, por ejemplo, un hijo de un nodo (en un árbol) que no existe. Una vez, durante una conferencia, en lugar de decir NIL ,...
De mis lecturas sobre los sistemas operativos (leyendo el material básico en Wikipedia, sitios tecnológicos, etc.) aprendí que el sistema operativo es un programa que permite que los programas y aplicaciones interactúen con el hardware de una manera eficiente y segura. Sin embargo, estoy...
Leí en alguna parte que el algoritmo más eficiente encontró puede calcular los factores en tiempo, pero el código que he escrito es O ( n ) o posiblemente O ( n log n ) dependiendo de qué tan rápida sea la división y el módulo. Estoy bastante seguro de que he entendido mal algo en alguna parte,...
Por ejemplo, cuando consideramos un DFA que permite que las cadenas no tengan subcadenas 00o que 11yo pueda producir los siguientes dos
Hay muchos (y quiero decir muchos) idiomas contables que son decidibles por Turing. ¿Puede cualquier lenguaje incontable ser Turing
Char Code ==== ==== E 0000 i 0001 y 0010 l 0011 k 0100 . 0101 space 011 e 10 r 1100 s 1101 n 1110 a 1111 Texto original: Ojos misteriosos vistos cerca del lago Codificado: 0000101100000110011100010101101101001111101011111100011001111110100100101 ¿Por qué no hay necesidad de un separador en...
En la práctica, entiendo que cualquier recursión puede escribirse como un bucle (y viceversa (?)) Y si medimos con computadoras reales, encontramos que los bucles son más rápidos que la recursividad para el mismo problema. Pero, ¿hay alguna teoría que haga esta diferencia o es principalmente...
De Wikipedia: en informática teórica, la corrección de un algoritmo se afirma cuando se dice que el algoritmo es correcto con respecto a una especificación. Pero el problema es que obtener la especificación "apropiada" no es una tarea trivial, y no existe un método 100% correcto (hasta donde yo...
El recuadro negro de significa que puedo evaluar el polinomio en cualquier punto.f(x)f(x)f(x)f(x)f(x)f(x) Entrada : Una caja negra de polinomio monico de grado .f(x)∈Z+[x]f(x)∈Z+[x]f(x) \in\mathbb{Z}^+[x]ddd Salida: Los coeficientes de polinomio .dddf(x)f(x)f(x) Mi algoritmo:...
Estoy empezando a leer un libro sobre Complejidad Computacional y Máquinas de Turing. Aquí está la cita: Un algoritmo (es decir, una máquina) puede representarse como una cadena de bits una vez que decidimos sobre una codificación canónica. Esta afirmación se proporciona como un hecho simple,...
Estaba leyendo sobre algoritmos de compresión de datos y el límite teórico para la compresión de datos. Recientemente encontré un método de compresión llamado "Codificación de entropía combinatoria", la idea principal de este método es codificar el archivo como los caracteres presentados en el...
¿Cómo diferenciaría la ALU en un microprocesador entre un número con signo, -7 que se denota con 1111 y un número sin signo 15, también con
Especificar cualquier cuadrícula arbitraria de 9x9 requiere dar la posición y el valor de cada cuadrado. Una codificación ingenua para esto podría dar 81 tripletes (x, y, valor), que requieren 4 bits para cada x, y, y valor (1-9 = 9 valores = 4 bits) para un total de 81x4x3 = 972 bits. Al numerar...
Un autómata finito determinista (DFA) es un modelo de máquina de estados capaz de aceptar todos los lenguajes regulares. Los DFA se pueden definir (y generalmente se definen) de tal manera que cada estado debe proporcionar alguna transición para todos los elementos del alfabeto de entrada; en otras...