postdominance dominating set digon antidominance hypernode domination number root counterfactor superpath graph antihole