Algorithmica最新文献_第9页

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

Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size 具有与图大小无关的平摊时间复杂度的枚举graphlet

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-13 DOI: 10.1007/s00453-025-01312-0

Alessio Conte, Roberto Grossi, Yasuaki Kobayashi, Kazuhiro Kurita, Davide Rucci, Takeaki Uno, Kunihiro Wasa

{"title":"Enumerating Graphlets with Amortized Time Complexity Independent of Graph Size","authors":"Alessio Conte, Roberto Grossi, Yasuaki Kobayashi, Kazuhiro Kurita, Davide Rucci, Takeaki Uno, Kunihiro Wasa","doi":"10.1007/s00453-025-01312-0","DOIUrl":"10.1007/s00453-025-01312-0","url":null,"abstract":"<div>Graphlets of order k in a graph G are connected subgraphs induced by k nodes (called k-graphlets) or by k edges (called edge k-graphlets). They are among the interesting subgraphs in network analysis to get insights on both the local and global structure of a network. While several algorithms exist for discovering and enumerating graphlets, the amortized time complexity of such algorithms typically depends on the size of the graph G, or its maximum degree. In real networks, even the latter can be in the order of millions, whereas k is typically required to be a small value. In this paper we provide the first algorithm to list all graphlets of order k in a graph (G=(V,E)) with an amortized time complexity depending solely on the order k, contrarily to previous approaches where the cost depends also on the size of G or its maximum degree. Specifically, we show that it is possible to list k-graphlets in (O(k^2)) time per solution, and to list edge k-graphlets in O(k) time per solution. Furthermore we show that, if the input graph has bounded degree, then the amortized time for listing k-graphlets is reduced to O(k). Whenever (k = O(1)), as it is often the case in practical settings, these algorithms are the first to achieve constant time per solution.</div>","PeriodicalId":50824,"journal":{"name":"Algorithmica","volume":"87 9","pages":"1247 - 1273"},"PeriodicalIF":0.7,"publicationDate":"2025-05-13","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://link.springer.com/content/pdf/10.1007/s00453-025-01312-0.pdf","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"144891518","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

Coloring Bridge-Free Antiprismatic Graphs 着色无桥反棱镜图

IF 0.7 4区计算机科学

Algorithmica Pub Date : 2025-05-09 DOI: 10.1007/s00453-025-01316-w

Cléophée Robin, Eileen Robinson

引用次数: 0