Merge branch 'mce' into 'main'

Ensure vertex ids are within bounds

See merge request !31

src/main/java/de/uni/bremen/grapa/library/algorithms/vertexcover/NativeVcSolver.java

@@ -104,7 +104,7 @@ public class NativeVcSolver {
     private void writeProblem(final Process process, final DirectedGraph<Vertex> graph, final int offset) {
         final PrintWriter writer = new PrintWriter(new OutputStreamWriter(process.getOutputStream()));
 
-        writer.println("p td " + graph.vertexCount() + " " + (graph.edgeCount() / 2));
+        writer.println("p td " + graph.vertexCount() + 1 + " " + (graph.edgeCount() / 2));
 
         for (final DirectedEdge edge : graph.getEdges()) {
             if (edge.getStartId() < edge.getEndId()) {