The point in that heinz give two different answers with/without preprocessing. But seems like that problem more global. It is a graph with 2 tricomponents. And all 3 rooted solutions match in each tricomponent. But answer contains only part of these solutions. That's why these tricomponent can't be replaced by gadget.
Possibly that exists another test case when preprocessing can't transform source graph to solvable by solver without preprocessing.
Hi,
There is one more test case Nodes:
Edges:
The point in that heinz give two different answers with/without preprocessing. But seems like that problem more global. It is a graph with 2 tricomponents. And all 3 rooted solutions match in each tricomponent. But answer contains only part of these solutions. That's why these tricomponent can't be replaced by gadget.
Possibly that exists another test case when preprocessing can't transform source graph to solvable by solver without preprocessing.