Tengo curiosidad por saber si hay problemas completos en la clase de complejidad Arthur-Merlin. Graph Non-Isomorphism (GNI) parece ser el ejemplo canónico de un problema en AM, pero probablemente no sea completo. Supongo que también me pregunto si un problema "completo" está bien definido para AM....
Estoy diseñando una base de datos de objetos en memoria para un caso de uso muy específico. Es un escritor único, pero debe admitir lecturas concurrentes eficientes. Las lecturas deben estar aisladas. No hay lenguaje de consulta, la base de datos solo admite: obtener objeto / -s por atributo /...
La distancia de edición de Levenshtein-Distance entre listas es un problema bien estudiado. Pero no puedo encontrar mucho sobre posibles mejoras si se sabe que ningún elemento ocurre más de una vez en cada lista . Supongamos también que los elementos son comparables / ordenables (pero las listas...
Soy nuevo en los autómatas, y ayer me dieron una breve introducción a las expresiones regulares. He leído las diversas reglas para definir una expresión regular. Pero no puedo diferenciar entre las expresiones regulares y la gramática de un idioma (no me han enseñado la gramática de las expresiones...
Acabo de leer algunas páginas en el libro de Sipser Introducción a la teoría de la computación sobre el problema posterior a la correspondencia, y estoy pensando que PCP está realmente en NP. El certificador es: para una configuración de entrada de pile concatenando como una cadena y...
Soy consciente de que esto parece una pregunta muy estúpida (o demasiado obvia para decir). Sin embargo, estoy confundido en algún momento. Podemos mostrar que P NP=== si y solo si podemos diseñar un algoritmo que resuelva cualquier instancia dada de problema en NP en tiempo polinómico. Sin...
Pensé que todos los idiomas regulares podrían expresarse con expresiones regulares (si un idioma es regular, puede expresarse con expresiones regulares), pero me han dicho que necesita las tres operaciones regulares (concatenación, unión y estrella) para eso sostener. Por ejemplo, me han dicho que...
Tengo problemas para comprender los problemas PRIME, COMPUESTO, FACTOR y cómo están relacionados en términos de complejidad. Entiendo que PRIME ha demostrado estar en mediante la prueba de primalidad AKS, y creo que esto también funciona para COMPOSITE.PAGPP En cuanto a FACTOR, FA CTO R = { ( m ,...
Parece que las personas se cansaron del manejo manual de la memoria, por lo que inventaron la recolección de basura y la vida fue razonablemente buena. Pero, ¿qué pasa con todos los otros tipos de recursos? ¿Descriptores de archivo, sockets o incluso datos creados por el usuario como conexiones de...
Una de las preguntas más populares de las estructuras de datos y el algoritmo, formulada principalmente en entrevistas
He visto algunas preguntas en este sitio sobre Deep Dream, sin embargo, ninguna de ellas parece hablar realmente de lo que está haciendo DeepDream, específicamente. Por lo que he deducido, parecen haber cambiado la función objetivo, y también han cambiado la propagación hacia atrás para que, en...
Alice, una estudiante, tiene mucha tarea en las próximas semanas. Cada tarea le lleva exactamente un día. Cada artículo también tiene una fecha límite y un impacto negativo en sus calificaciones (suponga un número real, puntos de bonificación solo por asumir la comparabilidad), si no cumple con...
Para encontrar la diferencia, me acabo de encontrar con las siguientes afirmaciones sobre la lógica temporal en Wikipedia : Otra variante de la lógica modal que comparte muchas características comunes con la lógica dinámica, difiere de todas las lógicas mencionadas anteriormente por ser lo que...
Si tenemos algún programa de computadora arbitrario que pueda modificar sus instrucciones, ¿es posible simular ese programa con un programa que no pueda modificar sus instrucciones? Editar: Soy nuevo en stackexchange, así que no estoy seguro si se me permite hacer una NUEVA pregunta aquí, pero...
Tenemos muchos problemas, como la factorización, que se conjeturan fuertemente, pero no se prueban, que están fuera de P. ¿Hay alguna pregunta con la propiedad opuesta, a saber, que se conjeturan fuertemente pero no se prueba que estén dentro de
Antecedentes: soy un laico completo en informática. Estaba leyendo sobre los números de Busy Beaver aquí , y encontré el siguiente pasaje: Es posible que la humanidad nunca sepa el valor de BB (6) con certeza, y mucho menos el de BB (7) o cualquier número más alto en la secuencia. De hecho,...
Actualmente tengo que aprender Coq y no sé cómo lidiar con un or: Como ejemplo, tan simple como es, no veo cómo demostrar: Theorem T0: x \/ ~x. Realmente lo agradecería si alguien pudiera ayudarme. Como referencia utilizo esta hoja de trucos . También un ejemplo de una prueba que tengo en...
El problema de la programación lineal: encuentre un algoritmo de tiempo fuertemente polinomial que para la matriz dada A ∈ Rm × ny b ∈ Rm decida si existe x ∈ Rn con Ax ≥ b. Sé que Steve Smale enumera algunos de los problemas no resueltos en matemáticas. Pero tal problema de programación lineal es...
En Fundamentos prácticos para lenguajes de programación , Robert Harper dice Si para que una proposición sea verdadera significa tener una prueba de ello, ¿qué significa que una proposición sea falsa? Significa que tenemos una refutación de ello, lo que demuestra que no se puede probar. Es...
Actualmente estoy escribiendo un código para generar datos binarios. Necesito específicamente generar números de 64 bits con un número determinado de bits establecidos; más precisamente, el procedimiento debería tomar algunos y devolver un número pseudoaleatorio de 64 bits con exactamente bits...