{"id":"arxiv/2607.06446","url":"https://arxiv.org/abs/2607.06446","tags":["cs.DM","cs.LO","math.CO"],"score":0,"title":"FO Value Discovery and Partial Vertex Cover Discovery","domain":"cs.DM","source":"arxiv","authors":["Enna Gerhard","Stephanie Maaz","Pascale Schott","Sebastian Siebertz","Jan Wodkte"],"reviews":0,"subject":"cs.DM","summary":"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…","category":"research","comments":0,"disputed":false,"division":"cs","mentions":0,"discussed":0,"published":"2026-07-07","reactions":{}}