Journal of Computer and System Sciences最新文献

{"title":"Algorithms and complexity of difference logic","authors":"Konrad K. Dabrowski ,&nbsp;Peter Jonsson ,&nbsp;Sebastian Ordyniak ,&nbsp;George Osipov","doi":"10.1016/j.jcss.2026.103780","DOIUrl":"10.1016/j.jcss.2026.103780","url":null,"abstract":"<div><div><em>Difference Logic</em> (DL) is a fragment of linear arithmetic where atoms are constraints <span><math><mi>x</mi><mo>+</mo><mi>k</mi><mo>≤</mo><mi>y</mi></math></span> for variables <span><math><mi>x</mi><mo>,</mo><mi>y</mi></math></span> (ranging over <span><math><mi>Q</mi></math></span> or <span><math><mi>Z</mi></math></span>) and integer <em>k</em>. We study the complexity of deciding the truth of existential DL sentences. This problem appears in many contexts: examples include verification, bioinformatics, telecommunications, and spatio-temporal reasoning in AI. We begin by considering sentences in CNF with rational-valued variables. We restrict the allowed clauses via two natural parameters: <em>arity</em> and <em>coefficient bounds</em>. The problem is <span>NP</span>-hard for most choices of these parameters. As a response to this, we refine our understanding by analysing the time complexity and the parameterized complexity (with respect to well-studied parameters such as primal and incidence treewidth). We obtain a comprehensive picture of the complexity landscape in both cases. Finally, we generalise our results to integer domains and sentences that are not in CNF.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"159 ","pages":"Article 103780"},"PeriodicalIF":0.9,"publicationDate":"2026-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146154235","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Unified almost linear kernels for generalized covering and packing problems on nowhere dense classes","authors":"Jungho Ahn ,&nbsp;Jinha Kim ,&nbsp;O-joung Kwon","doi":"10.1016/j.jcss.2026.103782","DOIUrl":"10.1016/j.jcss.2026.103782","url":null,"abstract":"<div><div>Let <span><math><mi>F</mi></math></span> be a family of graphs and <span><math><mi>r</mi><mo>≥</mo><mn>0</mn></math></span> be an integer. For a graph <em>G</em> and an integer <em>k</em>, <span><math><mo>(</mo><mi>r</mi><mo>,</mo><mi>F</mi><mo>)</mo></math></span><span>-Covering</span> asks whether there is a set <span><math><mi>D</mi><mo>⊆</mo><mi>V</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> of size at most <em>k</em> such that every induced subgraph of <em>G</em> isomorphic to a graph in <span><math><mi>F</mi></math></span> is at distance at most <em>r</em> from <em>D</em>. <span><math><mo>(</mo><mi>r</mi><mo>,</mo><mi>F</mi><mo>)</mo></math></span><span>-Packing</span> asks whether <em>G</em> has <em>k</em> induced subgraphs <span><math><msub><mrow><mi>H</mi></mrow><mrow><mn>1</mn></mrow></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> such that each <span><math><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> is isomorphic to a graph in <span><math><mi>F</mi></math></span> and the distance between distinct <span><math><mi>V</mi><mo>(</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>i</mi></mrow></msub><mo>)</mo></math></span> and <span><math><mi>V</mi><mo>(</mo><msub><mrow><mi>H</mi></mrow><mrow><mi>j</mi></mrow></msub><mo>)</mo></math></span> in <em>G</em> is more than <em>r</em>. We show that for every fixed nonempty finite family <span><math><mi>F</mi></math></span> of connected graphs and <span><math><mi>r</mi><mo>≥</mo><mn>0</mn></math></span>, <span><math><mo>(</mo><mi>r</mi><mo>,</mo><mi>F</mi><mo>)</mo></math></span><span>-Covering</span> and <span><math><mo>(</mo><mi>r</mi><mo>,</mo><mi>F</mi><mo>)</mo></math></span><span>-Packing</span> admit almost linear kernels on every nowhere dense class of graphs, parameterized by the solution size <em>k</em>. As corollaries, we prove that <span>Distance-</span><em>r</em> <span>Vertex Cover</span>, <span>Distance-</span><em>r</em> <span>Matching</span>, <span><math><mi>F</mi></math></span><span>-Free Vertex Deletion</span>, and <span>Induced-</span><span><math><mi>F</mi></math></span><span>-Packing</span> for any fixed finite family <span><math><mi>F</mi></math></span> of connected graphs admit almost linear kernels on every nowhere dense class of graphs. Our results extend the results for <span>Distance-</span><em>r</em> <span>Dominating Set</span> by Drange et al. (2016) <span><span>[17]</span></span> and Eickmeyer et al. (2017) <span><span>[20]</span></span> and for <span>Distance-</span><em>r</em> <span>Independent Set</span> by Pilipczuk and Siebertz (2021) <span><span>[41]</span></span>.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"159 ","pages":"Article 103782"},"PeriodicalIF":0.9,"publicationDate":"2026-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146154238","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Approximation algorithm for connected Roman k-dominating set","authors":"Mengmeng He ,&nbsp;Ralf Klasing ,&nbsp;Yaping Mao ,&nbsp;Xiaoyan Zhang","doi":"10.1016/j.jcss.2026.103773","DOIUrl":"10.1016/j.jcss.2026.103773","url":null,"abstract":"&lt;div&gt;&lt;div&gt;Let &lt;span&gt;&lt;math&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mspace&gt;&lt;/mspace&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;≥&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; be a positive integer, and let &lt;em&gt;G&lt;/em&gt; be a simple graph with the vertex set &lt;span&gt;&lt;math&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. A Roman &lt;em&gt;k&lt;/em&gt;-dominating function (Rk-DF) on &lt;em&gt;G&lt;/em&gt; is a function &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;:&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;G&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;→&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; such that every vertex &lt;em&gt;u&lt;/em&gt; with &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;u&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; is adjacent to at least &lt;em&gt;k&lt;/em&gt; vertices &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; with &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; for &lt;span&gt;&lt;math&gt;&lt;mi&gt;i&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mo&gt;…&lt;/mo&gt;&lt;mo&gt;,&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt;. The minimum Roman &lt;em&gt;k&lt;/em&gt;-dominating set problem aims to compute a Roman &lt;em&gt;k&lt;/em&gt;-dominating function &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; that minimizes the total weight &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mo&gt;∑&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;. The minimum Connected Roman &lt;em&gt;k&lt;/em&gt;-dominating set problem (MinCR&lt;em&gt;k&lt;/em&gt;DS) seeks to find a minimum-weight Roman &lt;em&gt;k&lt;/em&gt;-dominating function &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; such that the subgraph of &lt;em&gt;G&lt;/em&gt; induced by &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;D&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mo&gt;{&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;∈&lt;/mo&gt;&lt;mi&gt;V&lt;/mi&gt;&lt;mo&gt;|&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mtext&gt; or &lt;/mtext&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;f&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mi&gt;R&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;v&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;}&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; is connected. As far as we know, this paper is the first paper to solve MinCR&lt;em&gt;k&lt;/em&gt;DS in general graphs. We present a greedy algorithm for MinCR&lt;em&gt;k&lt;/em&gt;DS with an approximation ratio &lt;span&gt;&lt;math&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;ε&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mi&gt;ln&lt;/mi&gt;&lt;mo&gt;⁡&lt;/mo&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;1&lt;/mn&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mi&gt;Δ&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt; for any &lt;span&gt;&lt;math&gt;&lt;mi&gt;ε&lt;/mi&gt;&lt;mo&gt;&gt;&lt;/mo&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt;, wher","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"159 ","pages":"Article 103773"},"PeriodicalIF":0.9,"publicationDate":"2026-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146154237","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the g-extra connectivity of graphs","authors":"Zhao Wang ,&nbsp;Yaping Mao ,&nbsp;Sun-Yuan Hsieh ,&nbsp;Ralf Klasing","doi":"10.1016/j.jcss.2026.103772","DOIUrl":"10.1016/j.jcss.2026.103772","url":null,"abstract":"<div><div>In 1996, Fàbrega and Fiol introduced the <em>g</em>-extra connectivity of <em>G</em> as an important parameter for the fault tolerance of an interconnection network. A subset of vertices <em>S</em> is said to be a <em>cutset</em> if <span><math><mi>G</mi><mo>−</mo><mi>S</mi></math></span> is not connected. A cutset <em>S</em> is called an <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>g</mi></mrow></msub></math></span><em>-cutset</em>, where <em>g</em> is a non-negative integer, if every component of <span><math><mi>G</mi><mo>−</mo><mi>S</mi></math></span> has at least <span><math><mi>g</mi><mo>+</mo><mn>1</mn></math></span> vertices. If <em>G</em> has at least one <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>g</mi></mrow></msub></math></span>-cutset, the <em>g-extra connectivity</em> of <em>G</em>, denoted by <span><math><msub><mrow><mi>κ</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo></math></span>, is then defined as the minimum cardinality over all <span><math><msub><mrow><mi>R</mi></mrow><mrow><mi>g</mi></mrow></msub></math></span>-cutsets of <em>G</em>. In this paper, we obtain the exact values of the <em>g</em>-extra connectivity of some special graph classes, and show that <span><math><mn>1</mn><mo>≤</mo><msub><mrow><mi>κ</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>≤</mo><mi>n</mi><mo>−</mo><mn>2</mn><mi>g</mi><mo>−</mo><mn>2</mn></math></span> for <span><math><mn>0</mn><mo>≤</mo><mi>g</mi><mo>≤</mo><mrow><mo>⌊</mo><mfrac><mrow><mi>n</mi><mo>−</mo><mn>3</mn></mrow><mrow><mn>2</mn></mrow></mfrac><mo>⌋</mo></mrow></math></span>, and graphs with <span><math><msub><mrow><mi>κ</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><mi>G</mi><mo>)</mo><mo>=</mo><mn>1</mn><mo>,</mo><mn>2</mn><mo>,</mo><mn>3</mn></math></span> and trees with <span><math><msub><mrow><mi>κ</mi></mrow><mrow><mi>g</mi></mrow></msub><mo>(</mo><msub><mrow><mi>T</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>)</mo><mo>=</mo><mi>n</mi><mo>−</mo><mn>2</mn><mi>g</mi><mo>−</mo><mn>2</mn></math></span> are characterized, respectively. We also derive three extremal results for the <em>g</em>-extra connectivity.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"159 ","pages":"Article 103772"},"PeriodicalIF":0.9,"publicationDate":"2026-08-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146154234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Rectilinear-upward planarity testing of digraphs","authors":"Walter Didimo ,&nbsp;Michael Kaufmann ,&nbsp;Giuseppe Liotta ,&nbsp;Giacomo Ortali ,&nbsp;Maurizio Patrignani","doi":"10.1016/j.jcss.2026.103775","DOIUrl":"10.1016/j.jcss.2026.103775","url":null,"abstract":"<div><div>A <em>rectilinear-upward planar drawing</em> of a digraph <em>G</em> is a crossing-free drawing of <em>G</em> where each edge is either a horizontal or a vertical segment, and such that no directed edge points downward. <span>Rectilinear-Upward Planarity Testing</span> is the problem of deciding whether a digraph <em>G</em> admits a rectilinear-upward planar drawing. We study the complexity of <span>Rectilinear-Upward Planarity Testing</span> and provide several algorithmic results. Precisely, we prove that: (<em>i</em>) the problem is NP-complete, even if <em>G</em> is biconnected; <span><math><mo>(</mo><mi>i</mi><mi>i</mi><mo>)</mo></math></span> it can be solved in linear time when an upward planar embedding of <em>G</em> is fixed; <span><math><mo>(</mo><mi>i</mi><mi>i</mi><mi>i</mi><mo>)</mo></math></span> the problem is polynomial-time solvable for biconnected digraphs of treewidth at most two, i.e., for digraphs whose underlying undirected graph is a series-parallel graph; <span><math><mo>(</mo><mi>i</mi><mi>v</mi><mo>)</mo></math></span> the problem is fixed-parameter tractable (namely, fixed-parameter linear) for all biconnected graphs, when parameterized by the number of sources and sinks in the digraph.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"158 ","pages":"Article 103775"},"PeriodicalIF":0.9,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146190711","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Complexity of deciding the equality of matching numbers","authors":"Guilherme C.M. Gomes ,&nbsp;Bruno P. Masquio ,&nbsp;Paulo E.D. Pinto ,&nbsp;Dieter Rautenbach ,&nbsp;Vinicius F. dos Santos ,&nbsp;Jayme L. Szwarcfiter ,&nbsp;Florian Werner","doi":"10.1016/j.jcss.2026.103760","DOIUrl":"10.1016/j.jcss.2026.103760","url":null,"abstract":"<div><div>A matching is said to be disconnected if the saturated vertices induce a disconnected subgraph and induced if the saturated vertices induce a 1-regular graph. The disconnected and induced matching numbers are defined as the maximum cardinality of such matchings, respectively, and are known to be NP-hard to compute. In this paper, we study the relationship between these two parameters and the matching number. In particular, we discuss the complexity of two decision problems; first: deciding if the matching number and disconnected matching number are equal; second: deciding if the disconnected matching number and induced matching number are equal. We show that given a bipartite graph with diameter four, deciding if the matching number and disconnected matching number are equal is NP-complete; the same holds for bipartite graphs with maximum degree three. We characterize diameter three graphs with equal matching number and disconnected matching number, which yields a polynomial time recognition algorithm. Afterwards, we show that deciding if the induced and disconnected matching numbers are equal is co-NP-complete for bipartite graphs of diameter 3. When the induced matching number is large enough compared to the maximum degree, we characterize graphs where these parameters are equal, which results in a polynomial time algorithm for bounded degree graphs.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"158 ","pages":"Article 103760"},"PeriodicalIF":0.9,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146081672","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Automata for the commutative closure of regular languages","authors":"Verónica Becher,&nbsp;Simón Lew Deveali,&nbsp;Ignacio Mollo Cunningham","doi":"10.1016/j.jcss.2026.103762","DOIUrl":"10.1016/j.jcss.2026.103762","url":null,"abstract":"<div><div>Consider <span><math><msup><mrow><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span>, the free monoid generated by the finite alphabet <em>A</em> with the concatenation operation. Two words have the same commutative image when one is a permutation of the symbols of the other. The commutative closure of a language <span><math><mi>L</mi><mo>⊆</mo><msup><mrow><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> is the set <span><math><mi>C</mi><mo>(</mo><mi>L</mi><mo>)</mo><mo>⊆</mo><msup><mrow><mi>A</mi></mrow><mrow><mo>⁎</mo></mrow></msup></math></span> of words whose commutative image coincides with that of some word in <em>L</em>. We provide an algorithm that, given a regular language <em>L</em>, constructs a finite state automaton that accepts the commutative closure <span><math><mi>C</mi><mo>(</mo><mi>L</mi><mo>)</mo></math></span>, in all the cases where <span><math><mi>C</mi><mo>(</mo><mi>L</mi><mo>)</mo></math></span> regular. The problem of deciding whether <span><math><mi>C</mi><mo>(</mo><mi>L</mi><mo>)</mo></math></span> is regular was solved by Ginsburg and Spanier in 1966 using the decidability of Presburger sentences, and by Gohon in 1985 via formal power series. Some recent work constructs the finite state automaton accepting the commutative closure of permutation languages; however, to date there had been no general algorithm that handles all the cases where <span><math><mi>C</mi><mo>(</mo><mi>L</mi><mo>)</mo></math></span> is regular. This algorithm is the main contribution of this work.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"158 ","pages":"Article 103762"},"PeriodicalIF":0.9,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146045202","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"On the complexity of computing the co-lexicographic width of a regular language","authors":"Ruben Becker ,&nbsp;Davide Cenzato ,&nbsp;Sung-Hwan Kim ,&nbsp;Tomasz Kociumaka ,&nbsp;Bojana Kodric ,&nbsp;Alberto Policriti ,&nbsp;Nicola Prezza","doi":"10.1016/j.jcss.2026.103759","DOIUrl":"10.1016/j.jcss.2026.103759","url":null,"abstract":"<div><div>Co-lex partial orders (Cotumaccio and Prezza (2021) <span><span>[9]</span></span> and Cotumaccio et al. (2023) <span><span>[8]</span></span>) are a powerful tool to index finite automata generalizing Wheeler orders (Gagie et al. (2017) <span><span>[14]</span></span>). The co-lex width <em>p</em> of an automaton measures how sortable its states are w.r.t. the co-lexicographic order among its accepted strings. Automata of co-lex width <em>p</em> can be compressed to <span><math><mi>O</mi><mo>(</mo><mi>log</mi><mo>⁡</mo><mi>p</mi><mo>)</mo></math></span> bits per edge and admit regular expression matching in time proportional to <span><math><msup><mrow><mi>p</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> per matched character. The deterministic co-lex width of a regular language <span><math><mi>L</mi></math></span> is the smallest width of such a co-lex order, among all DFAs recognizing <span><math><mi>L</mi></math></span>. Since languages of small co-lex width admit efficient solutions to hard computational problems, computing the co-lex width is relevant in applications. Previous work showed that the deterministic co-lex width <em>p</em> of a language <span><math><mi>L</mi></math></span> can be computed in <span><math><msup><mrow><mi>m</mi></mrow><mrow><mi>O</mi><mo>(</mo><mi>p</mi><mo>)</mo></mrow></msup></math></span> for a DFA <span><math><mi>A</mi></math></span> with <em>m</em> transitions accepting <span><math><mi>L</mi></math></span>. For constant <em>p</em> (in particular Wheeler languages, where <span><math><mi>p</mi><mo>=</mo><mn>1</mn></math></span>), the constant in the exponent is large and the exact complexity remains unknown. In this work, we show that one can decide in <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>m</mi></mrow><mrow><mi>p</mi></mrow></msup><mo>)</mo></math></span> if the deterministic co-lex width of the language recognized by a given minimum DFA is strictly smaller than <span><math><mi>p</mi><mo>≥</mo><mn>2</mn></math></span>. We complement this with a matching conditional lower bound based on the Strong Exponential Time Hypothesis. Hence, our paper essentially settles the complexity of the problem.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"158 ","pages":"Article 103759"},"PeriodicalIF":0.9,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146081578","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"An optimal absolute approximation algorithm for computing k disjoint restricted shortest paths","authors":"Yue Sun ,&nbsp;Donglei Du ,&nbsp;Longkun Guo ,&nbsp;Dachuan Xu","doi":"10.1016/j.jcss.2026.103761","DOIUrl":"10.1016/j.jcss.2026.103761","url":null,"abstract":"<div><div>In the <em>k</em> edge-disjoint restricted shortest path (<em>k</em>RSP) problem, we are given a directed graph with a specified source vertex <em>s</em> and a sink vertex <em>t</em>, where each edge has a non-negative cost and delay. For a given delay bound <span><math><mi>D</mi><mo>∈</mo><msubsup><mrow><mi>R</mi></mrow><mrow><mn>0</mn></mrow><mrow><mo>+</mo></mrow></msubsup></math></span>, the <em>k</em>RSP problem aims to find <em>k</em> edge-disjoint directed paths from <em>s</em> to <em>t</em>, such that the total delay of the edges on the <em>k</em> paths does not exceed <em>D</em>, while minimizing the total cost. The problem is a variant of the well-known disjoint path problem and is NP-hard even when <span><math><mi>k</mi><mo>=</mo><mn>1</mn></math></span>. In this paper, we present an <em>optimal absolute approximation algorithm</em> based on the LP-rounding technique, which guarantees finding at least <span><math><mi>k</mi><mo>−</mo><mn>1</mn></math></span> edge-disjoint paths that strictly satisfy the delay constraint with a total cost no greater than that of an optimal solution, where <span><math><mi>k</mi><mo>−</mo><mn>1</mn></math></span> is an optimal approximation of <em>k</em>. The key observation behind our approach is that, in any basic optimal solution of the linear programming relaxation for <em>k</em>RSP, the underlying graph formed by edges with fractional values is exactly a cycle. We show that this cycle always includes a subset of edges that, together with the integral edges from the LP solution, can be used to construct the desired set of paths. Finally, we present a novel method for rounding the edges from this cycle to obtain the desired solution.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"158 ","pages":"Article 103761"},"PeriodicalIF":0.9,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146190713","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

{"title":"Algorithms and hardness for Metric Dimension on digraphs","authors":"Antoine Dailly ,&nbsp;Florent Foucaud ,&nbsp;Anni Hakanen","doi":"10.1016/j.jcss.2026.103776","DOIUrl":"10.1016/j.jcss.2026.103776","url":null,"abstract":"<div><div>In the <span>Metric Dimension</span> problem, one asks for a minimum-size set <em>R</em> of vertices such that for any pair of vertices of the graph, there is a vertex from <em>R</em> whose two distances to the vertices of the pair are distinct. This problem has mainly been studied on undirected graphs and has gained a lot of attention in the recent years. We focus on directed graphs, and show how to solve the problem in linear time on digraphs whose underlying undirected graph (ignoring multiple edges) is a tree. This (non-trivially) extends a previous algorithm for oriented trees. We then extend the method to orientations of unicyclic graphs. We also give a fixed-parameter-tractable algorithm for digraphs when parameterized by the directed modular-width, extending a known result for undirected graphs. Finally, we show that <span>Metric Dimension</span> is NP-hard even on planar triangle-free acyclic digraphs of maximum degree 6.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"158 ","pages":"Article 103776"},"PeriodicalIF":0.9,"publicationDate":"2026-06-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"146190712","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":3,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}