Semiring: Min Plus
(algebra/semiring_min_plus.hpp)

• View this file on GitHub
• Last update: 2026-10-23 22:22:20+09:00
• Include: #include "algebra/semiring_min_plus.hpp"

Verified with

• test/unit/matrix.test.cpp

Code

#pragma once
#include <algorithm>
#include <limits>
template <class T>
struct semiring_min_plus {
    using S = T;
    static S add(S a, S b) {
        return std::min(a, b);
    }
    static S zero() {
        return std::numeric_limits<T>::max();
    }
    static S mul(S a, S b) {
        if (a == zero() || b == zero()) return zero();
        return a + b;
    }
    static S one() {
        return T(0);
    }
};

#line 2 "algebra/semiring_min_plus.hpp"
#include <algorithm>
#include <limits>
template <class T>
struct semiring_min_plus {
    using S = T;
    static S add(S a, S b) {
        return std::min(a, b);
    }
    static S zero() {
        return std::numeric_limits<T>::max();
    }
    static S mul(S a, S b) {
        if (a == zero() || b == zero()) return zero();
        return a + b;
    }
    static S one() {
        return T(0);
    }
};

Back to top page