| author | Christian Urban <urbanc@in.tum.de> | 
| Mon, 01 Oct 2018 01:11:42 +0100 | |
| changeset 566 | 629ebe8b7bbd | 
| parent 564 | 638663141103 | 
| child 572 | 96af3fbdcd8d | 
| permissions | -rw-r--r-- | 
| 
365
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
1  | 
def concat(A: Set[String], B: Set[String]) : Set[String] =  | 
| 564 | 2  | 
for (x <- A ; y <- B) yield x ++ y  | 
| 
365
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
3  | 
|
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
4  | 
def pow(A: Set[String], n: Int) : Set[String] = n match {
 | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
5  | 
  case 0 => Set("")
 | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
6  | 
case n => concat(A, pow(A, n- 1))  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
7  | 
}  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
8  | 
|
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
9  | 
val A = Set("a", "b", "c", "d")
 | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
10  | 
pow(A, 4).size // -> 256  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
11  | 
|
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
12  | 
val B = Set("a", "b", "c", "")
 | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
13  | 
pow(B, 4).size // -> 121  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
14  | 
|
| 471 | 15  | 
|
16  | 
||
| 
397
 
cf3ca219c727
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
365 
diff
changeset
 | 
17  | 
val B2 = Set("a", "b", "c", "")
 | 
| 
 
cf3ca219c727
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
365 
diff
changeset
 | 
18  | 
pow(B2, 3).size // -> 40  | 
| 
 
cf3ca219c727
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents: 
365 
diff
changeset
 | 
19  | 
|
| 
365
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
20  | 
val C = Set("a", "b", "")
 | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
21  | 
pow(C, 2)  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
22  | 
pow(C, 2).size // -> 7  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
23  | 
|
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
24  | 
pow(C, 3)  | 
| 
 
9b71dead1219
updated
 
Christian Urban <christian dot urban at kcl dot ac dot uk> 
parents:  
diff
changeset
 | 
25  | 
pow(C, 3).size // -> 15  | 
| 525 | 26  | 
|
27  | 
||
28  | 
val A = Set("a", "b", "c", "d")
 | 
|
29  | 
pow(A, 4).size  | 
|
30  | 
||
31  | 
val A = Set("a", "b", "c")
 | 
|
32  | 
pow(A, 5).size  | 
|
33  | 
||
34  | 
val A = Set("a", "b", "")
 | 
|
35  | 
pow(A, 5).size  | 
|
| 564 | 36  | 
|
37  | 
||
38  | 
for (n <- (0 to 12).toList)  | 
|
39  | 
yield pow(A, n).size  |