Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

Pfds ex3 9

671 views

Published on

Explanation for Purely Functional Data Structure (C. Okasaki) Exercise 3.9

Published in: Technology, Education
  • Be the first to comment

  • Be the first to like this

Pfds ex3 9

  1. 1. PFDS EX. 3.9 @shtaag2011 12 17
  2. 2. BASED ON HINZE’S WORK http://t.co/P3SiwhRE2011 12 17
  3. 3. FROMORDLIST • list RedBlackTree2011 12 17
  4. 4. Z Y Y X Z X Key ...2011 12 17
  5. 5. 22011 12 17
  6. 6. PENNANT rank = 2 • Node • rank r pennant 2r Node2011 12 17
  7. 7. EXPRESSION WITH PENNANTS2011 12 17
  8. 8. EXPRESSION WITH PENNANTS ※ 0,1 1,22011 12 17
  9. 9. EXPRESSION WITH PENNANTS = (22)2 = (21 x 2, 20 x 2)22011 12 17
  10. 10. (21 {N}) (23 x 2, 22 x 1, 21 x 1, 20 x 1)2011 12 17
  11. 11. 2011 12 17
  12. 12. s1 + 1 = s2, s2 + 1 = (s + 1)12011 12 17
  13. 13. 2011 12 17

×