2011-06-15 13:19:50 -05:00
|
|
|
use std;
|
2011-12-13 18:25:51 -06:00
|
|
|
import int;
|
2011-03-13 17:43:39 -05:00
|
|
|
|
2011-06-15 13:19:50 -05:00
|
|
|
tag tree { nil; node(@tree, @tree, int); }
|
2010-06-23 23:03:09 -05:00
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
fn item_check(t: @tree) -> int {
|
|
|
|
alt *t {
|
|
|
|
nil. { ret 0; }
|
|
|
|
node(left, right, item) {
|
|
|
|
ret item + item_check(left) - item_check(right);
|
|
|
|
}
|
2010-06-23 23:03:09 -05:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
2011-07-27 07:19:39 -05:00
|
|
|
fn bottom_up_tree(item: int, depth: int) -> @tree {
|
|
|
|
if depth > 0 {
|
2011-06-15 13:19:50 -05:00
|
|
|
ret @node(bottom_up_tree(2 * item - 1, depth - 1),
|
|
|
|
bottom_up_tree(2 * item, depth - 1), item);
|
|
|
|
} else { ret @nil; }
|
2011-03-13 17:43:39 -05:00
|
|
|
}
|
|
|
|
|
2010-06-23 23:03:09 -05:00
|
|
|
fn main() {
|
2011-07-27 07:19:39 -05:00
|
|
|
let n = 8;
|
|
|
|
let min_depth = 4;
|
|
|
|
let max_depth;
|
|
|
|
if min_depth + 2 > n {
|
2011-06-15 13:19:50 -05:00
|
|
|
max_depth = min_depth + 2;
|
|
|
|
} else { max_depth = n; }
|
2011-07-27 07:19:39 -05:00
|
|
|
let stretch_depth = max_depth + 1;
|
|
|
|
let stretch_tree = bottom_up_tree(0, stretch_depth);
|
2011-09-01 20:49:10 -05:00
|
|
|
log #fmt["stretch tree of depth %d\t check: %d", stretch_depth,
|
2011-08-19 17:16:48 -05:00
|
|
|
item_check(stretch_tree)];
|
2011-07-27 07:19:39 -05:00
|
|
|
let long_lived_tree = bottom_up_tree(0, max_depth);
|
|
|
|
let depth = min_depth;
|
|
|
|
while depth <= max_depth {
|
|
|
|
let iterations = int::pow(2, max_depth - depth + min_depth as uint);
|
|
|
|
let chk = 0;
|
|
|
|
let i = 1;
|
|
|
|
while i <= iterations {
|
|
|
|
let temp_tree = bottom_up_tree(i, depth);
|
2011-06-15 13:19:50 -05:00
|
|
|
chk += item_check(temp_tree);
|
|
|
|
temp_tree = bottom_up_tree(-i, depth);
|
|
|
|
chk += item_check(temp_tree);
|
|
|
|
i += 1;
|
|
|
|
}
|
2011-09-01 20:49:10 -05:00
|
|
|
log #fmt["%d\t trees of depth %d\t check: %d", iterations * 2, depth,
|
2011-08-19 17:16:48 -05:00
|
|
|
chk];
|
2011-06-15 13:19:50 -05:00
|
|
|
depth += 2;
|
2011-03-13 17:43:39 -05:00
|
|
|
}
|
2011-09-01 20:49:10 -05:00
|
|
|
log #fmt["long lived trees of depth %d\t check: %d", max_depth,
|
2011-08-19 17:16:48 -05:00
|
|
|
item_check(long_lived_tree)];
|
|
|
|
}
|