equal
deleted
inserted
replaced
100 |
100 |
101 selected = set() |
101 selected = set() |
102 for x in range(n): |
102 for x in range(n): |
103 if not heads: |
103 if not heads: |
104 break |
104 break |
105 pick = rand.choice(list(heads)) |
105 pickable = list(heads) |
|
106 pickable.sort() |
|
107 pick = rand.choice(pickable) |
106 heads.remove(pick) |
108 heads.remove(pick) |
107 assert pick not in selected |
109 assert pick not in selected |
108 selected.add(pick) |
110 selected.add(pick) |
109 p1, p2 = parents(pick) |
111 p1, p2 = parents(pick) |
110 if p1 in children_count: |
112 if p1 in children_count: |