Neste trabalho propõe-se um modelo

matemático de programação linear inteira mista

(PLIM) que visa maximizar a quantidade de

usuários do sistema de carpooling, ou seja,

de pessoas com destinos em comum que se

locomovem juntas em veículos compartilhados.

O modelo proposto leva em consideração as

informações dos usuários, dentre eles quais são

proprietários de veículos, as janelas de tempo

disponível para se alcançar o destino final de

cada usuário, bem como a capacidade de cada

veículo. Para resolver um problema real com

56 usuários com destino à uma universidade

utilizou-se a linguagem de programação AMPL

e o solver Gurobi. O modelo determinou quais

usuários são motoristas e quais são as caronas,

bem como o trajeto otimizado a ser percorrido

por cada motorista. Apresenta-se a análise do

impacto da aplicação do modelo na diminuição

de veículos nas vias e na emissão de gazes

poluentes.