Algorithmica最新文献

{"title":"Combinatorial Reallocation Mechanisms","authors":"Liad Blumrosen,&nbsp;Shahar Dobzinski","doi":"10.1007/s00453-023-01191-3","DOIUrl":"10.1007/s00453-023-01191-3","url":null,"abstract":"<div><p>We consider reallocation problems in settings where the initial endowment of each agent consists of a subset of the resources. The private information of the players is their value for every possible subset of the resources. The goal is to redistribute resources among agents to maximize efficiency. Monetary transfers are allowed, but participation is voluntary. We develop incentive-compatible, individually-rational and budget-balanced mechanisms for two settings in which agents have complex multi-parameter valuations, both settings include double auctions as a special case. The first setting is combinatorial exchanges, where we provide a mechanism that achieves a logarithmic approximation to the optimal efficiency when valuations are subadditive. The second setting is Arrow–Debreu markets for a single divisible good, where we present a constant approximation mechanism. The first result is given for a Bayesian setting, where the latter result is for prior-free environments.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1246 - 1262"},"PeriodicalIF":0.9,"publicationDate":"2023-12-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138581205","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}

{"title":"Server Cloud Scheduling","authors":"Marten Maack,&nbsp;Friedhelm Meyer auf der Heide,&nbsp;Simon Pukrop","doi":"10.1007/s00453-023-01189-x","DOIUrl":"10.1007/s00453-023-01189-x","url":null,"abstract":"<div><p>Consider a set of jobs connected to a directed acyclic task graph with a fixed source and sink. The edges of this graph model precedence constraints and the jobs have to be scheduled with respect to those. We introduce the server cloud scheduling problem, in which the jobs have to be processed either on a single local machine or on one of infinitely many cloud machines. For each job, processing times both on the server and in the cloud are given. Furthermore, for each edge in the task graph, a communication delay is included in the input and has to be taken into account if one of the two jobs is scheduled on the server and the other in the cloud. The server processes jobs sequentially, whereas the cloud can serve as many as needed in parallel, but induces costs. We consider both makespan and cost minimization. The main results are an FPTAS for the makespan objective for graphs with a constant source and sink dividing cut and strong hardness for the case with unit processing times and delays.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1210 - 1245"},"PeriodicalIF":0.9,"publicationDate":"2023-12-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01189-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138566328","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}

{"title":"Maximum Matching Sans Maximal Matching: A New Approach for Finding Maximum Matchings in the Data Stream Model","authors":"Moran Feldman,&nbsp;Ariel Szarf","doi":"10.1007/s00453-023-01190-4","DOIUrl":"10.1007/s00453-023-01190-4","url":null,"abstract":"<div><p>The problem of finding a maximum size matching in a graph (known as the <i>maximum matching</i> problem) is one of the most classical problems in computer science. Despite a significant body of work dedicated to the study of this problem in the data stream model, the state-of-the-art single-pass semi-streaming algorithm for it is still a simple greedy algorithm that computes a maximal matching, and this way obtains <span>({1}/{2})</span>-approximation. Some previous works described two/three-pass algorithms that improve over this approximation ratio by using their second and third passes to improve the above mentioned maximal matching. One contribution of this paper continues this line of work by presenting new three-pass semi-streaming algorithms that work along these lines and obtain improved approximation ratios of 0.6111 and 0.5694 for triangle-free and general graphs, respectively. Unfortunately, a recent work Konrad and Naidu (Approximation, randomization, and combinatorial optimization. Algorithms and techniques, APPROX/RANDOM 2021, August 16–18, 2021. LIPIcs, vol 207, pp 19:1–19:18, 2021. https://doi.org/10.4230/LIPIcs.APPROX/RANDOM.2021.19) shows that the strategy of constructing a maximal matching in the first pass and then improving it in further passes has limitations. Additionally, this technique is unlikely to get us closer to single-pass semi-streaming algorithms obtaining a better than <span>({1}/{2})</span>-approximation. Therefore, it is interesting to come up with algorithms that do something else with their first pass (we term such algorithms non-maximal-matching-first algorithms). No such algorithms were previously known, and the main contribution of this paper is describing such algorithms that obtain approximation ratios of 0.5384 and 0.5555 in two and three passes, respectively, for general graphs. The main significance of our results is not in the numerical improvements, but in demonstrating the potential of non-maximal-matching-first algorithms.\u0000</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1173 - 1209"},"PeriodicalIF":0.9,"publicationDate":"2023-11-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138537658","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}

{"title":"Complexity Issues on of Secondary Domination Number","authors":"Joanna Raczek","doi":"10.1007/s00453-023-01192-2","DOIUrl":"10.1007/s00453-023-01192-2","url":null,"abstract":"<div><p>In this paper we study the computational complexity issues of the problem of secondary domination (known also as (1, 2)-domination) in several graph classes. We also study the computational complexity of the problem of determining whether the domination and secondary domination numbers are equal. In particular, we study the influence of triangles and vertices of degree 1 on these numbers. Also, an optimal algorithm for finding a minimum secondary dominating set in trees is presented.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1163 - 1172"},"PeriodicalIF":0.9,"publicationDate":"2023-11-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01192-2.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138543430","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}

{"title":"Approximation Algorithms for the Min–Max Mixed Rural Postmen Cover Problem and Its Variants","authors":"Liting Huang,&nbsp;Wei Yu,&nbsp;Zhaohui Liu","doi":"10.1007/s00453-023-01187-z","DOIUrl":"10.1007/s00453-023-01187-z","url":null,"abstract":"<div><p>In this work, we introduce a multi-vehicle (or multi-postman) extension of the classical Mixed Rural Postman Problem, which we call the Min–Max Mixed Rural Postmen Cover Problem (MRPCP). The MRPCP is defined on a mixed graph <span>(G=(V,E,A))</span>, where <i>V</i> is the vertex set, <i>E</i> denotes the (undirected) edge set and <i>A</i> represents the (directed) arc set. Let <span>(Fsubseteq E)</span> (<span>(Hsubseteq A)</span>) be the set of required edges (required arcs). There is a nonnegative weight associated with each edge and arc. The objective is to determine no more than <i>k</i> closed walks to cover all the required edges in <i>F</i> and all the required arcs in <i>H</i> such that the weight of the maximum weight closed walk is minimized. By replacing closed walks with (open) walks in the MRPCP, we obtain the Min–Max Mixed Rural Postmen Walk Cover Problem (MRPWCP). The Min–Max Mixed Chinese Postmen Cover Problem (MCPCP) is a special case of the MRPCP where <span>(F=E)</span> and <span>(H=A)</span>. The Min–Max Stacker Crane Cover Problem (SCCP) is another special case of the MRPCP where <span>(F=emptyset )</span> and <span>(H=A)</span> For the MRPCP with the input graph satisfying the weakly symmetric condition, i.e., for each arc there exists a parallel edge whose weight is not greater than this arc, we devise a <span>(frac{27}{4})</span>-approximation algorithm. This algorithm achieves an approximation ratio of <span>(frac{33}{5})</span> for the SCCP with the weakly symmetric condition. Moreover, we obtain the first 5-approximation algorithm (4-approximation algorithm) for the MRPWCP (MCPCP) with the weakly symmetric condition.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1135 - 1162"},"PeriodicalIF":0.9,"publicationDate":"2023-11-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"138537661","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}

{"title":"On Maximizing Sums of Non-monotone Submodular and Linear Functions","authors":"Benjamin Qi","doi":"10.1007/s00453-023-01183-3","DOIUrl":"10.1007/s00453-023-01183-3","url":null,"abstract":"<div><p>We study the problem of <span>Regularized Unconstrained Submodular</span> <span>Maximization</span> (<span>RegularizedUSM</span>) as defined by Bodek and Feldman (Maximizing sums of non-monotone submodular and linear functions: understanding the unconstrained case, arXiv:2204.03412, 2022): given query access to a non-negative submodular function <span>(f:2^{{mathcal {N}}}rightarrow {mathbb {R}}_{ge 0})</span> and a linear function <span>(ell :2^{{mathcal {N}}}rightarrow {mathbb {R}})</span> over the same ground set <span>({mathcal {N}})</span>, output a set <span>(Tsubseteq {mathcal {N}})</span> approximately maximizing the sum <span>(f(T)+ell (T))</span>. An algorithm is said to provide an <span>((alpha ,beta ))</span>-approximation for <span>RegularizedUSM</span> if it outputs a set <i>T</i> such that <span>({mathbb {E}}[f(T)+ell (T)]ge max _{Ssubseteq {mathcal {N}}}[alpha cdot f(S)+beta cdot ell (S)])</span>. We also consider the setting where <i>S</i> and <i>T</i> are constrained to be independent in a given matroid, which we refer to as <span>Regularized</span> <i>Constrained</i> <span>Submodular Maximization</span> (<span>RegularizedCSM</span>). The special case of <span>RegularizedCSM</span> with monotone <i>f</i> has been extensively studied (Sviridenko et al. in Math Oper Res 42(4):1197–1218, 2017; Feldman in Algorithmica 83(3):853–878, 2021; Harshaw et al., in: International conference on machine learning, PMLR, 2634–2643, 2019), whereas we are aware of only one prior work that studies <span>RegularizedCSM</span> with non-monotone <i>f</i> (Lu et al. in Optimization 1–27, 2023), and that work constrains <span>(ell )</span> to be non-positive. In this work, we provide improved <span>((alpha ,beta ))</span>-approximation algorithms for both <span>RegularizedUSM</span> and <span>RegularizedCSM</span> with non-monotone <i>f</i>. Specifically, we are the first to provide nontrivial <span>((alpha ,beta ))</span>-approximations for <span>RegularizedCSM</span> where the sign of <span>(ell )</span> is unconstrained, and the <span>(alpha )</span> we obtain for <span>RegularizedUSM</span> improves over (Bodek and Feldman in Maximizing sums of non-monotone submodular and linear functions: understanding the unconstrained case, arXiv:2204.03412, 2022) for all <span>(beta in (0,1))</span>. We also prove new inapproximability results for <span>RegularizedUSM</span> and <span>RegularizedCSM</span>, as well as 0.478-inapproximability for maximizing a submodular function where <i>S</i> and <i>T</i> are subject to a cardinality constraint, improving a 0.491-inapproximability result due to Oveis Gharan and Vondrak (in: Proceedings of the twenty-second annual ACM-SIAM symposium on discrete algorithms, SIAM, pp 1098–1116, 2011).</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1080 - 1134"},"PeriodicalIF":0.9,"publicationDate":"2023-11-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01183-3.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"136346345","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}

{"title":"Near-Optimal Search Time in (delta )-Optimal Space, and Vice Versa","authors":"Tomasz Kociumaka,&nbsp;Gonzalo Navarro,&nbsp;Francisco Olivares","doi":"10.1007/s00453-023-01186-0","DOIUrl":"10.1007/s00453-023-01186-0","url":null,"abstract":"<div><p>Two recent lower bounds on the compressibility of repetitive sequences, <span>(delta le gamma )</span>, have received much attention. It has been shown that a length-<i>n</i> string <i>S</i> over an alphabet of size <span>(sigma )</span> can be represented within the optimal <span>(O(delta log tfrac{nlog sigma }{delta log n}))</span> space, and further, that within that space one can find all the <i>occ</i> occurrences in <i>S</i> of any length-<i>m</i> pattern in time <span>(O(mlog n + occ log ^epsilon n))</span> for any constant <span>(epsilon &gt;0)</span>. Instead, the near-optimal search time <span>(O(m+({occ+1})log ^epsilon n))</span> has been achieved only within <span>(O(gamma log frac{n}{gamma }))</span> space. Both results are based on considerably different locally consistent parsing techniques. The question of whether the better search time could be supported within the <span>(delta )</span>-optimal space remained open. In this paper, we prove that both techniques can indeed be combined to obtain the best of both worlds: <span>(O(m+({occ+1})log ^epsilon n))</span> search time within <span>(O(delta log tfrac{nlog sigma }{delta log n}))</span> space. Moreover, the number of occurrences can be computed in <span>(O(m+log ^{2+epsilon }n))</span> time within <span>(O(delta log tfrac{nlog sigma }{delta log n}))</span> space. We also show that an extra sublogarithmic factor on top of this space enables optimal <span>(O(m+occ))</span> search time, whereas an extra logarithmic factor enables optimal <i>O</i>(<i>m</i>) counting time.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1031 - 1056"},"PeriodicalIF":0.9,"publicationDate":"2023-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135635197","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}

{"title":"A Deterministic Parallel Reduction from Weighted Matroid Intersection Search to Decision","authors":"Sumanta Ghosh,&nbsp;Rohit Gurjar,&nbsp;Roshan Raj","doi":"10.1007/s00453-023-01184-2","DOIUrl":"10.1007/s00453-023-01184-2","url":null,"abstract":"<div><p>Given two matroids on the same ground set, the matroid intersection problem asks for a common base, i.e., a subset of the ground set that is a base in both the matroids. The weighted version of the problem asks for a common base with maximum weight.\u0000 In the case of linearly representable matroids, the weighted version is known to have a randomized parallel (RNC) algorithm based on the isolation lemma, when the given weights are polynomially bounded (Narayanan et al. in SIAM J Comput 23(2): 387–397, 1994). Finding a deterministic parallel (NC) algorithm, even for the unweighted decision question, has been a long-standing open question. The above RNC algorithm can be viewed as a randomized reduction from weighted search to weighted decision, which works for arbitrary matroids. We derandomize this reduction, i.e., we give an NC algorithm for weighted matroid intersection search using oracle access to its decision version.</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1057 - 1079"},"PeriodicalIF":0.9,"publicationDate":"2023-11-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135634097","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}

{"title":"On Finding Constrained Independent Sets in Cycles","authors":"Ishay Haviv","doi":"10.1007/s00453-023-01179-z","DOIUrl":"10.1007/s00453-023-01179-z","url":null,"abstract":"<div><p>A subset of <span>([n] = {1,2,ldots ,n})</span> is called stable if it forms an independent set in the cycle on the vertex set [<i>n</i>]. In 1978, Schrijver proved via a topological argument that for all integers <i>n</i> and <i>k</i> with <span>(n ge 2k)</span>, the family of stable <i>k</i>-subsets of [<i>n</i>] cannot be covered by <span>(n-2k+1)</span> intersecting families. We study two total search problems whose totality relies on this result. In the first problem, denoted by <span>(textsc {Schrijver}(n,k,m))</span>, we are given an access to a coloring of the stable <i>k</i>-subsets of [<i>n</i>] with <span>(m = m(n,k))</span> colors, where <span>(m le n-2k+1)</span>, and the goal is to find a pair of disjoint subsets that are assigned the same color. While for <span>(m = n-2k+1)</span> the problem is known to be <span>(textsf{PPA})</span>-complete, we prove that for <span>(m &lt; d cdot lfloor frac{n}{2k+d-2} rfloor )</span>, with <i>d</i> being any fixed constant, the problem admits an efficient algorithm. For <span>(m = lfloor n/2 rfloor -2k+1)</span>, we prove that the problem is efficiently reducible to the <span>(textsc {Kneser})</span> problem. Motivated by the relation between the problems, we investigate the family of <i>unstable</i> <i>k</i>-subsets of [<i>n</i>], which might be of independent interest. In the second problem, called Unfair Independent Set in Cycle, we are given <span>(ell )</span> subsets <span>(V_1, ldots , V_ell )</span> of [<i>n</i>], where <span>(ell le n-2k+1)</span> and <span>(|V_i| ge 2)</span> for all <span>(i in [ell ])</span>, and the goal is to find a stable <i>k</i>-subset <i>S</i> of [<i>n</i>] satisfying the constraints <span>(|S cap V_i| le |V_i|/2)</span> for <span>(i in [ell ])</span>. We prove that the problem is <span>(textsf{PPA})</span>-complete and that its restriction to instances with <span>(n=3k)</span> is at least as hard as the Cycle plus Triangles problem, for which no efficient algorithm is known. On the contrary, we prove that there exists a constant <i>c</i> for which the restriction of the problem to instances with <span>(n ge c cdot k)</span> can be solved in polynomial time.\u0000</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"1006 - 1030"},"PeriodicalIF":0.9,"publicationDate":"2023-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135774563","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}

{"title":"Parameterised and Fine-Grained Subgraph Counting, Modulo 2","authors":"Leslie Ann Goldberg,&nbsp;Marc Roth","doi":"10.1007/s00453-023-01178-0","DOIUrl":"10.1007/s00453-023-01178-0","url":null,"abstract":"<div><p>Given a class of graphs <span>({mathcal {H}})</span>, the problem <span>(oplus text {{Sub}}({mathcal {H}}))</span> is defined as follows. The input is a graph <span>(Hin {mathcal {H}})</span> together with an arbitrary graph <i>G</i>. The problem is to compute, modulo 2, the number of subgraphs of <i>G</i> that are isomorphic to <i>H</i>. The goal of this research is to determine for which classes <span>({mathcal {H}})</span> the problem <span>(oplus text {{Sub}}({mathcal {H}}))</span> is fixed-parameter tractable (FPT), i.e., solvable in time <span>(f(|H|)cdot |G|^{O(1)})</span>. Curticapean, Dell, and Husfeldt (ESA 2021) conjectured that <span>(oplus text {{Sub}}({mathcal {H}}))</span> is FPT if and only if the class of allowed patterns <span>({mathcal {H}})</span> is <i>matching splittable</i>, which means that for some fixed <i>B</i>, every <span>(H in {mathcal {H}})</span> can be turned into a matching (a graph in which every vertex has degree at most 1) by removing at most <i>B</i> vertices. Assuming the randomised Exponential Time Hypothesis, we prove their conjecture for (I) all hereditary pattern classes <span>({mathcal {H}})</span>, and (II) all tree pattern classes, i.e., all classes <span>({mathcal {H}})</span> such that every <span>(Hin {mathcal {H}})</span> is a tree. We also establish almost tight fine-grained upper and lower bounds for the case of hereditary patterns (I).</p></div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"86 4","pages":"944 - 1005"},"PeriodicalIF":0.9,"publicationDate":"2023-11-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-023-01178-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"135936342","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}