Etapa 1

Para incio do preenchimento das linhas e colunas do sudoku, para cada linha coluna e/ou
subgrade, completamos com parmetros da lgebra dos conjuntos. Atravs da interseco das
linhas, colunas e subgrades no preenchidas (L C S) obtivemos as possibilidades de
preenchimento da tabela (denominadas SDK). O sudoku padro possui 9 linhas e 9 colunas,
nomeamos elas da seguinte maneira:
Linhas: L1, L2, L3, L4, L5, L6, L7, L8, L9.
Colunas: C1, C2, C3, C4, C5, C6, C7, C8, C9.
Subgrades: S1,S2, S3, S4, S5, S6, S7, S8, S9.
Com a realizao dessa atividade, conclumos que, em vrias possibilidades, smente uma
maneira de preencher o sudoku da maneira correta.

L1={6,8} l1

{1,2,3,4,5,7,9}

C1={2} c1

{1,3,4,5,6,7,8,9}

S1={6,9} s1

{1,2,3,4,5,7,8}

L2={9} l2

{1,2,3,4,5,6,7,8}

C2={1,8} C2

{2,3,4,5,6,7,9}

S2={2,4} S2

{1,3,5,6,7,8,9}

L3={2,4,6} L3

{1,3,5,7,8,9}

C3={5,6,9} C3

{1,2,3,4,7,8}

S3={6,8} S3

{1,2,3,4,5,7,9}

L4={1,8} L4

{2,3,4,5,6,7,9}

C4={1,8} C4

{2,3,4,5,6,7,9}

S4={1,8} S4

{2,3,4,5,6,7,9}

L5={1,2} L5

{3,4,5,6,7,8,9}
1

C5={3,4} C5

{1,2,5,6,7,8,9}

S5={1,9} S5

{2,3,4,5,6,7,8}

L6={4,9} L6

{1,2,3,5,6,7,8}

C6={2,9} C6

{1,3,4,5,6,7,8}

S6={2,4} S6

{1,3,5,6,7,8,9}

L7={1,3,8} L7

{2,4,5,6,7,9}

C7={1,8,9} C7

{2,3,4,5,6,7}

S7={2,5} S7

{1,3,4,6,7,8,9}

L8={9} L8

{1,2,3,4,5,6,7,8}

C8={2,4} C8

{1,3,5,6,7,8,9}

S8={3,8} S8

{1,2,4,5,6,7,9}

L9={2,5} L9

{1,3,4,6,7,8,9}

C9={6} C9

{1,2,3,4,5,7,8,9}

S9={1,9} S9

{2,3,4,5,6,7,8}

|Linha 1 sub-grade 1

|Linha 1 sub-grade 2

|Linha 1 sub-grade 3

|SDK1,1={1,3,4,5,7}

|SDK1,4={3,5,7,9}

|SDK1,7={2,3,4,5,7}

|SDK1,2={2,3,4,5,7}

|SDK1,5={1,5,7,9}

|SDK1,8={1,3,5,7,9}

|SDK1,3={1,2,3,4,7}

|SDK1,6={1,3,5,7}

|SDK1,9={1,2,3,4,5,7,9}

|Linha 2 sub-grade 1

|Linha 1 sub-grade 2

|Linha 2 sub-grade 3

|SDK2,1={1,3,4,5,7,8}

|SDK2,4={3,5,6,7}

|SDK2,7={2,3,4,5,7}

|SDK2,2={2,3,4,5,7}

|SDK2,5={1,5,6,7,8}

|SDK2,8={1,3,5,7}

|SDK2,3={1,2,3,4,7,8}

|SDK2,6={1,3,5,6,7,8}

|SDK2,9={1,2,3,4,5,7}

|Linha 3 sub-grade 1

|Linha 3 sub-grade 2

|Linha 3 sub-grade 3

|SDK3,1={1,3,5,7,8}

|SDK3,4={3,5,7,9}

|SDK3,7={3,5,7}

|SDK3,2={3,5,7}

|SDK3,5={1,5,7,8,9}

|SDK3,8={1,3,5,7,9}

|SDK3,3={1,3,7,8}

|SDK3,6={1,3,5,7,8}

|SDK3,9={1,3,5,7,9}

|Linha 4 sub-grade 4

|Linha 4 sub-grade 5

|Linha 4 sub-grade 6

|SDK4,1={3,4,5,6,7,9}

|SDK4,4={2,3,4,5,6,7}

|SDK4,7={3,5,6,7}

|SDK4,2={2,3,4,5,6,7,9}

|SDK4,5={2,5,6,7}

|SDK4,8={3,5,6,7,9}

|SDK4,3={2,3,4,7}

|SDK4,6={3,4,5,6,7}

|SDK4,9={3,5,7,9}

|Linha 5 sub-grade 4

|Linha 5 sub-grade 5

|Linha 5 sub-grade 6

|SDK5,1={3,4,5,6,7,9}

|SDK5,4={3,4,5,6,7}

|SDK5,7={3,5,6,7}

|SDK5,2={3,4,5,6,7,9}

|SDK5,5={5,6,7,8}

|SDK5,8={3,5,6,7,8,9}

|SDK5,3={3,4,7}

|SDK5,6={3,4,5,6,7,8}

|SDK5,9={3,5,7,8,9}

|Linha 6 sub-grade 4

|Linha 6 sub-grade 5

|Linha 6 sub-grade 6

|SDK6,1={3,5,6,7}

|SDK6,4={2,3,5,6,7}

|SDK6,7={3,5,6,7}

|SDK6,2={2,3,5,6,7}

|SDK6,5={2,5,6,7,8}

|SDK6,8={1,3,5,6,7,8}

|SDK6,3={2,3,7}

|SDK6,6={3,5,6,7,8}

|SDK6,9={1,3,5,7,8}

|Linha 7 sub-grade 7

|Linha 7 sub-grade 8

|Linha 7 sub-grade 9

|SDK7,1={4,6,7,9}

|SDK7,4={2,4,5,6,7,9}

|SDK7,7={2,4,5,6,7}

|SDK7,2={4,6,7,9}

|SDK7,5={2,5,6,7,9}

|SDK7,8={5,6,7}

|SDK7,3={4,7}

|SDK7,6={4,5,6,7}

|SDK7,9={2,4,5,7}

|Linha 8 sub-grade 7

|Linha 8 sub-grade 8

|Linha 8 sub-grade 9

|SDK8,1={1,3,4,6,7,8}

|SDK8,4={2,4,5,6,7}

|SDK8,7={2,3,4,5,6,7}

|SDK8,2={3,4,6,7}

|SDK8,5={1,2,5,6,7}

|SDK8,8={3,5,6,7,8}

|SDK8,3={1,3,4,7,8}

|SDK8,6={1,4,5,6,7}

|SDK8,9={2,3,4,5,7,8}

|Linha 9 sub-grade 7

|Linha 9 sub-grade 8

|Linha 9 sub-grade 9

|SDK9,1={1,3,4,6,7,8,9}

|SDK9,4={4,6,7,9}

|SDK9,7={3,4,6,7}

|SDK9,2={3,4,6,7,9}

|SDK9,5={1,6,7,9}

|SDK9,8={3,6,7,8}

|SDK9,3={1,3,4,7,8}

|SDK9,6={1,4,6,7}

|SDK9,9={3,4,7,8}

Etapa 2
Utilizando a teoria de conjuntos para determinar os conjuntos e encontrar o complemento de
cada conjunto.
L1 e seu complemento L1 C1 e seu complemento C1 S1 e seu complemento S1
L2 e seu complemento L2 C2 e seu complemento C2 S2 e seu complemento S2
L3 e seu complemento L3 C3 e seu complemento C3 S3 e seu complemento S3
L4 e seu complemento L4 C4 e seu complemento C4 S4 e seu complemento S4
L5 e seu complemento L5 C5 e seu complemento C5 S5 e seu complemento S5
L6 e seu complemento L6 C6 e seu complemento C6 S6 e seu complemento S6
L7 e seu complemento L7 C7 e seu complemento C7 S7 e seu complemento S7
L8 e seu complemento L8 C8 e seu complemento C8 S8 e seu complemento S8
L9 e seu complemento L9 C9 e seu complemento C9 S9 e seu complemento S9

Utilizada a teoria dos conjuntos, usando interseo entre os conjuntos complementares.

|SDK1,1=L1C1S1

|SDK1,4=L1C4S2

|SDK1,7=L1C7S3

|SDK1,2=L1C2S1

|SDK1,5=L1C5S2

|SDK1,8=L1C8S3

|SDK1,3=L1C3S1

|SDK1,6=L1C6S2

|SDK1,9=L1C9S3

|SDK2,1=L2C1S1

|SDK2,4=L2C4S2

|SDK2,7=L2C7S3

|SDK2,2=L2C2S1

|SDK2,5=L2C5S2

|SDK2,8=L2C8S3

|SDK2,3=L2C3S1

|SDK2,6=L2C6S2

|SDK2,9=L2C9S3

|SDK3,1=L3C1S1

|SDK3,4=L3C4S2

|SDK3,7=L3C7S3

|SDK3,2=L3C2S1

|SDK3,5=L3C5S2

|SDK3,8=L3C8S3

|SDK3,3=L3C3S1

|SDK3,6=L3C6S2

|SDK3,9=L3C9S3

|SDK4,1=L4C1S4

|SDK4,4=L4C4S5

|SDK4,7=L4C7S6

|SDK4,2=L4C2S4

|SDK4,5=L4C5S5

|SDK4,8=L4C8S6

|SDK4,3=L4C3S4

|SDK4,6=L4C6S5

|SDK4,9=L4C9S6

|SDK5,1=L5C1S4

|SDK5,4=L5C4S5

|SDK5,7=L5C7S6

|SDK5,2=L5C2S4

|SDK5,5=L5C5S5

|SDK5,8=L5C8S6

|SDK5,3=L5C3S4

|SDK5,6=L5C6S5

|SDK5,9=L5C9S6

|SDK6,1=L6C1S4

|SDK6,4=L6C4S5

|SDK6,7=L6C7S6

|SDK6,2=L6C2S4

|SDK6,5=L6C5S5

|SDK6,8=L6C8S6

|SDK6,3=L6C3S4

|SDK6,6=L6C6S5

|SDK6,9=L6C9S6

|SDK7,1=L7C1S7

|SDK7,4=L7C4S8

|SDK7,7=L7C7S9

|SDK7,2=L7C2S7

|SDK7,5=L7C5S8

|SDK7,8=L7C8S9

|SDK7,3=L7C3S7

|SDK7,6=L7C6S8

|SDK7,9=L7C9S9

|SDK8,1=L8C1S7

|SDK8,4=L8C4S8

|SDK8,7=L8C7S9

|SDK8,2=L8C2S7

|SDK8,5=L8C5S8

|SDK8,8=L8C8S9

|SDK8,3=L8C3S7

|SDK8,6=L8C6S8

|SDK8,9=L8C9S9

|SDK9,1=L9C1S7

|SDK9,4=L9C4S8

|SDK9,7=L9C7S9

|SDK9,2=L9C2S7

|SDK9,5=L9C5S8

|SDK9,8=L9C8S9

|SDK9,3=L9C3S7

|SDK9,6=L9C6S8

|SDK9,9=L9C9S9

Resoluo:
|4 |2 |1 |5 |9 |
|SDK5,1={1}

|1|

|SDK4,6={2,3,7,8}

|4|

|SDK2,1={5,7}

|2|

|SDK5,6={3,4,8,9}

|4|

|SDK2,4 ={7,9}

|2|

|SDK4,8={2,3,5,8}

|4|

|SDK3,1={2,7}

|2|

|SDK7,9={3,5,6,8}

|4|

|SDK1,8={1,9}

|2|

|SDK7,1={1,2,5,7}

|4|

|SDK1,9={4,7}

|2|

|SDK8,1={1,2,5,7}

|4|

|SDK2,3={3,7}

|2|

|SDK9,4={2,3,7,9}

|4|

|SDK5,3={1,3}

|2|

|SDK2,5={3,4,7,8,9}

|5|

|SDK9,1={2,7}

|2|

|SDK2,6={3,4,7,8,9}

|5|

|SDK1,1={1,2,7}

|3|

|SDK2,7={3,4,7,8,9}

|5|

|SDK2,2={5,7,9}

|3|

|SDK2,9={3,4,5,7,8}

|5|

|SDK3,4={2,7,9}

|3|

|SDK4,7={1,3,5,7,8}

|5|

|SDK1,6={4,7,9}

|3|

|SDK4,2={1,2,3,6,7}

|5|

|SDK2,8={3,8,9}

|3|

|SDK3,6={2,3,7,8,9}

|5|

|SDK3,8={3,8,9}

|3|

|SDK5,5={3,4,5,8,9}

|5|

|SDK3,9={3,7,8}

|3|

|SDK6,6={2,3,4,7,9}

|5|

|SDK3,2={2,3,7}

|3|

|SDK6,7={3,4,5,7,9}

|5|

|SDK3,3={2,3,7}

|3|

|SDK6,3={1,2,3,7,9}

|5|

|SDK4,1={1,2,7}

|3|

|SDK6,4={1,2,3,7,9}

|5|

|SDK5,2={1,3,4}

|3|

|SDK9,2={2,3,7,8,9}

|5|

|SDK6,1={1,2,7}

|3|

|SDK9,3={2,3,7,8,9}

|5|

|SDK4,4={2,3,7}

|3|

|SDK8,3={1,2,3,7,8}

|5|

|SDK5,4={3,4,9}

|3|

|SDK8,4={1,2,3,4,7}

|5|

|SDK5,7={3,5,8}

|3|

|SDK8,6={2,3,4,7,8}

|5|

|SDK5,8={3,5,8}

|3|

|SDK9,3={2,3,7,8,9}

|5|

|SDK6,8={2,3,5}

|3|

|SDK8,8={1,2,3,5,8}

|5|

|SDK6,9={3,5,6}

|3|

|SDK9,7={3,6,7,8,9}

|5|

|SDK8,9={3,5,8}

|3|

|SDK6,2={1,2,3,5,7,9}

|6|

|SDK9,8={2,3,8}

|3|

|SDK7,4={1,2,3,4,7,9}

|6|

|SDK9,9={3,6,8}

|3|

|SDK8,2={1,2,3,4,7,8}

|6|

|SDK1,2={1,2,7,9}

|4|

|SDK9,5={2,3,6,7,8,9}

|6|

|SDK1,3={1,2,7,9}

|4|

|SDK7,6={2,3,4,7,8,9}

|6|

|SDK1,4={1,2,7,9}

|4|

|SDK7,8={1,2,3,5,8,9}

|6|

|SDK1,5={4,6,7,9}

|4|

|SDK8,5={2,3,4,5,7,8}

|6|

|SDK1,7={4,6,7,9}

|4|

|SDK8,7={1,3,4,5,7,8}

|6|

|SDK3,5={3,7,8,9}

|4|

|SDK7,2={1,2,3,5,7,8,9}

|7|

|SDK4,5={3,6,7,8}

|4|

|SDK7,3={1,2,3,6,7,8,9}

|7|

|SDK3,7={3,7,8,9}

|4|

|SDK6,5={2,3,4,5,6,7,9}

|7|

|SDK4,9={3,5,7,8}

|4|

|SDK7,5={2,3,4,5,6,7,8,9}

|8|

|SDK5,9={3,4,5,8}

|4|

|SDK7,7={1,3,4,5,6,7,8,9}

|8|

|SDK4,3={2,3,7,8}

|4|

||

||

Atualizando o sudoku, inserindo os conjuntos com cardinalidade 1, como existe um nico

conjunto com cardinalidade 1 na subgrade 4, o incio ser por ela. Ento, SDK5,1={1} ser
inserido, ele no poder pertencer a qualquer outra casa da linha 1, coluna 5 e subgrade 4. H
possibilidade de eliminar elementos j inseridos, diminuindo as possiblidades de cada casa,
completando a subgrade 4.

Atualizando a subgrade 1 SDK2,1={5,7}, ento como possui o elemento 7 inserido em

SDK2,3={7}, e no pode haver nmeros duplicados na mesma linha, assim SDK2,1={5}. H
possiblidade para inserir elementos na subgrade 1., J existem os elementos 5 e 7 o
SDK2,2={5,7,9} pode-se inserir o elemento 9. Assim quando se elimina elementos j
inseridos, novas possibilidades surgem.

Inserindo elementos por campos, SDK1,8={9}, pois o nico elemento que restou aps a
eliminao do 1. O elemento 9 ser eliminado dos conjuntos das outras casas pertencentes a
subgrade da linha e da coluna em que foi inserido. Abrindo possibilidades para a insero de
mais elementos, SDK3,5={9}, SDK5,4={9}, SDK1,5={6}, SDK4,7={1}, SDK2,9={4},
SDK1,9={7}, SDK4,9={5}, SDK1,5={6}, SDK6,9={6}, SDK4,4={3}, SDK4,5={7}.

Como 2 e 8 tem apenas a possibilidade de ficar nas ltimas casas vazias da linha 4 e 5, 8 s
podem ficar nas ultimas casas vazias da linha 5, ento confirma-se que a SDK5,5={5}, assim,
mais vagas podem ser preenchidas: SDK5,7={8}, SDK7,9={3}, SDK3,9={8}, SDK3,7={3},
SDK9,8={2}, SDK6,8={5}, SDK9,1={7}, SDK1,7={4}, SDK9,7={6}, SDK9,6={9},
SDK4,9={5}, SDK6,3={9}, SDK6,7={7}, SDK7,8={9}, SDK7,1={2}, SDK7,3={6},
SDK4,3={8}, SDK4,6={2}, SDK6,4={1}, SDK8,3={1}, SDK7,8={1}, SDK7,4={4},
SDK8,4={2}, SDK7,5={8}, SDK7,2={5}, SDK7,6={7}, SDK6,6={4}, SDK6,5={2},
SDK6,2={3}, SDK9,2={8}, SDK8,2={7}, SDK9,5={3}, SDK8,6={8}, SDK8,5={4}.

ltimos elementos inseridos: Na casa SDK8,7={3,5,8}, como 3 e 8 repetiram resta apenas o

5, ento SDK8,7={5}, SDK8,8={3}, SDK2,8={8} e SDK2,6={3}.
Figura 5

Referncias bibliogrficas.
Brasil Escola. Lgica matemtica. Acessado em: 29/03/2015, 01/04/2015.
http://www.brasilescola.com/sociologia/logica-matematica.htm

Matemtica Discreta para Cincia da Computao. Acessado em: 21/03/2015, 29/03/2015,

01/04/2015.
ftp://ftp.cefetes.br/cursos/Matematica/Oscar/introducao_logica/Apostila%20de%20Logica.pdf

Teoria dos conjuntos. Acessado em 21/03/2015, 22/03/2015

http://www.somatematica.com.br/emedio/conjuntos3.php

Matemtica discreta. Acessado em 21/03/2015, 22/03/2015

ftp://ftp.inf.ufrgs.br/pub/blauth/Discretas/Mat_Discreta3.pdf

Joo Nunes de Souza. Lgica para Cincia da Computao. PLT 304 1 ed. Rio de Janeiro:
Elsivier, 2011

Jair Minora Abe, Alexandre Scalzitti, Joo Incio da Silva Filho. Introduo Lgica para a
Cincia da Computao. ed So Paulo: Arte & Cincia 2001