ts r r ts - - PowerPoint PPT Presentation

▶

Nov 06, 2023 296 likes •352 views

ts r r ts s ts set(2,5,5,4) rt st {2,5,4} domain st sq set(

SLIDE 1

❈♦♥✈❡♥t✐♦♥s

❙❤❛♥❦❛r ▼❛r❝❤ ✶✶✱ ✷✵✶✹

SLIDE 2

❙❡ts ❛♥❞ ❇❛❣s

❙❡ts

set(2,5,5,4)✿ ❡♥✉♠❡r❛t❡❞ s❡t

✴✴ {2,5,4}

set(expr: param in domain; pred)

✴✴ domain✿ s❡t✱ ❜❛❣✱ s❡q ❋♦r s❡t x

x.size✿ ★ ♦❢ ❡♥tr✐❡s ✐♥ x x.add(m)

✴✴ x ← x ∪ {m}

x.remove(m)

✴✴ x ← x \ {m} ❙❡t t②♣❡s

Set x Set<U> x

✴✴ s❡t ♦❢ ❡♥tr✐❡s ♦❢ U ❇❛❣s ✴✴ ♠✉❧t✐s❡ts ❛❧❧ t❤❡ ❛❜♦✈❡ ❝♦♥str✉❝ts✱ ✇✐t❤ ✏s❡t✑ → ✏❜❛❣✑ ❡✳❣✳✱ bag(expr: param in domain; pred)

SLIDE 3

❙❡q✉❡♥❝❡s

[2,3,4,2,1]✿ ❡♥✉♠❡r❛t❡❞ s❡q✉❡♥❝❡

✴✴ ❬❤❡❛❞✱ ✳✳✳✱ ❧❛st❪

[expr: param in domain; pred]

✴✴ domain✿ s❡q✉❡♥❝❡ ❋♦r s❡q✉❡♥❝❡ x

x[j]✿ jt❤ ❡♥tr②

✴✴ x[0] ✐s ❤❡❛❞

x.keys✿ [0 .. x.size − 1] x.append(m)

✴✴ t♦ t❛✐❧

x.remove(k)

✴✴ x[k]

✿ ❝♦♥❝❛t❡♥❛t✐♦♥

✴✴ [1,2] ◦ [a,b] ❂ [1,2,a,b] ❙❡q✉❡♥❝❡ t②♣❡s

Seq Seq <U>

✴✴ ❡♥tr✐❡s ✐♥ U ❚✉♣❧❡s✿ ✜①❡❞✲❧❡♥❣t❤ s❡qs

Tuple <·,·> Tuple <U,V>

✴✴ U × V

SLIDE 4

▼❛♣s

▼❛♣ s❡t ♦❢ ❬❦❡②✱ ✈❛❧✉❡❪ t✉♣❧❡s✱ ✇✐t❤ ❞✐st✐♥❝t ❦❡②s

map([2,100], [3,200])

✴✴ ♠❛♣ ✇✐t❤ ✷ ❡♥tr✐❡s

map(✷tuple: param in domain; pred)

❋♦r ♠❛♣ x

x.keys

✴✴ s❡q✉❡♥❝❡ ♦❢ ❦❡②s

x[j]

✴✴ ✈❛❧✉❡ ✐♥ [j,·]

remove(j)

✴✴ ❞❡❧❡t❡ [j,·] ✭✐❢ ❛♥②✮

x[j] ← e

✴✴ remove(j)✱ ❛❞❞ [j,e] ▼❛♣ t②♣❡s✿

Map Map <U,V>

SLIDE 5

▼✐s❝❡❧❧❛♥❡♦✉s

❙❡t✴s❡q✉❡♥❝❡ S ❝❛♥ s❡r✈❡ ❛s ❛ ✏t②♣❡✑ ❢♦r ❞❡✜♥✐♥❣ ✈❛rs

S x✿ ✈❛r x ❝❛♥ r❛♥❣❡ ♦✈❡r ❝✉rr❡♥t ✈❛❧✉❡s ♦❢ S

❚②♣❡ T ❝❛♥ s❡r✈❡ ❛s ❛ ✏s❡t✑ ❢♦r ♠❡♠❜❡rs❤✐♣ ♣r❡❞✐❝❛t❡s

x in T T(x)

❉♦♥✬t✲❝❛r❡ ✈❛❧✉❡ ✏·✑ ✐♥ ♣r❡❞✐❝❛t❡ P

(thread in fn(.)✿ forsome(x: thread in fn(x)) (thread in v[.].fn(.)✿ forsome(x,y: thread in v[y].fn(x))

✏forsome✑ ❛♣♣❧✐❡s t♦ s♠❛❧❧❡st ♣r❡❞✐❝❛t❡ ✐♥ P ❡♥❝❧♦s✐♥❣ ·

ngoing(S)✿ s❤♦rt ❢♦r ✏(thread in S)✑