Modelos de Programação Inteira Mista para a resolução de jogos do tipo quebra-cabeça

O uso de jogos do tipo quebra-cabeça lógicos é uma forma interessante de motivar
estudantes de cursos de Programação Matemática no processo de aprendizagem de técnicas de Modelagem Matemática. Uma grande variedade destes jogos, além de instigantes, apresentam regras
bem definidas e delimitam adequadamente o escopo do problema a ser resolvido. Nesse trabalho são propostos dois modelos de programação inteira mista para a resolução dos jogos Hitori e
Heyawake, muito populares entre apreciadores de jogos lógicos. Estes jogos compartilham regras
que não são trivialmente traduzidas em relações matemáticas. Testes computacionais são realizados para validar os modelos propostos considerando instâncias classificadas como difíceis por sites especializados. Os resultados mostram que os modelos, quando resolvidos com o CPLEX em um computador pessoal, fornecem soluções factíveis em décimos de segundos.