Method deleteMin

lib/node_ordering/reductions.cpp:173–186

        }

        NodeID deleteMin() {
                auto min_node = buckets[min_ptr].back();
                buckets[min_ptr].pop_back();
                locations[min_node].first = -1;
                num_elements--;
                if (num_elements > 0) {
                        while (buckets[min_ptr].empty()) {
                                min_ptr++;
                        }
                } else {
                        min_ptr = buckets.size() + 1;
                }
                return min_node;
        }
        
        Count minValue() const {
                return min_ptr;