Algorithmica最新文献_第2页

Smoothed Analysis of the 2-Opt Heuristic for the TSP under Gaussian Noise 高斯噪声下TSP的2-Opt启发式平滑分析

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-07-21 DOI: 10.1007/s00453-025-01335-7

Marvin Künnemann, Bodo Manthey, Rianne Veenstra

{"title":"Smoothed Analysis of the 2-Opt Heuristic for the TSP under Gaussian Noise","authors":"Marvin Künnemann, Bodo Manthey, Rianne Veenstra","doi":"10.1007/s00453-025-01335-7","DOIUrl":"10.1007/s00453-025-01335-7","url":null,"abstract":"<div>The 2-opt heuristic is a very simple local search heuristic for the traveling salesperson problem. In practice it usually converges quickly to solutions within a few percentages of optimality. In contrast to this, its running-time is exponential and its approximation performance is poor in the worst case. Englert, Röglin, and Vöcking (Algorithmica, 2014) provided a smoothed analysis in the so-called one-step model in order to explain the performance of 2-opt on d-dimensional Euclidean instances, both in terms of running-time and in terms of approximation ratio. However, translating their results to the classical model of smoothed analysis, where points are perturbed by Gaussian distributions with standard deviation (sigma ), yields only weak bounds. We prove bounds that are polynomial in n and (1/sigma ) for the smoothed running-time with Gaussian perturbations. In addition, our analysis for Euclidean distances is much simpler than the existing smoothed analysis. Furthermore, we prove a smoothed approximation ratio of (O(log (1/sigma ))). This bound is almost tight, as we also provide a lower bound of (Omega (frac{log n}{log log n})) for (sigma = O(1/sqrt{n})). Our main technical novelty here is that, different from existing smoothed analyses, we do not separately analyze objective values of the global and local optimum on all inputs (which only allows for a bound of (O(1/sigma ))), but simultaneously bound them on the same input.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 11","pages":"1518 - 1563"},"PeriodicalIF":0.7,"publicationDate":"2025-07-21","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01335-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145090695","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

Boosting Double Coverage for k-Server via Imperfect Predictions 通过不完美的预测提高k-Server的双重覆盖率

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-07-10 DOI: 10.1007/s00453-025-01333-9

Alexander Lindermayr, Nicole Megow, Bertrand Simon

{"title":"Boosting Double Coverage for k-Server via Imperfect Predictions","authors":"Alexander Lindermayr, Nicole Megow, Bertrand Simon","doi":"10.1007/s00453-025-01333-9","DOIUrl":"10.1007/s00453-025-01333-9","url":null,"abstract":"<div>We study the online k-server problem in a learning-augmented setting. While in the traditional online model, an algorithm has no information about the request sequence, we assume that there is given some advice (for example, machine-learned predictions) on an algorithm’s decision. There is, however, no guarantee on the quality of the prediction, and it might be far from being correct. Our main result is a learning-augmented variation of the well-known Double Coverage algorithm for k-server on the line (Chrobak et al. in SIAM J Discret Math 4(2):172–181, 1991) in which we integrate predictions as well as our trust into their quality. We give an error-dependent worst-case performance guarantee, which is a function of a user-defined confidence parameter, and which interpolates smoothly between an optimal performance in case that all predictions are correct, and the best-possible performance regardless of the prediction quality. When given good predictions, we improve upon known lower bounds for online algorithms without advice. We further show that our algorithm achieves for any k almost optimal guarantees, within a class of deterministic learning-augmented algorithms respecting local and memoryless properties. Our algorithm outperforms a previously proposed (more general) learning-augmented algorithm. It is noteworthy that the previous algorithm crucially exploits memory, whereas our algorithm is memoryless. Finally, we demonstrate in experiments the practicability and the superior performance of our algorithm on real-world data.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 11","pages":"1477 - 1517"},"PeriodicalIF":0.7,"publicationDate":"2025-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01333-9.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"145090490","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

Interweaving Real-Time Jobs with Energy Harvesting to Maximize Throughput 交织实时作业与能量收集，以最大限度地提高吞吐量

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-07-10 DOI: 10.1007/s00453-025-01331-x

Baruch Schieber, Bhargav Samineni, Soroush Vahidi

{"title":"Interweaving Real-Time Jobs with Energy Harvesting to Maximize Throughput","authors":"Baruch Schieber, Bhargav Samineni, Soroush Vahidi","doi":"10.1007/s00453-025-01331-x","DOIUrl":"10.1007/s00453-025-01331-x","url":null,"abstract":"<div>Motivated by batteryless IoT devices, we consider the following scheduling problem. The input includes n unit time jobs (mathcal{J}= left{ J_1, ldots, J_n right} ), where each job (J_i) has a release time (r_i), due date (d_i), energy requirement (e_i), and weight (w_i). We consider time to be slotted; hence, all time related job values refer to slots. Let (T=max _ileft{ d_i right} ). The input also includes an h(t) value for every time slot t (left( 1 le t le T right) ), which is the energy harvestable on that slot. Energy is harvested at time slots when no job is executed. The objective is to find a feasible schedule that maximizes the weight of the scheduled jobs. A schedule is feasible if for every job (J_j) in the schedule and its corresponding slot (t_j), (t_{j} ne t_{j'}) if ({j} ne {j'}), (r_j le t_j le d_j), and the available energy before (t_j) is at least (e_j). To the best of our knowledge, we are the first to consider the theoretical aspects of this problem. In this work we show the following. (1) A polynomial time algorithm when all jobs have identical (r_i, d_i) and (w_i). (2) A (frac{1}{2})-approximation algorithm when all jobs have identical (w_i) but arbitrary (r_i) and (d_i). (3) An FPTAS when all jobs have identical (r_i) and (d_i) but arbitrary (w_i). (4) Reductions showing that all the variants of the problem in which at least one of the attributes (r_i), (d_i), or (w_i) are not identical for all jobs are (textsf{NP-Hard}).</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 10","pages":"1453 - 1473"},"PeriodicalIF":0.7,"publicationDate":"2025-07-10","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01331-x.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144934513","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 Price of Hierarchical Clustering 层次聚类的代价

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-07-02 DOI: 10.1007/s00453-025-01327-7

Anna Arutyunova, Heiko Röglin

{"title":"The Price of Hierarchical Clustering","authors":"Anna Arutyunova, Heiko Röglin","doi":"10.1007/s00453-025-01327-7","DOIUrl":"10.1007/s00453-025-01327-7","url":null,"abstract":"<div>Hierarchical Clustering is a popular tool for understanding the hereditary properties of a data set. Such a clustering is actually a sequence of clusterings that starts with the trivial clustering in which every data point forms its own cluster and then successively merges two existing clusters until all points are in the same cluster. A hierarchical clustering achieves an approximation factor of (alpha ) if the costs of each k-clustering in the hierarchy are at most (alpha ) times the costs of an optimal k-clustering. We study as cost functions the maximum (discrete) radius of any cluster (k-center problem) and the maximum diameter of any cluster (k-diameter problem). In general, the optimal clusterings do not form a hierarchy and hence an approximation factor of 1 cannot be achieved. We call the smallest approximation factor that can be achieved for any instance the price of hierarchy. For the k-diameter problem we improve the upper bound on the price of hierarchy to (3+2sqrt{2}approx 5.83). Moreover we significantly improve the lower bounds for k-center and k-diameter, proving a price of hierarchy of exactly 4 and (3+2sqrt{2}), respectively.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 10","pages":"1420 - 1452"},"PeriodicalIF":0.7,"publicationDate":"2025-07-02","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01327-7.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144934796","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 Farthest Color Voronoi Diagram in the Plane 平面上最远的彩色Voronoi图

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-06-06 DOI: 10.1007/s00453-025-01311-1

Ioannis Mantas, Evanthia Papadopoulou, Rodrigo I. Silveira, Zeyu Wang

{"title":"The Farthest Color Voronoi Diagram in the Plane","authors":"Ioannis Mantas, Evanthia Papadopoulou, Rodrigo I. Silveira, Zeyu Wang","doi":"10.1007/s00453-025-01311-1","DOIUrl":"10.1007/s00453-025-01311-1","url":null,"abstract":"<div>The farthest-color Voronoi diagram (FCVD) is defined on a set of n points in the plane, where each point is labeled with one of m colors. The colored points constitute a family (mathcal {P}) of m clusters (sets) of points in the plane whose farthest-site Voronoi diagram is the FCVD. The diagram finds applications in problems related to facility location, shape matching, data imprecision, and others. In this paper we present structural properties of the FCVD, refine its combinatorial complexity bounds, and present efficient algorithms for its construction. We show that the complexity of the diagram is (O(nalpha (m)+textit{str}(mathcal {P}))), where (textit{str}(mathcal {P})) is a parameter reflecting the number of straddles between pairs of clusters, which is (O(m(n-m))). The bound reduces to (O(n+ textit{str}(mathcal {P}))) if the clusters are pairwise non-crossing. We also present a lower bound, establishing that the complexity of the FCVD can be (Omega (n+m^2)), even if the clusters have pairwise disjoint convex hulls. Our algorithm runs in (O((n+textit{str}(mathcal {P}))log ^3 n))-time, and in certain special cases in (O(nlog n)) time.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 10","pages":"1393 - 1419"},"PeriodicalIF":0.7,"publicationDate":"2025-06-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01311-1.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144934795","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

Space-Efficient Data Structure for Next/Previous Larger/Smaller Value Queries 下/上/大/小值查询的空间高效数据结构

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-31 DOI: 10.1007/s00453-025-01325-9

Seungbum Jo, Geunho Kim

引用次数: 0

Correction: On the Parameterized Complexity of Controlling Amendment and Successive Winners 修正：关于控制修正和连续赢家的参数化复杂性

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-29 DOI: 10.1007/s00453-025-01328-6

Yongjie Yang

引用次数: 0

Fair Repetitive Interval Scheduling 公平重复间隔调度

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-26 DOI: 10.1007/s00453-025-01322-y

Klaus Heeger, Danny Hermelin, Yuval Itzhaki, Hendrik Molter, Dvir Shabtay

{"title":"Fair Repetitive Interval Scheduling","authors":"Klaus Heeger, Danny Hermelin, Yuval Itzhaki, Hendrik Molter, Dvir Shabtay","doi":"10.1007/s00453-025-01322-y","DOIUrl":"10.1007/s00453-025-01322-y","url":null,"abstract":"<div>Fair resource allocation is undoubtedly a crucial factor in customer satisfaction in several scheduling scenarios. This is especially apparent in repetitive scheduling models where the same clients repeatedly submit jobs on a daily basis. In this paper, we aim to analyze a repetitive scheduling model involving a set of n clients and a set of m days. On every day, each client submits a request to process a job exactly within a specific time interval, which may vary from day to day, modeling the scenario where the scheduling is done Just-In-Time. The daily schedule is executed on a single machine that can process a single job at a time, therefore it is not possible to schedule jobs with intersecting time intervals. Accordingly, a feasible solution corresponds to sets of jobs with disjoint time intervals, one set per day. We define the quality of service that a client receives as the number of executed jobs over the m days period. Our objective is to provide a feasible solution where each client has at least k days where his jobs are processed. We prove that this problem is NP-hard even under various natural restrictions such as identical processing times and day-independent due dates. We also provide efficient algorithms for several special cases and analyze the parameterized tractability of the problem with respect to several parameters, providing both parameterized hardness and tractability results.\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 9","pages":"1340 - 1368"},"PeriodicalIF":0.7,"publicationDate":"2025-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144891544","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

Reallocation Problems with Minimum Completion Time 最小完成时间下的再分配问题

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-16 DOI: 10.1007/s00453-025-01320-0

Toshimasa Ishii, Jun Kawahara, Kazuhisa Makino, Hirotaka Ono

{"title":"Reallocation Problems with Minimum Completion Time","authors":"Toshimasa Ishii, Jun Kawahara, Kazuhisa Makino, Hirotaka Ono","doi":"10.1007/s00453-025-01320-0","DOIUrl":"10.1007/s00453-025-01320-0","url":null,"abstract":"<div>Reallocation scheduling is one of the most fundamental problems in various areas such as supply chain management, logistics, and transportation science. In this paper, we introduce the reallocation problem that models the scheduling in which products are with fixed cost (e.g., transition time), non-fungible, and reallocated among warehouses in parallel, and comprehensively study the complexity of the problem under various settings of the transition time, product size, and capacities. We show that the problem can be solved in polynomial time for a fundamental setting where the product size and transition time are both uniform. We also show that the feasibility of the problem is NP-complete even for little more general settings, which implies that no polynomial-time algorithm constructs a feasible schedule of the problem unless P(=)NP. We then consider to solve the problem by relaxing capacity constraints, which we call the capacity augmentation, and derive a reallocation schedule feasible with the augmentation such that the completion time is at most the optimal of the original problem. When the warehouse capacity is sufficiently large, we design constant-factor approximation algorithms. We also show the relationship between the reallocation problem and the bin packing problem when the warehouse and carry-in capacities are sufficiently large.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 9","pages":"1311 - 1339"},"PeriodicalIF":0.7,"publicationDate":"2025-05-16","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144891346","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

How Fitness Aggregation Methods Affect the Performance of Competitive CoEAs on Bilinear Problems 适应度聚合方法如何影响竞争coea在双线性问题上的性能

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-15 DOI: 10.1007/s00453-025-01313-z

Mario Alejandro Hevia Fajardo, Per Kristian Lehre

{"title":"How Fitness Aggregation Methods Affect the Performance of Competitive CoEAs on Bilinear Problems","authors":"Mario Alejandro Hevia Fajardo, Per Kristian Lehre","doi":"10.1007/s00453-025-01313-z","DOIUrl":"10.1007/s00453-025-01313-z","url":null,"abstract":"<div>Competitive co-evolutionary algorithms (CoEAs) do not rely solely on an external function to assign fitness values to sampled solutions. Instead, they use the aggregation of outcomes from interactions between competing solutions allowing to rank solutions and make selection decisions. This makes CoEAs a useful tool for optimisation problems that have intrinsically interactive domains. Over the past decades, many ways to aggregate the outcomes of interactions have been considered. At the moment, it is unclear which of these is the best choice. Previous research is fragmented and most of the fitness aggregation methods (fitness measures) proposed have only been studied empirically. We argue that a proper understanding of the dynamics of CoEAs and their fitness measures can only be achieved through rigorous analysis of their behaviour. In this work we make a step towards this goal by using runtime analysis to study two commonly used fitness measures. We show a dichotomy in the behaviour of a ((1, lambda )) CoEA when optimising a Bilinear problem. The algorithm finds a solution near the Nash equilibrium in polynomial time with high probability if the worst interaction is used as a fitness measure but is inefficient if the average of all interactions is used instead.\u0000</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 9","pages":"1274 - 1310"},"PeriodicalIF":0.7,"publicationDate":"2025-05-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01313-z.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144891488","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