teoria dos jogos - ludicum.orgjnsilva.ludicum.org/tj/tj1920/tj_tjc1.pdfteorema fundamental dos jogos...
TRANSCRIPT
![Page 1: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/1.jpg)
Teoria dos Jogoshttp://jnsilva.ludicum.org/TJ/TJ1920/tj1920.html
![Page 2: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/2.jpg)
Jogadas alternadas.
Jogadas simultâneas.
Jogos para dois.
![Page 3: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/3.jpg)
Jogadas alternadas.
Dominório
![Page 4: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/4.jpg)
Os dois jogadores alternam colocando um dominó 2x2 no tabuleiro, sem sobreposições. Quem não tiver mais espaço para jogar, perde.
Um jogador só usa dominós verticais, o outro só usa dominós horizontais.
Os jogadores têm nomes tradicionais: L e R. L é vertical e R é horizontal.
![Page 5: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/5.jpg)
Como jogar a posição?
Jogar!
Nota: os jogos partem-se em pedaços!
![Page 6: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/6.jpg)
TJC é isto mesmo: a arte de ser esperto a jogar.
Jogos combinatórios:
2 jogadores jogadas alternadas não há sorte nem informação escondida quem não puder jogar perde finitos
TJC estuda jogos combinatórios (e alguns outros...)
![Page 7: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/7.jpg)
Luísa +
Negro Azul
Vertical Ela
Ricardo -
Branco Vermelho Horizontal
Ele
Cinzento Verde
Esquerdo Direito
![Page 8: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/8.jpg)
árvore de opções
![Page 9: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/9.jpg)
com mais opções
![Page 10: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/10.jpg)
a árvore do quadrado
Relembrar que os jogos se partem em pedaços, pelo que podem ocorrer jogadas consecutivas do mesmo jogador.
![Page 11: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/11.jpg)
podemos omitir as opções dominadas:
![Page 12: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/12.jpg)
Jogos imparciais são aqueles em que o que um jogador pode fazer, o outro também pode. Isto é, as opções são iguais.
CRAM: igual ao DOMINÓRIO, mas ambos podem colocar peças horizontais e verticais.
Consideremos a posição
![Page 13: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/13.jpg)
Em CRAM, ganha o primeiro:
E em DOMINÓRIO?
![Page 14: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/14.jpg)
Left ganha sempre!
![Page 15: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/15.jpg)
TJC tenta descobri como jogar bem. Tenta também saber quem é que ganhará, assumindo que ambos os jogadores jogam sem falhas.
Uma estratégia vencedora é uma sequência de jogadas, eventualmente dependendo das do adversário, que garante a vitória
final.
![Page 16: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/16.jpg)
Considere o seguinte jogo.
1. Construa as árvores, considerando as regras do CRAM e do DOMINÓRIO.
2. Quem ganha em DOMINÓRIO se Vertical jogar primeiro? E se for o Horizontal a começar? Quem ganha em CRAM?
![Page 17: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/17.jpg)
Gula
![Page 18: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/18.jpg)
Pontos & Quadrados
![Page 19: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/19.jpg)
Cada jogada consiste em unir dois pontos horizontal ou verticalmente.
Quem completar um quadradinho escreve nele a sua inicial e joga de novo.
Ganha quem, no fim, tiver mais quadrados.
![Page 20: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/20.jpg)
A Alice está a jogar com o Bernardo. É a vez dela.
![Page 21: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/21.jpg)
A Alice dá uma fila, recebe outra, etc...
Resultado: empate!
![Page 22: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/22.jpg)
O Bernardo pode ser esperto...
O que pode a Alice fazer agora?...
![Page 23: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/23.jpg)
(A 10 - B 44)
![Page 24: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/24.jpg)
Ser guloso é boa estratégia para principiantes, para aprender contra jogadores mais fortes.
Jogar P&Q.
![Page 25: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/25.jpg)
Simetria
A estória da pessoa que desafiou Kasparov e Karpov para jogos por correspondência.
NIM de duas pilhas
Tweedledum-Tweddledee
*
![Page 26: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/26.jpg)
CLOBBER
![Page 27: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/27.jpg)
Joga-se normalmente num tabuleiro rectangular não quadrado.
Todas as casas estão ocupadas no início, com uma configuração qualquer, normalmente alternada.
Uma jogada consiste em jogar uma peça uma casa na ortogonal, desde que caia sobre uma peça adversária, que abandona o tabuleiro.
(Todas as jogadas são capturas).
Ganha o último a jogar.
![Page 28: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/28.jpg)
É o Negro a jogar. Se jogar para uma das posições seguintes
![Page 29: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/29.jpg)
Uma estratégia baseada na rotação por 180º garante a vitória ao Branco.
isto é a simetria a funcionar!
![Page 30: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/30.jpg)
Jogar:
Num tabuleiro 8x8 dois jogadores, o Negro e o Branco, alternam colocando uma peça de damas numa casa livre. Quem completar um
quadrado 2x2 da sua cor, ganha.
Qual é o resultado deste jogo, se ambos forem bons jogadores?
![Page 31: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/31.jpg)
A chave da simetria, que garante o empate ao 2º jogador:
Todos os quadrados contêm um dos "dominós" marcados...
![Page 32: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/32.jpg)
![Page 33: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/33.jpg)
![Page 34: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/34.jpg)
![Page 35: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/35.jpg)
![Page 36: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/36.jpg)
![Page 37: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/37.jpg)
![Page 38: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/38.jpg)
![Page 39: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/39.jpg)
Isomorfismo
Quem ganha, assumindo jogadores perfeitos?
![Page 40: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/40.jpg)
![Page 41: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/41.jpg)
Paridade
BEM-ME-QUER: Dois jogadores alternam arrancando uma pétala da flor. Ganha quem tirar a última.
![Page 42: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/42.jpg)
No começo há uma pilha de 29 feijões. Uma jogada consiste em dividir uma pilha em duas não vazias.
Quem ganha?...
Imaginar os feijões alinhados. Cada jogada consiste em colocar um fósforo entre dois feijões. Há sempre 28 jogadas. Ganha o 2º (se o
número de feijões fosse par ganhava o 1º)
Dados n feijões, há n-1 jogadas.
![Page 43: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/43.jpg)
Roubo
![Page 44: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/44.jpg)
Quem ganha?...
![Page 45: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/45.jpg)
![Page 46: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/46.jpg)
Hex
![Page 47: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/47.jpg)
![Page 48: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/48.jpg)
As Negras ganham imediatamente jogando em g2
![Page 49: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/49.jpg)
Prove que o 1º tem estratégia vencedora
![Page 50: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/50.jpg)
![Page 51: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/51.jpg)
Prove que o 2º tem estratégia vencedora
1.10.2019
![Page 52: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/52.jpg)
Jogada: apagar um vértice de forma a que uma aresta (pelo menos) caia.
DEGOLA (em estrelas)
![Page 53: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/53.jpg)
ENDNIM (partizano e imparcial): por exemplo 254653
![Page 54: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/54.jpg)
![Page 55: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/55.jpg)
Indução
Para provar P(s) para todos os s em S, basta
assumir P(r) para todos os r<s
confirmar para todos os casos-base
Em particular
Se G é um jogo e P(H) é verdade para qq opção de G, então P(G) é verdadeiro!
![Page 56: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/56.jpg)
Teorema: Em NIM de 2 pilhas (n,m) o primeiro ganha sse
Supor
Se joga para (n,n) e ganha (por indução)
Se qualquer jogada produz pilhas diferente e perde (por indução)
Caso base: vazio. n=m=0 tudo vale.
![Page 57: Teoria dos Jogos - ludicum.orgjnsilva.ludicum.org/TJ/TJ1920/TJ_tjc1.pdfTeorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar](https://reader035.vdocuments.site/reader035/viewer/2022081602/6133047ddfd10f4dd73ad176/html5/thumbnails/57.jpg)
Teorema Fundamental dos Jogos Combinatórios: Num jogo entre A e B, com A a jogar primeiro, ou A pode forçar a sua vitória ou B
pode forçar a sua vitória jogando em segundo. Mas não ambos.
se alguma das opções de A der a vitória ao segundo, A joga para uma dessas opções e ganha (por indução).
se todas as opções de A dão a vitória ao primeiro, então B pode forçar a vitória (por indução).
Dem: note-se que, por indução, numa opção de A, B ganha em 1º ou A ganha em 2º.