Ciencias de la Computación

Preguntas y respuestas para estudiantes, investigadores y profesionales de la informática.

2
¿Qué significa 'verdadera concurrencia'?
A menudo escucho frases como 'semántica de concurrencia verdadera' y 'equivalencias de concurrencia verdadera' sin ninguna referencia. ¿Qué significan esos términos y por qué son importantes? ¿Cuáles son algunos ejemplos de equivalencias verdaderas de concurrencia y cuál es la necesidad de ellas? Por ejemplo, ¿en qué casos son más aplicables …

2
¿Hay algún problema específico que se sepa que es indecidible por razones distintas a la diagonalización, la autorreferencia o la reducibilidad?
Cada problema indecidible que conozco pertenece a una de las siguientes categorías: Problemas que son indecidibles debido a la diagonalización (autorreferencia indirecta). Estos problemas, como el problema de detención, son indecidibles porque podría usar un supuesto decisor para el lenguaje para construir una TM cuyo comportamiento conduce a una contradicción. …




3
Medir la dificultad de las instancias SAT
Dada una instancia de SAT, me gustaría poder estimar lo difícil que será resolver la instancia. Una forma es ejecutar solucionadores existentes, pero ese tipo de derrota el propósito de estimar la dificultad. Una segunda forma podría ser buscar la relación de cláusulas a variables, como se hace para las …

4
¿Derivación clara e intuitiva del combinador de punto fijo (combinador Y)?
El combinador de punto fijo FIX (también conocido como el combinador Y) en el cálculo lambda ( tipo) ( ) se define como:λλ\lambda FIX≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))≜λf.(λx.f (λy.x x y)) (λx.f (λy.x x y))\triangleq \lambda f.(\lambda x. f~(\lambda y. x~x~y))~(\lambda x. f~(\lambda y. x~x~y)) Entiendo su …

6
Generando combinaciones a partir de un conjunto de pares sin repetición de elementos.
Tengo un conjunto de pares. Cada par tiene la forma (x, y) de modo que x, y pertenecen a enteros del rango [0,n). Entonces, si n es 4, entonces tengo los siguientes pares: (0,1) (0,2) (0,3) (1,2) (1,3) (2,3) Ya tengo las parejas. Ahora, tengo que construir una combinación usando …

4
¿Cómo encontrar una superestrella en tiempo lineal?
Considere gráficos dirigidos. Llamamos a un nodo vvv superestrella si y solo si no se puede alcanzar a otro nodo desde él, pero todos los demás nodos tienen una ventaja para . Formalmente:vvv \qquad \displaystyle v superstar :⟺outdeg(v)=0∧indeg(v)=n−1 superstar :⟺outdeg(v)=0∧indeg(v)=n−1 \text{ superstar } :\Longleftrightarrow \mathrm{outdeg}(v) = 0 \land \mathrm{indeg}(v) = …

2
Contando árboles binarios
(Soy un estudiante con algunos conocimientos matemáticos y me gustaría saber cómo contar el número de un tipo específico de árboles binarios). Mirando la página de Wikipedia para árboles binarios , noté esta afirmación de que el número de árboles binarios enraizados de tamaño sería este número catalán : C_n …






Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.