(int num)
| 66 | } |
| 67 | |
| 68 | public static void add(int num) { |
| 69 | split(0, 0, head, num); |
| 70 | key[++cnt] = num; |
| 71 | size[cnt] = 1; |
| 72 | priority[cnt] = Math.random(); |
| 73 | head = merge(merge(right[0], cnt), left[0]); |
| 74 | } |
| 75 | |
| 76 | public static void remove(int num) { |
| 77 | split(0, 0, head, num); |