Enviar pesquisa
Carregar
Boolean Games
•
0 gostou
•
329 visualizações
Adrian Schroeter
Seguir
Educação
Denunciar
Compartilhar
Denunciar
Compartilhar
1 de 47
Baixar agora
Baixar para ler offline
Recomendados
The Ring programming language version 1.8 book - Part 52 of 202
The Ring programming language version 1.8 book - Part 52 of 202
Mahmoud Samir Fayed
New
New
Bilal Muhammad
Utility Classes Are Killing Us
Utility Classes Are Killing Us
Yegor Bugayenko
The Ring programming language version 1.5.4 book - Part 46 of 185
The Ring programming language version 1.5.4 book - Part 46 of 185
Mahmoud Samir Fayed
Python Data-Science-Preview
Python Data-Science-Preview
whuang022ai
The Ring programming language version 1.5.3 book - Part 50 of 184
The Ring programming language version 1.5.3 book - Part 50 of 184
Mahmoud Samir Fayed
The Ring programming language version 1.3 book - Part 40 of 88
The Ring programming language version 1.3 book - Part 40 of 88
Mahmoud Samir Fayed
The Ring programming language version 1.9 book - Part 60 of 210
The Ring programming language version 1.9 book - Part 60 of 210
Mahmoud Samir Fayed
Recomendados
The Ring programming language version 1.8 book - Part 52 of 202
The Ring programming language version 1.8 book - Part 52 of 202
Mahmoud Samir Fayed
New
New
Bilal Muhammad
Utility Classes Are Killing Us
Utility Classes Are Killing Us
Yegor Bugayenko
The Ring programming language version 1.5.4 book - Part 46 of 185
The Ring programming language version 1.5.4 book - Part 46 of 185
Mahmoud Samir Fayed
Python Data-Science-Preview
Python Data-Science-Preview
whuang022ai
The Ring programming language version 1.5.3 book - Part 50 of 184
The Ring programming language version 1.5.3 book - Part 50 of 184
Mahmoud Samir Fayed
The Ring programming language version 1.3 book - Part 40 of 88
The Ring programming language version 1.3 book - Part 40 of 88
Mahmoud Samir Fayed
The Ring programming language version 1.9 book - Part 60 of 210
The Ring programming language version 1.9 book - Part 60 of 210
Mahmoud Samir Fayed
Present. Coop57
Present. Coop57
Jose Ochoa
aviozvisulPro
aviozvisulPro
guestaeb492
Unit 2 Gordon
Unit 2 Gordon
bill balina
ProgramaçãO
ProgramaçãO
doguinha_dj
إن الله لا يغير مابقوم حتى يغييروا مابأنفسهم
إن الله لا يغير مابقوم حتى يغييروا مابأنفسهم
abokhlid1
Usability Heuristics
Usability Heuristics
Ovidiu Von M
Hydrogen & Renewable Energy In The UK : Real Life Case Studies
Hydrogen & Renewable Energy In The UK : Real Life Case Studies
Gavin Harper
Talk or Not to Talk @ CSCW 2012
Talk or Not to Talk @ CSCW 2012
Adrian Schroeter
Failure-Preventing Recommendations
Failure-Preventing Recommendations
Adrian Schroeter
Predicting Buildoutcome using Developer Interaction in Jazz
Predicting Buildoutcome using Developer Interaction in Jazz
Adrian Schroeter
Do Stack Traces Help Developers Fix Bugs?
Do Stack Traces Help Developers Fix Bugs?
Adrian Schroeter
Candidacy
Candidacy
Adrian Schroeter
MSA - building socio-technical networks
MSA - building socio-technical networks
Adrian Schroeter
Mining Jazz: An Experience Report
Mining Jazz: An Experience Report
Adrian Schroeter
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
Conquiztadors- the Quiz Society of Sri Venkateswara College
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERP
Celine George
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
Conquiztadors- the Quiz Society of Sri Venkateswara College
Integumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.ppt
shraddhaparab530
Concurrency Control in Database Management system
Concurrency Control in Database Management system
Christalin Nelson
Influencing policy (training slides from Fast Track Impact)
Influencing policy (training slides from Fast Track Impact)
Mark Reed
Visit to a blind student's school🧑🦯🧑🦯(community medicine)
Visit to a blind student's school🧑🦯🧑🦯(community medicine)
lakshayb543
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
JoshuaGantuangco2
Mais conteúdo relacionado
Destaque
Present. Coop57
Present. Coop57
Jose Ochoa
aviozvisulPro
aviozvisulPro
guestaeb492
Unit 2 Gordon
Unit 2 Gordon
bill balina
ProgramaçãO
ProgramaçãO
doguinha_dj
إن الله لا يغير مابقوم حتى يغييروا مابأنفسهم
إن الله لا يغير مابقوم حتى يغييروا مابأنفسهم
abokhlid1
Usability Heuristics
Usability Heuristics
Ovidiu Von M
Hydrogen & Renewable Energy In The UK : Real Life Case Studies
Hydrogen & Renewable Energy In The UK : Real Life Case Studies
Gavin Harper
Destaque
(7)
Present. Coop57
Present. Coop57
aviozvisulPro
aviozvisulPro
Unit 2 Gordon
Unit 2 Gordon
ProgramaçãO
ProgramaçãO
إن الله لا يغير مابقوم حتى يغييروا مابأنفسهم
إن الله لا يغير مابقوم حتى يغييروا مابأنفسهم
Usability Heuristics
Usability Heuristics
Hydrogen & Renewable Energy In The UK : Real Life Case Studies
Hydrogen & Renewable Energy In The UK : Real Life Case Studies
Mais de Adrian Schroeter
Talk or Not to Talk @ CSCW 2012
Talk or Not to Talk @ CSCW 2012
Adrian Schroeter
Failure-Preventing Recommendations
Failure-Preventing Recommendations
Adrian Schroeter
Predicting Buildoutcome using Developer Interaction in Jazz
Predicting Buildoutcome using Developer Interaction in Jazz
Adrian Schroeter
Do Stack Traces Help Developers Fix Bugs?
Do Stack Traces Help Developers Fix Bugs?
Adrian Schroeter
Candidacy
Candidacy
Adrian Schroeter
MSA - building socio-technical networks
MSA - building socio-technical networks
Adrian Schroeter
Mining Jazz: An Experience Report
Mining Jazz: An Experience Report
Adrian Schroeter
Mais de Adrian Schroeter
(7)
Talk or Not to Talk @ CSCW 2012
Talk or Not to Talk @ CSCW 2012
Failure-Preventing Recommendations
Failure-Preventing Recommendations
Predicting Buildoutcome using Developer Interaction in Jazz
Predicting Buildoutcome using Developer Interaction in Jazz
Do Stack Traces Help Developers Fix Bugs?
Do Stack Traces Help Developers Fix Bugs?
Candidacy
Candidacy
MSA - building socio-technical networks
MSA - building socio-technical networks
Mining Jazz: An Experience Report
Mining Jazz: An Experience Report
Último
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
Conquiztadors- the Quiz Society of Sri Venkateswara College
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERP
Celine George
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
Conquiztadors- the Quiz Society of Sri Venkateswara College
Integumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.ppt
shraddhaparab530
Concurrency Control in Database Management system
Concurrency Control in Database Management system
Christalin Nelson
Influencing policy (training slides from Fast Track Impact)
Influencing policy (training slides from Fast Track Impact)
Mark Reed
Visit to a blind student's school🧑🦯🧑🦯(community medicine)
Visit to a blind student's school🧑🦯🧑🦯(community medicine)
lakshayb543
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
JoshuaGantuangco2
Transaction Management in Database Management System
Transaction Management in Database Management System
Christalin Nelson
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
JojoEDelaCruz
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERP
Celine George
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
leah joy valeriano
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
Conquiztadors- the Quiz Society of Sri Venkateswara College
Field Attribute Index Feature in Odoo 17
Field Attribute Index Feature in Odoo 17
Celine George
Activity 2-unit 2-update 2024. English translation
Activity 2-unit 2-update 2024. English translation
Rosabel UA
Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdf
Patidar M
Full Stack Web Development Course for Beginners
Full Stack Web Development Course for Beginners
Sabitha Banu
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
Nguyen Thanh Tu Collection
Choosing the Right CBSE School A Comprehensive Guide for Parents
Choosing the Right CBSE School A Comprehensive Guide for Parents
navabharathschool99
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-design
MIPLM
Último
(20)
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
YOUVE GOT EMAIL_FINALS_EL_DORADO_2024.pptx
What is Model Inheritance in Odoo 17 ERP
What is Model Inheritance in Odoo 17 ERP
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
LEFT_ON_C'N_ PRELIMS_EL_DORADO_2024.pptx
Integumentary System SMP B. Pharm Sem I.ppt
Integumentary System SMP B. Pharm Sem I.ppt
Concurrency Control in Database Management system
Concurrency Control in Database Management system
Influencing policy (training slides from Fast Track Impact)
Influencing policy (training slides from Fast Track Impact)
Visit to a blind student's school🧑🦯🧑🦯(community medicine)
Visit to a blind student's school🧑🦯🧑🦯(community medicine)
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
GRADE 4 - SUMMATIVE TEST QUARTER 4 ALL SUBJECTS
Transaction Management in Database Management System
Transaction Management in Database Management System
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
ENG 5 Q4 WEEk 1 DAY 1 Restate sentences heard in one’s own words. Use appropr...
How to do quick user assign in kanban in Odoo 17 ERP
How to do quick user assign in kanban in Odoo 17 ERP
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
Music 9 - 4th quarter - Vocal Music of the Romantic Period.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
FINALS_OF_LEFT_ON_C'N_EL_DORADO_2024.pptx
Field Attribute Index Feature in Odoo 17
Field Attribute Index Feature in Odoo 17
Activity 2-unit 2-update 2024. English translation
Activity 2-unit 2-update 2024. English translation
Active Learning Strategies (in short ALS).pdf
Active Learning Strategies (in short ALS).pdf
Full Stack Web Development Course for Beginners
Full Stack Web Development Course for Beginners
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
HỌC TỐT TIẾNG ANH 11 THEO CHƯƠNG TRÌNH GLOBAL SUCCESS ĐÁP ÁN CHI TIẾT - CẢ NĂ...
Choosing the Right CBSE School A Comprehensive Guide for Parents
Choosing the Right CBSE School A Comprehensive Guide for Parents
Keynote by Prof. Wurzer at Nordex about IP-design
Keynote by Prof. Wurzer at Nordex about IP-design
Boolean Games
1.
1vs. Boolean Games turn based,
one on one
2.
Exercise 51
3.
Players take turns Exercise
51
4.
Players take turns 4
connected win Exercise 51
5.
Players take turns 4
connected win Exercise 51
6.
have Fun Players take
turns 4 connected win Exercise 51
7.
8.
1 0 1 0 1 0
9.
1 0 1 0 1 0 0 starts
10.
1 0 1 0 1 0 1 0 1 0 1 0 00 starts
11.
1 0 1 0 1 0 1 0 1 0 1 0 0 1 starts 0
starts
12.
1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 11
starts 0 starts
13.
1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0
101 starts 0 starts
14.
Task: construct a
set of Horn clauses that describe if a player has already won or lost.
15.
1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0
101 starts 0 starts
16.
1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0
101 starts 0 starts 0
17.
1 0 1 0 1 0 1 0 1 0 1 0 0 1 0 1 0 1 0 1 1 0 1 0 1 0
101 starts 0 starts 0 0
18.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 1
starts 0
19.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 1
starts 0
20.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 1
starts 0
21.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 1
starts 0
22.
How can we
generalize?
23.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 0
24.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 0
25.
1 0 1 0 1 0 1 0 1 0 1 0 1 1 0 1 0 1 0 10 0 if
a draw is not possible
26.
00001110001000110000111000001100011100001110000001 10001000011000110000110000011000001000110000001000 00111000000111000100011000011100000110001110000111 00000011000100001100011000011000001100000100011000 00010000011100000011100010001100001110000011000111 00001110001000110001000011000110000110000011000001 00011000000100000111000000111000100011000011100000 11000111000011100000011000100001100011000011000001 10000010001100000010000011100000011100010001100001 11000001100011100001110000001100010000110001100001 10000011000001000110000001000001110000001110001000 11000011100000110001110000111000000110001000011000 11000011001000110000010001100002001000001110000001 11000100011000011100000110001110000111000000110001 00001100011000011000001100000100011000000100000111 00000011100010001100001110000011000111000011100000 “Any Boolean function
leads to a Game ...” Donald E. Knuth Exercise 52
27.
construct game graph animate x2 start
28.
construct game graph animate x2 x1 start
29.
construct game graph animate x2 x1 x4 start
30.
construct game graph animate x2 x3
x5 x7 x6 x8 x9x1 x4 start
31.
x1 x3 x5
x7 x6x4 x8 x9 1 some example steps - max 4 possible moves - start
32.
x1 x3 x5
x7 x6 x8 x9 1 0 some example steps - max 4 possible moves - start
33.
x1 x5 x7 x6
x8 x9 1 0 1 some example steps - max 4 possible moves - start
34.
x1 x5 x7 x6
x8 x9 0 1 0 some example steps - max 4 possible moves - start
35.
x1 x2
36.
x1 x2 (a) f(x[1:n]) =
x[1:n] < x[n:1]╓ ╙ ╓ ╙
37.
x1 x2 xx (a) f(x[1:n]) =
x[1:n] < x[n:1]╓ ╙ ╓ ╙
38.
x1 x2 xx x0 x1 (a) f(x[1:n]) =
x[1:n] < x[n:1]╓ ╙ ╓ ╙
39.
x1 x2 xx x0 x1 00 10 01 11 (a) f(x[1:n]) =
x[1:n] < x[n:1]╓ ╙ ╓ ╙
40.
x1 x2 xx x0 x1 0 0 0 1 (a) f(x[1:n]) =
x[1:n] < x[n:1]╓ ╙ ╓ ╙
41.
x1 x2 xx x1 0 0 0 1 0 (a) f(x[1:n]) =
x[1:n] < x[n:1]╓ ╙ ╓ ╙
42.
Algorithm C
43.
n (a) 2 0
wins 3 0 wins 4 first wins 5 second wins 6 second wins 7 1 loses if first 8 draw 9 draw (a) f(x[1:n]) = x[1:n] < x[n:1]╓ ╙ ╓ ╙
44.
n (b) 2 second
wins 3 first wins 4 first wins 5 draw 6 second wins 7 second wins 8 draw 9 draw (b) f(x[1:n]) = xi⊕i
45.
n (c) 2 1
wins 3 first wins 4 first wins 5 draw 6 1 loses if first 7 1 loses if first 8 draw 9 draw (c) f(x[1:n]) = x[1:n] contains no two consecutive 1’s ╓ ╙ ╓ ╙
46.
n (d) 2 second
wins 3 first wins 4 first wins 5 1 loses if first 6 1 loses if first 7 1 loses if first 8 1 loses if first 9 1 loses if first (d) f(x[1:n]) = (x[1:n])2 is prime╓ ╙ ╓ ╙
47.
Questions?
Baixar agora