Algorithmica最新文献_第7页

Stable Matchings, One-Sided Ties, and Approximate Popularity 稳定配对、单边纽带和近似受欢迎程度

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-02 DOI: 10.1007/s00453-024-01215-6

Telikepalli Kavitha

{"title":"Stable Matchings, One-Sided Ties, and Approximate Popularity","authors":"Telikepalli Kavitha","doi":"10.1007/s00453-024-01215-6","DOIUrl":"10.1007/s00453-024-01215-6","url":null,"abstract":"<div>We consider a matching problem in a bipartite graph (G = (A cup B, E)) where vertices in A rank their neighbors in a strict order of preference while vertices in B are allowed to have weak rankings, i.e., ties are allowed in their rankings. Stable matchings always exist in G and are easy to find, however popular matchings need not exist in G and it is NP-complete to decide if one exists. This motivates the “approximately popular” matching problem. A well-known measure of approximate popularity is low unpopularity factor. We show that when each tie in G has length at most k, there always exists a stable matching whose unpopularity factor is at most k and such a matching can be computed in polynomial time. Thus when ties have bounded length, there always exists a near-popular stable matching. This can be considered to be a generalization of Gärdenfors’ result (1975) which showed that when rankings are strict, every stable matching is popular. We then extend our result to the hospitals/residents setting, i.e., vertices in B have capacities. There are several applications where the size of the matching is its most important attribute. When ties are one-sided and of length at most k, we show a polynomial time algorithm to find a maximum matching whose unpopularity factor within the set of maximum matchings is at most 2k.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 6","pages":"1888 - 1920"},"PeriodicalIF":0.9,"publicationDate":"2024-03-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"140016673","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Editor’s Note: Special Issue with GECCO 2021 编者按：GECCO 2021 特刊

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-03-02 DOI: 10.1007/s00453-024-01217-4

引用次数: 0

Minimal Roman Dominating Functions: Extensions and Enumeration 最小罗马支配函数：扩展与枚举

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-02-14 DOI: 10.1007/s00453-024-01211-w

Faisal N. Abu-Khzam, Henning Fernau, Kevin Mann

{"title":"Minimal Roman Dominating Functions: Extensions and Enumeration","authors":"Faisal N. Abu-Khzam, Henning Fernau, Kevin Mann","doi":"10.1007/s00453-024-01211-w","DOIUrl":"10.1007/s00453-024-01211-w","url":null,"abstract":"<div>Roman domination is one of the many variants of domination that keeps most of the complexity features of the classical domination problem. We prove that Roman domination behaves differently in two aspects: enumeration and extension. We develop non-trivial enumeration algorithms for minimal Roman dominating functions with polynomial delay and polynomial space. Recall that the existence of a similar enumeration result for minimal dominating sets is open for decades. Our result is based on a polynomial-time algorithm for Extension Roman Domination: Given a graph (G=(V,E)) and a function (f:Vrightarrow {0,1,2}), is there a minimal Roman dominating function (tilde{f}) with (fle tilde{f})? Here, (le ) lifts (0< 1< 2) pointwise; minimality is understood in this order. Our enumeration algorithm is also analyzed from an input-sensitive viewpoint, leading to a run-time estimate of (mathcal {O}(1.9332^n)) for graphs of order n; this is complemented by a lower bound example of (Omega (1.7441^n)).\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 6","pages":"1862 - 1887"},"PeriodicalIF":0.9,"publicationDate":"2024-02-14","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01211-w.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139750959","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

The Time Complexity of Consensus Under Oblivious Message Adversaries 忽略信息对手情况下达成共识的时间复杂性

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-02-13 DOI: 10.1007/s00453-024-01209-4

Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid

{"title":"The Time Complexity of Consensus Under Oblivious Message Adversaries","authors":"Kyrill Winkler, Ami Paz, Hugo Rincon Galeana, Stefan Schmid, Ulrich Schmid","doi":"10.1007/s00453-024-01209-4","DOIUrl":"10.1007/s00453-024-01209-4","url":null,"abstract":"<div>We study the problem of solving consensus in synchronous directed dynamic networks, in which communication is controlled by an oblivious message adversary that picks the communication graph to be used in a round from a fixed set of graphs (textbf{D}) arbitrarily. In this fundamental model, determining consensus solvability and designing efficient consensus algorithms is surprisingly difficult. Enabled by a decision procedure that is derived from a well-established previous consensus solvability characterization for a given set (textbf{D}), we study, for the first time, the time complexity of solving consensus in this model: We provide both upper and lower bounds for this time complexity, and also relate it to the number of iterations required by the decision procedure. Among other results, we find that reaching consensus under an oblivious message adversary can take exponentially longer than both deciding consensus solvability and broadcasting the input value of some unknown process to all other processes.\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 6","pages":"1830 - 1861"},"PeriodicalIF":0.9,"publicationDate":"2024-02-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-024-01209-4.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139750870","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Sublinear Time Eigenvalue Approximation via Random Sampling 通过随机抽样实现次线性时间特征值逼近

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-02-12 DOI: 10.1007/s00453-024-01208-5

Rajarshi Bhattacharjee, Gregory Dexter, Petros Drineas, Cameron Musco, Archan Ray

{"title":"Sublinear Time Eigenvalue Approximation via Random Sampling","authors":"Rajarshi Bhattacharjee, Gregory Dexter, Petros Drineas, Cameron Musco, Archan Ray","doi":"10.1007/s00453-024-01208-5","DOIUrl":"10.1007/s00453-024-01208-5","url":null,"abstract":"<div>We study the problem of approximating the eigenspectrum of a symmetric matrix (textbf{A} in mathbb {R}^{n times n}) with bounded entries (i.e., (Vert textbf{A}Vert _{infty } le 1)). We present a simple sublinear time algorithm that approximates all eigenvalues of (textbf{A}) up to additive error (pm epsilon n) using those of a randomly sampled ({tilde{O}}left( frac{log ^3 n}{epsilon ^3}right) times {{tilde{O}}}left( frac{log ^3 n}{epsilon ^3}right) ) principal submatrix. Our result can be viewed as a concentration bound on the complete eigenspectrum of a random submatrix, significantly extending known bounds on just the singular values (the magnitudes of the eigenvalues). We give improved error bounds of (pm epsilon sqrt{text {nnz}(textbf{A})}) and (pm epsilon Vert textbf{A}Vert _F) when the rows of (textbf{A}) can be sampled with probabilities proportional to their sparsities or their squared (ell _2) norms respectively. Here (text {nnz}(textbf{A})) is the number of non-zero entries in (textbf{A}) and (Vert textbf{A}Vert _F) is its Frobenius norm. Even for the strictly easier problems of approximating the singular values or testing the existence of large negative eigenvalues (Bakshi, Chepurko, and Jayaram, FOCS ’20), our results are the first that take advantage of non-uniform sampling to give improved error bounds. From a technical perspective, our results require several new eigenvalue concentration and perturbation bounds for matrices with bounded entries. Our non-uniform sampling bounds require a new algorithmic approach, which judiciously zeroes out entries of a randomly sampled submatrix to reduce variance, before computing the eigenvalues of that submatrix as estimates for those of (textbf{A}). We complement our theoretical results with numerical simulations, which demonstrate the effectiveness of our algorithms in practice.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 6","pages":"1764 - 1829"},"PeriodicalIF":0.9,"publicationDate":"2024-02-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139751014","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

On the Parameterized Intractability of Determinant Maximization 论确定性最大化的参数化难解性

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-02-03 DOI: 10.1007/s00453-023-01205-0

Naoto Ohsaka

{"title":"On the Parameterized Intractability of Determinant Maximization","authors":"Naoto Ohsaka","doi":"10.1007/s00453-023-01205-0","DOIUrl":"10.1007/s00453-023-01205-0","url":null,"abstract":"<div>In the Determinant Maximization problem, given an (n times n) positive semi-definite matrix ({textbf {A}} ) in (mathbb {Q}^{n times n}) and an integer k, we are required to find a (k times k) principal submatrix of ({textbf {A}} ) having the maximum determinant. This problem is known to be NP-hard and further proven to be W[1]-hard with respect to k by Koutis (Inf Process Lett 100:8–13, 2006); i.e., a (f(k)n^{{{,mathrm{mathcal {O}},}}(1)})-time algorithm is unlikely to exist for any computable function f. However, there is still room to explore its parameterized complexity in the restricted case, in the hope of overcoming the general-case parameterized intractability. In this study, we rule out the fixed-parameter tractability of Determinant Maximization even if an input matrix is extremely sparse or low rank, or an approximate solution is acceptable. We first prove that Determinant Maximization is NP-hard and W[1]-hard even if an input matrix is an arrowhead matrix; i.e., the underlying graph formed by nonzero entries is a star, implying that the structural sparsity is not helpful. By contrast, Determinant Maximization is known to be solvable in polynomial time on tridiagonal matrices (Al-Thani and Lee, in: LAGOS, 2021). Thereafter, we demonstrate the W[1]-hardness with respect to the rank r of an input matrix. Our result is stronger than Koutis’ result in the sense that any (k times k) principal submatrix is singular whenever (k > r). We finally give evidence that it is W[1]-hard to approximate Determinant Maximization parameterized by k within a factor of (2^{-csqrt{k}}) for some universal constant (c > 0). Our hardness result is conditional on the Parameterized Inapproximability Hypothesis posed by Lokshtanov et al. (in: SODA, 2020), which asserts that a gap version of Binary Constraint Satisfaction Problem is W[1]-hard. To complement this result, we develop an (varepsilon )-additive approximation algorithm that runs in (varepsilon ^{-r^2} cdot r^{{{,mathrm{mathcal {O}},}}(r^3)} cdot n^{{{,mathrm{mathcal {O}},}}(1)}) time for the rank r of an input matrix, provided that the diagonal entries are bounded.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 6","pages":"1731 - 1763"},"PeriodicalIF":0.9,"publicationDate":"2024-02-03","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01205-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139678586","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Exploration of High-Dimensional Grids by Finite State Machines 用有限状态机探索高维网格

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-01-29 DOI: 10.1007/s00453-024-01207-6

Stefan Dobrev, Lata Narayanan, Jaroslav Opatrny, Denis Pankratov

{"title":"Exploration of High-Dimensional Grids by Finite State Machines","authors":"Stefan Dobrev, Lata Narayanan, Jaroslav Opatrny, Denis Pankratov","doi":"10.1007/s00453-024-01207-6","DOIUrl":"10.1007/s00453-024-01207-6","url":null,"abstract":"<div>We consider the problem of finding a “treasure” at an unknown point of an n-dimensional infinite grid, (nge 3), by initially collocated finite automaton (FA) agents. Recently, the problem has been well characterized for 2 dimensions for deterministic as well as randomized FA agents, both in synchronous and semi-synchronous models (Brandt et al. in Proceedings of 32nd International Symposium on Distributed Computing (DISC) LIPCS 121:13:1–13:17, 2018; Emek et al. in Theor Comput Sci 608:255–267, 2015). It has been conjectured that (n+1) randomized FA agents are necessary to solve this problem in the n-dimensional grid (Cohen et al. in Proceedings of the 28th SODA, SODA ’17, pp 207–224, 2017). In this paper we disprove the conjecture in a strong sense: we show that three randomized synchronous FA agents suffice to explore an n-dimensional grid for any n. Our algorithm is optimal in terms of the number of the agents. Our key insight is that a constant number of FA agents can, by their positions and movements, implement a stack, which can store the path being explored. We also show how to implement our algorithm using: four randomized semi-synchronous FA agents; four deterministic synchronous FA agents; or five deterministic semi-synchronous FA agents. We give a different, no-stack algorithm that uses 4 deterministic semi-synchronous FA agents for the 3-dimensional grid. This is provably optimal in the number of agents and the exploration cost, and surprisingly, matches the result for 2 dimensions. For (nge 4), the time complexity of the stack-based algorithms mentioned above is exponential in distance D of the treasure from the starting point of the agents. We show that in the deterministic case, one additional finite automaton agent brings the time down to a polynomial. We also show that any algorithm using 3 synchronous deterministic FA agents in 3 dimensions must travel beyond (Omega (D^{3/2})) from the origin. Finally, we show that all the above algorithms can be generalized to unoriented grids. More specifically, six deterministic semi-synchronous FA agents are sufficient to locate the treasure in an unoriented n-dimensional grid.\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 5","pages":"1700 - 1729"},"PeriodicalIF":0.9,"publicationDate":"2024-01-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139589836","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Improved FPT Algorithms for Deletion to Forest-Like Structures 改进的森林类结构删除 FPT 算法

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-01-27 DOI: 10.1007/s00453-023-01206-z

Kishen N. Gowda, Aditya Lonkar, Fahad Panolan, Vraj Patel, Saket Saurabh

{"title":"Improved FPT Algorithms for Deletion to Forest-Like Structures","authors":"Kishen N. Gowda, Aditya Lonkar, Fahad Panolan, Vraj Patel, Saket Saurabh","doi":"10.1007/s00453-023-01206-z","DOIUrl":"10.1007/s00453-023-01206-z","url":null,"abstract":"<div>The Feedback Vertex Set problem is undoubtedly one of the most well-studied problems in Parameterized Complexity. In this problem, given an undirected graph G and a non-negative integer k, the objective is to test whether there exists a subset (Ssubseteq V(G)) of size at most k such that (G-S) is a forest. After a long line of improvement, recently, Li and Nederlof [TALG, 2022] designed a randomized algorithm for the problem running in time ({mathcal {O}}^{star }(2.7^k)^{*}). In the Parameterized Complexity literature, several problems around Feedback Vertex Set have been studied. \u0000Some of these include Independent Feedback Vertex Set (where the set S should be an independent set in G), Almost Forest Deletion and Pseudoforest Deletion. In Pseudoforest Deletion, each connected component in (G-S) has at most one cycle in it. However, in Almost Forest Deletion, the input is a graph G and non-negative integers (k,ell in {{mathbb {N}}}), and the objective is to test whether there exists a vertex subset S of size at most k, such that (G-S) is (ell ) edges away from a forest. In this paper, using the methodology of Li and Nederlof [TALG, 2022], we obtain the current fastest algorithms for all these problems. In particular we obtain the following randomized algorithms. <ol>\u0000 <li>\u0000 1.\u0000 \u0000 Independent Feedback Vertex Set can be solved in time ({mathcal {O}}^{star }(2.7^k)).\u0000 \u0000 </li>\u0000 <li>\u0000 2.\u0000 \u0000 Pseudo Forest Deletion can be solved in time ({mathcal {O}}^{star }(2.85^k)).\u0000 \u0000 </li>\u0000 <li>\u0000 3.\u0000 \u0000 Almost Forest Deletion can be solved in time ({mathcal {O}}^{star }(min {2.85^k cdot 8.54^ell ,2.7^k cdot 36.61^ell ,3^k cdot 1.78^ell })).\u0000 \u0000 </li>\u0000 </ol></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 5","pages":"1657 - 1699"},"PeriodicalIF":0.9,"publicationDate":"2024-01-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139589721","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

An Efficient Algorithm for All-Pairs Bounded Edge Connectivity 全对有界边缘连接的高效算法

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-01-22 DOI: 10.1007/s00453-023-01203-2

Shyan Akmal, Ce Jin

{"title":"An Efficient Algorithm for All-Pairs Bounded Edge Connectivity","authors":"Shyan Akmal, Ce Jin","doi":"10.1007/s00453-023-01203-2","DOIUrl":"10.1007/s00453-023-01203-2","url":null,"abstract":"<div>Our work concerns algorithms for a variant of Maximum Flow in unweighted graphs. In the All-Pairs Connectivity (APC) problem, we are given a graph G on n vertices and m edges, and are tasked with computing the maximum number of edge-disjoint paths from s to t (equivalently, the size of a minimum (s, t)-cut) in G, for all pairs of vertices (s, t). Significant algorithmic breakthroughs have recently shown that over undirected graphs, APC can be solved in (n^{2+o(1)}) time, which is essentially optimal. In contrast, the true time complexity of APC over directed graphs remains open: this problem can be solved in ({tilde{O}}(m^omega )) time, where (omega in [2, 2.373)) is the exponent of matrix multiplication, but no matching conditional lower bound is known. Following [Abboud et al. In: 46th International colloquium on automata, languages, and programming, ICALP 2019, July 9-12, 2019, Patras, Greece, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2019], we study a bounded version of ({{textsf {APC}}}) called the k-Bounded All Pairs Connectivity (k-APC) problem. In this variant of APC, we are given an integer k in addition to the graph G, and are now tasked with reporting the size of a minimum (s, t)-cut only for pairs (s, t) of vertices with min-cut value less than k (if the minimum (s, t)-cut has size at least k, we can just report it is “large” instead of computing the exact value). Our main result is an ({tilde{O}}((kn)^omega )) time algorithm solving k-APC in directed graphs. This is the first algorithm which solves k-APC faster than simply solving the more general APC problem exactly, for all (kge 3). This runtime is ({{tilde{O}}}(n^omega )) for all (kle {{,textrm{poly},}}(log n)), which essentially matches the optimal runtime for the (k=1) case of k-APC, under popular conjectures from fine-grained complexity. Previously, this runtime was only achieved for (kle 2) in general directed graphs [Georgiadis et al. In: 44th international colloquium on automata, languages, and programming (ICALP 2017), volume 80 of Leibniz International Proceedings in Informatics (LIPIcs), Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2017], and for (kle o(sqrt{log n})) in the special case of directed acyclic graphs [Abboud et al. In: 46th international colloquium on automata, languages, and programming, ICALP 2019, July 9–12, 2019, Patras, Greece, Schloss Dagstuhl-Leibniz-Zentrum für Informatik, 2019]. Our result employs the same algebraic framework used in previous work, introduced by [Cheung et al. I","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 5","pages":"1623 - 1656"},"PeriodicalIF":0.9,"publicationDate":"2024-01-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01203-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"139554992","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":4,"RegionCategory":"计算机科学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"OA","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Truthful Matching with Online Items and Offline Agents 在线项目和离线代理的真实匹配

IF 0.9 4区计算机科学

Algorithmica Pub Date : 2024-01-16 DOI: 10.1007/s00453-023-01202-3

Michal Feldman, Federico Fusco, Stefano Leonardi, Simon Mauras, Rebecca Reiffenhäuser

引用次数: 0