1) a. Describa la implementación EliminarMin() en la ED Fibonacci Heaps b. Realice un análisis amortizado de la operación justificando sus pasos 2) a. Defina formalmente el problema de decisión y su lenguaje asociado ¿Como se representa una instancia del problema en este contexto? b. Defina las funciones de complejidad OTIME(t(n)) y NTIME(t(n)) y explique porque se pueden considerar funciones de complejidad adecuadas. Muestre sus diferencias. 3) a. Enuncie el teorema Cook/Levin y describa su importancia. b. El problema "cubrimiento de nodos" pregunta si un grafo G posee un subconjunto de K nodos tal que todos los arcos tocan ese subconjunto de nodos 1) Describa que el problema "cubrimiento de nodos" verifica el problema anteriores y muestre que CRUB.NODOS chequea que pertenece a NP 2) ¿que se puede concluir a partir del resultado anterior? 3) Muestre que CUBR.NODOS pertenece a NPC mediante una reducción del problema SAT