Ciencias de la Computación

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 equipos diferentes de investigadores han notado que …

9 computation-models  church-turing-thesis 

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 contrarioTTTN1N1N_1N2N2N_2FFF NConnectedNodes(N)ConnectedNodes(N)ConnectedNodes(N) : devuelve el conjunto de nodos a los que se puede …

9 algorithms  graph-theory  graphs  data-structures 

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. …

9 computer-architecture  operating-systems  user-interface 

¿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 pueden determinar el estado de membresía de …

9 complexity-theory  oracle-machines 

¿Hay algún algoritmo subcuadrático conocido para calcular el piso de la raíz cuadrada de un nentero de bits? El algoritmo ingenuo sería algo así como def sqrt(x): r = 0 i = x.bit_length() // 2 while i >= 0: inc = (r << (i+1)) + (1 << (i*2)) if inc …

9 algorithms  numerical-algorithms 

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 …

9 complexity-theory  satisfiability  p-vs-np 

¿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 acceso al almacenamiento encriptado, …

9 terminology  computer-architecture  security  memory-hardware  memory-access 

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 …

9 data-structures  functional-programming 

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, ... , SnorteS1,...,SnorteS_1,\dots,S_n Entrada:S1, ... …

9 algorithms  strings  efficiency  substrings 

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 …

9 algorithms  complexity-theory  graphs  satisfiability  colorings 

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 parecen a …

9 machine-learning  neural-networks 

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 …

9 reference-request  compilers  type-inference  program-optimization 

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 …

9 coq 

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 con suficiente memoria …

9 operating-systems  memory-management  memory-hardware  os-kernel 

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 …

9 context-free  dynamic-programming  parsers  ambiguity  syntax-trees