Algorithms lean\ - algumas demostrações de teorias formais utilizando lean metaheuristics - meta-heurísticas e problemas multi e mono objetivo desenvolvidas