Fixed Vertex Cover Solver
Vertices (n):
Budget (k):
Edges (u v):
0 1 0 2 0 3 0 4 0 5 1 2
Initialize Solver
Logs will appear here...
Back
Step: 0 / 0
Next
Orange
: Kernelization (deg > k) |
Green
: In Cover |
Purple
: Branching Edge