Ciencias de la Computación

O: ¿Necesitamos a Rupert para obtener regalos? Dejando de lado los problemas de enrutamiento , Santa enfrenta el siguiente problema (muchas, muchas veces): Dada una bolsa con capacidad¹ y un conjunto de regalos , cada uno con el tamaño , quiere hacer niños . Sabe de todas las listas de …

12 algorithms  complexity-theory  optimization  packing 

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 decir, una proposición …

12 logic 

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 establecidos en , y el resto establecido en 0.0<n<640<n<640 …

12 algorithms  information-theory  coding-theory  pseudo-random-generators 

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 …

12 logic  coq 

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 …

12 turing-machines  number-theory  busy-beaver 

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 P?

12 complexity-theory  polynomial-time 

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 aquí va: Ok, entonces …

12 computability  computation-models  turing-completeness  church-turing-thesis 

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 Pnueli ha caracterizado como una …

12 logic  linear-temporal-logic  temporal-logic 

Puede obtener el número de Gödel de una RAM haciéndola una lista de comandos y haciendo de esta lista un número entero. Entonces, lo que pensé es algo así como "La RAM que devolvería su propio número de Gödel (digamos, ) tendría que tener la información , por lo que …

12 computability 

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

12 complexity-theory  factoring 

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 la fecha límite. …

12 algorithms  optimization  randomized-algorithms  network-flow  scheduling 

Una de las preguntas más populares de las estructuras de datos y el algoritmo, formulada principalmente en entrevistas telefónicas.

12 algorithms  data-structures  linked-lists 

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 si solo puedo usar las operaciones …

12 formal-languages  regular-languages  regular-expressions  kleene-star 

Un contenedor se llama lleno si contiene al menos kkk bolas. Nuestro objetivo es hacer la mayor cantidad posible de contenedores completos. En el escenario más simple, se nos dan nnn bolas y podemos organizarlas arbitrariamente. En ese caso, obviamente lo mejor que podemos hacer es recoger ⌊n/k⌋⌊n/k⌋\lfloor n/k \rfloor …

12 combinatorics  balls-and-bins 

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 embargo, no …

12 complexity-theory  p-vs-np