В документации алгоритма isomorphism библиотеки графов ускорения указано, что именованные параметры vertex_invariant1 и vertex_invariant2 принимают двоичную функцию в качестве аргумента.Однако значением по умолчанию для этих параметров является degree_vertex_invariant, который является унарным функциональным объектом, в соответствии с source .
isomorphism
vertex_invariant1
vertex_invariant2
degree_vertex_invariant
Я что-то упустил или документация неверна?
function_requires< AdaptableUnaryFunctionConcept<Invariant1, size_type, vertex1_t> >();
и
invariant1(kp1) == invariant2(u)
Так что да, я думаю, что документация неверна.Вы должны отправить это в список рассылки IMO.