Proof a n d Com p uta tion in Coq Maxime Dénès, Benjamin Grégoire, Chantal Keller, Pierre Yves Strub, Laurent Théry Map 16 p.1
|
|
|
- Chad Cain
- 5 years ago
- Views:
Transcription
1 ÈÖÓÓ Ò ÓÑÔÙØ Ø ÓÒ Ò ÓÕ Å Ü Ñ Ò Ò Ñ Ò Ö Ó Ö ÒØ Ð Ã ÐÐ Ö È ÖÖ Ú ËØÖÙ Ä ÙÖ ÒØ Ì ÖÝ Map 16 p.1
2 ÅÓØ Ú Ø ÓÒ ÔÖÓ Ö ÑÑ Ò Ð Ò Ù ÙÒØ ÓÒ Ð Compute prime 31. = true ÔÖÓÚ Ö Ì ÓÖ Ñ Check Euclid_dvdX. forall m n p : nat, prime p -> (p % m ^ n) = (p % m) && (0 < n) Map 16 p.2
3 ÅÓØ Ú Ø ÓÒ Theorem Name : Statement. Proof. Qed. Map 16 p.3
4 ÇÙØÐ Ò ÌÓÝ Ü ÑÔÐ Ö Ö Ô ÒÝ Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Map 16 p.4
5 ÌÓÝ Ü ÑÔÐ Å ÌÖ ¾ Ö Ö Ù Ò ØÖ Map 16 p.5
6 ËØ Ô ½º Ë Ù Ð Ø Ý ÑÙÐØ ÔÐ ÙØ ¾º È Ú Ô ÓÔÐ Ò Ø Ù Ò º Ú Ö ØÓ Ô ÖØ Ô ÒØ º Ì Ø Ñ Ò Ö Ò º Ù Ö Map 16 p.6
7 È Map 16 p.7
8 Ì Ø Map 16 p.8
9 Ì Ø Map 16 p.8
10 Ù Map 16 p.9
11 Å ÌÖ Ì Ø 2 5 = 32 Ë Ù Ð Map 16 p.10
12 ÒÓ Ò ËÙ Ø Ê Ò Map 16 p.11
13 Ó Ò Map 16 p.12
14 Ó Ò Map 16 p.12
15 Ó Ò Map 16 p.12
16 Ó Ò Map 16 p.12
17 Ó Ò Map 16 p.12
18 Ó Ò Map 16 p.12
19 Ó Ò Map 16 p.12
20 Ö Ø Î Ö Ø ÓÒ Ê ÙÖ Ú Ò Ø ÓÒ s 0 = [0,0,0,0,0] s 1 = [0,0,0,0,1]... s n+1 = [s n,2,s n,3,s n,4,s n,5,s n,1 +s n,3 ] ÈÖÓÔ ÖØÝ uniq [s i i < 32] Map 16 p.13
21 ÁÒ Ö Ø Î Ö Ø ÓÒ s n = [a n 5,a n 4,a n 3,a n 2,a n 1 ] a n = 0 0 < n a 0 = 1 a n = a n 5 +a n 3 0 < n P = X 5 +X 2 +1 (F 2 [X]) 1/P = i 0 a i X i Map 16 p.14
22 ÁÒ Ö Ø Î Ö Ø ÓÒ (1+X 31 )/P = X 26 +X 23 +X 21 +X 20 +X 17 +X 16 +X 15 +X 14 +X 13 +X 9 +X 8 +X 6 +X 5 +X 4 +X ÈÖÓÔ ÖØÝ irreducible P Map 16 p.15
23 Ö Ö Ô ÒÝ Map 16 p.16
24 Ö Ö Ô ÒÝ Map 16 p.17
25 Ë Ø ËÓÐÚ Ö ÈÖÓ Ð Ñ Is it possible to put n pigeons in m holes in such a way that each hole contains at most one pigeon? ÒÓ Ò v i,p pigeon i is in hole p v i,1 v i,2 v i,m n clauses v i,p v i,q n(m 2 m)/2 clauses Map 16 p.18
26 Ë Ø ËÓÐÚ Ö v i v i v j v l v j v k v l ÎË ÍÈ Â Ä Map 16 p.19
27 Ë Ø ËÓÐÚ Ö b d a c d c e a d e a c Map 16 p.20
28 Ë Ø ËÓÐÚ Ö b d a c d c e a d e a c a b Map 16 p.20
29 Ë Ø ËÓÐÚ Ö b d a c d c e a d e a c a b Map 16 p.20
30 Ë Ø ËÓÐÚ Ö b d a c d c e a d e a c a b c Map 16 p.20
31 Ë Ø ËÓÐÚ Ö b d a c d c e a d e a c a b c Map 16 p.20
32 Ë Ø ËÓÐÚ Ö a b c d e b d a c d c e a d e a c Map 16 p.20
33 Ë Ø ËÓÐÚ Ö a b c d e b d a c d c e a d e a c a c Map 16 p.20
34 Ë Ø ËÓÐÚ Ö b d a c d c e a d e a c a b Map 16 p.20
35 Ë Ø ËÓÐÚ Ö v i v i v j v l v j v k v l ÎË ÍÈ Â Ä Map 16 p.21
36 Ë Ø ÈÖÓÓ v C v C C C Ê ÓÐÙØ ÓÒ a c d c e a d e a c d a c Ü ÑÔÐ Map 16 p.22
37 Ë Ø ÈÖÓÓ Map 16 p.23
38 Ö Ö Ô ÒÝ For every infinite sequence (x n ) (x i { 1,1}), for every C, there exists (k,d) such that d i=1 x ki > C Map 16 p.24
39 C = 1 k =1 (+1,?,?,?,?,?,?,?,?,?,?,? ) Ö Ö Ô ÒÝ ÓÖ k =2 (+1,-1,?,?,?,?,?,?,?,?,?,? ) k =1 (+1,-1,?,+1,?,?,?,?,?,?,?,? ) k =3 (+1,-1,-1,+1,?,?,?,?,?,?,?,? ) k =1 (+1,-1,-1,+1,?,+1,?,?,?,?,?,? ) k =4 (+1,-1,-1,+1,-1,+1,?,?,?,?,?,? ) k =1 (+1,-1,-1,+1,-1,+1,?,-1,?,?,?,? ) k =5 (+1,-1,-1,+1,-1,+1,+1,-1,?,?,?,? ) k =1 (+1,-1,-1,+1,-1,+1,+1,-1,?,+1,?,? ) k =6 (+1,-1,-1,+1,-1,+1,+1,-1,-1,+1,?,? ) k =1 (+1,-1,-1,+1,-1,+1,+1,-1,-1,+1,?,-1) k =3 (+1,-1,-1,+1,-1,+1,+1,-1,-1,+1,+1,-1) Map 16 p.25
40 Ö Ö Ô ÒÝ ÓÖ C = 2 Ö ØÖ ÖÝ ÕÙ Ò (x n ) Ó 1161 Ð Ñ ÒØ ÜÔÖ Ø ÓÒ ØÖ ÒØ Ù Ò Ð Ù ÒÓ Ò ÓÓÐ Ò Ú ÐÙ Ú ÐÙ x i = x i +1 x i = x i -1 Ô ÖØ Ð ÙÑ Ó Ó Ð Ò Ø Ò Ú ÖÝ Ý ÓÓÐ Òº ÒÓ Map 16 p.26
41 Ö Ö Ô ÒÝ ÓÖ C = 2 y i3 = x i1 +x i2 +x i3 ØÛ Ò -2 Ò 2 x i1 x i2 x i3 x i1 x i2 x i3 x i1 x i2 y i3 x i1 x i2 y i3 x i1 x i3 y i3 x i1 x i3 y i3 x i2 x i3 y i3 x i2 x i3 y i3 Map 16 p.27
42 Ö Ö Ô ÒÝ ÓÖ C = 2 ÒÓ Ò 4206 Ú Ö Ð Ð Ù Ø 30 Ñ Ò ØÓ ÔÖÓÚ ÙÒ Ø Ð ØÝ ÐÙÓ Ø ÔÖÓÓ 2 º Ò Map 16 p.28
43 Ö Ö Ô ÒÝ Ò ÓÕ Lemma Erdos : forall x_ : nat -> bool, exists k, exists d, \ sum_(1 <= i < d) [x_ (k * i)] > 2. Ò Ì Ñ 5 Ñ Ò ÈÖÓ Ë Þ 2 ÓÑÔ Ð Ð 1 Å Map 16 p.29
44 Ö Ö Ô ÒÝ Ò ÓÕ Ò ÓÒ Ï Ø Verified proof-cheker for resolution Verified translatation Ø Ò ÓÒ ÀÓÛ Preprocessing Use some impure features Map 16 p.30
45 Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Map 16 p.31
46 Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Every odd number greater than 5 can be expressed as the sum of three primes 7 = = = = = = º º º Map 16 p.32
47 Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Map 16 p.33
48 ÈÖÓÚ Ò ÈÖ Ñ È ÖØ ÙÐ Ö ÈÖ Ñ Å ÒÝ ÈÖ Ñ Map 16 p.34
49 ÈÖÓÚ Ò ÈÖ Ñ ËÙÔÔÓ Û Û ÒØ ØÓ ÔÖÓÚ Ø Ø n = ÔÖ Ñ º Map 16 p.35
50 ÈÖ Ñ Ð ØÝ ÖØ Ø ËÙÔÔÓ Û Û ÒØ ØÓ ÔÖÓÚ Ø Ø n = ÔÖ Ñ º Ò a Ó ã ä ÓÖ Ö m Ò a m = 1 mod n p, primep p m a m/p 1 mod n Á m n n ÔÖ Ñ º Map 16 p.36
51 ÈÖ Ñ Ð ØÝ ÖØ Ø ËÙÔÔÓ Û Û ÒØ ØÓ ÔÖÓÚ Ø Ø n = ÔÖ Ñ º Ò a Ó ã ä ÓÖ Ö m Ò a m = 1 mod n p, primep p m gcd(a m/p 1,n) = 1 Á m n n ÔÖ Ñ º Map 16 p.36
52 ÈÖ Ñ Ð ØÝ ÖØ Ø ËÙÔÔÓ Û Û ÒØ ØÓ ÔÖÓÚ Ø Ø n = ÔÖ Ñ º Ò a Ó ã ä ÓÖ Ö m Ò a m = 1 mod n p, primep p m gcd(a m/p 1,n) = 1 Á m n n ÔÖ Ñ º ÈÖÓ Ð Ñ Ô ÖØ Ð ØÓÖ Þ Ø ÓÒ Ó n 1 Map 16 p.36
53 ÈÖ Ñ Ð ØÝ ÖØ Ø Map 16 p.37
54 ÈÖ Ñ Ð ØÝ ÖØ Ø Map 16 p.38
55 ÈÖ Ñ Ð ØÝ ÖØ Ø Map 16 p.39
56 ÈÖÓÚ Ò Å ÒÝ ÈÖ Ñ Map 16 p.40
57 Ö Ø Ó Ø Ò Map 16 p.41
58 Ö Ø Ó Ø Ò Ï Ø Ö ÓÒ Ð Ð ÓÖ Ø Ñ ÓÑÔÖ Ò C = [1; 7; 11; 13; 17; 19; 23; 27; 29] n = 30(p/9)+C[p mod 9] ÂÙÑÔ Ò J[7] = [(29, 4, 0), (19, 6, 1), (23, 6, 1), (27, 2, 0), (1, 2, 1), (17, 4, 1), (7, 2, 1), (11, 2, 1), (13, 2, 1)] Map 16 p.42
59 Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Á [p 1, p 2,...,p n ] Ù Ø Ø p i+1 p i +A ÓÐ ÙÒ Ö A Ì ÓÐ ÙÒ Ö p Á n +Aº n p i = 2q = p j +p k ÓÑÔÙØ Ø ÓÒ A = Ò Ø ÈÖÓØ ÑÙÑ Ö k2 h +1 Ø ÈÖÓ Ð ÔÖ Ñ º ËÐÓÛ Map 16 p.43
60 Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Lemma Goldbach_main : (forall n : Z, Zeven n -> 4 n 4 * 10 ^ 18 -> exists p1 p2 : Z, prime p1 prime p2 n = p1 + p2) -> forall n : Z, Zodd n -> 7 n * 2 ^ 52 -> exists p1 p2 p3 : Z, prime p1 prime p2 prime p3 n = p1 + p2 + p3 Map 16 p.44
61 Ì ÖÒ ÖÝ ÓÐ ÓÒ ØÙÖ Ï Ø Ñ Ø ÔÓ Ð 556 Ð Ö Ñ Ë Þ ÆÓÒ ÈÖÓØ ÊÙÒÌ Ñ 5 Ý Û Ø 24 ÓÖ Map 16 p.45
62 Ò ÖÝ ÓÐ ÓÒ ØÙÖ Map 16 p.46
63 Ò ÖÝ ÓÐ ÓÒ ØÙÖ n = p i +p j n = p i = 9781 À ÐÝ ÓÔØ Ñ ÔÖÓ Ö Ñ 770 Ý Ö Map 16 p.47
64 ÓÒÐÙ ÓÒ ÈÖÓÚ Ò Ò ÓÑÔÙØ Ò Ö ÙÐ ÓÑÔÙØ Ò È Ö ÐÐ Ð Ò Û Ø Ø ÓÖ Ñ Map 16 p.48
ÁÒØÖÓ ÙØ ÓÒ Ö ÔØ Ú ËØ Ø Ø ÁÒ Ö ÒØ Ð ËØ Ø Ø ÀÝÔÓØ Ø Ø Ò ¹ Ô Ú ÐÙ Ø ÖÑ Ò Ø ÓÒ Ó ÑÔÐ Þ ËÙÑÑ ÖÝ Ä ÖÒ Ò Ó¹ Ø ÖÑ Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú
Æ ÙÝ Ò Ì ÌÙ Î Ò ½ Æ ÙÝ Ò ÉÙ Ò Î Ò ¾ ½ ÍÒ Ú Ö ØÝ Ó Å Ò Ò È ÖÑ Ý Ó ÀÓ Å Ò ØÝ ¾ Æ ÙÝ Ò ÌÖ È ÙÓÒ ÀÓ Ô Ø Ð ÂÁ ÔÖÓ Ø ¹ Ù Ù Ø ¾¼½ ÇÙØÐ Ò ½ ¾ Ø ÓÖÝ Ñ ÙÖ Ø Ñ Ø ÓÒ ¹ ÓÒ Ò ÁÒØ ÖÚ Ð ÔÓ ÒØ Ø Ñ Ø ¹ Ò ÒØ ÖÚ Ð Ø Ñ Ø ÁÒØ
ÁÒ ÙØ Ú ¹ ÙØ Ú ËÝ Ø Ñ Ñ Ø Ñ Ø Ð ÐÓ Ò Ø Ø Ø Ð Ð ÖÒ Ò Ô Ö Ô Ø Ú Æ ÓÐ ÓØ Å Ð Ë Ø ÇÐ Ú Ö Ì ÝØ Ù ÍÒ Ú Ö Ø È Ö ¹ËÙ ÆÊË ÁÆÊÁ ÈÖÓ ¾¼¼
ÁÒ ÙØ Ú ¹ ÙØ Ú ËÝ Ø Ñ Ñ Ø Ñ Ø Ð ÐÓ Ò Ø Ø Ø Ð Ð ÖÒ Ò Ô Ö Ô Ø Ú Æ ÓÐ ÓØ Å Ð Ë Ø ÇÐ Ú Ö Ì ÝØ Ù ÍÒ Ú Ö Ø È Ö ¹ËÙ ÆÊË ÁÆÊÁ ÈÖÓ ¾¼¼ Ó ÜÔ ÖØ Ð ÒØ ÒØ Ø Ò Ò Öº º º µ Ý ÖÑ ÐÓ¹ Ö Ò Ð ÓÐ Ó Ø Ø ÓÖ Ñ Ð Ð ÓÐ Ï Ø Ó ÝÓÙ
ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ Ó À ÙÒØ ÓÒ ¾» ¾
ÖÝÔØÓ Ö Ô À ÙÒØ ÓÒ Ö Ø Ò ÓÙÖ Ë Ê Ì ÈÖÓ Ø Ì Ñ È Ö ¹ÊÓÕÙ ÒÓÙÖØ Ñ ÐØÓ Ö Ò ÆÓÚ Ñ Ö ½ ¾¼½½ ½» ¾ ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ Ó À ÙÒØ ÓÒ ¾» ¾ ÇÙØÐ Ò ½ À ÙÒØ ÓÒ ¾ Ì ËÀ ¹ ÓÑÔ Ø Ø ÓÒ ÖÝÔØ Ò ÐÝ
ÁÒØÖÓ ÙØ ÓÒ Î Ø Ð Ø Ö ØÙÖ ÓÒ ÑÔ Ø Ó Ù ØÑ ÒØ Ò Ø Ð Ø ÓÒ ÔÓÐ ÓÒ ÔÓÚ ÖØÝ ÙØ Ù Ø Û ÓÒ Ø ÑÔ Ø Ó Ô Ñ ÖÓ ÓÒÓÑ ÔÓÐ º ØØ Ö ÒÓÛÐ ÓÙØ ÔÖÓ¹ÔÓÓÖ Ñ ÖÓ ÔÓÐ Ò Ø Ñ ÒØ
Ò ÐÝ Ò Å ÖÓ¹ÈÓÚ ÖØÝ Ä Ò Ò ÇÚ ÖÚ Û ÖÒ Ö º ÙÒØ Ö Å Ö Âº Ó Ò Ò À Ò ÄÓ Ö Ò Ý ÖÙ ÖÝ ¾ ¾¼½½ ÁÒØÖÓ ÙØ ÓÒ Î Ø Ð Ø Ö ØÙÖ ÓÒ ÑÔ Ø Ó Ù ØÑ ÒØ Ò Ø Ð Ø ÓÒ ÔÓÐ ÓÒ ÔÓÚ ÖØÝ ÙØ Ù Ø Û ÓÒ Ø ÑÔ Ø Ó Ô Ñ ÖÓ ÓÒÓÑ ÔÓÐ º ØØ Ö ÒÓÛÐ
ÐÓ Û µ ÅÄ Ó Ò ººº Ð Ò Ö Ó Ü = (,..., Ü Ò ) ººº ÒØ Ó ÛÓÖ Ý = (Ý ½,..., Ý Ò ) ººº Ö Ú ÛÓÖ ¹ ÓÒ Ø ÒØ ÐÓ Û µ Å Ü ÑÙÑ Ä Ð ÓÓ Åĵ Ó Ö Ø Ø ÔÓ Ð Ó Ö Ñ Ò Ñ Þ Ø
¼ ÅÓ ÖÒ Ó Ò Ì ÓÖÝ ØÛ ÅÄ Ó Ö ÌÓÑ ÐÐ Ö Ò Â Ö Ö Ôغ Ó Ð ØÖ Ð Ò ÓÑÔÙØ Ö Ò Ò Ö Ò ËÍÆ Ò ÑØÓÒ ÐÓ Û µ ÅÄ Ó Ò ººº Ð Ò Ö Ó Ü = (,..., Ü Ò ) ººº ÒØ Ó ÛÓÖ Ý = (Ý ½,..., Ý Ò ) ººº Ö Ú ÛÓÖ ¹ ÓÒ Ø ÒØ ÐÓ Û µ Å Ü ÑÙÑ Ä
ÇÙØÐ Ò ÇÙØÐ Ò ÈÙÖÔÓ Ó Ø ÈÖÓ Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ È ÖØ Ð ÁÒØ Ö Ø ÓÒ È ÖØ Ð ÔÓ Ø ÓÒ Ê ÙÐØ ËÙÑÑ ÖÝ ¾ Ôк¹Å Ø º Ò Ö ØÞ Ë Ð ¹ Ò Ì Ö È ÖØÝ ËÓ Ð Ò Ó ÅÓØÓÖ Î Ð
ÆÙÑ Ö Ð Ë ÑÙÐ Ø ÓÒ Û Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ ØÓ ÓÑÔÙØ Ë Ð ¹ Ò Ì Ö È ÖØÝ ËÓ Ð Ò Ó ÅÓØÓÖ Î Ð Ôк¹Å Ø º Ò Ö ØÞ ÐÙ ÝÒ Ñ À Ä Ø Ò Ö ØÖ ¹ Ö Ò º Å Ò Ò ÂÙÒ ¾ Ö ¾¼½¼ ÇÙØÐ Ò ÇÙØÐ Ò ÈÙÖÔÓ Ó Ø ÈÖÓ Ø È ÖØ Ð ÌÖ Ò ÔÓÖØ È ÖØ
½½ º º À Æ Æ º º Í Æ ÒÓØ ÔÓ Ø Ú Ñ ¹ Ò Ø ÙÒÐ Ø ÓÐÐÓÛ Ò ØÖÙ Ø Ö ÓÒ Ù ÔÖÓ Ð Ñ È ½ Û Ø Ò Ð ÐÐ ÓÒ ØÖ ÒØ Û Ó ÓÖÑ Ù Ø ØÓ Ñ Ò ¾Ê Ò µ ½ ¾ Ì Ì Ø Ì Ù ÔÖÓ Ð Ñ Ø Ð
ÂÓÙÖÒ Ð Ó ÓÑÔÙØ Ø ÓÒ Ð Å Ø Ñ Ø ÎÓк½ ÆÓº¾ ¾¼¼½ ½½ ß½¾ º ÇÆ Å ÁÅ Ç Í Ä ÍÆ ÌÁÇÆ Ç ÌÀ Ì ËÍ ÈÊÇ Ä Å ½µ ÓÒ ¹ Ò Ê Ö Ú ÐÓÔÑ ÒØ ÒØ Ö Ó È Ö ÐÐ Ð ËÓ ØÛ Ö ÁÒ Ø ØÙØ Ó ËÓ ØÛ Ö Ò ½¼¼¼ ¼ Ò µ ¹Ü Ò Ù Ò ËØ Ø Ã Ý Ä ÓÖ ØÓÖÝ
É ÀÓÛ Ó Ý Ò ² Ö Ò ÁÒ Ö Ò «Ö ÓØ ÑÔ Ù ÔÖÓ Ð ØÝ ØÓ Ö ÙÒ ÖØ ÒØÝ ÙØ Ø Ý ÓÒ Ø ÓÒ ÓÒ «Ö ÒØ Ø Ò º Ü ÑÔÐ ÁÑ Ò Ð Ò Ð ØÖ Ð Û Ø Ò ½ Ñ Ø Ô Ö Ó Ù Ø º ÁÒ Ô Ö ÓÒ Ù Ø
ËØ Ø Ø Ð È Ö Ñ Ý Ò ² Ö ÕÙ ÒØ Ø ÊÓ ÖØ Ä ÏÓÐÔ ÖØ Ù ÍÒ Ú Ö ØÝ Ô ÖØÑ ÒØ Ó ËØ Ø Ø Ð Ë Ò ¾¼½ Ë Ô ½¼ ÈÖÓ Ñ Ò Ö É ÀÓÛ Ó Ý Ò ² Ö Ò ÁÒ Ö Ò «Ö ÓØ ÑÔ Ù ÔÖÓ Ð ØÝ ØÓ Ö ÙÒ ÖØ ÒØÝ ÙØ Ø Ý ÓÒ Ø ÓÒ ÓÒ «Ö ÒØ Ø Ò º Ü ÑÔÐ ÁÑ
ÇÙØÐ Ò È Ý Ð ÓÒ Ø ÓÒ Ò ÓÙ Æ ÙÐ ÄÓÛ¹ Ò ØÝ Ð Ñ Ø À ¹ Ò ØÝ Ð Ñ Ø Ü ÑÔÐ ÜØ ÒØ ÓÒ ØÓÛ Ö ÐÑ Ö Ö Ñ ÒØ Ò
ÜØ ÒØ ÓÒ Ò Æ ÙÐ Ö ÓÒ Ø ÓÒ Ò Å ÖÓÕÙ Ö Ë Ø Ò È Ö Þ Åº Ã Ø Ö Ò ÐÙÒ ÐÐ ÍÒ Ú Ö ØÝ Ó ÇÜ ÓÖ ØÖÓÔ Ý ÆÓÚ Ñ Ö ¾ ¾¼¼ ÇÙØÐ Ò È Ý Ð ÓÒ Ø ÓÒ Ò ÓÙ Æ ÙÐ ÄÓÛ¹ Ò ØÝ Ð Ñ Ø À ¹ Ò ØÝ Ð Ñ Ø Ü ÑÔÐ ÜØ ÒØ ÓÒ ØÓÛ Ö ÐÑ Ö Ö Ñ ÒØ
½º»¾¼ º»¾¼ ¾º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼ º»¾¼» ¼» ¼ ÌÓØ Ð»½ ¼
Ò Ð Ü Ñ Ò Ø ÓÒ ËÌ ½½ ÈÖÓ Ð ØÝ ² Å ÙÖ Ì ÓÖÝ ÌÙ Ý ¾¼½ ½¼ ¼¼ Ñ ß ½¾ ¼¼Ò Ì ÐÓ ¹ ÓÓ Ü Ñ Ò Ø ÓÒº ÓÙ Ñ Ý Ù Ø Ó ÔÖ Ô Ö ÒÓØ ÝÓÙ Û ÙØ ÝÓÙ Ñ Ý ÒÓØ Ö Ñ Ø Ö Ð º Á ÕÙ Ø ÓÒ Ñ Ñ ÙÓÙ ÓÖ ÓÒ Ù Ò ÔÐ Ñ ØÓ Ð Ö Ý Øº ÍÒÐ ÔÖÓ
Ì ÓÑÔÐ Ü ØÝ Ó Á ÓÑÓÖÔ Ñ ÁÒ ÐÐ Ú ÓÑÓÖÔ Ñ Σ ½ ½ ÑÓÖ ÔÖ ÐÝ A B Ö ÓÑÓÖÔ : ( ØÖÙØÙÖ ¹ÔÖ ÖÚ Ò Ø ÓÒ) ÓÙÒØ Ð ØÖÙØÙÖ Ò Ó Ý Ö Ð Ø Ò ÓÑÓÖÔ Ñ ÓÑ Σ ½ ½ Ö Ð Ø ÓÒ ÓÒ
Ì ÓÑÔÐ Ü ØÝ Ó Á ÓÑÓÖÔ Ñ Ò ÑÔÓÖØ ÒØ ÕÙ Ú Ð Ò Ö Ð Ø ÓÒ ÖÓ ÐÐ Ó Ñ Ø Ñ Ø Ø Ö Ð Ø ÓÒ Ó ÓÑÓÖÔ Ñº ÐÓ Ò Ø Ò ØÙÖ Ð ØÓ ÔÓ Ø ÕÙ Ø ÓÒ ÀÓÛ ÓÑÔÐ Ü Ø ÓÑÓÖÔ Ñ Ö Ð Ø ÓÒ Ò ÓÑÔ Ö ÓÒ Û Ø ÓØ Ö ÕÙ Ú Ð Ò Ö Ð Ø ÓÒ Ì Ò Û Ö ØÓ
Tensor. Field. Vector 2D Length. SI BG cgs. Tensor. Units. Template. DOFs u v. Distribution Functions. Domain
ÁÒØÖÓ ÙØ ÓÒ ØÓ Ø ÁÌ ÈË Ð ÁÒØ Ö ÖÐ ÇÐÐ Ú Ö¹ ÓÓ Ì ÍÒ Ú Ö ØÝ Ó Ö Ø ÓÐÙÑ Å Ö Å ÐÐ Ö Ä ÛÖ Ò Ä Ú ÖÑÓÖ Æ Ø ÓÒ Ð Ä ÓÖ ØÓÖÝ Ò Ð ÐÓÒ Ö Ê Ò Ð Ö ÈÓÐÝØ Ò ÁÒ Ø ØÙØ ¾¼½½ ËÁ Å Ë ÓÒ Ö Ò Ê ÒÓ Æ Ú Å Ö ¾¼½½ ÇÐÐ Ú Ö¹ ÓÓ Å
x = x 1x 2 x (p-1)x x = 3 x = 3 x = 3 x = 3 0 x 1 x 2 x... (p-1)x
ÌÖ Ò ÓÖÑ Ø ÓÒ Ô Ö ÐÐ Ð ÔÖÓ Ö ÑÑ Ò ÈÖÓ Ö Ñ Ô Ö ÐÐ Ð Þ Ø ÓÒ Ø Ò ÕÙ º ½º ÈÖÓ Ö Ñ Å ÔÔ Ò ÈÖÓ Ö Ñ È ÖØ Ø ÓÒ Ò º Ô Ò Ò Ò ÐÝ º Ë ÙÐ Ò ÄÓ Ð Ò Ò º Ó ØÖ ÙØ ÓÒº ¾º Ø Å ÔÔ Ò º Ø Ô ÖØ Ø ÓÒ Ò º ÓÑÑÙÒ Ø ÓÒ ØÛ Ò ÔÖÓ ÓÖ
ν = fraction of red marbles
Ê Ú Û Ó Ä ØÙÖ ½ Ü ÑÔÐ È Ö ÔØÖÓÒ Ä ÖÒ Ò Ð ÓÖ Ø Ñ Ä ÖÒ Ò Ù Û Ò ¹ Ô ØØ ÖÒ Ü Ø + + ¹ Ï ÒÒÓØ Ô Ò Ø ÓÛÒ Ñ Ø Ñ Ø ÐÐÝ ¹ Ï Ú Ø ÓÒ Ø ÓÙ ÓÒ ÙÔ ÖÚ Ð ÖÒ Ò + + + ¹ ÍÒ ÒÓÛÒ Ø Ö Ø ÙÒØ ÓÒ y = f(x) ¹ Ø Ø (x 1,y 1 ),, (x
ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ Å Ò Ñ Ü Ð ÓÖ Ø Ñ ÐÔ Ø ÔÖÙÒ Ò
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ËÔÖ Ò ¾¼½¾ Ë º ÓÙ ÖÝ Ë ÙÛ Ö µ ÖØ ¼¾µ ¾ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ Ú Ö Ö Ð Ë Ö Ì ØÐ ÔØ Ö Ë Ø ÓÒ º½ º¾ Ò º µ ÁÅ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽¾ ÇÙØÐ Ò ÁÒØÖÓ ÙØ ÓÒ º º ÓÙ ÖÝ ¾ ÁÒ
ËÓÙÖ Ö Ø Ò Ö³ Ó Ø ÓÒ Ò ÐÓÓÑ Ö
ÀÓÛ ÝÑÑ ØÖÝ Ó ÁÒ ÓÖÑ Ø ÓÒ Ô Ø Ä Ò Ò ÒÒ Ð È Ö Ë ÓÓÐ Ó ÓÒÓÑ ² ÍÒ Ú Ö Ø È Ö ½ È ÒØ ÓÒ ËÓÖ ÓÒÒ ÒÒÙ Ð É Å Ø Ò ËÓÙÖ Ö Ø Ò Ö³ Ó Ø ÓÒ Ò ÐÓÓÑ Ö ÅÓØ Ú Ø ÓÒ ÁÁ Ø Ö Ø ÓÐÐ Ô Ó Ä Ñ ÒÒ ÖÓØ Ö Ä Ö ÒÖ Ó Ø ÔÖ ØÛ Ò Ø ÙÒ Ê
ÓÖ Ö ÛÓÖ Ò Ô Ö Ó ØÝ Ò Ø ÛÓÖ ÓÖ Ö Ø ÔÖÓÔ Ö ÔÖ Ü ÕÙ Ð ØÓ Ù Üº ÓÖ Ü ÑÔÐ ÓÖ Ö º Á ÛÓÖ ÒÓØ ÓÖ Ö Û Ý Ø ÙÒ ÓÖ Ö ÓÖ ÓÖ Ö¹ Ö º ÓÖ Ü ÑÔÐ ½¼ Ò = ½¼¼ ¼ Ö ÙÒ ÓÖ Ö
Ð Ò ÓÖ Ö ØÓÖ Ò Ô Ö Ó ØÝ Ñ Ð ÖÐ Ö ÂÓ ÒØ ÛÓÖ Û Ø Ì ÖÓ À Ö Ù ËÚ ØÐ Ò ÈÙÞÝÒ Ò Ò ÄÙ Ñ ÓÒ µ Ö Ø Å Ø Ñ Ø Ý ¹ Ä ¹ ¾¼½  ÒÙ ÖÝ Ø ÓÖ Ö ÛÓÖ Ò Ô Ö Ó ØÝ Ò Ø ÛÓÖ ÓÖ Ö Ø ÔÖÓÔ Ö ÔÖ Ü ÕÙ Ð ØÓ Ù Üº ÓÖ Ü ÑÔÐ ÓÖ Ö º Á ÛÓÖ
ÇÙØÐ Ò Ó Ø Ø Ð ÅÓØ Ú Ø ÓÒ = ¾ ÙÔ Ö ÝÑÑ ØÖ Ò ¹Å ÐÐ ÕÙ ÒØÙÑ Ñ Ò ÆÙÑ Ö Ð Ð ÓÖ Ø Ñ Ò ÒÙÑ Ö Ð Ö ÙÐØ Ü Ø ÓÐÙØ ÓÒ ÙÖØ Ö Ô Ö Ô Ø Ú
Ü Ø ÓÐÙØ ÓÒ Ò = ¾ ÙÔ Ö ÝÑÑ ØÖ Ò ¹Å ÐÐ ÕÙ ÒØÙÑ Ñ Ò Û Ø ËÍ( ) Ù ÖÓÙÔ Ò Ö Åº ËÑÓÐÙ ÓÛ ÁÒ Ø ØÙØ Ó È Ý Â ÐÐÓÒ Ò ÍÒ Ú Ö ØÝ ÄÁ Ö ÓÛ Ë ÓÓÐ Ó Ì ÓÖ Ø Ð È Ý ÇÙØÐ Ò Ó Ø Ø Ð ÅÓØ Ú Ø ÓÒ = ¾ ÙÔ Ö ÝÑÑ ØÖ Ò ¹Å ÐÐ ÕÙ ÒØÙÑ
ÇÙØÐ Ò ÖÓÙÒ Ü ÑÔÐ ÔÖÓ Ö Ñ ÒÓ Ñ Ø Ó Ü ÑÔÐ ÒÓ Ì ÓÖÝ ÓÒÐÙ ÓÒ ¾
Æ Ä Ë Ò Ò ÓÑÔÙØ Ö Ò Ò Ö Ò ËÓ ØÛ Ö Ó Å Ð ÓÙÖÒ ÍÒ Ú Ö ØÝ Ð Ö Ø Ú ÒÓ Ó ÐÓÙÒ Ö Ò ËÐ Ô Ô Ö Ò Ó Ö ÓÒ Ø Û ØØÔ»»ÛÛÛº ºÑÙºÓÞº Ù» Ð»Ô Ô Ö»» ½ ÇÙØÐ Ò ÖÓÙÒ Ü ÑÔÐ ÔÖÓ Ö Ñ ÒÓ Ñ Ø Ó Ü ÑÔÐ ÒÓ Ì ÓÖÝ ÓÒÐÙ ÓÒ ¾ Û ÐÐ Ø ÒÓÖÑ
Æ ÛØÓÒ³ Å Ø Ó ÐÓ Ì ÓÖÝ Ò ËÓÑ Ø Ò ÓÙ ÈÖÓ ÐÝ Ò³Ø ÃÒÓÛ ÓÙØ Ú º ÓÜ Ñ Ö Ø ÓÐÐ
Æ ÛØÓÒ³ Å Ø Ó ÐÓ Ì ÓÖÝ Ò ËÓÑ Ø Ò ÓÙ ÈÖÓ ÐÝ Ò³Ø ÃÒÓÛ ÓÙØ Ú º ÓÜ Ñ Ö Ø ÓÐÐ Ê Ö Ò ÃÐ Ò Ä ØÙÖ ÓÒ Ø ÁÓ ÖÓÒ Ì Ù Ò Ö ½ ËÑ Ð ÇÒ Ø Æ ÒÝ Ó Ð ÓÖ Ø Ñ Ò ÐÝ ÙÐк ÅË ½ ÅÅÙÐÐ Ò Ñ Ð Ó Ö Ø ÓÒ Ð Ñ Ô Ò Ø Ö Ø Ú ÖÓÓع Ò Ò Ð
ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ Ú Ö Ò Ú Ù Ð Ò Ñ Ð Ø ÓÛÒ Ø ÒØ Ñ Ö Ò º Ì Ô ØØ ÖÒ Ö ÒÓØ Ø ÖÑ Ò Ò Ø ÐÐݺ Ì Ý
Ò Ñ Ð Ó Ø È ØØ ÖÒ ÓÖÑ Ø ÓÒ Ú ÐÝÒ Ë Ò Ö Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ð Ë Ò ÓÖ Å ÓÒ ÍÒ Ú Ö ØÝ Ù Ù Ø ¾¼¼½ ÂÓ ÒØ ÛÓÖ Û Ø Ì ÓÑ Ï ÒÒ Ö ÍÅ µ ÁÒØÖÓ ÙØ ÓÒ Ì Ñ Ñ Ö Ó Ú Ò Ô ÓÖ Ù Ô µ Ú Ø Ñ Ò Ö Ð ØÙÖ ÓÒ Ø Ö Ó Ø Ô ØØ ÖÒº ÀÓÛ
ÁÒØÖÓ ÙØ ÓÒ Ö ÙÑÙÐ ÒØ Ò Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð Ä Ø Ù ÒÓØ Ý Ë Ò Ø ÝÑÑ ØÖ ÖÓÙÔ Ó ÓÖ Ö Òº ÁÖÖ Ù Ð Ö ÔÖ ÒØ Ø ÓÒ Ô ÖØ Ø ÓÒ λ Òº ÆÓÖÑ Ð Þ Ö Ø Ö Ú ÐÙ χ λ (µ) ÓÖ µ
ÓÑ Ò ØÓÖ Ð ÒØ ÖÔÖ Ø Ø ÓÒ Ò ÔÓ Ø Ú ØÝ Ó Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð Î Ð ÒØ Ò Ö Ý Ä ÓÖ ØÓ Ö ³ÁÒ ÓÖÑ Ø Õ٠гÁÒ Ø ØÙØ Ô Ö ¹ÅÓÒ ÍÒ Ú Ö Ø È Ö ¹ Ø ÓÖÑ Ð ÈÓÛ Ö Ë Ö Ò Ð Ö ÓÑ Ò ØÓÖ ¾¼¼ ÍÒ Ú Ö ØÝ Ó Ì Ð Ð µ ÂÙÒ ¾ Ø Î Ð ÒØ Ò
ÅÓØ Ú Ø ÓÒ Å ÕÙ Ð ØÝ Ó Ø Ó ØÖ Ò Ô Ö ÒØ ÁÒ Ø ÓÒ Ú ÐÓÔÑ ÒØ ØÖ Ò ÖÖ Û ÓÖ Ò Ð ÙØ ÓÖ Ö Ñ Ò ÐÓÒ Ú ÐÓÔÑ ÒØ ØÓÖÝ Å ÒÝ Ù ØÓÑ Ö»Ù ØÓÑ Ö Ù ÓÑÔÓÒ ÒØ Ó Ñ ÒÝ ÔÖÓ Ø
Ê Ý Ð Ò ÔÔÖÓ ØÓ ÓÙ ÉÙ Ð ØÝ ÁÑÔÖÓÚ Ñ ÒØ ÓÖØ Ù Ö ÅÓ Ù Ê Ò Ý À ÖØ ÂÓ Ò È Ð Ö Ñ Ò Ú Ý Ä Ê Ö ¾½½ ÅØ ÖÝ Ê Ò Ê ÆÂ ¼ ¾¼ Ù Ö Ú Ý ºÓÑ Ù ¾½ ¾¼½ ÅÓØ Ú Ø ÓÒ Å ÕÙ Ð ØÝ Ó Ø Ó ØÖ Ò Ô Ö ÒØ ÁÒ Ø ÓÒ Ú ÐÓÔÑ ÒØ ØÖ Ò ÖÖ Û ÓÖ
x x f (x) f(x) f (x) Ò
ÓÑÔÙØ Ò ÁÒØ ÖÚ Ð ÈÓÛ Ö ÙÒØ ÓÒ Çº À ÑРź Æ Ñ Ö Âº ÏÓÐ Úº Ù Ò Ö ÁÒ Ø ØÙØ Ö ÁÒ ÓÖÑ Ø ÍÒ Ú Ö ØØ Ï ÖÞ ÙÖ ½ º Ë ÔØ Ñ Ö ¾¼½¾ Ǻ À ÑРź Æ Ñ Ö Âº ÏÓÐ Úº Ù Ò Ö ÓÑÔÙØ Ò ÁÒØ ÖÚ Ð ÈÓÛ Ö ÙÒØ ÓÒ ½»¾ ÁÒØ ÖÚ Ð ÙÒØ ÓÒ
ELA. Electronic Journal of Linear Algebra ISSN A publication of the International Linear Algebra Society Volume 13, pp , July 2005
ËÍ ÁÊ Ì ËÍÅË Ç ÆÇÆËÁÆ ÍÄ Ê M¹Å ÌÊÁ Ë Æ Ç ÌÀ ÁÊ ÁÆÎ ÊË Ë Ê Ä ÊÍ Ê Æ ÁË Ç È ÊÇ À Æ ÆÁ Ä Ë Ä ØÖ Ø Ì ÕÙ Ø ÓÒ Ó Û Ò Ø Ù Ö Ø ÙÑ Ó ØÛÓ ÒÓÒ Ò ÙÐ Ö M¹Ñ ØÖ ÒÓÒ¹ Ò ÙÐ Ö M¹Ñ ØÖ Ü ØÙ ËÙ ÒØ ÓÒ Ø ÓÒ Ö Ú Ò Ì Ó ÒÚ Ö Ó
Ì Ø Ð ÓÒ Ò Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ ÓÖ Ö Ø Ð ÑÞ Û ¹ ÐÐ ¾¼½½ ÇÒ Ø Ø Ó Ö Ð ÒÙÑ Ö Ö Ó Ò Þ Ý Ò Ø ÙØÓÑ Ø Ò ÑÙÐØ ÔÐ Ó ÐÓع ÖÙ Ø Ò¹ ÖÙÝ Ö ¾¼½¼ Ö Ø¹ÓÖ Ö ÐÓ Ò ÆÙÑ
Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ Ò Ø Ö Ö ÒØ Ö Ó Ñ Ø Ñ Ø Ñ Ð ÖÐ Ö Ô ÖØ Ñ ÒØ Å Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ä Ë Ñ Ò Ö Ö ØÓÐ Ò ³ Ò ÐÝ ÑÙÐØ Ö Ø Ð Ö Ø Ð ¾¼½ Å Ö ¾ Ì Ø Ð ÓÒ Ò Ò ÐÓ Ù Ó Ó Ñ³ Ø ÓÖ Ñ ÓÖ Ö Ø Ð ÑÞ Û ¹ ÐÐ ¾¼½½ ÇÒ Ø Ø Ó Ö
ÇÙØÐ Ò
ÀÓÛ ÑÙ ÒØ Ö Ò Ö Ø ÓÒ Ð Ö Ö Ò Ó Ø ÍºËº Ó Ð ÙÖ ØÝ Ý Ø Ñ Ö ÐÐÝ ÔÖÓÚ ½ ½ Ê ¹ Á ÈÖ Ù Å Ý ¾¼½½ ÇÙØÐ Ò ÅÓØ Ú Ø ÓÒ ÓÒÓÑ Ó Ø Ö ÒØ Ò Ö Ø ÓÒ Ö ÒØÐÝ Ä Ñ Ø Ð ØÝ ØÓ Ò ÙÖ Ü¹ ÒØ Ú ¹ ¹Ú ÓØ Ö Ò Ö Ø ÓÒ È Ý¹ ¹ÝÓÙ¹ Ó Ô Ò ÓÒ
1 The Multinomial logit
Ë ÑÔÐ Ò Ó ÐØ ÖÒ Ø Ú Ù Ò ÑÙÐØ Ñ Ò ÓÒ Ð Ò ÐÝ Åº ÖÐ Ö º ÄÙ ÑÓ Å Ý ¾¾ ¾¼¼ Ê ÔÓÖØ ÌÊ ÆËȹÇÊ ¼ ¼ ¾¾ ÌÖ Ò ÔÓÖØ Ò ÅÓ Ð ØÝ Ä ÓÖ ØÓÖÝ Ë ÓÓÐ Ó Ö Ø ØÙÖ Ú Ð Ò ÒÚ ÖÓÒÑ ÒØ Ð Ò Ò Ö Ò ÓÐ ÈÓÐÝØ Ò ÕÙ Ö Ð Ä Ù ÒÒ transp-or.epfl.ch
Degradation
Î Ê ÙÐØ Ì ÔØ Ö ÔÖ ÒØ Ø Ö ÙÐØ Ó Ø Ò Û Ø Ø ÑÙÐ Ø ÓÒ Ò Ñ ÙÖ Ñ ÒØ ÜÔÐ Ò ÙÒØ Ð Ø ÔÓ Òغ ÁÒ ÐÐ Ø Ó ³ Ö Ø Û Ú Ö Û Ð P er Û ÔØ ÓÒ Ø ÒØ Ò Ø Ó ÓÒØ ÒØ Û Ú ÐÙ Ø Û Ø Ö Ô Ø ØÓ Ö Ø ÓÒ Ý Ù Ò Ø ÓÐÐÓÛ Ò Ñ Ò Ñ ½µ Ó Ø Ú ÕÙ
ÈÐ Ò ÁÒØÖÓ ÙØ ÓÒ ½ ÁÒØÖÓ ÙØ ÓÒ Ö ÙÑÙÐ ÒØ Ò Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð ÓÑ Ò ØÓÖ Ð ÓÖÑÙÐ ÓÖ Ö Ø Ö
ÓÑ Ò ØÓÖ Ð ÔÔÖÓ Ó Ö ÔÖ ÒØ Ø ÓÒ Ó ÝÑÑ ØÖ ÖÓÙÔ ÔÔÐ Ø ÓÒ ØÓ Ã ÖÓÚ³ ÔÓÐÝÒÓÑ Ð ÈÀ ØÙ ÒØ Ó È Ð ÔÔ Ò Ä ÓÖ ØÓ Ö ³ÁÒ ÓÖÑ Ø ÕÙ Ô Ö ÅÓÒ È Ö Ø Å ÖÒ ¹Ä ¹Î ÐÐ Ë ÔØ Ñ Ö ½ Ø ¾¼¼ Ð ÁÒ Ø ØÙØ ÌÓÖÓÒØÓ ÈÐ Ò ÁÒØÖÓ ÙØ ÓÒ ½ ÁÒØÖÓ
Ð Ò ØÓ ØØ Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐغ Ì ÓÙÖ Ô Ö Ñ ØÓÛ Ö Ø Ø Ö Ò ÔÔÖÓÜ Ñ Ð ØÝ Ö ÙÐØ Ò Ô Ö Ý Ø Ô Ô Ö Ó È Ô Ñ ØÖ ÓÙ Ò Î ÑÔ Ð ÓÒ ÌÖ Ú Ð Ò Ë Ð Ñ Ò ÔÖÓ Ð Ñ µ Ø
ÔÔÖÓÜ Ñ Ø ÓÒ À Ö Ò ÓÖ ËÑ ÐÐ ÇÙÖÖ Ò ÁÒ Ø Ò Ó ÆȹÀ Ö ÈÖÓ Ð Ñ Å ÖÓ Ð Ú Ð Ò Â Ò Ð ÓÚ ¾ ¾ ÅÈÁ ÓÖ Å Ø Ñ Ø Ò Ø Ë Ò ¹¼ ¼ Ä ÔÞ Í ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÙÒ ÈÖ Ø Å Ø Ñ Ø ¹¾ ¼ Ã Ð Ò ÓÖÑ Ø ºÙÒ ¹ к ØÖ Øº Ì Ô Ô Ö ÓÒØÖ
Question A n um b er divided b y giv es the remainder. What is the remainder 5 if this n um b er is divided b y? answer 3
Warm-Up 2 ÒÙÑ Ö Ú Ý 10 Ú Ø Ö Ñ Ò Ö 6º Ï Ø Ø Ö Ñ Ò Ö Ø ÒÙÑ Ö Ú Ý 5 Question 0 Ò Û Ö 3 Numbers 4 Question 1 Ï Ø Ø Ð Ø Ø Ó Ø ÙÑ 1+4+4 2 +4 3 + +4 100 Ò Û Ö 5 ÙÑ Ó ÓÙÖ ÒÙÑ Ö Ò Ö Ø Ñ Ø ÔÖÓ Ö ÓÒ 34 Ò Ø Ø Ö Ì
pronoun word noun noun noun phrase phrase phrase
Á Ë ¹ ÆÊË ¹ ÍÆË ÌÝÔ ÁÒ Ö Ò Ò Ç Ø¹ÇÖ ÒØ Ä Ò Ù Û Ø Ð ÓÖ Ä Ò Ù Ø Ò Ò Ö Ò ½ ÁÒ Ö Ò ÌÝÔ Ç Ø¹ÇÖ ÒØ Ä Ò Ù Û Ø Ð Ò ÓÖ Ä Ò Ù Ø Ò Ò Ö Ò È ÖÖ Ö ÒÞÓ Â Ò¹ÄÓÙ È ÕÙ Ð Ò È ÖÖ º Ö ÒÞÓÙÒ º Ö Ô ÕÙ Ð Ò ºÙÒ º Ö ØØÔ»»ÛÛÛºÖ
A B. Ø ÓÒ Left Right Suck NoOp
º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒØ ÐÐ ÒØ ÒØ Ì ØÐ ÔØ Ö ¾ ÁÅ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÍÊÄ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÁÒØ ÐÐ ÒØ ÒØ ÒØ
Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ ÂÙ Î Ð ÓÒ Ò Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÂÙ Î Ð ÓÒ Ò Ë Ò ÓÖ Æ ØÛÓÖ Å ÈÖÓØÓÓÐ
Ä ÓÖ ØÓÖÝ ÓÖ Ì ÓÖ Ø Ð ÓÑÔÙØ Ö Ë Ò À Ð Ò ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¾ º º¾¼¼ ÇÙØÐ Ò ÖÓÙÒ Ò ÁÒØÖÓ ÙØ ÓÒ Ë Ò ÓÖ Æ ØÛÓÖ Ó Å ¹ÔÖÓØÓÓÐ Ì Ö ÔÖÓØÓÓÐ Ö ÓÒÐÙ ÓÒ ÖÓÙÒ ÈÖ ÒØ Ø ÓÒ ÓÒ º Ë Ú Ê Ñ ÅÙÖØ Ý Ò º ˺ Å ÒÓ º ¹ÀÓ Ï
ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì Ç
ÌÖ ÓÒÓÑ ØÖÝ ÌÖ ÓÒÓÑ ØÖÝ Ð Û Ø Ö Ð Ø ÓÒ Ô ØÛ Ò Ò Ò Ð Ó ØÖ Ò Ð º ÁØ Û ÔÔÐ Ø ÓÒ Ò Ô Ý Ò Ò Ò Ö Ò º Ì ØÖ ÓÒÓÑ ØÖ ÙÒØ ÓÒ Ö Ö Ø Ò Ù Ò Ö Ø¹ Ò Ð ØÖ Ò Ð º C Ì ËÁÆ ÙÒØ ÓÒ A B Ò = Ò = ÓÔÔÓ Ø ÝÔÓØ ÒÙ µ ÆÓÚ Ñ Ö ¾ ¾¼½
ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ
Å Ø Ñ Ø Ð ÌÓÓÐ ÓÖ Ò Ò Ö Ò Ò Å Ò Ñ ÒØ Ä ØÙÖ ½ ½ ÇØ ¾¼½½ ÁÒØÖÓ ÙØ ÓÒ ÇÖ Ò Ø ÓÒ Ð Ù ÌÓÔ ÇÚ ÖÚ Û Ä ØÙÖ Ü Ö ÓÑÔÙØ Ö ÓÓ Ü Ñ Ï Ý Ñ Ø Ñ Ø ÅÓ Ð Ò Ø Ë Ø ÌÛÓ Ü ÑÔÐ Ì Ñ Ê ÔÓÒ Ð ÓÖ Ø Å Ø Ñ Ø Ë Ø ÓÒ Ó È Öº Öº ºº ÑÙÐغ
Regression. Linear least squares. Support vector regression. increasing the dimensionality fitting polynomials to data over fitting regularization
Regression Linear least squares increasing the dimensionality fitting polynomials to data over fitting regularization Support vector regression Fitting a degree 1 polynomial Fitting a degree 2 polynomial
ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹ Ê Ð Ö ÔÖ ÒØ Ø ÓÒ º Ñ ÒØ ÅÙ Ö Ö Ö ÔÖ ÒØ Ø ÓÒ Ö
à ÔÔ Ö Ë ÙÐ Ö Ã Ö Ò ÔÔ ÖÐ Òº ºÙÔ ÒÒº Ù Î Ö Æ Ø ÜØ Ò ÓÒ Ò Ñ ÔÔ Ò ØÓ ÓØ Ö Ð Ü Ð Ö ÓÙÖ ÂÙÒ ¾ Ø ¾¼¼ ÅÓ Ø Ü Ø Ò ÖÓ ¹ÓÚ Ö Ö ÓÙÖ ÔÖÓÚ ÓÒÐÝ ÐÐÓÛ Ö ÔÖ ÒØ Ø ÓÒ Ñ ÒØ ÇÚ ÖÚ Û ÛÓÖÐ ÔÔÐ Ø ÓÒ Ò Ö ÓÙÖ Û Ø Ö ÝÒØ Ø Ò ¹
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò
ÝÓÒ ÀÝÔ ÖØÖ Ï Ø ÓÑÔÓ Ø ÓÒ Å Ø Ó Ï Ø ÓÙØ ÓÑÔÓ Ø ÓÒ ÀÙ Ò Ò Î ØÓÖ ÐÑ Ù Ô ÖØ Ñ ÒØ Ì ÒÓÐÓ ÍÒ Ú Ö Ø Ø ÈÓÑÔ Ù Ö Ö ÐÓÒ ËÔ Ò Ù º Ò Ú ØÓÖº ÐÑ Ù ÙÔ º Ù ØÖ Øº Ì Ò Ö Ð ÒØÖ Ø Ð ØÝ Ó Ø ÓÒ ØÖ ÒØ Ø Ø ÓÒ ÔÖÓ ¹ Ð Ñ ÑÓØ Ú
Ä ÓÖ ØÓ Ö ÓÖ Ð Ê Ö Ò ÁÒ ÓÖÑ Ø ÕÙ ÍÅÊ ¼¼ ¹ ÍÒ Ú Ö Ø ÓÖ ÙÜ Á ½ ÓÙÖ Ð Ä Ö Ø ÓÒ ¼ Ì Ð Ò Ü Ö Ò Ê Ö Ê ÔÓÖØ Êʹ½ ¼ ¹¼ Ò Æ ÒØ Ò ÙÖ Ø Ð ÓÖ Ø Ñ ÓÖ ÓÑÔÙØ Ò Ø Û Ò Ð Ó ÓÙÑ ÒØ Ñ Ý Ø ÔÖÓ Ø ÓÒ ÔÖÓ Ð Ñ Ø Ó Ý Â ÕÙ ¹ÇÐ Ú
Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ Ø ÓÒ ÓÛ Ó Û Ú Ù Ø Ø ÓÙÖ ÔÓ Ð Ì Û Ý ÒÙÑ Ö Ø ÓÒ Ý Ø Ñ
Ð ØÝ ÄÓ Ò ÆÙÑ Ö Ø ÓÒ ËÝ Ø Ñ Ñ Ð ÖÐ Ö Ô ÖØ Ñ ÒØ Å Ø Ñ Ø ÕÙ ÍÒ Ú Ö Ø Ä ÆÌ ¾¼½ ¹ Å Ö ÐÐ ÆÓÚ Ñ Ö ¾ ¹ Ñ Ö ¾ Ë Ø Ó ÒÙÑ Ö Ò Ø Ö Ö ÔÖ ÒØ Ø ÓÒ ÁÒ Ø ÓÙÖ Û Û ÐÐ ÒØ Ö Ø Ò Ø Ó ÒÙÑ Ö º ÁÒ ÓÑÔÙØ Ö Ò Û Ö ÓÒ ÖÒ Ý Ø ÕÙ
edges added to S contracted edges
Ì Å Ü ÑÙÑ ÝÐ ËÙ Ö Ô ÈÖÓ Ð Ñ Ò Ö ¹ Ö Ô Ð ÒØ Æ ÛÑ Ò Ä ÓÖ ØÓÖÝ ÓÖ ÓÑÔÙØ Ö Ë Ò ÅÁÌ Ñ Ö Å ¼¾½ ¹Ñ Ð Ð ÒØ Ø ÓÖݺРºÑ غ Ù Ï ØÙ Ý Ø ÔÖÓ Ð Ñ Ó Ò Ò Ñ Ü ÑÙÑ ÝÐ Ù Ö Ô Ó Ú Ò Ö Ø Ö Ô Ò Û Ø Ñ Ü ÑÙÑ ØÓØ Ð Ö Ò ÔÐÙ ÓÙص
Ö Ò ÁÅ ÔØ Ö Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÖÙ ÖÝ ½ ¾¼½
Ö Ò ÁÅ ÔØ Ö Ê ÕÙ Ö ÔØ Ö ½¼ ½ Ò ½ º ÄÏÀ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÄÓ Ð Ë Ö Ì ØÐ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽ ¹ ¹ ÁØ Ö Ø Ú ÑÔÖÓÚ Ñ ÒØ
ÁËÁË Ø Ò Ð Ö ÔÓÖØ Ö ÎÓк ½¼ ¾¼¼¼ ÖÓÙÒ ÜØÖ Ø ÓÒ Ó ÓÐÓÙÖ ÁÑ Ë ÕÙ Ò Ù Ò Ù Ò Ñ ÜØÙÖ ÑÓ Ð ËØ ÒÑ Ò Ò Ê Ò Ú Ò Ò ÓÓÑ Ö ÁÒØ ÐÐ ÒØ Ë Ò ÓÖÝ ÁÒ ÓÖÑ Ø ÓÒ ËÝ Ø Ñ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ñ Ø Ö Ñ Ì Æ Ø ÖÐ Ò
Ó Ú ÐÙ Ö ÒÚÓÐÚ Ò ÖØ Ò Ô ÖØ Ó Ø ÔÖÓ Ö Ñµ Ò ØÓ ÐÔ Ø Ø ÔÖÓ Ö ÑÑ Ö Ñ Ø º ÁÒ Ø Ø ÐÐÝ ØÝÔ Ð Ò Ù Ø ØÝÔ Ö ÒÓØ Ò ÓÑ Ø Ò Ø Ø Ø Ô ÖØ Ò ÓÑÔÙØ Ø ÓÒ ÙØ Ö Ø Ö ÓÑ Ø Ò
ÙÒ Û Ø ÙÒØ ÓÒ Ð Ô Ò Ò ÓÖ Ö Øµ ÌÝÔ Î ÐÙ Ò ËØ Ø ÓÑÔÙØ Ø ÓÒ Ò À ÐÐ Ì ÓÑ À ÐÐ Ö Ò Ñ Ö ¾ ¾¼¼¼ ØÖ Ø Ì Ô Ô Ö ÐÐÙ ØÖ Ø ÓÛ À Ðг ØÝÔ Ð Ý Ø Ñ Ò Ù ØÓ ÜÔÖ ÓÑÔÙØ Ø ÓÒ º Ë Ò ÓÑÔÙØ Ø ÓÒ ÓÒ Ø ØÝÔ Ð Ú Ð Ö Ô Ö ÓÖÑ Ý Ø ØÝÔ
ÇÙØÐ Ò ½ ¾ ÓÙÒ ¹Ô Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ Å Èµ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ
Ò ÒØ ÓÐÙØ ÓÒ ÓÖ ÓÙÒ ¹È Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ À»ÍËÈ ÁÅ»ÍËÈ Ê ÁË ¾¼½ ÖÒ Ò Ó Äº Ù ÙÑ Ã Ö Ò Îº Ð Ó Ò Ä Ð Ò Æº ÖÖÓ ÇÙØÐ Ò ½ ¾ ÓÙÒ ¹Ô Ö Ñ Ø Ö Å Ö ÓÚ ÓÒ ÈÖÓ Å Èµ ÖÒ
function GENERAL-SEARCH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if
ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼½ Ë º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù º º ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ËÓÐÚ Ò ÈÖÓ Ð Ñ Ý Ë Ö Ò Ì ØÐ ÔØ Ö Ë Ø ÓÒ º µ ÁÅ ÛÛÛº ºÙÒк Ù» ÍÊÄ ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˽
ÇÙØÐÓÓ ÅÓØ Ú Ø ÓÒ ÀÓÑÓØÓÔÝ ÒÚ Ö Ò Ò Ò³ Ø ÓÖ Ñ ÓÒ ØÖÙØ ÓÒ Ó Ø Ð Ñ Ó ÙÒ Ú Ö Ð ÔÓÐÝÐÓ Ö Ø Ñ Ó Ú Ö Ð Ú Ö Ð ÁÒØ Ö Ø ÓÒ ÓÚ Ö ÝÒÑ Ò Ô Ö Ñ Ø Ö Ý Ù Ó Ñ
ÍÒ Ú Ö Ð ÔÓÐÝÐÓ Ö Ø Ñ Ò ÝÒÑ Ò ÒØ Ö Ð ÓÑÔÙØ Ø ÓÒ Ö Ø Ò Ó Ò Ö ÀÍ ÖÐ Òµ Ó ÒØ ÛÓÖ Û Ø Ö Ò ÖÓÛÒ È Ö ÂÙ Ù Ò ÀÍ ÖÐ Òµ ÙÔÔÓÖØ Ý Ö ÃÖ Ñ Ö³ ÖÓÙÔ Ø ÀÍ ÖÐ Ò Ð Ð ½¼º¼ º¾¼½¾ ÇÙØÐÓÓ ÅÓØ Ú Ø ÓÒ ÀÓÑÓØÓÔÝ ÒÚ Ö Ò Ò Ò³ Ø
Ë ÁÌÇ ÌÓ Ó ÍÒ Ú Ö Øݵ Ç ¼ Ô Û Ö ÙÒÓ Ø Ò Ð Ä Ò ÙÖ ÖÝ ÓÒ ÒÓØ Ý ÛÓÖ Û Ø Ã ÞÙ ÖÓ Á Ö Ó ÒØ Ë Ò ÝÓ ÍÒ Ú Ö Øݵ Ç
Ë ÁÌÇ ÌÓ Ó ÍÒ Ú Ö Øݵ Ç ¼ Ô Û Ö ÙÒÓ Ø Ò Ð Ä Ò ÙÖ ÖÝ ÓÒ ÒÓØ Ý ÛÓÖ Û Ø Ã ÞÙ ÖÓ Á Ö Ó ÒØ Ë Ò ÝÓ ÍÒ Ú Ö Øݵ Ç ½ Ä Ò Ô Ô Ä Ô Õµ Ø ¹Ñ Ò ÓÐ Ó Ø Ò Ý Ä Ò ÓÒ Ø ØÖ Ú Ð ÒÓØ Ò Ë º Ô Õ¹ ÙÖ ÖÝ Ô Õµ¹ÙÖÚ ¾ ÈÖÓ Ð Ñ Ø Ð
Ø Ø Ò Ö ÓÖ Ö ÒØ Ö Ø ÓÒ ÀÓÛ ØÓ Ø Ø Î¹ ØÖÙØÙÖ Û Ø Ô ÖÛ Û ÓÖ ÒÓÒ Ü Ø Òص Ô Ò Ò X Y Z º Ë ÒÓÚ ËÅÄ Í Äµ Ì Ö ¹Ú Ö Ð Ø Ø ÆÁÈË ¼ ¾¼½ ¾» ½
à ÖÒ Ð Ì Ø ÓÖ Ì Ö Î Ö Ð ÁÒØ Ö Ø ÓÒ ÒÓ Ë ÒÓÚ ½ ÖØ ÙÖ Ö ØØÓÒ ½ Ï Ö Ö Ñ ¾ ½ Ø Ý ÍÒ Ø ËÅÄ ÍÒ Ú Ö ØÝ ÓÐÐ ÄÓÒ ÓÒ ¾ Ô ÖØÑ ÒØ Ó ËØ Ø Ø ÄÓÒ ÓÒ Ë ÓÓÐ Ó ÓÒÓÑ ÆÁÈË ¼ ¾¼½ º Ë ÒÓÚ ËÅÄ Í Äµ Ì Ö ¹Ú Ö Ð Ø Ø ÆÁÈË ¼ ¾¼½
Î Ö Ð X C = {x 1, x 2,...,x 6 }
º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ À ÐÐ ÊÓÓÑ ¼ Ú ÖÝ º º ÓÙ ÖÝ ½ Å Ö ½ ¾¼½½ Ì ØÐ ÙØ ÓÖ ÈÖÓº È ÐØ Ö Ò Ð ÓÖ Ø Ñ ÓÖ ÓÒ ØÖ ÒØ Ó Ö Ò Ò ËÈ Ê Ò Âº¹ º ½ Á ¾ Ó ÓÒ ØÖ ÒØ ÈÖÓ Ò ÓÙÒ Ø ÓÒ ËÔÖ Ò ¾¼½½ Ë ¾½» ¾½ ÛÛÛº ºÙÒк Ù» ¾½ ÓÙ
function GENERAL-SEARCH( problem, strategy) returns a solution, or failure initialize the search tree using the initial state of problem loop do if
ÓÙ ÖÝ ½ ÁÒ ØÖÙØÓÖ³ ÒÓØ ÓÙ ÖÝ ¾ ÁÒ ØÖÙØÓÖ³ ÒÓØ ØÓ ÖØ Ð ÁÒØ ÐÐ Ò ÁÒØÖÓ ÙØ ÓÒ ¹ ËÔÖ Ò ¾¼¼ Ë ÍÊÄ ÛÛÛº ºÙÒк Ù» ÓÙ Öݻ˼ ¹ ¹ º ÓÙ ÖÝ Ë Ù¹Û ¹Ö µ ÖØ ¼¾µ ¾¹ ÓÙ ÖÝ ºÙÒк Ù ØÖ Ø Ý Ò Ý Ô Ò Ø ÓÖ Ö Ó ÒÓ ÜÔ Ò ÓÒ Ì ØÐ
ÓÖ Ø ÁÒØ Ð ÔÖÓ ÓÖ Ñ Ðݺ Ê Ö Û ÒØ Ò Ò Ö Ð ÖÓÙÒ Ò Ñ Ð Ö ÔÖÓ Ö Ñ¹ Ñ Ò ÓÙÐ ÓÒ ÙÐØ ÔÔÖÓÔÖ Ø Ø ÜØ ÓÓ Ò ÓÒ ÙÒØ ÓÒ Û Ø Ø ÔÖÓ ÓÖ Ö Ö Ò Ñ Ò¹ Ù Ð ÔÙ Ð Ý ÁÒØ Ð Ò
ÒÙ Ñ Ð Ö Ì ÒÙ Ñ Ð Ö µ Ò ÓÔ Ò ÓÙÖ ¹ Ñ Ð Öº Ì Ñ Ð Ö ÒÐÙ Ø Ò¹ Ö Ò Ø ØÖ ÙØ ÓÒ Ò Ú Ð Ð ÓÖ ÓÛÒÐÓ ØÓ ÖÙÒ ÙÒ Ö Ï Ò ÓÛ º ÁØ ÔÖÓÚ ÙÔÔÓÖØ ÓÖ Ø Ò ØÖÙØ ÓÒ Ø Ó Ø Ó Ø Èͺ ÖÓ Ñ Ð Ö Ú Ö ÓÒ Ö Ð Ó Ú Ð Ð º Ì Ñ Ð Ö ÒÚÓ Ý Ø
λ = λ = 1.0 w Ø w = C (w) + λ N wì w
Ê Ú Û Ó Ä ØÙÖ ½¾ Ê ÙÐ Ö Þ Ø ÓÒ ÓÒ ØÖ Ò ÙÒÓÒ ØÖ Ò E Ò = ÓÒ Øº ÓÓ Ò Ö ÙÐ Ö Þ Ö E Ù (h) = E Ò (h) + λ N Ω(h) Ω(h) ÙÖ Ø ÑÓÓØ ÑÔÐ h ÑÓ Ø Ù Û Ø Ý w Ð Ò w ÒÓÖÑ Ð λ ÔÖ Ò ÔÐ Ú Ð Ø ÓÒ λ = 0.0001 λ = 1.0 E Ò w Ø
ÇÚ ÖÚ Û ½ ÁÒØÖÓ ÙØ ÓÒ ¾ Ý ¾¼½¾ Ò Ö Ð Þ Ö ÐØÝ ÅÓ Ð ÓÖ ÓÑ Ø Ý ¾
Ý Ò Ò Ö Ð Þ Ö ÐØÝ ÅÓ Ð ÓÖ ÓÑ Ø Ý Ð ÐÙ À Ø Ö Ø Ò ÁÒØ ÖÙÒ Ú Ö ØÝ ÁÒ Ø ØÙØ ÓÖ Ó Ø Ø Ø Ò Ø Ø Ø Ð Ó Ò ÓÖÑ Ø Á¹ ÓËØ Øµ ÍÒ Ú Ö Ø Ø À ÐØ Ô Ò Ð ÙÑ ÂÓ ÒØÐÝ Û Ø Ö Ø Ð ÖØ ÅÓÐ Ò Ö ² À Ð Ò Ý Ý ¾¼½¾ Ò Å Ý ½¼ ¾¼½¾ Ý ¾¼½¾
Fibonacci Overview. 1 Motivation. 2 Preliminary Ideas. 2.1 Common Definitions. 2.2 Fibonacci Numbers Defined
Fibonacci Overview ÐÐ ÏÙÖØÞ 1 Motivation ÓÒ Ö Ø ÓÐÐÓÛ Ò ËÙÔÔÓ Ò ÛÐݹ ÓÖÒ Ô Ö Ó Ö Ø ÓÒ Ñ Ð ÓÒ Ñ Ð Ö ÔÙØ Ò Ð º Ì Ö Ø Ö Ð ØÓ Ñ Ø Ø Ø Ó ÓÒ ÑÓÒØ Ò Ø Ý Ú ÖØ ØÓ Ñ Ð ¹ Ñ Ð Ô Ö Ò Ø ÓÐÐÓÛ Ò ÑÓÒØ º ÁÒ ÓØ Ö ÛÓÖ ØÛÓ
½ Ê Ú Û Ó ÆÒ ÕÙÓØ ÒØ ¾ ÇÖØ Ó ÓÒ Ð ÒÚ Ö ÒØ ÓÙ Ð Ö Ø ÓÒ Ý ÕÙÓØ ÒØ Ñ Ô ÇÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ó ÓÖ Ø ÓÖÖ ÔÓÒ Ò Ü ÑÔÐ Ø Ò ÓÖ ÔÖÓ ÙØ Ü ÑÔÐ ÓÒØÖ Ø ÓÒ Ñ Ô ÇÔ Ò
ÆÒ ÕÙÓØ ÒØ Ò Ø ÓÖÖ ÔÓÒ Ò Ó ÓÖ Ø ÃÝÓ Æ Ý Ñ Ö Ù Ø Ë ÓÓÐ Ó Ë Ò ÃÝÓØÓ ÍÒ Ú Ö ØÝ ÁÒØ ÖÒ Ø ÓÒ Ð ÓÒ Ö Ò ÓÒ Ê ÒØ Ú Ò Ò Å Ø Ñ Ø Ò Ø ÔÔÐ Ø ÓÒ º Ë ÔØ Ñ Ö ¾ ß ¼ ¾¼¼ µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ÃÍ ÈÓ Ø Ö Ù Ø ÒØ Ö Ð ÙÑ Ã ÖÒ
The distin tive features of interval temp o ral logi s ψ ψ T ruth of fo rmulae is de ned over intervals (not p oints). ψ ψ
Ò ÓÔØ Ñ Ð Ø Ð Ù Ý Ø Ñ ÓÖ Ø ÐÓ Ó Ø ÑÔÓÖ Ð Ò ÓÖ ÓÓ ÓÚ Ö Ø Ö Ð Ò ÐÓ ÅÓÒØ Ò Ö Ò È ØÖÓ Ë Ð + Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Í Ò ÁØ ÐÝ + Ô ÖØÑ ÒØ Ó ÖÑ ÓÐÓ Ý ÍÒ Ú Ö ØÝ Ó Î ÖÓÒ ÁØ ÐÝ ÌÁÅ ¾¼½¾ Ä Ø
ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ Ö ÙÐØ Ó Ø Ñ ÒÙ ØÙÖ Ò ØÓÖݺ Ç Ø Ò ÐÐ ÐÓ Ò ØÖ Ø Ö Ñ Ò Û Ò Ø Ö ÒÓ ÔÔÐ ÐÓ Ò Ù Ò Ø ÔÔÐ ÐÓ Ò Ò Ø ØÖÙØÙÖ ³ ÜÔ Ø
Ö ÓÛÒ Ó Ê Ù Ð ËØÖ Ò À ÐÝ Ê ØÖ Ò Ì Ë Ø ÓÒ ËØ Ð Ï Ð ËÙ Ò È Ö Ë ÓÓÐ Ó Å Ò Ð Ò Ò Ö Ò Ì ÍÒ Ú Ö ØÝ Ó Ð ËÓÙØ Ù ØÖ Ð ¼¼ Å Ý ¾¼¼ ËÙÔ ÖÚ ÓÖ ÈÖÓ º Î Ð Ö Ä ÒØÓÒ ÅÖ Á Ò ÖÓÛÒ ØÖ Ø Ê Ù Ð ØÖ Ø ØÖ Ø Ø Ö Ñ Ò ØÓÖ Û Ø Ò ØÖÙØÙÖ
Ò ÐÝ º Ê Ö ÓÒ ØÖ ÙØ ÓÒ Ó ÇÆ ½µ Ì ÓÙØÓÑ Ù Ð µ Ú Ö Ð Ö ÔÓÒ Ö ÔÓÒ µ Ú Ö Ð Ô Ò ÒØ Ò µ Ú Ö Ð Ú Ö Ð Y Ö Ð Ø ØÓ ÇÆ ÇÊ ÅÇÊ ÜÔÐ Ò ØÓÖÝ ÓÖ Ð Ö Ò µ Ú Ö Ð Ò Ô Ò Ò
ÅÈÀ ¾º ØÙ Öº Ê Ö ÓÒ Ò ÐÝ Ä Ò Ö Ó ÐÓ Ø º È Ö ÃÖ Ò Ö Ò ½ Ò ÐÝ º Ê Ö ÓÒ ØÖ ÙØ ÓÒ Ó ÇÆ ½µ Ì ÓÙØÓÑ Ù Ð µ Ú Ö Ð Ö ÔÓÒ Ö ÔÓÒ µ Ú Ö Ð Ô Ò ÒØ Ò µ Ú Ö Ð Ú Ö Ð Y Ö Ð Ø ØÓ ÇÆ ÇÊ ÅÇÊ ÜÔÐ Ò ØÓÖÝ ÓÖ Ð Ö Ò µ Ú Ö Ð Ò Ô
Ä ÖÒ Ò ÖÓÑ Ø Ö Ëº Ù¹ÅÓ Ø Ð ÓÖÒ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý Ä ØÙÖ ½ Ì Ä ÖÒ Ò ÈÖÓ Ð Ñ ËÔÓÒ ÓÖ Ý ÐØ ³ ÈÖÓÚÓ Ø Ç ² Ë Ú ÓÒ Ò ÁËÌ ÌÙ Ý ÔÖ Ð ¾¼½¾
ÇÙØÐ Ò Ó Ø ÓÙÖ ½½º ÇÚ Ö ØØ Ò Å Ý µ ½¾º Ê ÙÐ Ö Þ Ø ÓÒ Å Ý ½¼ µ ½º Ì Ä ÖÒ Ò ÈÖÓ Ð Ñ ÔÖ Ð µ ½ º Î Ð Ø ÓÒ Å Ý ½ µ ¾º Á Ä ÖÒ Ò Ð ÔÖ Ð µ º Ì Ä Ò Ö ÅÓ Ð Á ÔÖ Ð ½¼ µ º ÖÖÓÖ Ò ÆÓ ÔÖ Ð ½¾ µ º ÌÖ Ò Ò Ú Ö Ù Ì Ø Ò
ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ ÝÐ Ó ÙØÓÑÓÖÔ Ñ µ ÑÓ ÙÐ ÕÙ ¹ÝÐ µ ØÖÙ¹ ØÙÖ ÖĐÓ Ò Ö ÓÖ ÑÓ ÙÐ Ú ÐÙ Ø ÓÒ Ó ÖÓÑ ÓÖ Ö ÓÑ Ò Ò¹ ÐÙ Ò ÓÔÔ Ó µ Ü Ñ
ÖĐÓ Ò Ö ÓÖ ÒÓ Ò Ó ÖØ Ò Ó ÖÓÑ ÇÖ Ö ÓÑ Ò ÂÓ Ò º Ä ØØÐ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ò ÓÑÔÙØ Ö Ë Ò ÓÐÐ Ó Ø ÀÓÐÝ ÖÓ Ð ØØÐ Ñ Ø º ÓÐÝÖÓ º Ù ÊÁË ÏÓÖ ÓÔ Ä ÒÞ Ù ØÖ Å Ý ½ ¾¼¼ ÇÙØÐ Ò Ó Ø Ð ÅÓØ Ú Ø ÓÒ ÔÓÐÝÒÓÑ Ð Ú ÓÒ ÒÓ Ò ÓÖ
deactivate keys for withdrawal
Ù Ø Ð ÌÖ Ò Û Ø ÍÒÓÒ Ø ÓÒ Ð ÒÓÒÝÑ ØÝ ÒÒ Ã Ð Ö Ò ÀÓÐ Ö ÎÓ Ø Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÖÑ Ø Ø ÍÒ Ú Ö ØÝ Ó Ì ÒÓÐÓ Ý ¹ ¾ ÖÑ Ø Ø ÖÑ ÒÝ ß Ù Ð Ö ÚÓ ØÐ º Ò ÓÖÑ Ø ºØÙ¹ ÖÑ Ø Øº ØÖ Ø Ï ÔÖ ÒØ Ò Û ÒÓÒÝÑÓÙ ÓÒ¹Ð Ò Ô ÝÑ ÒØ
x(t + t) = exp( tl)x(t), µ t k exp( tl) = x i i=1 k=0
ÔØ Ú Ä ¹ ÒØ Ö Ø ÓÒ Ø Ù ØÖ Ò¹ÀÙÒ Ö Ò ÏÓÖ ÓÔ ÓÒ ÌÖÓ Ò Ò Ê Ð Ø ÌÓÔ ½¼ ÔÖ Ð ¾¼½¼ ÇÖ Ò ÖÝ Ö ÒØ Ð ÕÙ Ø ÓÒ ÈÖÓ Ð Ñ Ð Ø³ ÓÐÚ Ø ÕÙ Ø ÓÒ ẋ i = f i (x) ½µ Û Ö x : R R N x = (x 1,..., x N )µº ÆÓØ ÐÐ ÒÓÒ¹ ÙØÓÒÓÑÓÙ
Communications Network Design: lecture 16 p.1/41
Ó ÔÔÐ Å Ø Ñ Ø ÔÐ Ò Ó Å Ø Ñ Ø Ð Ë Ò Ë ÓÓÐ ÓÑÑÙÒ Ø ÓÒ Æ ØÛÓÖ Ò Ð ØÙÖ ½ Å ØØ Û ÊÓÙ Ò ÍÒ Ú Ö ØÝ Ó Ð Å Ý ¾¼ ¾¼¼ Communications Network Design: lecture 16 p.1/41 ÌÖ ¹Ð Ò ØÛÓÖ
Chapter 9. Trapezoidal Maps. 9.1 The Trapezoidal Map
Chapter 9 Trapezoidal Maps ÁÒ Ø Ø ÓÒ Û Û ÐÐ ÒÓØ Ö ÔÔÐ Ø ÓÒ Ó Ö Ò ÓÑ Þ ÒÖ Ñ ÒØ Ð ÓÒ ØÖÙØ ÓÒ Ò Ø ØÖ Ø ÓÒ ÙÖ Ø ÓÒ Ô Ö Ñ ÛÓÖ º Ø Ø Ñ Ø Ñ Ø Û ÐÐ Ú Ù Ò Æ ÒØ Ð ÓÖ Ø Ñ ÓÖ ÓÐÚ Ò Ø Ò Ö Ð ÔÖÓ Ð Ñ Ó ÔÓ ÒØ ÐÓ Ø ÓÒ
ËØÖÙØÙÖ ½ Î Ö ÐÙ Ø Ö ¹ Ò ÒØÖÓ ÙØ ÓÒ ¾ Ì Ø Ì ÈÙÞÞÐ Ì Á ÓÒÐÙ ÓÒ ÈÖÓ Ð Ñ Å Ö ¹ÄÙ ÈÓÔÔ ÍÒ Ä ÔÞ µ È Ö Ø È ÖØ ÔÐ ¾¼º¼ º½ ¾» ¾
È Ö Ø È ÖØ ÔÐ Å Ö Ð Ò Ò ² Ö ÀÓ ØÖ Å Ö ¹ÄÙ ÈÓÔÔ ÍÒ Ú Ö ØØ Ä ÔÞ Ñ Ö ÐÙ ÔÓÔÔ ÓØÑ Ðº ¾¼º¼ º½ Å Ö ¹ÄÙ ÈÓÔÔ ÍÒ Ä ÔÞ µ È Ö Ø È ÖØ ÔÐ ¾¼º¼ º½ ½» ¾ ËØÖÙØÙÖ ½ Î Ö ÐÙ Ø Ö ¹ Ò ÒØÖÓ ÙØ ÓÒ ¾ Ì Ø Ì ÈÙÞÞÐ Ì Á ÓÒÐÙ ÓÒ
Ì ÄÈ Ë ÈÖÓ Ð Ñ Ì ÄÈ Ë ÐÓÒ Ø Ô Ö Ñ Ø Ö Þ ÓÑÑÓÒ Ù ÕÙ Ò µ ÔÖÓ Ð Ñ Ò Ö Ð Þ Ø ÓÒ Ó Û ÐÐ ÒÓÛÒ Ä Ë ÔÖÓ Ð Ñ ÓÒØ Ò Ò Ô¹ÓÒ ØÖ ÒØ º Ò Ø ÓÒ ÁÒ ÄÈ Ë(,, Ã ½, Ã ¾, )
Ð ÓÖ Ø Ñ ÓÖ ÓÑÔÙØ Ò Ø ÄÓÒ Ø È Ö Ñ Ø Ö Þ ÓÑÑÓÒ ËÙ ÕÙ Ò Ó Ø Ëº ÁÐ ÓÔÓÙÐÓ ½ Å Ö Ò ÃÙ ¾ ź ËÓ Ð Ê Ñ Ò ½ Ò ÌÓÑ Þ Ï Ð ¾ ½ Ð ÓÖ Ø Ñ Ò ÖÓÙÔ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò Ã Ò ÓÐÐ ÄÓÒ ÓÒ ¾ ÙÐØÝ Ó Å Ø Ñ Ø ÁÒ ÓÖÑ Ø Ò ÔÔÐ
Ë ÑÙÐ Ø ÓÒ ÙÖ ØÝ Ò Ø ÔÔÐ Ô ÐÙÐÙ ËØ Ô Ò Ð ÙÒ ËØ Ú ÃÖ Ñ Ö ÇÐ Ú Ö È Ö Ö ÓÖÑ ÖÝÔØ ½»¼»¾¼¼
Ë ÑÙÐ Ø ÓÒ ÙÖ ØÝ Ò Ø ÔÔÐ Ô ÐÙÐÙ ËØ Ô Ò Ð ÙÒ ËØ Ú ÃÖ Ñ Ö ÇÐ Ú Ö È Ö Ö ÓÖÑ ÖÝÔØ ½»¼»¾¼¼ Ë ÑÙÐ Ø ÓÒ ÙÖ ØÝ Å Ò ÓÑÔÓ Ø ÓÒ¹Ö Ò Ñ ÒØ Ö Ñ ÛÓÖ Ò Ò Ú Ö Ö Ð ØØ Ò F I Ò ØØ ³ Í Ö Ñ ÛÓÖ È ØÞÑ ÒÒ Ï Ò Ö³ Ö Ø Ú ÑÙÐ Ø Ð
ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö
ËÌ Ä Å Ä Å ÌÁÇÆ ÂÓ Ò Ìº Ð Û Ò Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø ËØ Ø Ø Ò ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó ÁÐÐ ÒÓ Ø Ó Â ÒÙ ÖÝ ¾¼¼¼ Ø ØÓ Ø Ñ ÑÓÖÝ Ó ºÁºÅ Ð Úº ÁÒ ½ ÖÞ ÓÖÞÝ Û Ø Ö Ø Ö Û Ö ÓÒØ ÒÙÙÑ Ñ ÒÝ «Ö ÒØ ¼ ¹ Ø ÓÖ Ð Ø ÓÖ º Ï Ø
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ Ö ÕÙ ÒØ Ø ÄÇË Ì Ð ÓÖ Ø Ñ ÓÖ Ò Ò Ö ÕÙ
Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø Ò Ò ØÖÙØÙÖ ØÖ Ø Ñ Ò Ò ÙØÙÑÒ ¾¼¼¾ Ò Ò Ö ÕÙ ÒØ ÐÓ µ Ø Û Ø ØÖ ØÖÙØÙÖ ½ ȹØÖ È¹ ÖÓÛØ ÄÇË Ì È¹ØÖ Ø ØÖÙØÙÖ È¹ ÖÓÛØ Ð ÓÖ Ø Ñ ÓÖ Ò Ò ÐÐ
ÇÖ Ò Þ Ø ÓÒ ÄÙ Ù Ó Ø ÓÒ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÇÖ Ò Þ Ò ÓÑÑ ØØ Ð ÖÚ Ð Ó ÁË Ä ÈÓÖØ٠е Ò È ÙÐ ÖÖÓ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÈÓÖØ٠е ÖÐÓ Ë ÒØÓ ÁË ÈÓÖØ٠е ÂÓÖ ÆÙÒÓ Ë ÐÚ
Ê Ö Ø ÓÒ Ð Å Ø Ñ Ø ÓÐÐÓÕÙ ÙÑ ÁÁÁ Ó Ö Ñ ËØÙ ÓÐÐÓÕÙ ÙÑ ÎÁ ÇÇÃ Ç ËÌÊ ÌË ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÔÖ Ð Ö ¹ ÔÖ Ð Ø ¾¼½ ÇÖ Ò Þ Ø ÓÒ ÄÙ Ù Ó Ø ÓÒ ÍÒ Ú Ö ØÝ Ó ÞÓÖ ÇÖ Ò Þ Ò ÓÑÑ ØØ Ð ÖÚ Ð Ó ÁË Ä ÈÓÖØ٠е Ò È ÙÐ ÖÖÓ ÍÒ Ú Ö
ÇÙØÐ Ò ½ Ï Ø ØÓ ØÙ Ý ÓÙØ ÐØ ² ÙÖ ¾ ÓÐÓ Ð ÅÓ Ð ÐÓÓ Ø Ø ÓÖ Ø À Ö Ö Ð ÅÓ Ð Ò Ú Ù Ð Æ ÖÓÙÔ ÐÓÛ Ò ÐÝ ØÓÓÐ ØÓ ØÙ Ý ÑÓÚ Ñ ÒØ Ù ÓÒ Å Ö Ð Ë ÖÚ Ð Ó À ÐØ ² ÍÖ ÈÁ
À ÐØ ² ÍÖ Ñ Ø Ó ØÓ ÒÚ Ø Ø ÐØ Ò ÙÖ Ò Ô Å Ö Ð Ë ÖÚ Ð Ó ÙÒ Ó Ç Û Ð Ó ÖÙÞ ÈÖÓ Ö Ñ ÓÑÔÙØ Ó ÒØ ÓÐ Æ ÓÒ Ð Ë È Ð ÈÁ ¾¼¼ Å Ö Ð Ë ÖÚ Ð Ó À ÐØ ² ÍÖ ÈÁ ¾¼¼ ½» ½ ÇÙØÐ Ò ½ Ï Ø ØÓ ØÙ Ý ÓÙØ ÐØ ² ÙÖ ¾ ÓÐÓ Ð ÅÓ Ð ÐÓÓ Ø
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ
Ì ÓÑÔÙØ Ð Ñ Ò ÓÒ Ó ÌÖ Ó ÁÒ Ò Ø À Ø ÊÙ ÐÐ Å ÐÐ Ö ÂÙÐÝ ¾ ¾¼¼ Ì Ö Ø ÓÙÖ Ø ÓÒ Ó Ø ÖØ Ð ÔÔ Ö ÔØ Ö Ó È º º Ø Ø Ø ÍÒ Ú Ö ØÝ Ó Ó ÙÒ Ö Ø ÙÔ ÖÚ ÓÒ Ó ÊÓ ÖØ Áº ËÓ Ö º Ì Ò Ö Ð Ó Ù ØÓ ÝÖ Ã ÓÙ ÒÓÚ Û Ó ÓÖ Ò ÐÐÝ ÔÓ Ø ÕÙ
A = Y E B = W Y = 1 4
ÏÓÒÖ ÙÐ Ö Ñ Ö Ñ ËØ Ð Þ Ø ÓÒ Ò ÊÙØ ÓÒ ØÓÖØ ÓÒ Ê Ø ÓÒ ÁÒØ ÖÖ Ò Ù» Ø ÁÒ Ø Ð ØÝ ÑÔÐ Ö Ü ÑÔÐ Ó ÒØ ÏÓÒÖ ÙÐ ÈÖÓÔ ÖØ ½» ½¾ Ö Ñ ÊÙØ ÓÒ ØÓÖØ ÓÒ Ê Ø ÓÒ ÁÒØ ÖÖ Ò Ù» Ø ÁÒ Ø Ð ØÝ Ö Ñ ÏÓÒÖ ÙÐ Ö Ñ Ø ÒÓÒ¹ ÒÚ ÖØ Ò ÓÔ ÑÔ
Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ Å Ö ÈÓÑÔÐÙÒ ½ Ò Å Âº Å Ø Ö ¾ ½ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ ÇÒØ Ö Ó
Ì ØÐ Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖ Ø ÓÑÔ Ö ÓÒ Ó ÀÙÑ Ò Ä Ñ ÌÖ ØÓÖ ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ò Å Âº Å Ø Ö ÊÙÒÒ Ò Ë Ñ ÒØ Ø ÓÒ Ð ÓÖ Ø Ñ ÓÖÖ ÔÓÒ Ò ÙØ ÓÖ Å Ö ÈÓÑÔÐÙÒ Ô ÖØÑ ÒØ Ó ÓÑÔÙØ Ö Ë Ò ÓÖ ÍÒ Ú Ö ØÝ ¼¼ à РËØÖ Ø ÌÓÖÓÒØÓ
Ð Ø ÓÖ Ê Ö Ò Å ÒÙ Ð ½º¼ ÐÔ Ò Ö Ø Ý ÓÜÝ Ò ½º º º½ Ï ½ ¼¼ ½ ¾½ ¾¼¼ ÓÒØ ÒØ ½ Ð Ø ÓÖ Å Ò È ½ ½º½ ÁÒØÖÓ ÙØ ÓÒ º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º º ½ ¾ Ð Ø ÓÖ Ø ËØÖÙØÙÖ
½º¾ Ò Ø ÓÒ Ì Ò Ó Ø ÓÚ ÕÙ Ø ÓÒ Ò ÓÖÑ Ð Þ Ý Ø ÓÐÐÓÛ Ò Ò Ø ÓÒº Ò Ø ÓÒ ½ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ Ñ Ðݵ Ñ ÐÝ ¾ ¼ ½ ¾Æ ÐÐ Ñ ÐÝ Ó Ð µ Ä µµ È Ù Ó Ê Ò ÓÑ ÙÒØ ÓÒ ¾
¾¾º ¼ ¹¼¼ ÁÒØÖÓ ÙØ ÓÒ ØÓ ÖÝÔØÓ Ö Ô Ý ÆÓÚ Ñ Ö Ø ¾¼¼½ Ä ØÙÖ Ä ØÙÖ Ö Ú Ò Ý Ó ËÖ ÒØÓÒ Ó Æ ÓÐÓ Ä Ø Ø Ñ Û Ò Û Ø Û Ñ Ò Ý Ë Ö Ø Ã Ý ÒÖÝÔØ ÓÒ Ñ Ëà µ Ò Û ÒØÖÓ Ù ØÛÓ Ö Ð Ø ÒÓØ ÓÒ Ó ÙÖ Øݺ Ì Ò Û ÓÛ ÓÛ ÈÊ Ñ Ý Ù ØÓ
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å
Ú Ð Ð ÓÒÐ Ò Ø ØØÔ»» Ѻ Ö Ùº º Ö ÁÒغ º ÁÒ Ù ØÖ Ð Å Ø Ñ Ø ÎÓк ÆÓº ¾¼½½µ ½ ½¹½ ½ Ê Ò Ò ÍÒ Ø Ò Ý Í Ò Ø ÎÓØ Ò ËÝ Ø Ñ Åº à ÒÑÓ ÑÑ Êº ÐÐ Ò µ Ô ÖØÑ ÒØ Ó Å Ø Ñ Ø Ë Ò Ò Ê Ö Ö Ò Á Ð Ñ Þ ÍÒ Ú Ö ØÝ Ð Ñ Ö ÁÖ Òº µ
ÁÒØÖÓ ÙØ ÓÒ ËØ Ø Ø Ð Ò ÐÝ ÓÖ Ö Ø Ø Ô ÖØ Ù¹ Ð ÖÐÝ ÓÖ ÔÖÓ Ð ØÝ ÑÓ Ð Ù Ø ÒÓ¹ Ñ Ð ÈÓ ÓÒ Ò ÑÙÐØ ÒÓÑ Ð Ý ÒÓÛ Ú ÖÝ Û ÐÐ ÙÒ Ö ØÓÓ Û Ø Û ÐØ Ó Ù Ø Ð Ó Ø¹ Û Ö º
ÇÚ Ö Ô Ö ÓÒ Ò ÓÙÒØ Ø º Ⱥź º ÐØ Ñ ËØ Ø Ø Ð Ä ÓÖ ØÓÖÝ ÍÒ Ú Ö ØÝ Ó Ñ Ö ÒØÖ ÓÖ Ø Å Ø Ñ Ø Ð Ë Ò Ï Ð Ö ÓÖ ÊÓ Ñ Ö ÇÏ ÍÃ Ü ÒÓ ¼½¾¾ ¹ º Ⱥ ÐØ Ñ Ø Ø Ð º Ѻ ºÙ Ë Ñ Ò Ö Ú Ò Ø ÅÊ Ó Ø Ø Ø ÍÒ Ø ÆÓÚ Ñ Ö ½ ¾¼¼¼º ½ ÁÒØÖÓ
0.12. localization 0.9 L=11 L=12 L= inverse participation ratio Energy
ÖÓÑ ÓÔÔ Ò ¹ ØÓ ÓÐØÞÑ ÒÒ ØÖ Ò ÔÓÖØ Ò ØÓÔÓÐÓ ÐÐÝ ÓÖ Ö Ø Ø¹ Ò Ò ÑÓ Ð À Ò Ö Æ Ñ Ý Ö ÂÓ Ò ÑÑ Ö ÍÒ Ú Ö ØÝ Ó Ç Ò Ö Ö ÙÖ ÆÓÚº ¾½º ¾¼½½ ÓÒØ ÒØ ÅÓ Ð Ð Ò Ó Ø Ú Ô Ó ÐÓ Ð Þ Ø ÓÒ ÈÖÓ Ø ÓÒ ÓÒØÓ Ò ØÝ Û Ú ÐÙÖ Ó ÔÖÓ Ø ÓÒ
ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾
ÅÓ Ð Ò Ø ÝÒ Ñ Ó Ðй Ý Ø Ú ØÝ ÔÐ Ò Ï ÐÐ Ñ À ÑÔ ½ ÙÒÒ Ö Ð ØØ Ö Ê Ö Ó ÀÙÖØÙ Ò Å Ð ÖÐ Ö ¾ ÂÙÒ ¾¾ ¾¼½¼ ½ ÃÍ Ä ÙÚ Ò ¾ È Ä Ù ÒÒ ½» ¾ ÅÓØ Ú Ø ÓÒ Ø Ú Øݹ ØÖ Ú Ð Ñ Ò ÑÓ Ð Ò Ô Ö ÓÒ Ð Þ ÖÚ ÓÒ Ñ ÖØÔ ÓÒ ¾» ¾ ÇÙØÐ Ò
R p [%] [%], R p Photon energy [ev]
![R p [%] [%], R p Photon energy [ev]](/thumbs/94/121924350.jpg "R p [%] [%], R p Photon energy [ev]")
ÅÓ Ð Ò Ó Ô ÓØÓÒ Ñ Ø Ö Ð Ò Ò ÒÓ ØÖÙØÙÖ Ê Ö ÔÖÓ Ö ÑÑ ÎÈ Æ ÒÓØ ÒÓÐÓ Ý Ã Ñ Ð ÈÓ Ø Ú ÄÙ À Ð ÓÑ Ò Ä ÙØ ÊÙ ÓÐ Ë ÓÖ Ì ÓÖ Ö ÙÞ Ò ÅÖ Þ ÓÚ Â Ò Ó ÓÐ Ò Â ÖÓÑ Ö È ØÓÖ Æ Ø ÓÒ Ð ËÙÔ ÖÓÑÔÙØ Ò ÒØ Ö ÁÌ ÁÒÒÓÚ Ø ÓÒ Ô ÖØÑ ÒØ
Kevin Dowd, after his book High Performance Computing, O Reilly & Associates, Inc, 1991
Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ Ï ÐÐ ÝÓÒ ÆÙÑÈÝ Ö Ð Ò Ú ÐÓÔ Ö Ò ÈÝÌ Ð Ö ØÓÖ ÂÙÐÝ Ø ¹½½Ø ¾¼½¼º È Ö ¹ Ö Ò ÇÙØÐ Ò Ì Ø Á Ù Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ½ Ì Ø Á Ù ¾ Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ÇÙØÐ Ò Ì Ø Á Ù Ò Û Ö ÌÓ ÉÙ Ø ÓÒ ÁÒ ½ Ì Ø Á
ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ Ó Ô Ø ÓÛ Ø ÛÓÖ Ø Ñ Ø ÓÒ Ó Ñ ÖÓ¹ ÑÙÐ Ø Ú ÓÖ ¾» ¾¾
ÝØ Ö Ð Ö Ø ÓÒ ØÓÓÐ ÓÖ ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ ÙÒÒ Ö Ð ØØ Ö ½ Ë ÔØ Ñ Ö ½¼ ¾¼¼ ½ Ñ ÒÝ Ø Ò ØÓ Ù Ò ÓÖ ÐÔ Ò Û Ø Ø ÑÙÐ Ø ÓÒ ½» ¾¾ ÝØ Ð Ö Ø ÓÒ Ó ÝÒ Ñ ØÖ ÑÙÐ Ø ÓÒ Ó Ø Ú Ñ Ò Ð Ö Ø ÓÒ ÖÓÑ ØÖ ÓÙÒØ Ð Ð Ô Ö Ô Ø Ú Ø Ñ Ø ÓÒ
An Algebraic Semantics for Duration Calculus. August 2005 ß ½ ß ESSLLI 2005 Student Session
ÝÓÙ Ö Ý ÆÙÐØÝ ÓÖ ÓÒØÖÓÚ Ö Ý Ò Ò Á ÓÙÒ Ó ÐÖ ÛÓÖØ ØÓÒ Ó Ú Ö Ð Ö ÙÑ Òغ Ò An Algebraic Semantics for Duration Calculus ÐÖ Ë Ñ ÒØ ÓÖ ÙÖ Ø ÓÒ Ò ÐÙÐÙ È Ø Ö ÀĐÓ Ò Ö ÁÒ Ø ØÙØ Ó ÓÑÔÙØ Ö Ë Ò ÍÒ Ú Ö ØÝ Ó Ù ÙÖ Âº
ÈÖÓ Ð Ø Î Ö Ð Ò Ð Ø ÓÒ Ò Ö ÐÙ Ø Ö Ò ÐÝ ÙÒØ Ö Ê ØØ Ö ÙÐØÝ Ó ÁÒ ÓÖÑ Ø Ò Å Ø Ñ Ø ÍÒ Ú Ö ØÝ Ó È Ù» ÖÑ ÒÝ Ö ØØ Ö ÑºÙÒ ¹Ô Ùº ¹ Æà ÏÁ Ë ¾¼½ ¾» ½ ½º ÁÒØÖÓ ÙØ ÓÒ ¹ Æà ÏÁ Ë ¾¼½» ½ Ä Ø Ö ØÙÖ Ê ÒØ ÔÔÖÓ ØÓ Ú Ö Ð Ð
ÓÒØ ÒØ ¾
ÉÙ Ø ÓÒ Ì È Ð ÐÔ Ð ÓÙÖØ ÒÒÙ Ð À Ë ÓÓÐ ÈÖÓ Ö ÑÑ Ò ÓÒØ Ø ÍÒ Ú Ö ØÝ Ó È ÒÒ ÝÐÚ Ò Å Ö ¾¼¼½ ÓÒØ ÒØ ¾ È ÖØ Á ÉÙ Ø ÓÒ ½ ¹ Ï Ò Ø ÒÙÑ Ö ¾ ÑÙÐØ ÔÐ Ý Ø ÔÖÓ ÙØ ¾ ¾ º ÆÓØ Ø Ø Ø Ö Ø ÓÙÖ Ø Ö Ø Ñ Ø Ð Ø ÓÙÖ Ø ¾ Ò ¾ µº
LCNS, Vol 1767, pp , Springer 2003
Ø Ö Ü Ø ËÓÐÙØ ÓÒ ÓÖ Å Ü¾Ë Ø Â Ò Ö ÑÑ ÊÓÐ Æ ÖÑ Ö Ï Ð ÐÑ¹Ë Ö ¹ÁÒ Ø ØÙØ ĐÙÖ ÁÒ ÓÖÑ Ø ÍÒ Ú Ö ØĐ Ø ÌĐÙ Ò Ò Ë Ò ½ ¹ ¾¼ ÌĐÙ Ò Ò º Ê Ôº Ó ÖÑ ÒÝ Ö ÑÑ Ò ÖÑÖ Ò ÓÖÑ Ø ºÙÒ ¹ØÙ Ò Òº ØÖ Øº Ú Ò ÓÓÐ Ò ¾ Æ ÓÖÑÙÐ Ø Å Ü¾Ë
ÈÖÓÚ Ò Ò ÁÑÔÐ Ø ÓÒ È É Ï Ö Ø ÐÓÓ Ø Û Ý ØÓ ÔÖÓÚ Ø Ø Ñ ÒØ Ó Ø ÓÖÑ Á È Ø Ò É ÓÖ È É Ì ÓÐÐÓÛ Ò ÔÖÓÓ ØÝÔ Ò Ð Ó Ù ØÓ ÔÖÓÚ Ø Ø Ñ ÒØ Ó Ø ÓÖÑ Ü È Üµ É Üµµ Ý ÔÔ
Å Ø Ó Ó ÈÖÓÓ ÊÙÐ Ó ÁÒ Ö Ò ¹ Ø ØÖÙØÙÖ Ó ÔÖÓÓ ÆÓÛ ËØÖ Ø ÓÖ ÓÒ ØÖÙØ Ò ÔÖÓÓ ÁÒØÖÓ ÙØ ÓÒ ØÓ ÓÑÑÓÒ ÔÖÓÓ Ø Ò ÕÙ Ê ÐÐ Ø Ø Ñ ÒØ ÒØ Ò Ø Ø Ø Ö ØÖÙ ÓÖ Ð º Ò Ø ÓÒ ÔÖÓÓ ÓÒÚ Ò Ò Ö ÙÑ ÒØ Ø Ø Ø Ø Ñ ÒØ ØÖÙ º ÆÓØ Ï ÒÒÓØ
½ ÁÒØÖÓ ÙØ ÓÒ ÒÓÑ ÈÓÖØ Ð Û ¹ ÒØ Ö Ø Ú ÓÑÔÙØ Ø ÓÒ Ð ÔÐ Ø ÓÖÑ ÓÖ Ø Ò Ð¹ Ý Ò Ñ Ò Ò Ó ÒÓÑ Ø º Ï Ñ ØÓ ÒØ Ö Ø Ø ÔÖ Ñ ÖÝ ÒÓÑ Ø ÙÒØ ÓÒ Ð ÒÓÛÐ Ò Ò ÐÝØ Ð ØÓÓÐ Û
ÓÒØ ÒØ ½ ÁÒØÖÓ ÙØ ÓÒ ¾ ¾ ËØ ÖØ Ý ÓÒ ØÖÙØ Ò Ò Ð Ø ¾ ¾º½ Í Ò ÔÖ Ò Ò Ð Ø µ º º º º º º º º º º º º º º º º º º º º º ¾ ¾º¾ Ë Ö ÓÖ Ò Ó ÒØ Ö Ø Ù Ò ÒØÖ Þ ÝÑ ÓÐ ÓÖ Ö ÔØ ÓÒº ¾º È Ø Ð Ø Ó Ò Ò Ø ÓÜ ÔÖÓÚ º º º º
Ð Ö Ø ÓÒ Á Ì ÖØ Ò Ö È ØÖÙ Ö Ð Ö Ø Ø Ø Ø» ÖØ Ø ÓÒ Û Á Ö Ý Ù ¹ Ñ Ø ÓÖ Ø Ö È ÐÓ ÓÔ ÓØÓÖ Ø Ø ÍÒ Ú Ö ØÝ Ó ÈÖ ØÓÖ ÑÝ ÓÛÒ ÛÓÖ Ò ÒÓØ ÔÖ Ú ÓÙ ÐÝ Ò Ù Ñ ØØ Ý Ñ Ó
Ú ÐÓÔÑ ÒØ Ó Ò Ö ØÖÙØÙÖ Ð Ó Ò ÓÖÑ Ø Ò ÓÖÑ Ø ÓÒ Ñ Ò Ñ ÒØ Ý Ø Ñ Ò Ø ÔÔÐ Ø ÓÒ ØÓ Ú Ö Ø ÓÒ Ò ÓÓع Ò ¹ÑÓÙØ Ú ÖÙ ÔÖÓØ Ò Ý Ì ÖØ Ò Ö È ØÖÙ Ö ËÙ Ñ ØØ Ò Ô ÖØ Ð ÙÐ ÐÑ ÒØ Ó Ö ÕÙ Ö Ñ ÒØ ÓÖ Ø Ö È ÐÓ ÓÔ ÓØÓÖ Ó Ò ÓÖÑ Ø
Ø ÔÖ ÙÖ ØÝ Ö ÕÙ Ö Ñ ÒØ Ó ÙØ ÒØ Ø Ý Ø Ð Ñ Òغ Ë Ú Ö Ð ÓÒÖ Ø ÙÖ ØÝ Ò Ô Ö ÓÖÑ Ò ØØÖ ÙØ Ú Ò ÒØ Ö Ð º Ì ÙÒ Ñ ÒØ Ð ÙÖ ØÝ Ó Ð Ó Ý Ø Ð Ñ ÒØ ÔÖÓØÓÓÐ Ö ØÓ ÑÔÐ Ø
ÌÛÓ¹È ÙØ ÒØ Ø Ã Ý Ö Ñ ÒØ ÈÖÓØÓÓÐ Û Ø Ã Ý ÓÒ ÖÑ Ø ÓÒ ÓÝ ÓÒ ËÓÒ ÃÛ Ò Ó Ã Ñ ÁÒ ÓÖÑ Ø ÓÒ Ò ÓÑÑÙÒ Ø ÓÒ ÍÒ Ú Ö ØÝ Á ͵ ¹ ÀÛ Ñ¹ ÓÒ Ù ÓÒ ¹ Ù Ì ÓÒ ¼ ¹ ¾ ˺ ÃÓÖ Ý ÓÒ Ùº º Ö ØÖ Øº Ì Ô Ô Ö ÔÖÓÔÓ Ø Ö Ý Ö Ñ ÒØ ÔÖÓØÓÓÐ
¼ º Å Ø Öº Ë º Ì ÒÓк ÎÓк¾¾ ÆÓº ¾¼¼ Ö ÇÔØ ÈÖÓØ Ø ÓÒ ËÝ Ø Ñ ÓÖ ÓÒÖ Ø ËØÖÙØÙÖ ÂºËºÄ Ò ½µÝ ºÀ Ñ ¾µ ºÏ ÒØ Ö ¾µ ʺ º ÖÒ ¾µ º ºÅ Ý ¾µ Ò º º ÖÒ Ò Ó ¾µ ½µ Ò
¼ Ö ÇÔØ ÈÖÓØ Ø ÓÒ ËÝ Ø Ñ ÓÖ ÓÒÖ Ø ËØÖÙØÙÖ ÂºËºÄ Ò ½µÝ ºÀ Ñ ¾µ ºÏ ÒØ Ö ¾µ ʺ º ÖÒ ¾µ º ºÅ Ý ¾µ Ò º º ÖÒ Ò Ó ¾µ ½µ ÒØÖ ÓÖ ÓÑÔÓ Ø Å Ø Ö Ð À Ö Ò ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý À Ö Ò ½ ¼¼¼½ Ò ¾µ Ò Ò Ö Ò ËÝ Ø Ñ Ô ÖØÑ ÒØ
Å Ø Ó ØÓ Ú ÐÙ Ø ÝÒÑ Ò ÒØ Ö Ð Ò ÐÝØ Ð ÒÙÑ Ö Ð Ñ Ò ÐÝØ Ð
ÅÓ ÖÒ Ì Ò ÕÙ ÓÖ ÅÙÐØ ¹ÄÓÓÔ ÐÙÐ Ø ÓÒ ÎÐ Ñ Ö º ËÑ ÖÒÓÚ Ë Ó ÐØ ÝÒ ÁÒ Ø ØÙØ Ó ÆÙÐ Ö È Ý Ó ÅÓ ÓÛ ËØ Ø ÍÒ Ú Ö ØÝ Ò ÁÒ Ø ØÙØ ÙÖ Ì ÓÖ Ø Ì Ð ÒÔ Ý Ã ÖÐ ÖÙ ÁÒ Ø ØÙØ Ó Ì ÒÓÐÓ Ý Ã ÖÐ ÖÙ ÃÁÌ ÆÓÚ Ñ Ö ¾ ¾¼½ Å Ø Ó ØÓ Ú
ÌÙÖ ÙÐ Ò Ò Ô Ö ÓÖÑ Ò ÓÑÔÙØ Ò ÌÙÖ ÙÐ Ò ÓÑÑÓÒ Ô ÒÓÑ Ò Ò Ù Ñ Ò º ÈÖ Ø Ð ÑÔÓÖØ Ò Ò Ù ØÖ Ð ÔÖÓ Ò Ö Ý Ò ÖÓÒ ÙØ º Ê Ð Ø ØÓ Ò Ö Ý Ú Ò Ò Æ ÒÝ Ò ØÖ Ò ÔÓÖØ Ø ÓÒº
½ À Ö ÓÐÙØ ÓÒ ÈÍ Ó ÓÖ Ö Ø ÒÙÑ Ö Ð ÑÙÐ Ø ÓÒ Ó ØÙÖ ÙÐ Ò Ð ÖØÓ Î Ð ¹Å ÖØ Ò ÂÓ Áº Ö Å Ù Ð Èº Ò Ò Ö Ý Â Ú Ö Â Ñ Ò Þ ºÌºËºÁ ÖÓÒ ÙØ ÍÈÅ ÌÙÖ ÙÐ Ò Ò Ô Ö ÓÖÑ Ò ÓÑÔÙØ Ò ÌÙÖ ÙÐ Ò ÓÑÑÓÒ Ô ÒÓÑ Ò Ò Ù Ñ Ò º ÈÖ Ø Ð ÑÔÓÖØ
ÌÖ Ò Ò ÆÙÑ Ö ÓÖ È ÔÓ Ø Ö ÓÖ ÖÖÓÖ ÓÒØÖÓл ÔØ Ú Ñ Ò ³ ÁØ Ö Ø Ú Ô Ö ÐРе ÓÐÙØ ÓÒ ØÖ Ø ³ ÇÔ Ö ØÓÖ¹ ÔÐ ØØ Ò ÓÖ ÓÙÔÐ ÔÖÓ Ð Ñ ³ Ê ÙØ ÓÒ Ó ÒÙÑ Ö Ð ÓÑÔÐ Ü ØÝ
º À Ö Û Ö ¹ÓÖ ÒØ ÆÙÑ Ö ÓÖ È ¹ ÓÒ ÕÙ Ò ÓÖ ÁÒÓÑÔÖ Ð ÐÓÛ ËÓÐÚ Ö Ëº ÌÙÖ Ø ÖÓÙÔ Åº ÐØ Ö Öº Ö Ëº Ù Ò Ëº Ã Ð Ò º ÃÙÞÑ Ò º ÈÐ ØØ Âº ÀÖÓÒ Èº ÃÓØ Ð Ïº Ò º ÇÙ ÞÞ Êº Ë Ñ Ø Ð Äº Ê Ú Ò ººº ÁÒ Ø ØÙØ ĐÙÖ Ò Û Ò Ø Å Ø Ñ
Extreme events. Ship as a dynamic system
ÓÖ Ä Ò Ö Ò ½ Â Ö Ï Ò Ö ½ ½ ÒØÖ ÓÖ Å Ø Ñ Ø Ð Ë Ò ¾¼¼ ÁÏ È ÂÙÐÝ ½¼ ¾¼¼ ÓÑÔ Ò Ñ Ö Ò Ø Ø Ø Ï Ò»Û Ú Ï Ú ÑÓ Ð ËØÓ Ø ÑÓ Ð Ò Ñ Ö Ò Ò ÄÙÒ ÍÒ Ú Ö ØÝ Ø Ø Ø Ñ Ö Ò Ø Ø Ø Ñ Ö Ò ÓÒ Ù Ï Ò ¹Û Ú ¹ ØÝ Ï Ò»Û Ú Ò Û Ø Ö Ð Ñ
U xt +6U 2 x +6UU xx +U xxxx = 3U yy
ÙÐк ÓÑÔÙغ ÔÔк Å Ø º ÎÓк½ ¾¼½ ÛÛÛºÓÑÔ Ñ ºÓºÙ ºÚ ÁËËÆ ¾¾ ¹ ËÓÐÚ Ò Ø ÃÈÁ Ï Ú ÕÙ Ø ÓÒ Û Ø ÅÓÚ Ò ÔØ Ú Å Ö Ö ÒÚ ÐÐ Ë Û ÐÐ ØÖ Ø Ì Ã ÓÑØ Ú¹È ØÚ Ú Ð Á ÃÈÁµ ÕÙ Ø ÓÒ Ø ÙÐØ ÒÓÒÐ Ò Ö Û Ú ÕÙ ¹ Ø ÓÒ U xt + 6U 2 x