Modelos matemáticos e computacionais de otimização de estratégias de redução dos níveis de violência no Brasil / RP