| line |
stmt |
bran |
cond |
sub |
pod |
time |
code |
|
1
|
|
|
|
|
|
|
package Heap::Fibonacci; |
|
2
|
|
|
|
|
|
|
|
|
3
|
4
|
|
|
4
|
|
48963
|
use strict; |
|
|
4
|
|
|
|
|
9
|
|
|
|
4
|
|
|
|
|
182
|
|
|
4
|
4
|
|
|
4
|
|
27
|
use vars qw($VERSION); |
|
|
4
|
|
|
|
|
8
|
|
|
|
4
|
|
|
|
|
9789
|
|
|
5
|
|
|
|
|
|
|
|
|
6
|
|
|
|
|
|
|
$VERSION = '0.80'; |
|
7
|
|
|
|
|
|
|
|
|
8
|
|
|
|
|
|
|
# common names |
|
9
|
|
|
|
|
|
|
# h - heap head |
|
10
|
|
|
|
|
|
|
# el - linkable element, contains user-provided value |
|
11
|
|
|
|
|
|
|
# v - user-provided value |
|
12
|
|
|
|
|
|
|
|
|
13
|
|
|
|
|
|
|
################################################# debugging control |
|
14
|
|
|
|
|
|
|
|
|
15
|
|
|
|
|
|
|
my $debug = 0; |
|
16
|
|
|
|
|
|
|
my $validate = 0; |
|
17
|
|
|
|
|
|
|
|
|
18
|
|
|
|
|
|
|
# enable/disable debugging output |
|
19
|
|
|
|
|
|
|
sub debug { |
|
20
|
0
|
0
|
|
0
|
0
|
0
|
@_ ? ($debug = shift) : $debug; |
|
21
|
|
|
|
|
|
|
} |
|
22
|
|
|
|
|
|
|
|
|
23
|
|
|
|
|
|
|
# enable/disable validation checks on values |
|
24
|
|
|
|
|
|
|
sub validate { |
|
25
|
0
|
0
|
|
0
|
0
|
0
|
@_ ? ($validate = shift) : $validate; |
|
26
|
|
|
|
|
|
|
} |
|
27
|
|
|
|
|
|
|
|
|
28
|
|
|
|
|
|
|
my $width = 3; |
|
29
|
|
|
|
|
|
|
my $bar = ' | '; |
|
30
|
|
|
|
|
|
|
my $corner = ' +-'; |
|
31
|
|
|
|
|
|
|
my $vfmt = "%3d"; |
|
32
|
|
|
|
|
|
|
|
|
33
|
|
|
|
|
|
|
sub set_width { |
|
34
|
0
|
|
|
0
|
0
|
0
|
$width = shift; |
|
35
|
0
|
0
|
|
|
|
0
|
$width = 2 if $width < 2; |
|
36
|
|
|
|
|
|
|
|
|
37
|
0
|
|
|
|
|
0
|
$vfmt = "%${width}d"; |
|
38
|
0
|
|
|
|
|
0
|
$bar = $corner = ' ' x $width; |
|
39
|
0
|
|
|
|
|
0
|
substr($bar,-2,1) = '|'; |
|
40
|
0
|
|
|
|
|
0
|
substr($corner,-2,2) = '+-'; |
|
41
|
|
|
|
|
|
|
} |
|
42
|
|
|
|
|
|
|
|
|
43
|
|
|
|
|
|
|
sub hdump; |
|
44
|
|
|
|
|
|
|
|
|
45
|
|
|
|
|
|
|
sub hdump { |
|
46
|
0
|
|
|
0
|
0
|
0
|
my $el = shift; |
|
47
|
0
|
|
|
|
|
0
|
my $l1 = shift; |
|
48
|
0
|
|
|
|
|
0
|
my $b = shift; |
|
49
|
|
|
|
|
|
|
|
|
50
|
0
|
|
|
|
|
0
|
my $ch; |
|
51
|
|
|
|
|
|
|
my $ch1; |
|
52
|
|
|
|
|
|
|
|
|
53
|
0
|
0
|
|
|
|
0
|
unless( $el ) { |
|
54
|
0
|
|
|
|
|
0
|
print $l1, "\n"; |
|
55
|
0
|
|
|
|
|
0
|
return; |
|
56
|
|
|
|
|
|
|
} |
|
57
|
|
|
|
|
|
|
|
|
58
|
0
|
|
|
|
|
0
|
hdump $ch1 = $el->{child}, |
|
59
|
|
|
|
|
|
|
$l1 . sprintf( $vfmt, $el->{val}->val), |
|
60
|
|
|
|
|
|
|
$b . $bar; |
|
61
|
|
|
|
|
|
|
|
|
62
|
0
|
0
|
|
|
|
0
|
if( $ch1 ) { |
|
63
|
0
|
|
|
|
|
0
|
for( $ch = $ch1->{right}; $ch != $ch1; $ch = $ch->{right} ) { |
|
64
|
0
|
|
|
|
|
0
|
hdump $ch, $b . $corner, $b . $bar; |
|
65
|
|
|
|
|
|
|
} |
|
66
|
|
|
|
|
|
|
} |
|
67
|
|
|
|
|
|
|
} |
|
68
|
|
|
|
|
|
|
|
|
69
|
|
|
|
|
|
|
sub heapdump { |
|
70
|
0
|
|
|
0
|
0
|
0
|
my $h; |
|
71
|
|
|
|
|
|
|
|
|
72
|
0
|
|
|
|
|
0
|
while( $h = shift ) { |
|
73
|
0
|
0
|
|
|
|
0
|
my $top = $$h or last; |
|
74
|
0
|
|
|
|
|
0
|
my $el = $top; |
|
75
|
|
|
|
|
|
|
|
|
76
|
0
|
|
|
|
|
0
|
do { |
|
77
|
0
|
|
|
|
|
0
|
hdump $el, sprintf( "%02d: ", $el->{degree}), ' '; |
|
78
|
0
|
|
|
|
|
0
|
$el = $el->{right}; |
|
79
|
|
|
|
|
|
|
} until $el == $top; |
|
80
|
0
|
|
|
|
|
0
|
print "\n"; |
|
81
|
|
|
|
|
|
|
} |
|
82
|
|
|
|
|
|
|
} |
|
83
|
|
|
|
|
|
|
|
|
84
|
|
|
|
|
|
|
sub bhcheck; |
|
85
|
|
|
|
|
|
|
|
|
86
|
|
|
|
|
|
|
sub bhcheck { |
|
87
|
0
|
|
|
0
|
0
|
0
|
my $el = shift; |
|
88
|
0
|
|
|
|
|
0
|
my $p = shift; |
|
89
|
|
|
|
|
|
|
|
|
90
|
0
|
|
|
|
|
0
|
my $cur = $el; |
|
91
|
0
|
|
|
|
|
0
|
my $prev; |
|
92
|
|
|
|
|
|
|
my $ch; |
|
93
|
0
|
|
|
|
|
0
|
do { |
|
94
|
0
|
|
|
|
|
0
|
$prev = $cur; |
|
95
|
0
|
|
|
|
|
0
|
$cur = $cur->{right}; |
|
96
|
0
|
0
|
|
|
|
0
|
die "bad back link" unless $cur->{left} == $prev; |
|
97
|
0
|
0
|
0
|
|
|
0
|
die "bad parent link" |
|
|
|
|
0
|
|
|
|
|
|
|
|
|
0
|
|
|
|
|
|
|
|
|
0
|
|
|
|
|
|
98
|
|
|
|
|
|
|
unless (defined $p && defined $cur->{p} && $cur->{p} == $p) |
|
99
|
|
|
|
|
|
|
|| (!defined $p && !defined $cur->{p}); |
|
100
|
0
|
0
|
0
|
|
|
0
|
die "bad degree( $cur->{degree} > $p->{degree} )" |
|
101
|
|
|
|
|
|
|
if $p && $p->{degree} <= $cur->{degree}; |
|
102
|
0
|
0
|
0
|
|
|
0
|
die "not heap ordered" |
|
103
|
|
|
|
|
|
|
if $p && $p->{val}->cmp($cur->{val}) > 0; |
|
104
|
0
|
0
|
|
|
|
0
|
$ch = $cur->{child} and bhcheck $ch, $cur; |
|
105
|
|
|
|
|
|
|
} until $cur == $el; |
|
106
|
|
|
|
|
|
|
} |
|
107
|
|
|
|
|
|
|
|
|
108
|
|
|
|
|
|
|
|
|
109
|
|
|
|
|
|
|
sub heapcheck { |
|
110
|
0
|
|
|
0
|
0
|
0
|
my $h; |
|
111
|
|
|
|
|
|
|
my $el; |
|
112
|
0
|
|
|
|
|
0
|
while( $h = shift ) { |
|
113
|
0
|
0
|
|
|
|
0
|
heapdump $h if $validate >= 2; |
|
114
|
0
|
0
|
|
|
|
0
|
$el = $$h and bhcheck $el, undef; |
|
115
|
|
|
|
|
|
|
} |
|
116
|
|
|
|
|
|
|
} |
|
117
|
|
|
|
|
|
|
|
|
118
|
|
|
|
|
|
|
|
|
119
|
|
|
|
|
|
|
################################################# forward declarations |
|
120
|
|
|
|
|
|
|
|
|
121
|
|
|
|
|
|
|
sub ascending_cut; |
|
122
|
|
|
|
|
|
|
sub elem; |
|
123
|
|
|
|
|
|
|
sub elem_DESTROY; |
|
124
|
|
|
|
|
|
|
sub link_to_left_of; |
|
125
|
|
|
|
|
|
|
|
|
126
|
|
|
|
|
|
|
################################################# heap methods |
|
127
|
|
|
|
|
|
|
|
|
128
|
|
|
|
|
|
|
# Cormen et al. use two values for the heap, a pointer to an element in the |
|
129
|
|
|
|
|
|
|
# list at the top, and a count of the number of elements. The count is only |
|
130
|
|
|
|
|
|
|
# used to determine the size of array required to hold log(count) pointers, |
|
131
|
|
|
|
|
|
|
# but perl can set array sizes as needed and doesn't need to know their size |
|
132
|
|
|
|
|
|
|
# when they are created, so we're not maintaining that field. |
|
133
|
|
|
|
|
|
|
sub new { |
|
134
|
9
|
|
|
9
|
0
|
3581
|
my $self = shift; |
|
135
|
9
|
|
33
|
|
|
65
|
my $class = ref($self) || $self; |
|
136
|
9
|
|
|
|
|
15
|
my $h = undef; |
|
137
|
9
|
|
|
|
|
49
|
bless \$h, $class; |
|
138
|
|
|
|
|
|
|
} |
|
139
|
|
|
|
|
|
|
|
|
140
|
|
|
|
|
|
|
sub DESTROY { |
|
141
|
9
|
|
|
9
|
|
9208
|
my $h = shift; |
|
142
|
|
|
|
|
|
|
|
|
143
|
9
|
|
|
|
|
52
|
elem_DESTROY $$h; |
|
144
|
|
|
|
|
|
|
} |
|
145
|
|
|
|
|
|
|
|
|
146
|
|
|
|
|
|
|
sub add { |
|
147
|
107850
|
|
|
107850
|
0
|
278163
|
my $h = shift; |
|
148
|
107850
|
|
|
|
|
123644
|
my $v = shift; |
|
149
|
107850
|
50
|
|
|
|
203668
|
$validate && do { |
|
150
|
0
|
0
|
|
|
|
0
|
die "Method 'heap' required for element on heap" |
|
151
|
|
|
|
|
|
|
unless $v->can('heap'); |
|
152
|
0
|
0
|
|
|
|
0
|
die "Method 'cmp' required for element on heap" |
|
153
|
|
|
|
|
|
|
unless $v->can('cmp'); |
|
154
|
|
|
|
|
|
|
}; |
|
155
|
107850
|
|
|
|
|
184328
|
my $el = elem $v; |
|
156
|
107850
|
|
|
|
|
120230
|
my $top; |
|
157
|
107850
|
100
|
|
|
|
205106
|
if( !($top = $$h) ) { |
|
158
|
107
|
|
|
|
|
244
|
$$h = $el; |
|
159
|
|
|
|
|
|
|
} else { |
|
160
|
107743
|
|
|
|
|
191480
|
link_to_left_of $top->{left}, $el ; |
|
161
|
107743
|
|
|
|
|
157592
|
link_to_left_of $el,$top; |
|
162
|
107743
|
100
|
|
|
|
273474
|
$$h = $el if $v->cmp($top->{val}) < 0; |
|
163
|
|
|
|
|
|
|
} |
|
164
|
|
|
|
|
|
|
} |
|
165
|
|
|
|
|
|
|
|
|
166
|
|
|
|
|
|
|
sub top { |
|
167
|
502
|
|
|
502
|
0
|
691143
|
my $h = shift; |
|
168
|
502
|
100
|
|
|
|
11447
|
$$h && $$h->{val}; |
|
169
|
|
|
|
|
|
|
} |
|
170
|
|
|
|
|
|
|
|
|
171
|
|
|
|
|
|
|
*minimum = \⊤ |
|
172
|
|
|
|
|
|
|
|
|
173
|
|
|
|
|
|
|
sub extract_top { |
|
174
|
29732
|
|
|
29732
|
0
|
175959
|
my $h = shift; |
|
175
|
29732
|
100
|
|
|
|
77351
|
my $el = $$h or return undef; |
|
176
|
29730
|
|
|
|
|
50583
|
my $ltop = $el->{left}; |
|
177
|
29730
|
|
|
|
|
40617
|
my $cur; |
|
178
|
|
|
|
|
|
|
my $next; |
|
179
|
|
|
|
|
|
|
|
|
180
|
|
|
|
|
|
|
# $el is the heap with the lowest value on it |
|
181
|
|
|
|
|
|
|
# move all of $el's children (if any) to the top list (between |
|
182
|
|
|
|
|
|
|
# $ltop and $el) |
|
183
|
29730
|
100
|
|
|
|
70635
|
if( $cur = $el->{child} ) { |
|
184
|
|
|
|
|
|
|
# remember the beginning of the list of children |
|
185
|
29468
|
|
|
|
|
63654
|
my $first = $cur; |
|
186
|
29468
|
|
|
|
|
31974
|
do { |
|
187
|
|
|
|
|
|
|
# the children are moving to the top, clear the p |
|
188
|
|
|
|
|
|
|
# pointer for all of them |
|
189
|
252496
|
|
|
|
|
901364
|
$cur->{p} = undef; |
|
190
|
|
|
|
|
|
|
} until ($cur = $cur->{right}) == $first; |
|
191
|
|
|
|
|
|
|
|
|
192
|
|
|
|
|
|
|
# remember the end of the list |
|
193
|
29468
|
|
|
|
|
43162
|
$cur = $cur->{left}; |
|
194
|
29468
|
|
|
|
|
54416
|
link_to_left_of $ltop, $first; |
|
195
|
29468
|
|
|
|
|
48819
|
link_to_left_of $cur, $el; |
|
196
|
|
|
|
|
|
|
} |
|
197
|
|
|
|
|
|
|
|
|
198
|
29730
|
100
|
|
|
|
68211
|
if( $el->{right} == $el ) { |
|
199
|
|
|
|
|
|
|
# $el had no siblings or children, the top only contains $el |
|
200
|
|
|
|
|
|
|
# and $el is being removed |
|
201
|
101
|
|
|
|
|
152
|
$$h = undef; |
|
202
|
|
|
|
|
|
|
} else { |
|
203
|
29629
|
|
|
|
|
66932
|
link_to_left_of $el->{left}, $$h = $el->{right}; |
|
204
|
|
|
|
|
|
|
# now all those loose ends have to be merged together as we |
|
205
|
|
|
|
|
|
|
# search for the |
|
206
|
|
|
|
|
|
|
# new smallest element |
|
207
|
29629
|
|
|
|
|
56546
|
$h->consolidate; |
|
208
|
|
|
|
|
|
|
} |
|
209
|
|
|
|
|
|
|
|
|
210
|
|
|
|
|
|
|
# extract the actual value and return that, $el is no longer used |
|
211
|
|
|
|
|
|
|
# but break all of its links so that it won't be pointed to... |
|
212
|
29730
|
|
|
|
|
71164
|
my $top = $el->{val}; |
|
213
|
29730
|
|
|
|
|
105185
|
$top->heap(undef); |
|
214
|
29730
|
|
|
|
|
82243
|
$el->{left} = $el->{right} = $el->{p} = $el->{child} = $el->{val} = |
|
215
|
|
|
|
|
|
|
undef; |
|
216
|
29730
|
|
|
|
|
155994
|
$top; |
|
217
|
|
|
|
|
|
|
} |
|
218
|
|
|
|
|
|
|
|
|
219
|
|
|
|
|
|
|
*extract_minimum = \&extract_top; |
|
220
|
|
|
|
|
|
|
|
|
221
|
|
|
|
|
|
|
sub absorb { |
|
222
|
0
|
|
|
0
|
0
|
0
|
my $h = shift; |
|
223
|
0
|
|
|
|
|
0
|
my $h2 = shift; |
|
224
|
|
|
|
|
|
|
|
|
225
|
0
|
|
|
|
|
0
|
my $el = $$h; |
|
226
|
0
|
0
|
|
|
|
0
|
unless( $el ) { |
|
227
|
0
|
|
|
|
|
0
|
$$h = $$h2; |
|
228
|
0
|
|
|
|
|
0
|
$$h2 = undef; |
|
229
|
0
|
|
|
|
|
0
|
return $h; |
|
230
|
|
|
|
|
|
|
} |
|
231
|
|
|
|
|
|
|
|
|
232
|
0
|
0
|
|
|
|
0
|
my $el2 = $$h2 or return $h; |
|
233
|
|
|
|
|
|
|
|
|
234
|
|
|
|
|
|
|
# add $el2 and its siblings to the head list for $h |
|
235
|
|
|
|
|
|
|
# at start, $ell -> $el -> ... -> $ell is on $h (where $ell is |
|
236
|
|
|
|
|
|
|
# $el->{left}) |
|
237
|
|
|
|
|
|
|
# $el2l -> $el2 -> ... -> $el2l are on $h2 |
|
238
|
|
|
|
|
|
|
# at end, $ell -> $el2l -> ... -> $el2 -> $el -> ... -> $ell are |
|
239
|
|
|
|
|
|
|
# all on $h |
|
240
|
0
|
|
|
|
|
0
|
my $el2l = $el2->{left}; |
|
241
|
0
|
|
|
|
|
0
|
link_to_left_of $el->{left}, $el2; |
|
242
|
0
|
|
|
|
|
0
|
link_to_left_of $el2l, $el; |
|
243
|
|
|
|
|
|
|
|
|
244
|
|
|
|
|
|
|
# change the top link if needed |
|
245
|
0
|
0
|
|
|
|
0
|
$$h = $el2 if $el->{val}->cmp( $el2->{val} ) > 0; |
|
246
|
|
|
|
|
|
|
|
|
247
|
|
|
|
|
|
|
# clean out $h2 |
|
248
|
0
|
|
|
|
|
0
|
$$h2 = undef; |
|
249
|
|
|
|
|
|
|
|
|
250
|
|
|
|
|
|
|
# return the heap |
|
251
|
0
|
|
|
|
|
0
|
$h; |
|
252
|
|
|
|
|
|
|
} |
|
253
|
|
|
|
|
|
|
|
|
254
|
|
|
|
|
|
|
# a key has been decreased, it may have to percolate up in its heap |
|
255
|
|
|
|
|
|
|
sub decrease_key { |
|
256
|
0
|
|
|
0
|
0
|
0
|
my $h = shift; |
|
257
|
0
|
|
|
|
|
0
|
my $top = $$h; |
|
258
|
0
|
|
|
|
|
0
|
my $v = shift; |
|
259
|
0
|
0
|
|
|
|
0
|
my $el = $v->heap or return undef; |
|
260
|
0
|
|
|
|
|
0
|
my $p; |
|
261
|
|
|
|
|
|
|
|
|
262
|
|
|
|
|
|
|
# first, link $h to $el if it is now the smallest (we will |
|
263
|
|
|
|
|
|
|
# soon link $el to $top to properly put it up to the top list, |
|
264
|
|
|
|
|
|
|
# if it isn't already there) |
|
265
|
0
|
0
|
|
|
|
0
|
$$h = $el if $top->{val}->cmp( $v ) > 0; |
|
266
|
|
|
|
|
|
|
|
|
267
|
0
|
0
|
0
|
|
|
0
|
if( $p = $el->{p} and $v->cmp($p->{val}) < 0 ) { |
|
268
|
|
|
|
|
|
|
# remove $el from its parent's list - it is now smaller |
|
269
|
|
|
|
|
|
|
|
|
270
|
0
|
|
|
|
|
0
|
ascending_cut $top, $p, $el; |
|
271
|
|
|
|
|
|
|
} |
|
272
|
|
|
|
|
|
|
|
|
273
|
0
|
|
|
|
|
0
|
$v; |
|
274
|
|
|
|
|
|
|
} |
|
275
|
|
|
|
|
|
|
|
|
276
|
|
|
|
|
|
|
|
|
277
|
|
|
|
|
|
|
# to delete an item, we bubble it to the top of its heap (as if its key |
|
278
|
|
|
|
|
|
|
# had been decreased to -infinity), and then remove it (as in extract_top) |
|
279
|
|
|
|
|
|
|
sub delete { |
|
280
|
100
|
|
|
100
|
0
|
102
|
my $h = shift; |
|
281
|
100
|
|
|
|
|
94
|
my $v = shift; |
|
282
|
100
|
50
|
|
|
|
174
|
my $el = $v->heap or return undef; |
|
283
|
|
|
|
|
|
|
|
|
284
|
|
|
|
|
|
|
# if there is a parent, cut $el to the top (as if it had just had its |
|
285
|
|
|
|
|
|
|
# key decreased to a smaller value than $p's value |
|
286
|
100
|
|
|
|
|
92
|
my $p; |
|
287
|
100
|
100
|
|
|
|
256
|
$p = $el->{p} and ascending_cut $$h, $p, $el; |
|
288
|
|
|
|
|
|
|
|
|
289
|
|
|
|
|
|
|
# $el is in the top list now, make it look like the smallest and |
|
290
|
|
|
|
|
|
|
# remove it |
|
291
|
100
|
|
|
|
|
98
|
$$h = $el; |
|
292
|
100
|
|
|
|
|
156
|
$h->extract_top; |
|
293
|
|
|
|
|
|
|
} |
|
294
|
|
|
|
|
|
|
|
|
295
|
|
|
|
|
|
|
|
|
296
|
|
|
|
|
|
|
################################################# internal utility functions |
|
297
|
|
|
|
|
|
|
|
|
298
|
|
|
|
|
|
|
sub elem { |
|
299
|
107850
|
|
|
107850
|
0
|
124307
|
my $v = shift; |
|
300
|
107850
|
|
|
|
|
136900
|
my $el = undef; |
|
301
|
107850
|
|
|
|
|
501858
|
$el = { |
|
302
|
|
|
|
|
|
|
p => undef, |
|
303
|
|
|
|
|
|
|
degree => 0, |
|
304
|
|
|
|
|
|
|
mark => 0, |
|
305
|
|
|
|
|
|
|
child => undef, |
|
306
|
|
|
|
|
|
|
val => $v, |
|
307
|
|
|
|
|
|
|
left => undef, |
|
308
|
|
|
|
|
|
|
right => undef, |
|
309
|
|
|
|
|
|
|
}; |
|
310
|
107850
|
|
|
|
|
180421
|
$el->{left} = $el->{right} = $el; |
|
311
|
107850
|
|
|
|
|
268403
|
$v->heap($el); |
|
312
|
107850
|
|
|
|
|
172834
|
$el; |
|
313
|
|
|
|
|
|
|
} |
|
314
|
|
|
|
|
|
|
|
|
315
|
|
|
|
|
|
|
sub elem_DESTROY { |
|
316
|
39069
|
|
|
39069
|
0
|
44645
|
my $el = shift; |
|
317
|
39069
|
|
|
|
|
36644
|
my $ch; |
|
318
|
|
|
|
|
|
|
my $next; |
|
319
|
39069
|
|
|
|
|
88946
|
$el->{left}->{right} = undef; |
|
320
|
|
|
|
|
|
|
|
|
321
|
39069
|
|
|
|
|
79794
|
while( $el ) { |
|
322
|
78123
|
100
|
|
|
|
367051
|
$ch = $el->{child} and elem_DESTROY $ch; |
|
323
|
78123
|
|
|
|
|
310713
|
$next = $el->{right}; |
|
324
|
|
|
|
|
|
|
|
|
325
|
78123
|
100
|
|
|
|
302035
|
defined $el->{val} and $el->{val}->heap(undef); |
|
326
|
78123
|
|
|
|
|
179098
|
$el->{child} = $el->{right} = $el->{left} = $el->{p} = $el->{val} |
|
327
|
|
|
|
|
|
|
= undef; |
|
328
|
78123
|
|
|
|
|
180865
|
$el = $next; |
|
329
|
|
|
|
|
|
|
} |
|
330
|
|
|
|
|
|
|
} |
|
331
|
|
|
|
|
|
|
|
|
332
|
|
|
|
|
|
|
sub link_to_left_of { |
|
333
|
1227616
|
|
|
1227616
|
0
|
1483133
|
my $l = shift; |
|
334
|
1227616
|
|
|
|
|
1364929
|
my $r = shift; |
|
335
|
|
|
|
|
|
|
|
|
336
|
1227616
|
|
|
|
|
1791713
|
$l->{right} = $r; |
|
337
|
1227616
|
|
|
|
|
2046084
|
$r->{left} = $l; |
|
338
|
|
|
|
|
|
|
} |
|
339
|
|
|
|
|
|
|
|
|
340
|
|
|
|
|
|
|
sub link_as_parent_of { |
|
341
|
330646
|
|
|
330646
|
0
|
447776
|
my $p = shift; |
|
342
|
330646
|
|
|
|
|
399990
|
my $c = shift; |
|
343
|
|
|
|
|
|
|
|
|
344
|
330646
|
|
|
|
|
377585
|
my $pc; |
|
345
|
|
|
|
|
|
|
|
|
346
|
330646
|
100
|
|
|
|
812343
|
if( $pc = $p->{child} ) { |
|
347
|
262107
|
|
|
|
|
565682
|
link_to_left_of $pc->{left}, $c; |
|
348
|
262107
|
|
|
|
|
442759
|
link_to_left_of $c, $pc; |
|
349
|
|
|
|
|
|
|
} else { |
|
350
|
68539
|
|
|
|
|
120753
|
link_to_left_of $c, $c; |
|
351
|
|
|
|
|
|
|
} |
|
352
|
330646
|
|
|
|
|
475965
|
$p->{child} = $c; |
|
353
|
330646
|
|
|
|
|
426968
|
$c->{p} = $p; |
|
354
|
330646
|
|
|
|
|
422233
|
$p->{degree}++; |
|
355
|
330646
|
|
|
|
|
439712
|
$c->{mark} = 0; |
|
356
|
330646
|
|
|
|
|
460053
|
$p; |
|
357
|
|
|
|
|
|
|
} |
|
358
|
|
|
|
|
|
|
|
|
359
|
|
|
|
|
|
|
sub consolidate { |
|
360
|
29629
|
|
|
29629
|
0
|
38884
|
my $h = shift; |
|
361
|
|
|
|
|
|
|
|
|
362
|
29629
|
|
|
|
|
41890
|
my $cur; |
|
363
|
|
|
|
|
|
|
my $this; |
|
364
|
29629
|
|
|
|
|
38820
|
my $next = $$h; |
|
365
|
29629
|
|
|
|
|
46686
|
my $last = $next->{left}; |
|
366
|
29629
|
|
|
|
|
33570
|
my @a; |
|
367
|
29629
|
|
|
|
|
34031
|
do { |
|
368
|
|
|
|
|
|
|
# examine next item on top list |
|
369
|
519830
|
|
|
|
|
644154
|
$this = $cur = $next; |
|
370
|
519830
|
|
|
|
|
785549
|
$next = $cur->{right}; |
|
371
|
519830
|
|
|
|
|
719730
|
my $d = $cur->{degree}; |
|
372
|
519830
|
|
|
|
|
553406
|
my $alt; |
|
373
|
519830
|
|
|
|
|
1142720
|
while( $alt = $a[$d] ) { |
|
374
|
|
|
|
|
|
|
# we already saw another item of the same degree, |
|
375
|
|
|
|
|
|
|
# put the larger valued one under the smaller valued |
|
376
|
|
|
|
|
|
|
# one - switch $cur and $alt if necessary so that $cur |
|
377
|
|
|
|
|
|
|
# is the smaller |
|
378
|
330646
|
100
|
|
|
|
1019180
|
($cur,$alt) = ($alt,$cur) |
|
379
|
|
|
|
|
|
|
if $cur->{val}->cmp( $alt->{val} ) > 0; |
|
380
|
|
|
|
|
|
|
# remove $alt from the top list |
|
381
|
330646
|
|
|
|
|
799811
|
link_to_left_of $alt->{left}, $alt->{right}; |
|
382
|
|
|
|
|
|
|
# and put it under $cur |
|
383
|
330646
|
|
|
|
|
548042
|
link_as_parent_of $cur, $alt; |
|
384
|
|
|
|
|
|
|
# make sure that $h still points to a node at the top |
|
385
|
330646
|
|
|
|
|
415990
|
$$h = $cur; |
|
386
|
|
|
|
|
|
|
# we've removed the old $d degree entry |
|
387
|
330646
|
|
|
|
|
444220
|
$a[$d] = undef; |
|
388
|
|
|
|
|
|
|
# and we now have a $d+1 degree entry to try to insert |
|
389
|
|
|
|
|
|
|
# into @a |
|
390
|
330646
|
|
|
|
|
843627
|
++$d; |
|
391
|
|
|
|
|
|
|
} |
|
392
|
|
|
|
|
|
|
# found a previously unused degree |
|
393
|
519830
|
|
|
|
|
1641264
|
$a[$d] = $cur; |
|
394
|
|
|
|
|
|
|
} until $this == $last; |
|
395
|
29629
|
|
|
|
|
41625
|
$cur = $$h; |
|
396
|
29629
|
|
|
|
|
124135
|
for $cur (grep defined, @a) { |
|
397
|
189184
|
100
|
|
|
|
553792
|
$$h = $cur if $$h->{val}->cmp( $cur->{val} ) > 0; |
|
398
|
|
|
|
|
|
|
} |
|
399
|
|
|
|
|
|
|
} |
|
400
|
|
|
|
|
|
|
|
|
401
|
|
|
|
|
|
|
sub ascending_cut { |
|
402
|
56
|
|
|
56
|
0
|
54
|
my $top = shift; |
|
403
|
56
|
|
|
|
|
51
|
my $p = shift; |
|
404
|
56
|
|
|
|
|
51
|
my $el = shift; |
|
405
|
|
|
|
|
|
|
|
|
406
|
56
|
|
|
|
|
51
|
while( 1 ) { |
|
407
|
59
|
100
|
|
|
|
93
|
if( --$p->{degree} ) { |
|
408
|
|
|
|
|
|
|
# there are still other children below $p |
|
409
|
48
|
|
|
|
|
47
|
my $l = $el->{left}; |
|
410
|
48
|
|
|
|
|
48
|
$p->{child} = $l; |
|
411
|
48
|
|
|
|
|
71
|
link_to_left_of $l, $el->{right}; |
|
412
|
|
|
|
|
|
|
} else { |
|
413
|
|
|
|
|
|
|
# $el was the only child of $p |
|
414
|
11
|
|
|
|
|
16
|
$p->{child} = undef; |
|
415
|
|
|
|
|
|
|
} |
|
416
|
59
|
|
|
|
|
98
|
link_to_left_of $top->{left}, $el; |
|
417
|
59
|
|
|
|
|
71
|
link_to_left_of $el, $top; |
|
418
|
59
|
|
|
|
|
54
|
$el->{p} = undef; |
|
419
|
59
|
|
|
|
|
57
|
$el->{mark} = 0; |
|
420
|
|
|
|
|
|
|
|
|
421
|
|
|
|
|
|
|
# propagate up the list |
|
422
|
59
|
|
|
|
|
97
|
$el = $p; |
|
423
|
|
|
|
|
|
|
|
|
424
|
|
|
|
|
|
|
# quit at the top |
|
425
|
59
|
100
|
|
|
|
118
|
last unless $p = $el->{p}; |
|
426
|
|
|
|
|
|
|
|
|
427
|
|
|
|
|
|
|
# quit if we can mark $el |
|
428
|
27
|
100
|
|
|
|
69
|
$el->{mark} = 1, last unless $el->{mark}; |
|
429
|
|
|
|
|
|
|
} |
|
430
|
|
|
|
|
|
|
} |
|
431
|
|
|
|
|
|
|
|
|
432
|
|
|
|
|
|
|
|
|
433
|
|
|
|
|
|
|
1; |
|
434
|
|
|
|
|
|
|
|
|
435
|
|
|
|
|
|
|
__END__ |