{
  "schema_version": 1,
  "problem_number": "OWR-14298804-012",
  "title": "Fare Zone Assignment with Hard Cut Budgets under Bounded Congestion",
  "author": {
    "name": "Alper Ferudun",
    "affiliation": "Mercury Software GmbH",
    "url": "https://github.com/AlperTheKing"
  },
  "abstract": "At the Oberwolfach workshop on Combinatorial Optimization in November 2024, Peis, with Pabst, Kauther and Fiorini, posed the following problem (Oberwolfach Report 50/2024, p. 2992). Commodities on a tree have paths, weights and budgets. A set of tree edges, the zone borders, is to be chosen; every commodity pays its weight once for each chosen edge on its path, the path of every commodity may contain at most its budget of chosen edges, and the total payment is to be maximized. The source states that the problem is polynomial on paths and strongly NP-hard on stars, that it has a 2-approximation when all budgets are even, and asks for its approximability when the congestion, the largest number of commodity paths through one edge, is at most k. We answer this question up to polylogarithmic factors in k, partly by citing known results. For k ≤ 2 the problem is a maximum-weight simple b-matching problem and is solvable in polynomial time on every host graph. For k ≥ 3 it is strongly NP-hard and APX-hard already on stars with unit weights and budgets, by a reduction from independent set in cubic graphs. For every k it is a k-column-sparse packing integer program; hence known algorithms give the ratios 8k and 2k + o(k) in expectation, ek + o(k) deterministically, and (k + 1)/2 + ε when all budgets are 1. Known hardness results for independent set in graphs of maximum degree k transfer to stars: for all sufficiently large k there is no k/(C log⁴ k)-approximation unless P = NP (by a theorem of Chan), and none within ck/log² k under the Unique Games Conjecture and NP ⊄ BPP (Austrin, Khot and Safra); for k = 3 we only have APX-hardness. For unbounded congestion there is no |E|^(1−ε)-approximation on stars unless NP = ZPP, while an |E|-approximation is trivial. The other two facts stated in the source, polynomiality on paths and the 2-approximation, are proved by total unimodularity, and all hardness found here comes from commodities with budget 1. The cited approximation and hardness theorems are not ours. The closest work, by Hoefer, Kauther, Pabst, Peis and Tran, studies a different model in which a commodity over its budget drops out, and proves APX-hardness on stars with congestion 3 for that model. The exact dependence on k remains open. This is an unrefereed note.",
  "result_type": "COMPLETE_SCOPED_PROOF",
  "categories": [
    "cs.CC",
    "math.CO"
  ],
  "keywords": [
    "fare zone assignment",
    "hard cut budgets",
    "congestion",
    "simple b-matching",
    "column-sparse packing integer programs",
    "independent set in bounded-degree graphs",
    "APX-hardness",
    "total unimodularity",
    "partial answer",
    "Oberwolfach Reports open problems",
    "UnsolvedMath",
    "OWR-14298804-012",
    "cs.DS",
    "cs.CC",
    "math.CO",
    "open mathematics"
  ],
  "manuscript_version_date": "2026-10-15",
  "publication_date": "2026-10-15",
  "publication_date_kind": "first public online release",
  "version": "1.0",
  "date_modified": "2026-10-15",
  "presentation_revision_only": false,
  "doi_archived_file_version": "1.0",
  "status": "unrefereed preprint",
  "canonical_url": "https://eulersolve.org/papers/owr-14298804-012/",
  "pdf_url": "https://eulersolve.org/papers/owr-14298804-012/paper.pdf?v=4b8ece0c815e",
  "doi": "10.5281/zenodo.23391140",
  "zenodo_record_url": "https://zenodo.org/records/23391140",
  "license": "https://creativecommons.org/licenses/by/4.0/",
  "scope_caveat": "Answers the bounded-congestion question of Peis, Pabst, Kauther and Fiorini (Oberwolfach Report 50/2024) up to polylogarithmic factors: polynomial for congestion at most 2 (simple b-matching), strongly NP-hard and APX-hard on stars from congestion 3, and approximability Theta(k) up to polylog(k) given cited theorems; record OWR-14298804-012 stays partially solved.",
  "files": {
    "paper.pdf": {
      "sha256": "4b8ece0c815e4bc10a4e589a1448643c762d7f150bb503bc1b2f4ee6f35c5b57"
    },
    "source.zip": {
      "sha256": "29fd55cd2679d50e71fa625286e10d5aec4467896fa4c8ac6d01bf5941c47bf0"
    },
    "verification_report.md": {
      "sha256": "68a4672c21c16a0aed3721c6e756dcdfe008e86a58d53f354ed24d27640ca0c7"
    }
  },
  "ai_use_disclosure": "AI-assisted tools supported research, computation, proof development, and manuscript preparation. The author remains responsible for all claims and the final text."
}