He terminado la mayor parte del material en el libro de Introducción a Algoritmos de Cormen y estoy buscando un libro de algoritmos que cubra material más allá del libro de Corman. ¿Hay alguna recomendación? NOTA: pregunté esto en stackoverflow pero no estaba muy contento con la respuesta. NOTA:...
Supongamos que tenemos un generador aleatorio que genera números en el rango con distribución uniforme y necesitamos generar números aleatorios en el rango con distribución uniforme.[ 0 .. N - 1 ][0..R−1][0..R−1][0..R-1][0..N−1][0..N−1][0..N-1] Supongamos que y no dividen equitativamente a ; Para...
Tengo curiosidad por saber cómo se podría comprimir de manera muy compacta el dominio de un nombre de host IDN arbitrario (según lo definido por RFC5890 ) y sospecho que esto podría convertirse en un desafío interesante. Un host Unicode o nombre de dominio (etiqueta U) consiste en una cadena de...
Estoy buscando una explicación sobre cómo se podría probar que dos modelos de cálculo son equivalentes. He estado leyendo libros sobre el tema, excepto que se omiten las pruebas de equivalencia. Tengo una idea básica sobre lo que significa que dos modelos de computación sean equivalentes (la vista...
Cerrada . Esta pregunta está basada en la opinión . Actualmente no está aceptando respuestas. ¿Quieres mejorar esta pregunta? Actualice la pregunta para que pueda ser respondida con hechos y citas editando esta publicación . Cerrado el año pasado ....
Enseño computación a jóvenes de 18 años. Después de que se les explicara la notación polaca inversa, uno preguntó por qué es lo suficientemente significativo como para estar en el examen público. Le expliqué el significado histórico de las calculadoras de los años 70, pero esto no logró abordar el...
Aquí está el problema. Dado , donde cada T i ⊆ { 1 , ... , n } . ¿Hay un subconjunto S ⊆ { 1 , ... , n } con un tamaño máximo de k tal que S ∩ T i ≠ ∅ para todo i ? Estoy tratando de reducir este problema a SAT. Mi idea de una solución sería tener una variable x ik , n , T1, ... ,...
Esta pregunta se migró de Intercambio teórico de apilamiento de informática porque se puede responder en Intercambio apilado de informática. Migrado hace 7 años . Soy un estudiante universitario y actualmente estamos estudiando el cálculo de Lambda. Sin embargo, todavía...
El problema de la suma de subconjuntos es un problema clásico de NP completo: Dada una lista de números y un objetivo k , ¿hay un subconjunto de números de LLLLkkkLLL que sume a ?kkk Un estudiante me preguntó si esta variante del problema llamado problema del "subconjunto de productos" es...
¿Existe alguna estructura de datos que mantenga una colección de conjuntos (de conjuntos finitos) que respalde las siguientes operaciones? ¿Se apreciará algún tiempo de ejecución sublineal? Inicia un conjunto vacío. Agregar un elemento a un conjunto. Dado dos conjuntos, informe si se...
Después de aprender Haskell y otros lenguajes FP no tan puros, decidí leer sobre teoría de categorías. Después de obtener una buena comprensión de la teoría de la categoría, comencé a pensar en cómo los conceptos de la teoría de la categoría se pueden usar para pensar en el diseño de programas,...
Una posible motivación para estudiar las clases de complejidad computacional es comprender el poder de los diferentes tipos de recursos computacionales (aleatoriedad, no determinismo, efectos cuánticos, etc.). Si lo miramos desde esta perspectiva, parece que podemos obtener un axioma plausible para...
Quiero saber qué algoritmo es más rápido para la multiplicación de dos números de n dígitos. ¡La complejidad del espacio se puede relajar
Suponga que le dan una moneda justa y le gustaría simular la distribución de probabilidad de voltear repetidamente un dado justo (de seis caras). Mi idea inicial es que necesitamos elegir enteros apropiados , de modo que . Entonces, después de voltear la moneda veces, mapeamos el número codificado...
En algunos lugares del mundo, las personas generalmente no tienen acceso a (y por lo tanto poco conocimiento de) computadoras, e incluso si lo tienen, el hardware y el software están desactualizados y el uso está plagado de cortes de energía y demás. También suele faltar el acceso a libros...
En matemáticas, hay muchas pruebas de existencia que no son constructivas, por lo que sabemos que existe cierto objeto, aunque no sabemos cómo encontrarlo. Estoy buscando resultados similares en informática. En particular: ¿hay algún problema que podamos probar que es decidible sin mostrar un...
Cuando se consideran modelos de cómputo de máquinas, la jerarquía de Chomsky normalmente se caracteriza por (en orden), autómatas finitos, autómatas push-down, autómatas lineales y máquinas de Turing. Para el primer y último nivel 1 (lenguajes regulares y lenguajes recursivamente enumerables), no...
Recientemente escuché una analogía interesante que afirma que la prueba de Turing de la indecidibilidad del problema de detención es muy similar a la paradoja de barbero de Russell. Así que me pregunté: los matemáticos finalmente lograron hacer que la teoría de conjuntos sea coherente al pasar de...
¿Cómo podría expresar una puerta AND usando solo puertas
Por lo que he visto sobre el uso de un par de claves públicas y privadas, la clave pública se usa para cifrar un mensaje, y la clave privada se usa para descifrar el mensaje cifrado. Si un mensaje está encriptado por la clave privada, ¿puede desencriptarse por la clave pública correspondiente?...