Verso inicial submetida em 24/09/2012. Verso final recebida em 25/09/2013. APRESENTAO DE MATERIAL PEDAGGICO- COMPUTACIONAL PARA O ENSINO DO MTODO SIMPLEX Andr Arajo Loureno a* , Guilherme H. Guerra Gomes a , Pedro A. Morais de Carvalho a , Rodrigo Silvrio de Carvalho Mafra a , Thiago Lomas Bretas a , Andr Lus Silva a
a Universidade Federal de Ouro Preto (UFOP) Ouro Preto MG, Brasil
Resumo Neste trabalho apresentada uma simulao de resoluo do mtodo Simplex mtodo recorrente na rea de Pesquisa Operacional utilizando o software Macromedia Flash Professional 8. Este software pode proporcionar uma perspectiva nova no ensino/aprendizagem que , do ponto de vista pedaggico, interessante conceitual e visualmente. A escolha deste mtodo especfico deve-se ao fato do grande nmero de disciplinas que o abordam e o utilizam na resoluo de problemas de programao linear. Dessa forma, o presente artigo tem como objetivo apresentar uma forma de acrescentar ao ensino de Pesquisa Operacional uma opo interativa para o aprendizado/ensino do mtodo Simplex e que pode ser utilizada pelo aluno/professor quando desejado. Palavras-Chave: Simplex; Simulao; Ensino; Pesquisa Operacional.
Abstract This paper presents a simulation of the Simplex method resolution using the Macromedia Flash Professional 8 software. This simulation can provide a new perspective at teaching/learning that, from a pedagogical point of view, is both conceptually and visually interesting. This particular method was chosen due to the fact that a large number of disciplines uses this approach to solve linear programming problems. Therefore, this paper aims to add an interactive option for the teaching of Operations Research that can be used by both the student and the teacher when desired. Keywords: Simplex; Simulation; Teaching; Operations Research.
*Autor para correspondncia: e-mail: lobsman3@gmail.com
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
68
1. Introduo A Pesquisa Operacional (PO) pode ser definida como sendo uma cincia aplicada, cujo objetivo consiste na otimizao de processos via mtodos e modelos matemticos. Esses modelos, normalmente solucionados com auxlio de computadores, permitem a melhoria do desempenho em diferentes tipos de organizaes (Dvalos, 2002). Esta definio ratificada em Silva et al. (2010) que apresenta a PO como sendo um mtodo cientfico de tomada de decises e que, de forma geral, consiste na descrio de um sistema organizado com auxlio de um modelo, e atravs da experimentao com o modelo, na descoberta da melhor maneira de operar o sistema. Sua origem normalmente atribuda a cientistas norte-americanos e britnicos, convocados para realizar pesquisas de operaes militares durante a Segunda Guerra Mundial, uma vez que havia a necessidade de uma alocao eficiente dos escassos recursos nas atividades militares (Hillier e Lieberman, 2010). possvel perceber, frentes s citaes, o grau de relevncia dos mtodos para se realizar a referida otimizao. Na literatura, os mtodos so categorizados segundo alguns critrios. Em Winston (2004), o agrupamento em categorias feito quanto forma de calcular: mtodos exatos e heursticas. Outra possvel classificao dada em Taha (2008), que utilizou o tipo dos valores tratados: valores inteiros, decimais ou uma mescla dos dois. Dentre estes mtodos, um de destaque o Simplex. Trata-se de um mtodo exato que trabalha com valores inteiros e decimais, cuja origem se deu durante a Segunda Guerra Mundial. George B. Dantzig comandou uma equipe multidisciplinar que desenvolveu estratgias visando otimizar as operaes militares, considerando as restries de recursos. O resultado destes estudos originou o chamado Mtodo Simplex (Hillier e Lieberman, 2010). interessante observar a quantidade de disciplinas que abordam o tema. Ele est
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
69
includo em ementas dos cursos de Engenharia de Produo, Engenharia Civil, Engenharia Eltrica, Engenharia Mecnica, Engenharia de Controle e Automao, Engenharia de Alimentos, Engenharia Florestal, Agronomia, Administrao de Empresas, Cincia da Computao, Cincias Econmicas, Matemtica e Fsica. Porem, importante mencionar que o Simplex possui uma sequncia considervel que passos cuja complexidade no trivial. Ou seja, a sua compreenso inicial exige esforo e muita ateno. Esta colocao viabiliza o cenrio apropriado para se empreender esforos sobre as ferramentas utilizadas para o ensino do Mtodo Simplex, sendo este o escopo do projeto narrado neste artigo. O objetivo apresentar uma simulao informatizada do referido mtodo a um problema de otimizao de interesse pedaggico. Funcionando como ferramenta facilitadora, essa simulao dedicada ao ensino no contexto acadmico, sendo um material pedaggico computacional de apoio. Para a construo desse material foi utilizado o Macromedia Flash Professional 8, tendo como resultado um vdeo que simula a resoluo de um Problema de Programao Linear (PPL) de maximizao. O texto est organizado em quatro partes, a saber: introduo, reviso de literatura, apresentao da simulao e consideraes finais. 2. Reviso de literatura 2.1. Pesquisa Operacional A PO tem incio na Inglaterra, durante a Segunda Guerra Mundial. Naquela poca, buscava- se otimizar a utilizao dos recursos de guerra com uma base cientfica. Com o fim da guerra, a PO desenvolveu-se como cincia, e passou a ser usada para o aperfeioamento da produo na rea civil (Taha, 2008). A Pesquisa Operacional pode ser definida como uma anlise cientfica feita para dar um suporte sistemtico tomada de decises.
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
70
Winston (2004) a define como sendo uma abordagem cientfica para tomada de decises, que busca a melhor forma de se construir e operar um sistema onde os recursos geralmente so limitados para alocao. Neste caso, sistema significa organizao de componentes interdependentes que trabalham em conjunto para cumprirem uma meta do sistema. Silva et al. (2010) dividem o estudo de PO em seis fases: formulao do problema, construo do modelo do sistema, clculo da soluo atravs do modelo, teste do modelo e da soluo, estabelecimento de controles da soluo e implantao e acompanhamento. Na fase inicial busca-se identificar o objetivo de um dado problema e suas respectivas restries. A partir da, constri-se um modelo matemtico vivel, representando o problema da maneira mais fiel possvel para que se calcule as solues timas do problema (Taha, 2008). Para a construo desses modelos, Arenales et al. (2007) citam Programao Linear (Otimizao Linear), Programao Linear Inteira (Otimizao Discreta), Programao No Linear Inteira (Otimizao No Linear), Programao em Redes (Otimizao em Redes) e Teoria das Filas. Ressalta-se ainda a importncia fundamental de uma abordagem sistemtica na soluo de problemas, pois permite estabelecer interconexes entre problemas distintos, prever comportamentos futuros e/ou mediante a mudana de parmetros do problema, etc. Algumas vezes, o prprio fato de formular um problema via PO nos ajuda a entend-lo melhor. Definido o modelo, a fase seguinte consiste na determinao da sua soluo. Essa soluo encontrada por meio de diferentes mtodos, escolhidos conforme a complexidade do problema. Dentre os mtodos utilizados para soluo de problemas de programao linear (PPL), destaca-se o Mtodo Simplex, objeto central deste estudo.
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
71
2.2. O Mtodo Simplex Quando trabalhava no Pentgono, George Dantzig se deparou com o desafio de desenvolver um mtodo que mecanizasse o processo de planejamento da poca. Ele modelou o problema como uma funo linear sujeita a equaes e inequaes lineares. Aps uma procura sem xito de algum mtodo para resolver o problema, Dantzig por si s tentou encontrar a soluo, culminando na criao do Simplex em 1947 (Colin, 2007). Desde ento, o Simplex tem provado ser um mtodo eficiente para a resoluo de problemas de diferentes naturezas. Com exceo de problemas pequenos, o mtodo Simplex normalmente executado em computadores, com auxlio de diferentes softwares (Hillier e Lieberman, 2007). Apesar disso, para uma compreenso madura dos conceitos associados e das anlises ps-soluo importante que se compreenda bem como as solues so encontradas (Colin, 2007). O presente estudo foca nos problemas menores, considerando que os fundamentos do ensino do Simplex nos cursos de graduao so embasados em problemas deste porte. Segundo Silva et al. (2010), o Simplex formado por um grupo de critrios para escolha de solues bsicas que melhorem o desempenho do modelo, e tambm de um teste de otimalidade. Para isso, o problema deve apresentar uma soluo bsica inicial. As solues bsicas subsequentes so calculadas com a troca de variveis bsicas por no bsicas, gerando novas solues. Para um problema colocado na forma padro, o Mtodo Simplex caminha de uma soluo vivel para outra, de modo que o valor da funo objetivo seja levado at o ponto timo a ser alcanado. O algoritmo pode ser separado em trs partes: inicializao, iterao e regra de parada (Colin, 2007). O Mtodo Simplex inicial possui variantes que seguem regras tendo como base a funo objetivo e o tipo de restrio a ser atendia. Essas variantes esto narradas em textos
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
72
tais como Andrade (2002), Caixeta Filho (2010), Hillier e Lieberman (2010), Taha (2008) e Winston (2004). A definio e detalhamento do Mtodo Simplex so apresentados em um nmero considervel de livros, sendo alguns deles: Chwif e Medina (2010), Bazaraa et al (2010), Winston (2004), Silva et al. (2010), Colin (2007), Macdonald (1995). 2.3. I nstrumentos computacionais para soluo via simplex Embora o mtodo Simplex permita que as solues dos problemas possam ser feitas sem o auxlio de recursos computacionais, a natureza iterativa deste processo tende a torn-lo muito repetitivo. No entanto, quando trata-se de problemas com inmeras variveis de deciso e/ou vrias restries, o auxlio computacional fundamental. Deste modo, o uso do computador tornou possvel a soluo de PPLs de forma poderosa e com custo relativamente baixo, se tornando o meio mais utilizado para a soluo deste tipo de problema. Existem hoje alguns pacotes de software que permitem resolver PPLs, tais como Solver/Excel e Tora. Considerando a necessidade de uma ferramenta dedicada para a soluo de um PPL, estes softwares so normalmente voltados para o uso empresarial. Porm verses estudantis tambm podem ser encontradas, e so utilizadas nas universidades como ferramenta para a compreenso de problemas de maior porte, possibilitando que o aluno consiga fazer a anlise de sensibilidade de um dado modelo. Mesmo com essas facilidades, estes softwares no viabilizam o acesso a execuo do Mtodo Simplex. Ou seja, limitam-se a realizar a conta sem mostrar efetivamente a realizao dos passos do Mtodo. 2.3.1. Solver O Excel uma opo que viabiliza o acesso soluo de um PPL, sendo talvez o programa
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
73
de planilha eletrnica mais utilizado em negcios e em universidades de todo o mundo. A ferramenta Solver utilizada para otimizao e simulao de diversos tipos de modelos (Macdonald, 1995). Para sua utilizao, na rea de trabalho do Excel definido o modelo do problema, inseridas a funo objetivo e as restries. Com a ferramenta Solver so realizadas as iteraes para resoluo do modelo (Passos, 2008). 2.3.2. Tora O Tora possui uma opo iterativa comandada pelo usurio com retorno imediato, ou seja, o usurio visualiza o resultado de cada etapa instantaneamente. Isto se torna importante quando a preocupao o entendimento do funcionamento do Simplex, pois este recurso permite que o usurio guie os rumos dos clculos sem a tarefa rdua de executar todos os clculos do Simplex. Neste software possvel acompanhar iterao por iterao, seguindo cada etapa dos clculos, alm de haver a possibilidade de ordenar quais variveis entram e saem da base com correo automtica de cada nova ao do usurio (Taha, 2008). 2.3.3. LINGO O pacote de software LINGO uma linguagem para modelagem de problemas de otimizao criada pela LINDO Systems que permite ao usurio criar centenas de restries e/ou variveis em poucas linhas. O LINGO capaz de construir e resolver modelos de otimizao lineares, no-lineares e quadrticos, mantendo uma interface simples, tornando a implementao mais fcil para o usurio. O programa ainda possui uma vasta biblioteca de funes matemticas, probabilsticas e estatsticas, alm de possibilitar a importao de dados externos, de planilhas e arquivos de texto (Winston, 2004). O LINGO tambm possui verses de estudante disponveis gratuitamente na internet.
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
74
2.4. Ensino da PO e do mtodo Simplex Sendo o ensino de PO e consequentemente o do Simplex abrangidos por diversos cursos superiores, existe uma busca por alternativas de lidar com o assunto dentro das salas de aula. Assim como no presente trabalho, outros autores dedicaram-se a esta busca e apresentam meios de ensinar tais assuntos de maneira dinmica, visando um melhor aproveitamento dos alunos nas aulas. Alguns pesquisadores analisaram e escreveram sobre o ferramental computacional como apoiadores do ensino de mtodos matemticos, mas no exatamente o Mtodo Simplex. Alguns dos exemplos so: Moran (2000), Mello e Soares (2003) e Mainart e Santos (2010). J Ramani e Rao (1994) apresentaram um pacote grfico baseado em computao destinado ao ensino de um mtodo de soluo de problemas de Programao Linear Inteira. Porem, tal como os autores citados, o mtodo de soluo abordado no foi o Simplex e sim o Branch-and-Bound. Lazaridis et al. (2007) apresentaram em seu trabalho uma ferramenta de resoluo de PLs de fim educacional usando visualizao e tcnicas de animao durante a soluo. O software chamado Visual LinProg baseada na Web para facilitar o acesso ela pelo usurio-aluno. Este sistema se utiliza do mtodo simplex para resolver a PL, que pode ser importada para o ambiente, e o usurio visualiza passo-a-passo o que est sendo feito pelo programa, juntamente com informaes consideradas necessrias. Estes mesmos autores em um outro trabalho de 2003 descrevem uma nova forma de ensinar o Algoritmo Simplex atravs da visualizao do mtodo em funcionamento em animaes feitas em plataforma Java compatvel com qualquer navegador de internet. Segundo Lazaridis et al. (2003), a inteno desse programa facilitar o ensino do algoritmo sem que os alunos fiquem presos ao quadro negro e ao mesmo tempo aprender clculos
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
75
complexos. Outro trabalho onde narra um software similar est em Papamanthou e Paparrizos (2003). Estes descreveram uma ferramenta computacional empregada no ensino do Simplex. Um dos benefcios inclua uma parte de visualizao da execuo do clculo. Vale ressaltar que apesar de haver um nmero considervel de artigos que abordam o Mtodo Simplex, na literatura h relativamente poucos trabalhos que tratam dos instrumentos computacionais para o seu ensino. 3. Estudo de caso O objetivo do estudo apresentar uma simulao informatizada dos passos metodolgicos que compem a resoluo tabular do Mtodo Simplex, criada no ambiente do Macromedia Flash Professional 8. Dessa forma, esta seo apresenta as consideraes tomadas a respeito do exemplo escolhido e dos softwares utilizados, alm de descrever os passos gerais da simulao e as vantagens que o vdeo pode proporcionar. 3.1. O PPL selecionado Para se tornar um exemplo vivel a se explicar no vdeo, o PPL foi escolhido levando em conta alguns aspectos. Buscou-se um exemplo simples e de fcil compreenso, mas que ao mesmo tempo viabilizasse um cenrio onde todas as etapas que envolvam o clculo do Simplex fossem utilizadas. Assim, o exemplo escolhido apresenta duas iteraes, uma soluo vivel de ser calculada e, ao mesmo tempo, que possusse um nico ponto timo. Dessa forma, o exemplo se torna mais didtico e auto-explicativo, ponto positivo para o expectador que, em tese, no teria algum para auxili-lo durante o vdeo. O exemplo escolhido foi ento detalhado, de forma analtica e grfica, de maneira a facilitar a transcrio da resoluo manual para o exemplo em vdeo. Assim, cada passo foi
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
76
enumerado cuidadosamente para que aparecesse como forma de instrues no vdeo. Dessa maneira, apresentou-se cada uma das trs etapas do mtodo, a inicializao, as iteraes e a regra de parada. 3.2. Ferramentas utilizadas Para construo do vdeo foi utilizado o Macromedia Flash Professional 8, um ambiente de criao de contedos animados e interativos. Este software foi escolhido devido a familiaridade dos autores com o programa. Alm dele, por questes de facilidade, utilizou- se o Microsoft Power Point 2010 para construir as frmulas utilizadas, apesar do Flash possuir suporte para os smbolos matemticos empregados. 3.3. Descrio da simulao Antes de ser apresentado o exemplo, foi dada uma breve introduo ao Simplex, para que o expectador possa compreender a base terica envolvida no mtodo (Figura 1). Foi mostrado, em termos gerais, o PPL em sua forma padro e como a partir dela a tabela inicial construda, apresentando e definindo cada varivel. Um exemplo de PPL de maximizao exposto (Figura 2) e sua soluo proposta de duas maneiras: via Simplex, por resoluo tabular, e via visualizao grfica. Assim como na introduo, o PPL colocado na forma padro, para que assim se inicie a construo da tabela. Ela preenchida destacando-se os nmeros nas funes e, em seguida, indicando a sua posio na tabela. Os clculos realizados durante a iterao tambm so detalhados, tendo em vista que o expectador possa compreender a origem e o destino de cada nmero envolvido. A cada passo, feita uma iterao na tabela do Simplex e, posteriormente, exibida a evoluo do grfico, de acordo com os valores atualizados das variveis e da soluo encontrada (Figura 3). O grfico exibe as funes das restries e aponta onde est a
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
77
soluo encontrada at o momento. O critrio de parada explicado aps a ltima iterao, ao se encontrar a soluo tima. Formas geomtricas em movimento e textos em cores distintas so utilizados como recurso para direcionar a ateno do expectador. Algumas explicaes tambm so dadas durante os clculos para orientar-lo sobre o que est sendo feito no exemplo.
Figura 1. introduo terica do mtodo Simplex. Fonte: autores (2012)
Figura 2. exemplo de PPL proposto. Fonte: autores (2012)
Figura 3. representao grfica do mtodo. Fonte: autores (2012)
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
78
O vdeo pode ser encontrado no site www.youtube.com com o nome de The Simplex Method in tableau format, ou diretamente no link: <http://youtu.be/fgX_7QaFzE4>. 3.4. As vantagens que o vdeo proporciona A aplicao do recurso apresentado busca trazer benefcios tanto para os alunos quanto para os professores envolvidos. Com a implementao do vdeo proposto no mtodo de ensino/aprendizado, espera-se despertar um maior interesse do aluno, j que, se trata de um recurso multimdia. Alm disso, o aluno ter maior autonomia para revisar o assunto ao assistir o vdeo, com a possibilidade de rever o vdeo no momento mais adequado, controlar (parar, avanar, retroceder) sua exibio, etc, sem a presena do professor. O aprendizado do mtodo Simplex ser facilitado, por se tratar de uma simulao com apelo visual, trazendo para o professor um maior nmero de opes pedaggicas e para o aluno uma nova fonte de consulta. Diferentemente das ferramentas computacionais disponveis, tal como apresentado nas sesses anteriores, esse vdeo permite a visualizao da execuo dos passos na soluo grfica e tabular. Ou seja, viabiliza o acesso a forma como as etapas do Simplex so realizadas. 4. Consideraes finais No pequeno o nmero de curso universitrios onde o Mtodo Simplex trabalhado. Esse cenrio viabiliza espao para se empreender esforos na construo de ferramentas que auxiliem o seu aprendizado. O vdeo apresentado neste texto uma ferramenta computacional criada neste sentido (facilidade a aprendizagem do mtodo). As vantagens citadas apontam as lacunas preenchidas por esta ferramenta, como por
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
79
exemplo, a possibilidade de reproduo em tempos/locais diferentes, repetio do vdeo (ou de partes dele), comparao do mtodo grfico e tabular, dentro outros. Outro ponto a ser considerado refere-se aos softwares utilizados para a criao da ferramenta computacional (Macromedia Flash Professional 8 e Microsoft Power Point 2010). Estes softwares se mostraram apropriados para o propsito desejado. O emprego desta ferramenta computacional no foi testado ou mesmo analisado com grupos de alunos, mesmo esta apontar facilidades. Logo, a indicao para trabalhos futuros no sentido de validar in loco a aplicabilidade desta. Por fim, outro ponto a ser indicado para trabalhos futuros refere-se criao de outros vdeos com o Mtodo Simplex para solucionar e exemplificar as sua variantes. Referncias Andrade, E. L. Introduo Pesquisa Operacional: mtodos e modelos para anlise de decises, 3 ed., LTC, Rio de Janeiro, 2002. Arenales, M. N. & Armentano,V. A. & Morabito, R. & Yanasse, H. H. Pesquisa Operacional, Elsevier, Rio de Janeiro, 2007. Bazaraa, M. S. & Jarvis, J. J. & Sherali, H. D. Linear programming and network flows, 4 ed., John Wiley and Sons Inc, New Jersey, 2010. Caixeta Filho, J. V. Pesquisa Operacional: tcnicas de otimizao aplicadas a sistemas agroindustriais, 2 ed., Atlas, So Paulo 2010. Chwif, L. & Medina, A. C. Modelagem e simulao de eventos discretos: teoria e aplicaes, 3 ed., Autores, So Paulo, 2010. Colin, E. C. Pesquisa Operacional: 170 aplicaes em estratgia, finanas, logstica, produo, marketing e vendas, LTC, Rio de Janeiro, 2007. Dvalos, R. V. Uma abordagem do ensino de Pesquisa Operacional baseada no uso de recursos computacionais. Em: Anais do XXII Encontro Nacional de Engenharia de Produo (ENEGEP), Curitiba, 2002. Hillier, F. S. & Lieberman, G. J. Introduction to Operations Research. 9 ed., Higher Education, 2010. Lazaridis, V. & Paparrizos, K. & Samaras, N. & Sifaleras, A., Visual LinProg: A web-based educational software for linear programming. Comput. Appl. Eng. Educ., Volume 15, Issue 1, Pages 1 - 14, 2007.
PESQUISA OPERACIONAL PARA O DESENVOLVIMENTO
80
Lazaridis, V. & Paparrizos, K. & Samaras, N. & Zissopoulos, D., Visualization and teaching simplex algorithm. In: Proceedings of 3rd IEEE International Conference on Advanced Learning Technologies. Julho, 2003. Macdonald, Z. Teaching linear programming using Microsoft Excel Solver, University of Leicester, 1995. Mainart, D. A. & Santos, C. M. A importncia da tecnologia no processo ensino-aprendizagem. Em: Anais do Congresso Virtual Brasileiro de Administrao (CONFIBRA), So Paulo, 2010. Mello, J. C. & Soares, C. B. Integrao entre o ensino de Clculo e o de Pesquisa Operacional, Revista Produo, Volume 13, Nmero 2, Pgina 123 - 129, 2003. Moran, J. M. Ensino e aprendizagem inovadores com tecnologia, Informtica na educao: teoria & prtica, Volume 3, Nmero 1, Pgina 137 - 144, 2000. Papamanthou, C. & Paparrizos, K. A visualization of the primal simplex algorithm for the assignment problem. In: Proceedings of the 8th Annual Conference on Innovation and Technology in Computer Science Education. ITiCSE, Pages 267 - 267, 2003. Passos, E. J. P. F. Programao linear como instrumento da Pesquisa Operacional, Atlas, So Paulo, 2008. Ramani, K.V. & Rao, T. P. R. A graphics based computer-aided learning package for integer programming: The branch and bound algorithm. Computers & Education. Volume 23, Issue 4, Pages 261268, 1994. Silva, E. M. & Silva, E. M. & Gonalves, V. & Murolo, A. C. Pesquisa Operacional para cursos de Administrao e Engenharia. 4 ed., Atlas, So Paulo, 2010. Taha, H. A. Pesquisa Operacional: uma viso geral, 8 ed., Pearson Prentice Hall, So Paulo, 2008. Winston,W. L. Operations Research: applications and algorithms, 4.ed., Brooks/Cole, 2004.