Ciencias de la Computación

11
Ejemplo de solidez e integridad de inferencia

¿Es correcto el siguiente ejemplo sobre si un algoritmo de inferencia es sólido y completo ? Supongamos que tenemos agujas a, b, c en un pajar, y también tenemos un algoritmo de inferencia diseñado para encontrar agujas. sonido : solo se obtienen las agujas a, byc. Completo : se obtienen las...

11
subconjuntos de conjuntos recursivos infinitos

Una pregunta reciente del examen fue la siguiente: UNAAA es un conjunto infinito recursivamente enumerable. Demuestre que tiene un subconjunto recursivo infinito.UNAAA Deje que sea un subconjunto infinito de recursiva . ¿Debe tener un subconjunto que no es recursivamente enumerable?A...

11
Inferir tipos de refinamiento

En el trabajo, se me ha encomendado la tarea de inferir cierta información sobre un lenguaje dinámico. Reescribo secuencias de declaraciones en letexpresiones anidadas , así: return x; Z => x var x; Z => let x = undefined in Z x = y; Z => let x = y in Z if x then T else F; Z => if x...

11
¿ está contenido en ?

Entonces tengo esta pregunta para probar una declaración: O(n)⊂Θ(n)O(n)⊂Θ(n)O(n)\subset\Theta(n) ... No necesito saber cómo demostrarlo, solo que en mi opinión esto no tiene sentido y creo que debería ser ese .Θ(n)⊂O(n)Θ(n)⊂O(n)\Theta(n)\subset O(n) Tengo entendido que es el conjunto de todas...

11
Polinomio cromatico de un cuadrado

Considere un cuadrado, ABCD. Intuitivamente me pareció que su polinomio cromático es donde hay colores disponibles.λ(λ−1)(λ−1)(λ−2)λ(λ−1)(λ−1)(λ−2)\lambda(\lambda - 1)(\lambda - 1)(\lambda - 2)λλ\lambda Es decir, hay formas en que se puede elegir un color para A, hay formas para elegir los colores...