Estoy mirando el siguiente problema: Dados vectores dimensionales de números naturales v 1 , ... , v my algún vector de entrada u , ¿es u una combinación lineal de v i 's con coeficientes numéricos naturales?nortenortenv1, ... , vmetrov1,...,vmetrov_1, \ldots, v_mtutuututuuvyovyov_i es decir,...
Esta pregunta es sobre la intersección de la teoría de la probabilidad y la complejidad computacional. Una observación clave es que algunas distribuciones son más fáciles de generar que otras. Por ejemplo, el problema Dado un número nortenn , devuelve un número uniformemente distribuido yoii con...
Usar el vector Earley como un reconocedor es bastante sencillo: cuando se alcanza el final de la cadena, solo tiene que verificar si la producción axiomática completa comenzó en la posición 0. Si tiene al menos una, entonces se acepta la cadena. Usar el vector Earley para reconstruir los árboles...
Considere el siguiente problema: Sea un subconjunto finito de los números naturales.S= { s1, s2,...sn}S={s1,s2,...snorte}S = \{ s_1, s_2, ... s_n \} Deje | donde es el máximo común divisor de eg c d ( s i , s j ) s i , s j ∈ S , s i ≠ s j } g c d ( x , y ) x yG={sol={G = \{...
Estoy en el siguiente ejercicio en Fundamentos de software : (** **** Exercise: 2 stars (baz_num_elts) *) (** Consider the following inductive definition: *) Inductive baz : Type := | x : baz -> baz | y : baz -> bool -> baz. (** How _many_ elements does the type [baz] have? (* FILL...
He estado pensando en escribir un sistema operativo para algunos de los procesadores ARM. Hay muchas computadoras populares de placa única con ARM MPU, por lo que simplemente quería comprar una de ellas (elegir una con más documentación abierta). Me sorprendí cuando descubrí que incluso las placas...
Me preguntaba si este problema tiene un nombre: Dado un gráfico simple cuyos bordes son de color rojo, azul y verde, , ¿hay un color de vértice c : V → { B , R , G } de modo que cada borde tenga un punto final con el mismo color?G=(V,B∪R∪G)G=(V,B∪R∪G)G=(V,B\cup R\cup G)c:V→{B,R,G}c:V→{B,R,G}c:V\to...
Digamos que las listas se definen como List a = Nil | Cons a (List a) Entonces, en Haskell, List x¿cuál es el mayor o menor punto de fijación? Lo pregunto porque el lfp debería excluir listas infinitas (pero puede compilarlas en Haskell), mientras que el gfp debería excluir las...
La respuesta de @ Babou a una pregunta reciente me recuerda que en un momento creo que leí un artículo sobre la equivalencia (en términos de los hechos que se pueden inferir o probar y la complejidad del tiempo de ejecutar el algoritmo de inferencia) del análisis de flujo de datos , interpretación...
Al actualizar los pesos de una red neuronal utilizando el algoritmo de retropropagación con un término de impulso, ¿debería aplicarse también la tasa de aprendizaje al término de impulso? La mayor parte de la información que pude encontrar sobre el uso del momento tiene las ecuaciones que se...
En una pregunta anterior ¿ Qué es exactamente un algoritmo? , Pregunté si tener un "algoritmo" que devuelve el valor de una función basada en una matriz de valores calculados previamente era un algoritmo. Una de las respuestas que me llamó la atención fue esta: El ejemplo factorial se introduce...
Supongamos que se nos da una colección de cadenas, . Me gustaría saber si alguna de esas cadenas es una subcadena de cualquier otra cadena de la colección. En otras palabras, me gustaría un algoritmo para la siguiente tarea:S 1 , ... , S nnortenortenS1, ... ,
Valiant y Vazirani probaron que SAT es reducible a SAT ÚNICO bajo reducciones probabilísticas aleatorias en tiempo polinómico. Calabro y col . demostró que k-SAT ÚNICO es tan difícil como k-SAT. Ahora la pregunta es, si alguien muestra que k-SAT ÚNICO está en P, ¿implica P = NP? Referencias LG...
¿Alguien podría explicarme qué es exactamente la RAM ajena? Encontré la siguiente explicación que me deja bastante claro, pero me gustaría tener una idea de los aspectos técnicos: El cifrado no siempre es suficiente para garantizar la privacidad. Si un adversario puede observar sus patrones de...
Supongamos que tengo un gráfico disperso finito no dirigido y necesito poder ejecutar las siguientes consultas de manera eficiente: T N 1 N 2 FIsConnected(N1,N2)IsConnected(N1,N2)IsConnected(N_1, N_2) - retornos si existe un camino entre y , de lo
¿El 2 en un algoritmo de aproximación 2 significa que la solución está dentro de 2 * OPT u OPT /
¿Cómo podemos asegurarnos de que continuamos haciendo declaraciones válidas y válidas sobre las clases de complejidad cuando usamos las máquinas Oracle Turing? Según mi entendimiento (basado en las definiciones dadas en los libros de texto introductorios sobre el tema) las máquinas Oracle Turing...
Quisiera citar a Nielsen & Chuang, Computación Cuántica e Información Cuántica, edición del décimo aniversario, página 5 (énfasis mío): Una clase de desafíos para la fuerte tesis de Iglesia-Turing proviene del campo de la computación analógica. En los años posteriores a Turing, muchos...
Actualmente estoy estudiando para un examen de informática, y me he encontrado con un concepto que me ha dejado algo perplejo. Cuando uno escribe una tecla en el teclado, se transmite un carácter ASCII a la CPU. Al recibir este carácter, la CPU emite el mismo carácter en la pantalla. Este...
Aunque trabajo como programador en mi vida diaria y uso todos los lenguajes de moda (Python, Java, C, etc.) todavía no tengo una visión clara de qué es la programación funcional. Por lo que he leído, una propiedad de los lenguajes funcionales es que las estructuras de datos son inmutables . Para...