Journal of Computer and System Sciences最新文献

{"title":"The complexity of (Pk,Pℓ)-arrowing","authors":"Zohair Raza Hassan,&nbsp;Edith Hemaspaandra,&nbsp;Stanisław Radziszowski","doi":"10.1016/j.jcss.2025.103726","DOIUrl":"10.1016/j.jcss.2025.103726","url":null,"abstract":"<div><div>For fixed nonnegative integers <em>k</em> and <em>ℓ</em>, the <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>)</mo></math></span>-Arrowing problem asks whether a given graph, <em>G</em>, has a red/blue coloring of <span><math><mi>E</mi><mo>(</mo><mi>G</mi><mo>)</mo></math></span> such that there are no red copies of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub></math></span> and no blue copies of <span><math><msub><mrow><mi>P</mi></mrow><mrow><mi>ℓ</mi></mrow></msub></math></span>. The problem is trivial when <span><math><mi>max</mi><mo>⁡</mo><mo>(</mo><mi>k</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo><mo>≤</mo><mn>3</mn></math></span>, but has been shown to be coNP-complete when <span><math><mi>k</mi><mo>=</mo><mi>ℓ</mi><mo>=</mo><mn>4</mn></math></span>. In this work, we show that the problem remains coNP-complete for all pairs of <em>k</em> and <em>ℓ</em>, except <span><math><mo>(</mo><mn>3</mn><mo>,</mo><mn>4</mn><mo>)</mo></math></span>, and when <span><math><mi>max</mi><mo>⁡</mo><mo>(</mo><mi>k</mi><mo>,</mo><mi>ℓ</mi><mo>)</mo><mo>≤</mo><mn>3</mn></math></span>. We define and prove the existence of special graphs that we call “transmitters.” Using transmitters, we construct gadgets for three distinct cases: 1) <span><math><mi>k</mi><mo>=</mo><mn>3</mn></math></span> and <span><math><mi>ℓ</mi><mo>≥</mo><mn>5</mn></math></span>, 2) <span><math><mi>ℓ</mi><mo>&gt;</mo><mi>k</mi><mo>≥</mo><mn>4</mn></math></span>, and 3) <span><math><mi>ℓ</mi><mo>=</mo><mi>k</mi><mo>≥</mo><mn>4</mn></math></span>. For <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>3</mn></mrow></msub><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mn>4</mn></mrow></msub><mo>)</mo></math></span>-Arrowing we show a polynomial-time algorithm by reducing the problem to 2SAT, thus successfully categorizing the complexity of all <span><math><mo>(</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>k</mi></mrow></msub><mo>,</mo><msub><mrow><mi>P</mi></mrow><mrow><mi>ℓ</mi></mrow></msub><mo>)</mo></math></span>-Arrowing problems.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103726"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145424690","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":"Participatory budgeting with project groups","authors":"Pallavi Jain ,&nbsp;Krzysztof Sornat ,&nbsp;Nimrod Talmon ,&nbsp;Meirav Zehavi","doi":"10.1016/j.jcss.2025.103702","DOIUrl":"10.1016/j.jcss.2025.103702","url":null,"abstract":"<div><div>We study a generalization of the standard approval-based model of participatory budgeting (PB), in which voters are providing approval ballots over a set of predefined projects and—in addition to a global budget limit, there are several groupings of the projects, each group with its own budget limit. We study the computational complexity of identifying project bundles that maximize voter satisfaction while respecting all budget limits. We show that the problem is generally intractable and describe efficient exact algorithms for several special cases, including instances with only few groups and instances where the group structure is close to be hierarchical, as well as efficient approximation algorithms. Our results could allow, e.g., municipalities to hold richer PB processes that are thematically and geographically inclusive.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103702"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145060902","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 and algorithms for matching cut problems in graphs without long induced paths and cycles","authors":"Hoang-Oanh Le ,&nbsp;Van Bang Le","doi":"10.1016/j.jcss.2025.103723","DOIUrl":"10.1016/j.jcss.2025.103723","url":null,"abstract":"<div><div>In a graph, a (perfect) matching cut is an edge cut that is a (perfect) matching. <span>matching cut</span> (<span>mc</span>), respectively, <span>perfect matching cut</span> (<span>pmc</span>), is the problem of deciding whether a given graph has a matching cut, respectively, a perfect matching cut. The <span>disconnected perfect matching</span> problem (<span>dpm</span>) is to decide if a graph has a perfect matching that contains a matching cut. Solving an open problem posed in [Lucke, Paulusma, Ries (ISAAC 2022, Algorithmica 2023)], we show that <span>pmc</span> is <span><math><mi>NP</mi></math></span>-complete in graphs without induced 14-vertex path <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>. Our reduction also works simultaneously for <span>mc</span> and <span>dpm</span>, improving the previous hardness results of <span>mc</span> on <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>15</mn></mrow></msub></math></span>-free graphs and of <span>dpm</span> on <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>19</mn></mrow></msub></math></span>-free graphs to <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>-free graphs for both problems. Actually, we prove a slightly stronger result: within <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>-free 8-chordal graphs (graphs without chordless cycles of length at least 9), it is hard to distinguish between those without matching cuts (respectively, perfect matching cuts, disconnected perfect matchings) and those in which every matching cut is a perfect matching cut. Moreover, assuming the Exponential Time Hypothesis, none of these problems can be solved in <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>o</mi><mo>(</mo><mi>n</mi><mo>)</mo></mrow></msup></math></span> time for <em>n</em>-vertex <span><math><msub><mrow><mi>P</mi></mrow><mrow><mn>14</mn></mrow></msub></math></span>-free 8-chordal graphs.</div><div>On the positive side, we show that, as for <span>mc</span> [Moshi (JGT 1989)], <span>dpm</span> and <span>pmc</span> are polynomially solvable when restricted to 4-chordal graphs. Together with the negative results, this partly answers an open question on the complexity of <span>pmc</span> in <em>k</em>-chordal graphs asked in [Le, Telle (WG 2021, TCS 2022) &amp; Lucke, Paulusma, Ries (MFCS 2023, TCS 2024)].</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103723"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145333256","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":"Minmax optimal list searching with log2⁡log2⁡n average cost","authors":"Ivo F.D. Oliveira ,&nbsp;Ricardo H.C. Takahashi","doi":"10.1016/j.jcss.2025.103719","DOIUrl":"10.1016/j.jcss.2025.103719","url":null,"abstract":"<div><div>We find a searching method on ordered lists that surprisingly outperforms binary searching with respect to average query complexity while retaining minmax optimality. The method is shown to require <span><math><mi>O</mi><mo>(</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>n</mi><mo>)</mo></math></span> queries on average while never exceeding <span><math><mo>⌈</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>n</mi><mo>⌉</mo></math></span> queries in the worst case, i.e. the minmax bound of binary searching. Our average results assume a uniform distribution hypothesis similar to those of previous authors under which the expected query complexity of interpolation search of <span><math><mi>O</mi><mo>(</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><msub><mrow><mi>log</mi></mrow><mrow><mn>2</mn></mrow></msub><mo>⁡</mo><mi>n</mi><mo>)</mo></math></span> is known to be optimal. Hence our method turns out to be optimal with respect to both minmax and average performance. We further provide robustness guarantees and perform several numerical experiments with both artificial and real data. Our results suggest that time savings range roughly from a constant factor of 10% to 50% to a logarithmic factor spanning orders of magnitude when different metrics are considered.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103719"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145333257","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":"Kernels for the Disjoint Paths Problem on Subclasses of Chordal Graphs","authors":"Juhi Chaudhary ,&nbsp;Harmender Gahlawat ,&nbsp;Michal Wlodarczyk ,&nbsp;Meirav Zehavi","doi":"10.1016/j.jcss.2025.103715","DOIUrl":"10.1016/j.jcss.2025.103715","url":null,"abstract":"<div><div>Given an undirected graph <em>G</em> and a multiset of <em>k</em> terminal pairs <span><math><mi>X</mi></math></span>, the <span>Vertex-Disjoint Paths</span> (<figure><img></figure>) and <span>Edge-Disjoint Paths</span> (<figure><img></figure>) problems ask whether <em>G</em> has <em>k</em> pairwise internally vertex-disjoint paths and <em>k</em> pairwise edge-disjoint paths, respectively, connecting every terminal pair in <span><math><mi>X</mi></math></span>. In this paper, we study the kernelization complexity of <figure><img></figure> and <figure><img></figure> on subclasses of chordal graphs. For <figure><img></figure>, we design a 4<em>k</em> vertex kernel on split graphs and an <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> vertex kernel on well-partitioned chordal graphs. We also show that the problem becomes polynomial-time solvable on threshold graphs. For <span>EDP</span>, we first prove that the problem is <span><math><mi>NP</mi></math></span>-complete on complete graphs. Then, we design an <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2.75</mn></mrow></msup><mo>)</mo></math></span> vertex kernel for <figure><img></figure> on split graphs, and improve it to a <span><math><mn>7</mn><mi>k</mi><mo>+</mo><mn>1</mn></math></span> vertex kernel on threshold graphs. Lastly, we provide an <span><math><mi>O</mi><mo>(</mo><msup><mrow><mi>k</mi></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> vertex kernel for <figure><img></figure> on block graphs and a <span><math><mn>2</mn><mi>k</mi><mo>+</mo><mn>1</mn></math></span> vertex kernel for clique paths. Our contributions improve upon several results in the literature, as well as resolve an open question by Heggernes et al. (2015) <span><span>[27]</span></span>.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103715"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145227417","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":"Revisiting path contraction and cycle contraction","authors":"R. Krithika ,&nbsp;V.K. Kutty Malu ,&nbsp;Prafullkumar Tale","doi":"10.1016/j.jcss.2025.103724","DOIUrl":"10.1016/j.jcss.2025.103724","url":null,"abstract":"&lt;div&gt;&lt;div&gt;The &lt;span&gt;Path Contraction&lt;/span&gt; and &lt;span&gt;Cycle Contraction&lt;/span&gt; problems take as input an undirected graph &lt;em&gt;G&lt;/em&gt; with &lt;em&gt;n&lt;/em&gt; vertices, &lt;em&gt;m&lt;/em&gt; edges and an integer &lt;em&gt;k&lt;/em&gt; and determine whether one can obtain a path or a cycle, respectively, by performing at most &lt;em&gt;k&lt;/em&gt; edge contractions in &lt;em&gt;G&lt;/em&gt;. We revisit these &lt;span&gt;NP&lt;/span&gt;-complete problems and prove the following results.&lt;ul&gt;&lt;li&gt;&lt;span&gt;•&lt;/span&gt;&lt;span&gt;&lt;div&gt;&lt;span&gt;Path Contraction&lt;/span&gt; admits an &lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;⁎&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-time algorithm. This improves over the current fastest parameterized algorithm known for the problem (Heggernes et al. (2014) &lt;span&gt;&lt;span&gt;[15]&lt;/span&gt;&lt;/span&gt;).&lt;/div&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;•&lt;/span&gt;&lt;span&gt;&lt;div&gt;&lt;span&gt;Cycle Contraction&lt;/span&gt; admits an &lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;⁎&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;+&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ϵ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;ℓ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-time algorithm where &lt;span&gt;&lt;math&gt;&lt;mn&gt;0&lt;/mn&gt;&lt;mo&gt;&lt;&lt;/mo&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ϵ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;ℓ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;mo&gt;≤&lt;/mo&gt;&lt;mn&gt;0.5509&lt;/mn&gt;&lt;/math&gt;&lt;/span&gt; and &lt;span&gt;&lt;math&gt;&lt;msub&gt;&lt;mrow&gt;&lt;mi&gt;ϵ&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;ℓ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msub&gt;&lt;/math&gt;&lt;/span&gt; decreases as &lt;span&gt;&lt;math&gt;&lt;mi&gt;ℓ&lt;/mi&gt;&lt;mo&gt;=&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;k&lt;/mi&gt;&lt;/math&gt;&lt;/span&gt; increases.&lt;/div&gt;&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt; Central to these results is an algorithm for a general variant of &lt;span&gt;Path Contraction&lt;/span&gt;, namely &lt;span&gt;Path Contraction With Constrained Ends&lt;/span&gt;. We also give an &lt;span&gt;&lt;math&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mo&gt;⁎&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mn&gt;2.5191&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-time algorithm to solve the optimization version of &lt;span&gt;Cycle Contraction&lt;/span&gt;. Next, we turn our attention to restricted graph classes and show the following results.&lt;ul&gt;&lt;li&gt;&lt;span&gt;•&lt;/span&gt;&lt;span&gt;&lt;div&gt;&lt;span&gt;Path Contraction&lt;/span&gt; on planar graphs admits a polynomial-time algorithm.&lt;/div&gt;&lt;/span&gt;&lt;/li&gt;&lt;li&gt;&lt;span&gt;•&lt;/span&gt;&lt;span&gt;&lt;div&gt;&lt;span&gt;Path Contraction&lt;/span&gt; on chordal graphs does not admit an &lt;span&gt;&lt;math&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;mo&gt;−&lt;/mo&gt;&lt;mi&gt;ϵ&lt;/mi&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;⋅&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mi&gt;o&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-time algorithm 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;, under the &lt;span&gt;Orthogonal Vectors Conjecture&lt;/span&gt;. Here, &lt;em&gt;tw&lt;/em&gt; is the treewidth of the input graph.&lt;/div&gt;&lt;/span&gt;&lt;/li&gt;&lt;/ul&gt; The second result complements the &lt;span&gt;&lt;math&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;mi&gt;m&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-time, i.e., &lt;span&gt;&lt;math&gt;&lt;mi&gt;O&lt;/mi&gt;&lt;mo&gt;(&lt;/mo&gt;&lt;msup&gt;&lt;mrow&gt;&lt;mi&gt;n&lt;/mi&gt;&lt;/mrow&gt;&lt;mrow&gt;&lt;mn&gt;2&lt;/mn&gt;&lt;/mrow&gt;&lt;/msup&gt;&lt;mo&gt;⋅&lt;/mo&gt;&lt;mi&gt;t&lt;/mi&gt;&lt;mi&gt;w&lt;/mi&gt;&lt;mo&gt;)&lt;/mo&gt;&lt;/math&gt;&lt;/span&gt;-","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103724"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145333259","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":"Approximately covering vertices by order-5 or longer paths","authors":"Mingyang Gong ,&nbsp;Zhi-Zhong Chen ,&nbsp;Guohui Lin ,&nbsp;Lusheng Wang","doi":"10.1016/j.jcss.2025.103704","DOIUrl":"10.1016/j.jcss.2025.103704","url":null,"abstract":"<div><div>This paper studies <span><math><mi>M</mi><mi>P</mi><msubsup><mrow><mi>C</mi></mrow><mrow><mi>v</mi></mrow><mrow><mn>5</mn><mo>+</mo></mrow></msubsup></math></span>, which is to cover as many vertices as possible in a given graph <span><math><mi>G</mi><mo>=</mo><mo>(</mo><mi>V</mi><mo>,</mo><mi>E</mi><mo>)</mo></math></span> by vertex-disjoint <span><math><msup><mrow><mn>5</mn></mrow><mrow><mo>+</mo></mrow></msup></math></span>-paths (i.e., paths each with at least five vertices). <span><math><mi>M</mi><mi>P</mi><msubsup><mrow><mi>C</mi></mrow><mrow><mi>v</mi></mrow><mrow><mn>5</mn><mo>+</mo></mrow></msubsup></math></span> is NP-hard and admits an existing local-search-based approximation algorithm which achieves a ratio of <span><math><mfrac><mrow><mn>19</mn></mrow><mrow><mn>7</mn></mrow></mfrac><mo>≈</mo><mn>2.714</mn></math></span> and runs in <span><math><mi>O</mi><mo>(</mo><mo>|</mo><mi>V</mi><msup><mrow><mo>|</mo></mrow><mrow><mn>6</mn></mrow></msup><mo>)</mo></math></span> time. In this paper, we present a new approximation algorithm for <span><math><mi>M</mi><mi>P</mi><msubsup><mrow><mi>C</mi></mrow><mrow><mi>v</mi></mrow><mrow><mn>5</mn><mo>+</mo></mrow></msubsup></math></span> which achieves a ratio of 2.511 and runs in <span><math><mi>O</mi><mo>(</mo><mo>|</mo><mi>V</mi><msup><mrow><mo>|</mo></mrow><mrow><mn>2.5</mn></mrow></msup><mo>|</mo><mi>E</mi><msup><mrow><mo>|</mo></mrow><mrow><mn>2</mn></mrow></msup><mo>)</mo></math></span> time. Unlike the previous algorithm, the new algorithm is based on maximum matching, maximum path-cycle cover, and recursion.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103704"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144997693","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":"Interaction graphs of isomorphic automata networks II: Universal dynamics","authors":"Florian Bridoux,&nbsp;Aymeric Picard Marchetto,&nbsp;Adrien Richard","doi":"10.1016/j.jcss.2025.103717","DOIUrl":"10.1016/j.jcss.2025.103717","url":null,"abstract":"<div><div>An automata network with <em>n</em> components over a finite alphabet <em>Q</em> of size <em>q</em> is a discrete dynamical system described by the successive iterations of a function <span><math><mi>f</mi><mo>:</mo><msup><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>→</mo><msup><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span>. In most applications, the main parameter is the interaction graph of <em>f</em>: the digraph with vertex set <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span> that contains an arc from <em>j</em> to <em>i</em> if <span><math><msub><mrow><mi>f</mi></mrow><mrow><mi>i</mi></mrow></msub></math></span> depends on input <em>j</em>. What can be said on the set <span><math><mi>G</mi><mo>(</mo><mi>f</mi><mo>)</mo></math></span> of the interaction graphs of the automata networks isomorphic to <em>f</em>? It seems that this simple question has never been studied. In a previous paper, we prove that the complete digraph <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub></math></span>, with <span><math><msup><mrow><mi>n</mi></mrow><mrow><mn>2</mn></mrow></msup></math></span> arcs, is universal in that <span><math><msub><mrow><mi>K</mi></mrow><mrow><mi>n</mi></mrow></msub><mo>∈</mo><mi>G</mi><mo>(</mo><mi>f</mi><mo>)</mo></math></span> whenever <em>f</em> is not constant nor the identity (and <span><math><mi>n</mi><mo>≥</mo><mn>5</mn></math></span>). In this paper, taking the opposite direction, we prove that there exist universal automata networks <em>f</em>, in that <span><math><mi>G</mi><mo>(</mo><mi>f</mi><mo>)</mo></math></span> contains all the digraphs on <span><math><mo>[</mo><mi>n</mi><mo>]</mo></math></span>, excepted the empty one. Actually, we prove that the presence of only three specific digraphs in <span><math><mi>G</mi><mo>(</mo><mi>f</mi><mo>)</mo></math></span> implies the universality of <em>f</em>, and we prove that this forces the alphabet size <em>q</em> to have at least <em>n</em> prime factors (with multiplicity). However, we prove that for any fixed <span><math><mi>q</mi><mo>≥</mo><mn>3</mn></math></span>, there exists almost universal functions, that is, functions <span><math><mi>f</mi><mo>:</mo><msup><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msup><mo>→</mo><msup><mrow><mi>Q</mi></mrow><mrow><mi>n</mi></mrow></msup></math></span> such that the probability that a random digraph belongs to <span><math><mi>G</mi><mo>(</mo><mi>f</mi><mo>)</mo></math></span> tends to 1 as <span><math><mi>n</mi><mo>→</mo><mo>∞</mo></math></span>. We do not know if this holds in the binary case <span><math><mi>q</mi><mo>=</mo><mn>2</mn></math></span>, providing only partial results.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103717"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145227408","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":"Decomposing permutation automata","authors":"Ismaël Jecker ,&nbsp;Nicolas Mazzocchi ,&nbsp;Petra Wolf","doi":"10.1016/j.jcss.2025.103721","DOIUrl":"10.1016/j.jcss.2025.103721","url":null,"abstract":"<div><div>A deterministic finite automaton, (<span>DFA</span>) is composite if its language can be expressed as the intersection of languages from smaller <span>DFAs</span>; otherwise, it is prime. This concept, introduced by Kupferman and Mosheiff in 2013, remains computationally challenging, with a doubly-exponential gap between the upper and lower bounds. This work focuses on permutation <span>DFAs</span>. We present an <span>NP</span> algorithm to decide compositionality and show that the difficulty stems from the number of non-accepting states. A fixed-parameter tractable algorithm is provided, using the count of rejecting states as the parameter. We further explore commutative permutation <span>DFAs</span>, whose structure enables decision procedures in NL and even <span>LOGSPACE</span> when the alphabet size is fixed. Despite this low complexity, intricate behavior persists: we provide a family of composite <span>DFAs</span> requiring polynomially many factors relative to their size. Additionally, we examine the <em>k</em>-factor composite variant — whether a <span>DFA</span> can be decomposed into <em>k</em> smaller <span>DFAs</span>. For commutative permutation <span>DFAs</span>, limiting the number of factors increases complexity, making the problem NP-complete. More generally, determining <em>k</em>-factor compositionality lies in <span>PSPACE</span>, and in <span>LOGSPACE</span> for <span>DFAs</span> over a singleton alphabet.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103721"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145333249","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":"Search-space reduction via essential vertices revisited: Vertex multicut and cograph deletion","authors":"Bart M.P. Jansen ,&nbsp;Ruben F.A. Verhaegh","doi":"10.1016/j.jcss.2025.103730","DOIUrl":"10.1016/j.jcss.2025.103730","url":null,"abstract":"<div><div>For an optimization problem Π on graphs whose solutions are vertex sets, a vertex <em>v</em> is called <em>c-essential</em> for Π if all solutions of size at most <figure><img></figure> contain <em>v</em>. Recent work showed that polynomial-time algorithms to detect <em>c</em>-essential vertices can be used to reduce the search-space of fixed-parameter tractable algorithms solving such problems parameterized by the size <em>k</em> of the solution. We provide several new upper- and lower bounds for detecting essential vertices. For example, we give a polynomial-time algorithm for 3<span>-Essential detection for Vertex Multicut</span>, which translates into an algorithm that finds a minimum multicut of an undirected <em>n</em>-vertex graph <em>G</em> in time <span><math><msup><mrow><mn>2</mn></mrow><mrow><mi>O</mi><mo>(</mo><msup><mrow><mi>ℓ</mi></mrow><mrow><mn>3</mn></mrow></msup><mo>)</mo></mrow></msup><mo>⋅</mo><msup><mrow><mi>n</mi></mrow><mrow><mi>O</mi><mo>(</mo><mn>1</mn><mo>)</mo></mrow></msup></math></span>, where <em>ℓ</em> is the number of vertices in an optimal solution that are <em>not</em> 3-essential. Our positive results are obtained by analyzing the integrality gaps of certain linear programs. Our lower bounds show that for sufficiently small values of <em>c</em>, the detection task becomes NP-hard assuming the <em>Unique Games Conjecture</em>. For example, we show that <span>(</span><span><math><mn>2</mn><mo>−</mo><mi>ε</mi></math></span><span>)-Essential detection for Directed Feedback Vertex Set</span> is NP-hard under this conjecture, thereby proving that the existing algorithm that detects 2-essential vertices is best-possible.</div></div>","PeriodicalId":50224,"journal":{"name":"Journal of Computer and System Sciences","volume":"156 ","pages":"Article 103730"},"PeriodicalIF":0.9,"publicationDate":"2026-03-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145473537","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}