template<typename F, typename T>
requires(
const F & f,
const T & a,
const T & b)
{
{ f(a, b) } -> std::convertible_to<bool>;
}
A callable that takes two const T& and returns bool.
Divide_Conquer_DP_Result< Cost > divide_and_conquer_partition_dp(const size_t groups, const size_t n, Transition_Cost_Fn transition_cost, const Cost inf=dp_optimization_detail::default_inf< Cost >())
Optimize partition DP using divide-and-conquer optimization.
std::decay_t< typename HeadC::Item_Type > T
A callable that takes two const T& and returns bool.
- Template Parameters
-
| F | functor type. |
| T | value type. |
Definition at line 67 of file ah-concepts.H.