Colorao de Mapas e Bases de Grbner

Marcelo Escudeiro Hernandes

1 Colorao de Mapas
O festejado Teorema das Quatro Cores [I] assegura que todo mapa, no plano ou na esfera, pode ser colorido com quatro cores sem que regies com fronteira em comum recebam uma mesma cor. muito fcil produzir exemplos de mapas que no podem ser coloridos com trs cores e outros que podem. Um modo de decidir se trs cores so sucientes para colorir um determinado mapa, consiste em analisar o sistema polinomial associado ao mapa como descrito na modelagem a seguir. Cada cor representada por uma raiz cbica complexa da unidade e cada regio por uma incgnita Para regies

xi

que pode assumir apenas um desses trs valores,

ou seja, uma das trs cores. Assim, temos

xj

xk ,

temos

x3 i 1 = 0 para cada regio. 2 3 3 0 = xj xk = (xj xk )(x2 j + xj xk + xk ).

Se

xj

xk

so regies vizinhas, e como regies vizinhas no podem ter a mesma

cor, ento

2 x2 j + xj xk + xk = 0. Deste modo, um mapa com n regies pode ser colorido com trs cores se,

xj = xk ;

ou seja,

e somente se, o sistema de equaes polinomiais

x3 i 1 = 0;
onde

2 x2 j + xj xk + xk = 0

(1)

i = 1, . . . , n

xj , xk

representam regies adjacentes, admite soluo.

Exemplo 1. O mapa

x1 x9 x8 x7 x6 x2 x3 x5 x4

pode ser colorido com trs cores? Para responder esta pergunta devemos vericar se o sistema polinomial (1) com

i = 1, . . . , 9 e (j, k ) {(1, 2), (2, 3), (2, 6), (2, 9), (3, 4), (3, 5), (3, 6), (4, 5), (5, 6), (6, 7), (6, 9), (7, 8), (7, 9), (8, 9)} admite alguma soluo.
1

Sistemas de equaes polinomiais

A resoluo de muitos problemas em Matemtica recai na resoluo de

sistemas de equaes polinomiais, o que no uma tarefa das mais fceis. Se o sistema dado por equaes lineares, pode-se, atravs da eliminao gaussiana, substituir o sistema por outro equivalente cuja soluo bem mais fcil. No caso de sistemas polinomiais, h um mtodo anlogo que passamos a descrever. Denotaremos por

P(n)

o conjunto dos polinmios com coecientes com-

plexos nas indeterminadas

x1 , . . . , xn .

Dado um conjunto de polinmios

f1 , . . . , fr

em

P(n),

denimos o ideal gerado por eles como sendo

I = f1 , . . . , fr = {h1 f1 + . . . + hr fr ; h1 , . . . , hr P(n)}.
Um teorema devido ao matemtico David Hilbert [II], chamado de Verso Fraca do Teorema dos Zeros diz que o sistema soluo (complexa) se, e somente se, tal condio satisfeita? muito simples vericar que dois sistemas de equaes e

f1 = . . . = fr = 0 admite
. Mas, como vericar se

1 f1 , . . . , fr

f1 = . . . = fr = 0

g1 = . . . = gs = 0,

onde

fi , gj P(n)

que satisfazem a condio (2)

f1 , . . . , fr = g1 , . . . , gs ,
admitem o mesmo conjunto soluo. Portanto, a estratgia para resolvermos um sistema consiste em encontrarmos polinmios ou no ao ideal

f1 = . . . = fr = 0 f P(n) pertence

g1 , . . . , g s

que satisfazem a condio

(2) e com os quais seja possvel testar se um determinado

f1 , . . . , fr

e cujo conjunto soluo seja mais fcil de calcular

que o do sistema original. A existncia de tal conjunto

G = {g1 , . . . , gs } foi descoberta teoricamente

na primeira metade do sculo passado pelo matemtico Wolfgang Grbner e, s alguns anos mais tarde, seu aluno Bruno Buchberger criou um algoritmo para calcul-lo. Esses conjuntos so chamados de e o

Algoritmo de Buchberger
f
divisvel por

Bases de Grbner

para calcul-las uma das ferramentas mais

importantes da computao algbrica.

I = f1 , temos f I se, e somente se, f = h1 f1 , f1 . Analogamente, f f1 , . . . , fr se, e somente se, f = h1 f1 + . . . + hr fr , o que sugere algo similar diviso de f por f1 , . . . , fr .
Se o ideal da forma ou seja, De fato, podemos efetuar a diviso de um polinmio em vrias indeterminadas por um conjunto nito de polinmios, desde que ordenemos os monmios de algum modo.

Bases de Grbner
Um

monmio m
0 x0 1 xn

de

P(n)

um elemento da forma

an 1 xa 1 xn ,

onde

a1 , . . . , an

so nmeros naturais (consideramos ser denotado por

como um nmero natural).

O monmio sempre que diviso.

1.

Dentre as inmeras ordens

sobre os monmios de

P(n),

as que satisfazem

m1 .m

m2 .m

m1

m2

so as que possibilitam pr em prtica o algoritmo da

Um exemplo a se existe

b1 bn an 1 ordem lexicogrca Lex , onde xa 1 xn Lex x1 xn ,

tal que

1in f

ai < bi

aj = bj

para todo

j < i.

Fixada uma ordem monomial, o termo correspondente ao maior monmio de um polinmio Uma

Base de Grbner
I

chamado de

termo lder e denotado por tl(f ).

I = f1 , . . . , fr

do ideal

com respeito uma

ordem monomial xada , por denio, qualquer conjunto de elementos de pelo termo lder de algum elemento de

tal que o termo lder de qualquer elemento de

G = {g1 , . . . , gs } I divisvel

G. Podemos mostrar que qualquer G de I um conjunto que satisfaz a condio (2). Portanto, 1 I se, e somente se, qualquer base de Grbner de I contm uma constante no nula, j que 1 m, para todo monmio m de P(n). Por exemplo, G = {f1 } Base de Grbner para f1 , com respeito a qualquer ordem monomial, enquanto que G = {x + y + z 6, x y +1, x + y z } no Base de Grbner para I = x + y + z 6, x y +1, x + y z com respeito ordem lexicogrca, uma vez que tl (x + y + z 6 (x y +1)) = tl (2y + z 7) = 2y no divisvel por x = tl(x + y + z 6) = tl(x y + 1) = tl(x + y z ).
Base de Grbner Para obter uma Base de Grbner de um ideal, com respeito a uma ordem monomial xada, aplica-se o Algoritmo de Buchberger [III]. algoritmos para calcular Bases de Grbner na maioria dos putao algbrica. Uma Base de Grbner para o ideal com respeito ordem lexicogrca

softwares de com-

Encontramos

I = x + y + z 6, x y + 1, x + y z , G = {x + y + z 6, 2y + z 7, 2z 6}.

Soluo do problema e outras aplicaes

O sistema dado no Exemplo 1, por sua natureza, admite no mximo

um nmero nito de solues (so nove indeterminadas cada uma podendo assumir no mximo um de trs valores). A questo que se coloca saber se o sistema admite alguma soluo e, caso armativo, determin-las. Aps a aplicao do Algoritmo de Buchberger ao sistema do Exemplo 1, obtemos a seguinte Base de Grbner

G,

com respeito ordem lexicogrca:

2 2 2 2 x3 1 1, x2 + x2 x1 + x2 , x3 + x3 x2 x2 x1 x1 , x4 + x3 + x2 , x5 x2 , x6 + x3 + x2 , x7 x2 , x8 + x3 + x2 e x9 x3 . Portanto, 1 I e, consequentemente, o sistema admite soluo. 3 2 2 As equaes x1 1 = 0, x2 + x2 x1 + x2 = 0, x5 x2 = 0, x7 x2 = 0 e x9 x3 = 0 traduzem os seguintes fatos: podemos utilizar qualquer cor para x1 ; x2 = x1 , x2 = x5 = x7 e x3 = x9 .
Como as cores so representadas pelas razes cbicas complexas da uni-

x4 +x3 +x2 = 0, x6 +x3 +x2 = 0 e x8 +x3 +x2 = 0 atribuirmos valores (cores) distintos para x2 , x3 e x4 , e assim, x4 = x6 = x8 . 2 2 Finalmente, 0 = x3 + x3 x2 x2 x1 x1 = (x3 + x2 + x1 )(x3 x1 ) nos d duas situaes: x3 + x2 + x1 = 0 ou x3 x1 = 0, ou seja, x1 , x2 e x3 recebem cores distintas ou x1 = x3 . E assim, nalmente obtemos, a menos de permutao
dade, a nica soluo para das cores, todas as possveis solues:

x3 + x2 + x1 = 0 x1 x9 x2 x3 x6 x8 x7 x5 x4

x3 x1 = 0 x1 x9 x8 x7 x6 x2 x3 x5 x4

Bases de Grbner tambm podem ser usadas para operar com ideais, implicitar parametrizaes de curvas e superfcies, calcular o polinmio mnimo de nmeros algbricos, vericar teoremas da Geometria Euclidiana, validar construes com

Origamis, resolver Sudoku, etc ([IV], [V] e [VI]).

Referncias
[I] [II]

http://www.ipv.pt/millenium/Millenium24/12.pdf http://www.mat.uniroma1.it/people/manetti/dispense/ nullstellen.pdf https://www.risc.jku.at/people/buchberg/papers/ 1970-00-00-A.english.pdf

[III]

[IV] Adams, W. and Loustaunau, P., AMS, Providence RI (1994). [V]

An Introduction to Grbner Basis,

Cox, D; Little, J. and O'Shea, D., Ideals, Varieties and Algorithms, 2nd edition, Springer-Verlag, New York, (1996).

[VI] Hernandes, M. E.,

Um Primeiro Contato com Bases de Grbner, 28o .

Colquio Brasileiro de Matemtica, IMPA, Rio de Janeiro, (2011).