library/algebra/monoid/Min.hpp

• View this file on GitHub
• Last update: 2025-11-24 18:49:07+09:00
• Include: #include "library/algebra/monoid/Min.hpp"

Depends on

• build/pch/stdc++.hpp

Required by

• library/algebra/lazy/AddMin.hpp
• library/algebra/lazy/SetMin.hpp

Verified with

• test/AOJ/DSL_2_D.test.cpp
• test/AOJ/DSL_2_E.test.cpp
• test/AOJ/DSL_2_F.test.cpp
• test/AOJ/DSL_2_H.test.cpp
• test/yukicoder/1038.test.cpp

Code

template <typename X> struct MonoidMin {
    using value_type = X;
    static constexpr X op(const X &x, const X &y) noexcept {
        return std::min(x, y);
    }
    static constexpr void Rchop(X &x, const X &y) {
        if (x > y)
            x = y;
    }
    static constexpr void Lchop(const X &x, X &y) {
        if (y > x)
            y = x;
    }
    static constexpr X unit() { return std::numeric_limits<X>::max() / 2; }
    static constexpr bool commute = true;
};

#line 1 "library/algebra/monoid/Min.hpp"
template <typename X> struct MonoidMin {
    using value_type = X;
    static constexpr X op(const X &x, const X &y) noexcept {
        return std::min(x, y);
    }
    static constexpr void Rchop(X &x, const X &y) {
        if (x > y)
            x = y;
    }
    static constexpr void Lchop(const X &x, X &y) {
        if (y > x)
            y = x;
    }
    static constexpr X unit() { return std::numeric_limits<X>::max() / 2; }
    static constexpr bool commute = true;
};

Back to top page