Teoría de la Complejidad de Grano Fino: Límites Inferiores Condicionales para la Geometría Computacional