<?xml version="1.0" encoding="UTF-8"?>
<OAI-PMH xmlns="http://www.openarchives.org/OAI/2.0/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/ http://www.openarchives.org/OAI/2.0/OAI-PMH.xsd">
  <responseDate>2026-08-16T11:28:58Z</responseDate>
  <request identifier="25134" metadataPrefix="oai_dc" verb="GetRecord">https://drops.dagstuhl.de/oai</request>
  <GetRecord>
    <record>
      <header>
        <identifier>oai:drops-oai.dagstuhl.de:25134</identifier>
        <datestamp>2025-12-15T07:48:49Z</datestamp>
        <setSpec>ddc:004</setSpec>
        <setSpec>open_access</setSpec>
      </header>
      <metadata>
        <oai_dc:dc xmlns:oai_dc="http://www.openarchives.org/OAI/2.0/oai_dc/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://www.openarchives.org/OAI/2.0/oai_dc/ http://www.openarchives.org/OAI/2.0/oai_dc.xsd">
          <dc:title>Directed Disjoint Paths Remains W[1]-Hard on Acyclic Digraphs Without Large Grid Minors</dc:title>
          <dc:creator>Kawarabayashi, Ken-ichi</dc:creator>
          <dc:creator>Lorenz, Nicola</dc:creator>
          <dc:creator>Garlet Milani, Marcelo</dc:creator>
          <dc:creator>Stegemann, Jacob</dc:creator>
          <dc:subject>digraphs</dc:subject>
          <dc:subject>parameterized complexity</dc:subject>
          <dc:subject>disjoint paths</dc:subject>
          <dc:subject>butterfly minors</dc:subject>
          <dc:subject>immersions</dc:subject>
          <dc:subject>ear anonymity</dc:subject>
          <dc:description>In the Vertex-Disjoint-Paths-With-Congestion problem, the input consists of a digraph D, an integer c and k pairs of vertices (s_i, t_i), and the task is to find a set of paths connecting each s_i to its corresponding t_i, whereas each vertex of D appears in at most c many paths. The case where c = 1 is known to be NP-complete even if k = 2 [Fortune, Hopcroft and Wyllie, 1980] on general digraphs and is W[1]-hard with respect to k (excluding the possibility of an f(k)n^O(1)-time algorithm under standard assumptions) on acyclic digraphs [Slivkins, 2010]. The proof of [Slivkins, 2010] can also be adapted to show W[1]-hardness with respect to k for every congestion c ≥ 1.&#13;
We strengthen the existing hardness result by showing that the problem remains W[1]-hard for every congestion c ≥ 1 even if: (1) the input digraph D is acyclic, (2) D does not contain an acyclic (5, 5)-grid as a butterfly minor, (3) D does not contain an acyclic tournament on 9 vertices as a butterfly minor, and (4) D has ear-anonymity at most 5.&#13;
Further, we also show that the edge-congestion variant of the problem remains W[1]-hard for every congestion c ≥ 1 even if: (1) the input digraph D is acyclic, (2) D has maximum undirected degree 3, (3) D does not contain an acyclic (7, 7)-wall as a weak immersion and (4) D has ear-anonymity at most 5.</dc:description>
          <dc:publisher>Schloss Dagstuhl – Leibniz-Zentrum für Informatik</dc:publisher>
          <dc:contributor>Ken-ichi Kawarabayashi and Nicola Lorenz and Marcelo Garlet Milani and Jacob Stegemann</dc:contributor>
          <dc:date>2025</dc:date>
          <dc:relation>Is Part Of LIPIcs, Volume 358, 20th International Symposium on Parameterized and Exact Computation (IPEC 2025)</dc:relation>
          <dc:type>InProceedings</dc:type>
          <dc:type>Text</dc:type>
          <dc:type>doc-type:ResearchArticle</dc:type>
          <dc:type>publishedVersion</dc:type>
          <dc:format>application/pdf</dc:format>
          <dc:identifier>doi:10.4230/LIPIcs.IPEC.2025.2</dc:identifier>
          <dc:identifier>urn:nbn:de:0030-drops-251347</dc:identifier>
          <dc:identifier>https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.IPEC.2025.2</dc:identifier>
          <dc:language>eng</dc:language>
          <dc:rights>https://creativecommons.org/licenses/by/4.0/legalcode</dc:rights>
        </oai_dc:dc>
      </metadata>
    </record>
  </GetRecord>
</OAI-PMH>
