Triângulo mágico - Método que usa o triangulo para simplificar equação combinatoria PDF

Title Triângulo mágico - Método que usa o triangulo para simplificar equação combinatoria
Author Laïs Aguiar
Course Sistemas Digitais II
Institution Universidade de São Paulo
Pages 4
File Size 284.1 KB
File Type PDF
Total Downloads 69
Total Views 130

Summary

Método que usa o triangulo para simplificar equação combinatoria...


Description

Minimizandocomotriângulomágico  Algoritmo:  A partir da tabela  de  transição  de  estados,  montamos  a  tabela  de implicação, observase  que  o  objetivo  é  sempre  obter  classes  de  estados equivalentes. Considerando que há N estados diferentes, montase  um diagrama com ( N – 1 ) quadrados postos  em uma coluna à esquerda e ( N – 1) quadradospostosem uma linha abaixo. Para cada nova coluna há um quadrado a menos até a última coluna queéformadacomapenasumquadrado. 



Neste  exemplo,  há  10  estados  relacionados  nas  10  linhas  da tabela acima, ordenados da  seguinte forma:  2, 3,  4,  5,  6,  8,  10  ,11  e 9 (porque numa estapa anteriorjátiramososestadosequivalentesóbvios).  Cada quadrado será preenchido com pares de próximos estados, umparparacada entrada, caso os  estados  relacionados  tenham  a  mesma  saída para todas as entradas. Por exemplo, no quadrado entre os estados 1 e2, paraentrada xv = 0os próximos estados são 2 e 4, e para a entrada xv = 1 os próximosestadossão 3 e 5, formandoduaslinhascomospares(2–4)e(3–5).  Quando os estados relacionados tenham a mesma  saída para todas as entradas, esta linha  não  é representada. Por exemplo, no entre os estados2e3,paraentrada xv =  0 os próximos estados são 4 e 6, e para a entrada xv = 1 os próximos estados são 5  e  5,  formando apenas uma linha com o par (4 – 6).Aquicortaosparesiguais doquadrado.  Quando os estados relacionados não apresentam  a  mesma saída para todas as entradas, o quadrado deve ser  marcado  com  X,  indicando que os estados não podem ser  equivalentes. Por exemplo, no quadrado entre os estados6e9,opar de

entradas  (xv = 0, xv = 1)  forma  os  respectivos  pares  de  SAÍDA (0 , 0) e (1 , 0), indicando que não possuem  as  mesmas  saídas  para todas  as  entradas, sendo portantoorespectivoquadradomarcadocomumX.  Aplicando  o  método  acima  para  todos  os  quadrados,  obtemos a tabela de implicaçãodescritaabaixo.

 Quando todos  os quadrados que tenham como coordenada um determinadoestado são  preenchidos  com  X,  ou  seja,  toda  linha  e  toda  coluna deste estado for preenchido com  X, indica  que  este  estado  não  é  equivalente a nenhum outro estado. Neste  caso, qualquer  quadrado que indicar este estado deveserpreenchido com X. Por exemplo, o estado 9 que é representado  pela última linha, todos os quadrados desta linha são preenchidos  com  X.  Logo,  todos os quadrados que tenham referência ao estado 9 será preenchido com X. Conforme mostra a a nova tabeladeimplicaçãodescritaabaixo.

 Após a formação da nova  tabela  de  implicação,  observamos que o estado 4, representado  pela  terceira  linha  e  quarta  coluna,  agora apresenta todos os quadrados com um X. Logo, todos os quadrados que indicar  o estado 4 também deve ser preenchido com  um X. Conforme  mostra  a  nova  tabela  de implicação descritaabaixo.

 No diagrama acima,  não  observamos  mais  nenhum  outro  estado com todos os quadrados referenciados preenchidos com  um  X.  Estamos  prontos  para iniciar a novaetapa.        

 Seguindo da última coluna até a primeira, da linha  acima  até a  última linha, para cada quadrado  não preenchido com um X, verificamos se os paresindicados levam a um quadrado que esteja preenchido com um X, caso  afirmativo, este quadrado tambémdeveráserpreenchidocomumX.  O primeiro quadrado encontrado não preenchido com um X  é  o que relaciona os estados 8 e 11, neste há a indicação do par (2 – 8), o quadrado que relaciona os estados 2 e 8, linha 8 e coluna 2, está preenchidocom um X,logo estequadrado serápreenchidocomumX.  O segundo quadrado encontrado não preenchido com um X é  o  que relaciona os estados 6 e 8, neste há a indicação do par (1 – 11), o quadrado que relaciona os estados 1 e 11, linha 11 e coluna 1,  não  está  preenchido com um X, logo este quadradonãoserámodificado.  O terceiro quadrado encontrado não preenchido  com  um  X  é  o  que relaciona os estados 5 e 8, neste há a indicação de dois pares (8 – 10) e (1– 11), o quadrado que relaciona  os estados  1 e 11, conforme item acima, não está preenchidocom um X, porém, o quadrado que relaciona os estados 8 e 10,  linha 10 e coluna 8, está preenchidocomumX,logoestequadradotambémdeveserpreenchidocomumX.  Devemos repetir o algorítimo até não haver nenhuma alteração nos quadrados, ou seja, nenhum novo quadrado for preenchido com  um X, conforme mostra a nova tabeladeimplicaçãodescritaabaixo.

  OsquenãotiveremoXsãoiguais,aíésósubstituir. =)...


Similar Free PDFs