Pith. sign in

REVIEW 2 cited by

The metric Menger problem

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2403.05630 v1 pith:L2CMJSEA submitted 2024-03-08 math.CO cs.CCmath.MG

classification math.COcs.CCmath.MG
keywords problemmengermetricpathsprovetreewidthcallcase
verification ladder T0 review T1 audit T2 compute T3 formal

Signed reviews

No signed human review yet.

0 comments
abstract

We study a generalization of the well-known disjoint paths problem which we call the metric Menger problem, denoted MM(r,k), where one is given two subsets of a graph and must decide whether they can be connected by $k$ paths of pairwise distance at least $r$. We prove that this problem is NP-complete for every $r\geq 3$ and $k\geq 2$ by giving a reduction from 3SAT. This resolves a conjecture recently stated by Georgakopoulos and Papasoglu. On the other hand, we show that the problem is in XP when parameterised by treewidth and maximum degree by observing that it is `locally checkable'. In the case $r\leq 3$, we prove that it suffices to parameterise by treewidth. We also state some open questions relating to this work.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Asymptotic structure. V. The coarse Menger conjecture in bounded path-width

    math.CO 2025-09 conditional novelty 8.0 of 10

    The coarse Menger conjecture is true for all graphs of bounded path-width.

  2. Asymptotic structure. VI. Distant paths across a disc

    math.CO 2025-09 conditional novelty 7.0 of 10

    For planar graphs with all terminals on the outer face, the coarse Menger conjecture holds: either k+1 pairwise far paths exist, or k small connected subgraphs of bounded total diameter block all paths.

Pith tools