Si entiendo correctamente, para demostrar que el problema es NP difícil, debe elegir todos los problemas posibles B i que están en NP y luego demostrar que se reducen a A mediante una función computable de tiempo polinomial, que mapea instancias de cada B i a los casos de a
¿Alguien sabe de dónde vienen los nombres Sistema "F" y Sistema "T"? No estoy preguntando quién introdujo esos nombres (Girard System F y Gödel System T), sino qué significan la "F" y la
¿Se introdujo #P por primera vez en [1] ? [1] Valiant, Leslie G. "La complejidad de calcular lo permanente". Informática teórica 8.2 (1979):
En las siguientes dos preguntas ¿ Orígenes y aplicaciones de la teoría A contra la teoría B? y aplicaciones sólidas de teoría de categorías en TCS? , muchas personas compartieron sus conocimientos y opiniones sobre la división de esas dos áreas en CS teórica. Soy un estudiante de matemáticas con...