max演算モノイド
(Src/Algebra/Monoid/MaxMonoid.hpp)

• View this file on GitHub
• Last update: 2024-02-09 20:29:43+09:00
• Include: #include "Src/Algebra/Monoid/MaxMonoid.hpp"

概要

std::optional<T>を利用して、 $-\infty$ を std::nulloptで表現している。

std::optional<T>の運用については std::optional cpprefjp 等も参考にすること。

Verified with

• ABC288-E Wish List (Test/AtCoder/abc288_e.test.cpp)
• Test/AtCoder/abc292_h.test.cpp

Code

#pragma once

#include <algorithm>
#include <limits>
#include <optional>

namespace zawa {

template <class T>
class MaxMonoid {
public:
    using Element = std::optional<T>;
    static constexpr Element identity() noexcept {
        return std::nullopt;
    }
    static constexpr Element operation(const Element& l, const Element& r) noexcept {
        if (l and r) {
            return std::max(l, r);
        }
        else if (l) {
            return l;
        }
        else if (r) {
            return r;
        }
        else {
            return std::nullopt;
        }
    }
};

} // namespace zawa

#line 2 "Src/Algebra/Monoid/MaxMonoid.hpp"

#include <algorithm>
#include <limits>
#include <optional>

namespace zawa {

template <class T>
class MaxMonoid {
public:
    using Element = std::optional<T>;
    static constexpr Element identity() noexcept {
        return std::nullopt;
    }
    static constexpr Element operation(const Element& l, const Element& r) noexcept {
        if (l and r) {
            return std::max(l, r);
        }
        else if (l) {
            return l;
        }
        else if (r) {
            return r;
        }
        else {
            return std::nullopt;
        }
    }
};

} // namespace zawa

Back to top page