rekenkunst met strepen digitalized geometrystien101/talks/gaga280415.pdf · 2015. 4. 28. ·...

21
Rekenkunst met strepen Digitalized Geometry Jan Stienstra Voorlichtingsdag UU 14 maart 2015 extended for UU GAGA seminar 28/04/2015 1

Upload: others

Post on 13-Mar-2021

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Rekenkunst met strepenDigitalized Geometry

Jan Stienstra

Voorlichtingsdag UU 14 maart 2015extended for UU GAGA seminar 28/04/2015

1

Page 2: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Trefwoorden:

• frequentie

• richting

• digitaal

• rekenen:

0 + 0 = 0 0× 0 = 0

0 + 1 = 1 0× 1 = 0

1 + 0 = 1 1× 0 = 0

1 + 1 = 0 1× 1 = 1

Zhegalkin (1927):Polynomial functions over F2 give a pow-erful alternative for the Boolean algebraused in logic and set theory.

2

Page 3: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Zebra:

• frequentie : 12×breedte zwarte strepen

• richting : ⊥ zwarte strepen

• digitaal : wit/zwart

3

Page 4: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Standaardisatie:• Kies vast referentiepuntO in het vlak.• Bekijk alleen zebra’s met

een zwart/wit overgang in O.

Codeer beschrijving van zebra als pijl( = frequency vector v )

• vanuit O,• richting: wit→zwart , ⊥ scheidingslijn,• lengte = 1

2×breedte zwarte strepen .

• Defining formula:

Zv(x) = b2x · vc mod 2

4

Page 5: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

5

Page 6: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

6

Page 7: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z141

Z142

Z141 + Z142

7

Page 8: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z141

Z142

Z141 × Z142

8

Page 9: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z141

Z143

Z141 + Z143

9

Page 10: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z141

Z143

Z141 × Z143

10

Page 11: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z141

Z121

Z121 + Z141

11

Page 12: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z141

Z121

Z121 × Z141

12

Page 13: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z111 + Z121 + Z131 + Z141

Z111 + Z122 + Z131 + Z142

13

Page 14: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z221 + Z241 + Z261

Z211 + Z221 + Z231

+Z241 + Z251 + Z261

14

Page 15: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z124 + Z121Z142 + Z141Z142 + Z122Z142

+ Z122Z141 + Z121Z122 + Z124Z141

+ Z121Z124 + Z122Z124 + Z142Z144

+ Z112Z122Z142 + Z122Z132Z142

+ Z112Z124Z142 + Z124Z132Z142

+ Z122Z142Z144 + Z124Z142Z144

15

Page 16: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z122 + Z142

+Z131Z141Z142 + Z111Z141Z142

+Z121Z131Z142 + Z111Z121Z142

+Z122Z131Z142 + Z111Z122Z142

=

Z122 + Z142(1 + (Z111 + Z131)(Z121 + Z122 + Z141)

)

16

Page 17: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z111 + Z131 + Z121Z131Z141

17

Page 18: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z111 + Z131 + Z121Z141

Z111 + Z121 + Z131 + Z141 + Z121Z131Z141

18

Page 19: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

Z111 + Z121 + Z131 + Z141 + Z121Z131Z141

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19σ0 11 3 17 7 10 13 18 5 15 8 14 9 19 16 12 1 2 4 6σ1 3 12 7 17 4 10 1 15 18 14 8 19 9 6 11 5 16 13 2

ZPKAST =

sign edge black white source target− 1 3 5 6 1− 2 4 4 4 1+ 3 4 5 1 5− 4 5 3 2 5+ 5 1 3 6 2− 6 6 6 4 2+ 7 5 5 5 6− 8 1 1 3 6− 9 2 2 7 6+ 10 1 6 2 3+ 11 3 1 1 3+ 12 2 4 1 7+ 13 6 2 2 7+ 14 3 6 3 4+ 15 2 1 6 1+ 16 3 3 4 6+ 17 4 3 5 4+ 18 5 2 6 2+ 19 6 4 7 4

19

Page 20: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

10 20 30 40 50 60 70 80 90 100

10

20

30

40

50

60

70

80

90

100

20

Page 21: Rekenkunst met strepen Digitalized Geometrystien101/talks/GAGA280415.pdf · 2015. 4. 28. · Zhegalkin (1927): Polynomial functions over F 2 give a pow-erful alternative for the Boolean

ss

sa

�����@

@@�����B1 : 3

HS16

ss s

sa��������

��

B2 : 4

HS14

s s ssa2 AAAAA�

����B3 : 4

HS13

s sss

a����� �����

B4 : 4, 5

HS15: a, b

ss s2 s

saAAAAA�

��

B5 : 5

HS11

ss s

ssa���@

@@���

B6 : 5, 6

HS12: a, b

ss s

sss

a���

���

B7 : 6, 7, 8, 11

HS10: a, b, c, d

ss s2 s

ssa @@@�

��

B8 : 6, 7, 8

HS9: a, b, c

ss2

ss2s

s a���

��

B9 : 6, 7

HS8: a, b

ss2s s3 s3 s

aQ

QQ

QQQ

QQ

B10 : 6

HS7

���

s s2 ss2

sss aB11 : 9, 9, 12

HS6: a, b, c

@@

@@@�

��

s s3 s3 ss2

ss aB12 : 9

HS5

HHHH

HHH

HHH

s s4 s6 s4 ss2

ss2 aB13 : 12

HS2

s s2 ss2

ss2

ss2 aB14 : 12, 12, 14, 21

HS4: a, b, c, d

@@

@@@

s s3 s3 ss2

sss2 aB15 : 12, 14

HS3: a, b

@@

@@

@@@@

s s3 s3 ss3

s3

ss3s3 aB16 : 21

HS1

21