|
| 1 | +// File: my_heap.zig |
| 2 | +// Created Time: 2023-01-14 |
| 3 | +// Author: sjinzh (sjinzh@gmail.com) |
| 4 | + |
| 5 | +const std = @import("std"); |
| 6 | +const inc = @import("include"); |
| 7 | + |
| 8 | +// 堆类简易实现 |
| 9 | +// 编译期泛型 |
| 10 | +pub fn MyMaxHeap(comptime T: type) type { |
| 11 | + return struct { |
| 12 | + const Self = @This(); |
| 13 | + |
| 14 | + maxHeap: ?std.ArrayList(T) = null, // 使用列表而非数组,这样无需考虑扩容问题 |
| 15 | + |
| 16 | + // 构造函数,根据输入列表建堆 |
| 17 | + pub fn init(self: *Self, allocator: std.mem.Allocator, nums: []const T) !void { |
| 18 | + if (self.maxHeap != null) return; |
| 19 | + self.maxHeap = std.ArrayList(T).init(allocator); |
| 20 | + // 所有元素入堆 |
| 21 | + try self.maxHeap.?.appendSlice(nums); |
| 22 | + // 堆化除叶结点以外的其他所有结点 |
| 23 | + var i: usize = parent(self.size() - 1) + 1; |
| 24 | + while (i > 0) : (i -= 1) { |
| 25 | + try self.siftDown(i - 1); |
| 26 | + } |
| 27 | + } |
| 28 | + |
| 29 | + // 析构函数,释放内存 |
| 30 | + pub fn deinit(self: *Self) void { |
| 31 | + if (self.maxHeap != null) self.maxHeap.?.deinit(); |
| 32 | + } |
| 33 | + |
| 34 | + // 获取左子结点索引 |
| 35 | + fn left(i: usize) usize { |
| 36 | + return 2 * i + 1; |
| 37 | + } |
| 38 | + |
| 39 | + // 获取右子结点索引 |
| 40 | + fn right(i: usize) usize { |
| 41 | + return 2 * i + 2; |
| 42 | + } |
| 43 | + |
| 44 | + // 获取父结点索引 |
| 45 | + fn parent(i: usize) usize { |
| 46 | + // return (i - 1) / 2; // 向下整除 |
| 47 | + return @divFloor(i - 1, 2); |
| 48 | + } |
| 49 | + |
| 50 | + // 交换元素 |
| 51 | + fn swap(self: *Self, i: usize, j: usize) !void { |
| 52 | + var a = self.maxHeap.?.items[i]; |
| 53 | + var b = self.maxHeap.?.items[j]; |
| 54 | + var tmp = a; |
| 55 | + try self.maxHeap.?.replaceRange(i, 1, &[_]T{b}); |
| 56 | + try self.maxHeap.?.replaceRange(j, 1, &[_]T{tmp}); |
| 57 | + } |
| 58 | + |
| 59 | + // 获取堆大小 |
| 60 | + pub fn size(self: *Self) usize { |
| 61 | + return self.maxHeap.?.items.len; |
| 62 | + } |
| 63 | + |
| 64 | + // 判断堆是否为空 |
| 65 | + pub fn isEmpty(self: *Self) bool { |
| 66 | + return self.size() == 0; |
| 67 | + } |
| 68 | + |
| 69 | + // 访问堆顶元素 |
| 70 | + pub fn peek(self: *Self) T { |
| 71 | + return self.maxHeap.?.items[0]; |
| 72 | + } |
| 73 | + |
| 74 | + // 元素入堆 |
| 75 | + pub fn push(self: *Self, val: T) !void { |
| 76 | + // 添加结点 |
| 77 | + try self.maxHeap.?.append(val); |
| 78 | + // 从底至顶堆化 |
| 79 | + try self.siftUp(self.size() - 1); |
| 80 | + } |
| 81 | + |
| 82 | + // 从结点 i 开始,从底至顶堆化 |
| 83 | + fn siftUp(self: *Self, i_: usize) !void { |
| 84 | + var i = i_; |
| 85 | + while (true) { |
| 86 | + // 获取结点 i 的父结点 |
| 87 | + var p = parent(i); |
| 88 | + // 当“越过根结点”或“结点无需修复”时,结束堆化 |
| 89 | + if (p < 0 or self.maxHeap.?.items[i] <= self.maxHeap.?.items[p]) break; |
| 90 | + // 交换两结点 |
| 91 | + try self.swap(i, p); |
| 92 | + // 循环向上堆化 |
| 93 | + i = p; |
| 94 | + } |
| 95 | + } |
| 96 | + |
| 97 | + // 元素出堆 |
| 98 | + pub fn poll(self: *Self) !T { |
| 99 | + // 判断处理 |
| 100 | + if (self.isEmpty()) unreachable; |
| 101 | + // 交换根结点与最右叶结点(即交换首元素与尾元素) |
| 102 | + try self.swap(0, self.size() - 1); |
| 103 | + // 删除结点 |
| 104 | + var val = self.maxHeap.?.pop(); |
| 105 | + // 从顶至底堆化 |
| 106 | + try self.siftDown(0); |
| 107 | + // 返回堆顶元素 |
| 108 | + return val; |
| 109 | + } |
| 110 | + |
| 111 | + // 从结点 i 开始,从顶至底堆化 |
| 112 | + fn siftDown(self: *Self, i_: usize) !void { |
| 113 | + var i = i_; |
| 114 | + while (true) { |
| 115 | + // 判断结点 i, l, r 中值最大的结点,记为 ma |
| 116 | + var l = left(i); |
| 117 | + var r = right(i); |
| 118 | + var ma = i; |
| 119 | + if (l < self.size() and self.maxHeap.?.items[l] > self.maxHeap.?.items[ma]) ma = l; |
| 120 | + if (r < self.size() and self.maxHeap.?.items[r] > self.maxHeap.?.items[ma]) ma = r; |
| 121 | + // 若结点 i 最大或索引 l, r 越界,则无需继续堆化,跳出 |
| 122 | + if (ma == i) break; |
| 123 | + // 交换两结点 |
| 124 | + try self.swap(i, ma); |
| 125 | + // 循环向下堆化 |
| 126 | + i = ma; |
| 127 | + } |
| 128 | + } |
| 129 | + |
| 130 | + fn lessThan(context: void, a: T, b: T) std.math.Order { |
| 131 | + _ = context; |
| 132 | + return std.math.order(a, b); |
| 133 | + } |
| 134 | + |
| 135 | + fn greaterThan(context: void, a: T, b: T) std.math.Order { |
| 136 | + return lessThan(context, a, b).invert(); |
| 137 | + } |
| 138 | + |
| 139 | + // 打印堆(二叉树) |
| 140 | + pub fn print(self: *Self, mem_allocator: std.mem.Allocator) !void { |
| 141 | + const PQgt = std.PriorityQueue(T, void, greaterThan); |
| 142 | + var queue = PQgt.init(std.heap.page_allocator, {}); |
| 143 | + defer queue.deinit(); |
| 144 | + try queue.addSlice(self.maxHeap.?.items); |
| 145 | + try inc.PrintUtil.printHeap(T, mem_allocator, queue); |
| 146 | + } |
| 147 | + }; |
| 148 | +} |
| 149 | + |
| 150 | +// Driver Code |
| 151 | +pub fn main() !void { |
| 152 | + // 初始化内存分配器 |
| 153 | + var mem_arena = std.heap.ArenaAllocator.init(std.heap.page_allocator); |
| 154 | + defer mem_arena.deinit(); |
| 155 | + const mem_allocator = mem_arena.allocator(); |
| 156 | + |
| 157 | + // 初始化大顶堆 |
| 158 | + var maxHeap = MyMaxHeap(i32){}; |
| 159 | + try maxHeap.init(std.heap.page_allocator, &[_]i32{ 9, 8, 6, 6, 7, 5, 2, 1, 4, 3, 6, 2 }); |
| 160 | + defer maxHeap.deinit(); |
| 161 | + std.debug.print("\n输入列表并建堆后\n", .{}); |
| 162 | + try maxHeap.print(mem_allocator); |
| 163 | + |
| 164 | + // 获取堆顶元素 |
| 165 | + var peek = maxHeap.peek(); |
| 166 | + std.debug.print("\n堆顶元素为 {}\n", .{peek}); |
| 167 | + |
| 168 | + // 元素入堆 |
| 169 | + const val = 7; |
| 170 | + try maxHeap.push(val); |
| 171 | + std.debug.print("\n元素 {} 入堆后\n", .{val}); |
| 172 | + try maxHeap.print(mem_allocator); |
| 173 | + |
| 174 | + // 堆顶元素出堆 |
| 175 | + peek = try maxHeap.poll(); |
| 176 | + std.debug.print("\n堆顶元素 {} 出堆后\n", .{peek}); |
| 177 | + try maxHeap.print(mem_allocator); |
| 178 | + |
| 179 | + // 获取堆的大小 |
| 180 | + var size = maxHeap.size(); |
| 181 | + std.debug.print("\n堆元素数量为 {}", .{size}); |
| 182 | + |
| 183 | + // 判断堆是否为空 |
| 184 | + var isEmpty = maxHeap.isEmpty(); |
| 185 | + std.debug.print("\n堆是否为空 {}\n", .{isEmpty}); |
| 186 | + |
| 187 | + const getchar = try std.io.getStdIn().reader().readByte(); |
| 188 | + _ = getchar; |
| 189 | +} |
| 190 | + |
0 commit comments