【sets】erlang sets操作

shijiang1130

1. BASIC SET MANIPULATION WITH ERLANG
   
2. 
   
3. This article deals with basic set manipulation in Erlang. If you are not fimilar with sets, perhaps now is a good time to do some reading on them here.
   
4. 
   
5. Erlang Set Libraries
   
6. 
   
7. Erlang offers 2 libraries for dealing with sets. The first one is sets and the second gb_sets. The sets library will generally work better for smaller sets while the gb_sets will work better for larger sets. The exact reason why this is is given here.
   
8. 
   
9. In this article the gb_sets library will be used since this set will be primarally used later on.
   
10. 
    
11. Example Problem
    
12. 
    
13. This is the problem that will be used as an example of working with sets:
    
14. 
    
15. A card is to be selected from a deck of 30 cards. The deck consists of 15 red cards numbered 1 to 15 and 15 black cards numbered 1 to 15. A card is to be choosen.
    
16. 
    
17. What is the set that describes the outcome that the card is even, black, and less than 5?
    
18. What is the set that describes the outcome that the card is greater than 5 and black?
    
19. What is the set that describes the outcome that the card is even, black, or less than 5?
    
20. What is the set that describes the outcome that the card is even and it is black or less than 5?
    
21. What is the set that describes the outcome that the card is not even, not black and not less than 5?
    
22. Theory First
    
23. 
    
24. From the problem we need to first understand what sets are being asked for. This can be broken into three distinct sets:
    
25. 
    
26. A: The event that the card is even.
    
27. B: The event that the card is black.
    
28. C: The event that the card is less than 5.
    
29. So the answers described using A, B, and C are:
    
30. 
    
31. A ∩ B ∩ C
    
32. B ∩ Cc
    
33. A ∪ B ∪ C
    
34. A ∩ (B ∪ C)
    
35. Ac ∩ Bc ∩ Cc
    
36. Implementation
    
37. 
    
38. Now the implementation in Erlang.
    
39. 
    
40. The sample space is all of the cards, so in Erlang this can be represented as:
    
41. 
    
42. gb_sets:from_list([{red, 1}, {red, 2}, {red, 3}, {red, 4}, {red, 5}, {red, 6},
    
43.                    {red, 7}, {red, 8}, {red, 9}, {red, 10}, {red, 11}, {red, 12},
    
44.                    {red, 13}, {red, 14}, {red, 15},
    
45.                    {black, 1}, {black, 2}, {black, 3}, {black, 4}, {black, 5},
    
46.                    {black, 6}, {black, 7}, {black, 8}, {black, 9}, {black, 10},
    
47.                    {black, 11}, {black, 12}, {black, 13}, {black, 14}, {black, 15}]).
    
48. The set A can be represented as:
    
49. 
    
50. A = gb_sets:from_list([{red, 2}, {red, 4}, {red, 6}, {red, 8}, {red, 10}, {red, 12},
    
51.                        {red, 14}, {black, 2}, {black, 4}, {black, 6}, {black, 8}, {black, 10},
    
52.                        {black, 12}, {black, 14}]).
    
53. The set B can be represented as:
    
54. 
    
55. B = gb_sets:from_list([{black, 1}, {black, 2}, {black, 3}, {black, 4}, {black, 5},
    
56.                        {black, 6}, {black, 7}, {black, 8}, {black, 9}, {black, 10},
    
57.                        {black, 11}, {black, 12}, {black, 13}, {black, 14}, {black, 15}]).
    
58. And the set C can be represented as:
    
59. 
    
60. C = gb_sets:from_list([{red, 1}, {red, 2}, {red, 3}, {red, 4}, {red, 5},
    
61.                        {black, 1}, {black, 2}, {black, 3}, {black, 4}, {black, 5}]).
    
62. Answers
    
63. 
    
64. After this point getting the answers is as simple as using the intersection, subtract, and union functions of the gb_sets library. The only trick is that the complement is the equivalent of a subtract from the sample space S.
    
65. 
    
66. % 1:
    
67. gb_sets:intersection([A, B, C]).
    
68. 
    
69. % 2:
    
70. gb_sets:intersection(B, gb_sets:subtract(S, C)).
    
71. 
    
72. % 3:
    
73. gb_sets:union([A, B, C]).
    
74. 
    
75. % 4:
    
76. gb_sets:intersection(A, gb_sets:union(B, C)).
    
77. 
    
78. % 5:
    
79. gb_sets:subtract(S, gb_sets:intersection([A, B, C])).
    
80. The last answer uses De Morgan's laws, specifically that (A ∪ B)c = Ac ∩ Bc.

復制代碼

shijiang1130

原貼來自 http://www.waratuman.com/2010/01 ... lation-with-erlang/