FO Value Discovery and Partial Vertex Cover Discovery

Enna Gerhard, Stephanie Maaz, Pascale Schott, Sebastian Siebertz, Jan Wodkte

arXivarxiv/2607.06446Jul 7, 2026cs.DMscore 0

We study solution discovery in the token-sliding model from a logical and cost-value optimization perspective. In solution discovery, we are given a graph, an initial placement of $k$ tokens, and a movement budget $b$. The task is to find a reachable target configuration satisfying a prescribed condition. Our results are inspired by \textsc{Partial Vertex Cover Discovery}, where the condition is that the~$k$ tokens cover at least $t$ edges of the input graph. This objective is not merely a sum of independent occupied vertex contributions: each selected vertex contributes its degree, but…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2607.06446
curl -X POST /api/v1/records/arxiv/2607.06446/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2607.06446/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'