MonoidRangeFoldMinRangeOperateAdd - fold:区間min, operate:区間加算
(lib/99-operator/monoid-lazy/MonoidRangeFoldMinRangeOperateAdd.cpp)

• View this file on GitHub
• Last update: 2023-05-30 04:39:19+09:00

Verified with

• test/segment-tree/LazySegmentTree-rmqraq.test.cpp

Code

/*
 * @title MonoidRangeFoldMinRangeOperateAdd - fold:区間min, operate:区間加算
 * @docs md/operator/monoid-lazy/MonoidRangeFoldMinRangeOperateAdd.md
 */
template<class T, class U> struct MonoidRangeFoldMinRangeOperateAdd {
	using TypeNode = T;
	using TypeLazy = U;
	inline static constexpr TypeNode unit_node = 1234567890;
	inline static constexpr TypeLazy unit_lazy = 0;
	inline static constexpr TypeNode func_fold(TypeNode l,TypeNode r){return min(l,r);}
	inline static constexpr TypeLazy func_lazy(TypeLazy old_lazy,TypeLazy new_lazy){return old_lazy+new_lazy;}
	inline static constexpr TypeNode func_operate(TypeNode node,TypeLazy lazy,int l, int r){return node+lazy;}
};

#line 1 "lib/99-operator/monoid-lazy/MonoidRangeFoldMinRangeOperateAdd.cpp"
/*
 * @title MonoidRangeFoldMinRangeOperateAdd - fold:区間min, operate:区間加算
 * @docs md/operator/monoid-lazy/MonoidRangeFoldMinRangeOperateAdd.md
 */
template<class T, class U> struct MonoidRangeFoldMinRangeOperateAdd {
	using TypeNode = T;
	using TypeLazy = U;
	inline static constexpr TypeNode unit_node = 1234567890;
	inline static constexpr TypeLazy unit_lazy = 0;
	inline static constexpr TypeNode func_fold(TypeNode l,TypeNode r){return min(l,r);}
	inline static constexpr TypeLazy func_lazy(TypeLazy old_lazy,TypeLazy new_lazy){return old_lazy+new_lazy;}
	inline static constexpr TypeNode func_operate(TypeNode node,TypeLazy lazy,int l, int r){return node+lazy;}
};

Back to top page