APX-hard Research Articles

Algorithms for the thief orienteering problem on directed acyclic graphs

We consider the scenario of routing an agent called a thief through a weighted graph G=(V,E) from a start vertex s to an end vertex t. A set I of items each with weight wi and profit pi is distributed among V∖{s,t}. The thief, who has a knapsack of capacity W, must follow a simple path from s to t within a given time T while packing in the knapsack a set of items taken from the vertices along the path of total weight at most W and maximum profit. The travel time across an edge depends on the edge length and current knapsack load.The thief orienteering problem (ThOP) is a generalization of the orienteering problem, the longest path problem, and the 0-1 knapsack problem. We prove that there exists no approximation algorithm for ThOP with constant approximation ratio unless P=NP, and we present a polynomial-time approximation scheme (PTAS) for a relaxed version of ThOP when G is directed and acyclic that produces solutions that use time at most T(1+ϵ) for any constant ϵ>0. We also present a fully polynomial-time approximation scheme (FPTAS) for ThOP on arbitrary undirected graphs where the travel time depends only on the lengths of the edges and T is the length of a shortest path from s to t plus a constant K. Finally, we present a FPTAS for a restricted version of the problem where the input graph is a clique.

What Goes Around Comes Around: Covering Tours and Cycle Covers with Turn Costs

We investigate several geometric problems of finding tours and cycle covers with minimum turn cost, which have been studied in the past, with complexity, approximation results, and open problems dating back to work by Arkin et al. in 2001. Many new practical applications have spawned variants: For full coverage, all points have to be covered, for subset coverage, specific points have to be covered, and for penalty coverage, points may be left uncovered by incurring a penalty. We show that finding a minimum-turn (full) cycle cover is NP-hard even in 2-dimensional grid graphs, solving the long-standing open Problem 53 in The Open Problems Project edited by Demaine, Mitchell and O’Rourke. We also prove NP-hardness of finding a subset cycle cover of minimum turn cost in thin grid graphs, for which Arkin et al. gave a polynomial-time algorithm for full coverage; this shows that their boundary techniques cannot be applied to compute exact solutions for subset and penalty variants. We also provide a number of positive results. In particular, we establish the first constant-factor approximation algorithms for all considered subset and penalty problem variants for grid-based instances, based on LP/IP techniques. These geometric versions allow many possible edge directions (and thus, turn angles, such as in hexagonal grids or higher-dimensional variants); our approximation factors improve the combinatorial ones of Arkin et al.

New bounds for single-machine time-dependent scheduling with uniform deterioration

We consider the single-machine time-dependent scheduling problem with linearly deteriorating jobs arriving over time. Each job i is associated with a release time ri and a processing time pi(si)=αi+βisi, where αi,βi>0 are parameters and si is the job's start time. In this setting, the approximability of both single-machine minimum makespan and total completion time problems remains open. We develop new bounds and approximation results for the special case of the problems with uniform deterioration, i.e. βi=β, for each i. The main contribution is a O(1+1/β)-approximation algorithm for the makespan problem and a O(1+1/β2) approximation algorithm for the total completion time problem. Further, we propose greedy constant-factor approximation algorithms for instances with β=O(1/n) and β=Ω(n), where n is the number of jobs. Our analysis is based on an approach for comparing computed and optimal schedules via bounding pseudomatchings.

New Algorithms for Steiner Tree Reoptimization

Reoptimization is a setting in which we are given a good approximate solution of an optimization problem instance and a local modification that slightly changes the instance. The main goal is that of finding a good approximate solution of the modified instance. We investigate one of the most studied scenarios in reoptimization known as Steiner tree reoptimization. Steiner tree reoptimization is a collection of strongly NP\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extsf {NP}$$\\end{document}-hard optimization problems that are defined on top of the classical Steiner tree problem and for which several constant-factor approximation algorithms have been designed in the last decades. In this paper we improve upon all these results by developing a novel technique that allows us to design polynomial-time approximation schemes. Remarkably, prior to this paper, no approximation algorithm better than recomputing a solution from scratch was known for the elusive scenario in which the cost of a single edge decreases. Our results are best possible since none of the problems addressed in this paper admits a fully polynomial-time approximation scheme, unless P=NP\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\ extsf {P}=\ extsf {NP}$$\\end{document}

Parameterized Approximation Algorithms for Sum of Radii Clustering and Variants

Clustering is one of the most fundamental tools in artificial intelligence, machine learning, and data mining. In this paper, we follow one of the recent mainstream topics of clustering, Sum of Radii (SoR), which naturally arises as a balance between the folklore k-center and k-median. SoR aims to determine a set of k balls, each centered at a point in a given dataset, such that their union covers the entire dataset while minimizing the sum of radii of the k balls. We propose a general technical framework to overcome the challenge posed by varying radii in SoR, which yields fixed-parameter tractable (fpt) algorithms with respect to k (i.e., whose running time is f(k) ploy(n) for some f). Our framework is versatile and obtains fpt approximation algorithms with constant approximation ratios for SoR as well as its variants in general metrics, such as Fair SoR and Matroid SoR, which significantly improve the previous results.

Which Link Matters? Maintaining Connectivity of Uncertain Networks Under Adversarial Attack

This paper studies connectivity maintenance in uncertain networks under adversarial attack, where a defender conceals crucial links to prevent the largest connected component from being decomposed by an attacker. In contrast with its static counterpart, connectivity maintenance in uncertain networks involves additional probing on links to determine their existence. Therefore, by modeling an uncertain network as a random graph with each link associated with an existence probability and a probing cost, our goal is to design a defensive strategy for link selection that maximizes the expected size of the largest remaining connected component with the minimum expected probing cost, and moreover, the strategy should be independent of the attacking patterns. To this end, we first unravel the computational complexity of the problem by proving its NP-hardness, and then propose optimal defensive strategies based on dynamic programming and multi-objective optimization. Due to the prohibitive computational cost of optimality, two approximate defensive strategies are further designed to pursue decent performance with quasilinear complexity, in which the first one is a heuristic approach that quantifies the link vulnerability through an analogy from the degree centrality of a vertex in static networks to the connectivity weight of a link in uncertain networks, and the second one is an adaptive greedy policy incorporating the minimax rule from game theory, which minimizes the possible loss suffered by the defender in a worst-case scenario and has a constant approximation ratio. Extensive experiments on both synthetic and real-world network datasets under diverse attacking patterns demonstrate the superiority of the proposed strategies over baselines.

Two-stage BP maximization under p-matroid constraint

The BP problem maximizes the sum of a suBmodular function and a suPermodular function(BP) subject to some constraints, where both functions are nonnegative and monotonic. This problem has been widely studied under the single-stage setting. In this paper, we consider a variant of the BP maximization problem. The problem is a two-stage BP maximization problem subject to a p-matroid constraint, for which we propose an approximation algorithm with constant approximation ratio parameterized by the curvatures of the two functions involved.

Piercing All Translates of a Set of Axis-Parallel Rectangles

For a given shape $S$ in the plane, one can ask what is the lowest possible density of a point set $P$ that pierces ("intersects", "hits") all translates of $S$. This is equivalent to determining the covering density of $S$ and as such is well studied. Here we study the analogous question for families of shapes where the connection to covering is altered. That is, we require that a single point set $P$ simultaneously pierces each translate of each shape from some family $\mathcal{F}$. We denote the lowest possible density of such an $\mathcal{F}$-piercing point set by $\pi_T(\mathcal{F})$. Specifically, we focus on families $\mathcal{F}$ consisting of axis-parallel rectangles. When $|\mathcal{F}|=2$ we exactly solve the case when one rectangle is more squarish than $2\times 1$, and give bounds (within $10\,\%$ of each other) for the remaining case when one rectangle is wide and the other one is tall. When $|\mathcal{F}|\ge 2$ we present a linear-time constant-factor approximation algorithm for computing $\pi_T(\mathcal{F})$ (with ratio $1.895$).

Digital Twin-Assisted, SFC-Enabled Service Provisioning in Mobile Edge Computing

Mobile Edge Computing (MEC) has been identified as a desirable computing paradigm that provides efficient and effective services for various applications, while meeting stringent service delay requirements. Orthogonal to the MEC computing paradigm, Network Function Virtualization (NFV) technology is another enabling technology that provides the network resource management with great flexibility and scalability, where the instances of Virtual Network Functions (VNFs) are deployed in edge servers as Service Function Chains (SFCs) for SFC-enabled services. Although reliable service provisioning in MEC environments is fundamentally important, the deployed VNF instances usually are not reliable, which can be affected by their software implementation, their execution duration, the workload among edge servers, and so on. Empowered by digital twin techniques, the states of VNF instances can be maintained by their digital twins in a real-time manner and their reliability can be accurately predicted through their digital twins. In this paper, we study digital twin-assisted, SFC-enabled reliable service provisioning in MEC networks by exploiting the dynamics of VNF instance reliability. We concentrate on two novel optimization problems of reliable service provisioning: the service cost minimization problem, and the dynamic service admission maximization problem. We first show their NP-hardness. We then formulate an Integer Linear Program (ILP) solution, and devise an approximation algorithm with a constant approximation ratio for the service cost minimization problem. We thirdly provide an ILP solution to the offline version of the dynamic service admission maximization problem. Built upon this offline ILP solution, we also develop an online algorithm with a provable competitive ratio for the problem, by adopting the primal-dual dynamic updating technique. We finally evaluate the performance of the proposed algorithms via simulations. Simulation results demonstrate that the proposed algorithms outperform their comparison benchmarks, and improve the performance of their comparison counterparts by no less than <inline-formula xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink"><tex-math notation="LaTeX">$10.2 \%$</tex-math></inline-formula> .

Generalized class cover problem with axis-parallel strips

We initiate the study of a generalization of the class cover problem [Cannon and Cowen [1], Bereg et al. [2]] the generalized class cover problem, where we are allowed to misclassify some points provided we pay an associated positive penalty for every misclassified point. Two versions: single coverage and multiple coverage, of the generalized class cover problem are investigated. We study five different variants of both versions of the generalized class cover problem with axis-parallel strips and axis-parallel half-strips extending to different directions in the plane, thus extending similar work by Bereg et al. (2012) [2] on the class cover problem. We prove that the multiple coverage version of the generalize class cover problem with axis-parallel strips are in P, whereas the single coverage version is NP-hard. A factor 2 approximation algorithm is provided for the later problem. The APX-hardness result is also shown for the single coverage version. For half-strips extending to exactly one direction, both the single and multiple coverage versions can be solved in polynomial time using dynamic programming. In the case of half-strips extending to two orthogonal directions, we prove the class cover problem is NP-hard followed by APX-hard. This gives improve hardness results compare to Bereg et al. (2012) [2], where they proved the class cover problem with half-strips oriented in four different directions is NP-hard. These NP- and APX-hardness results can directly apply to both single and multiple versions. Finally, constant factor approximation algorithms are provided for half-strips extending to more than one direction.

Improved approximation algorithms for [formula omitted]-submodular maximization under a knapsack constraint

We investigate the problem of k-submodular maximization under a knapsack constraint over the ground set of size n. This problem finds many applications in various fields, such as multi-topic propagation, multi-sensor placement, cooperative games, etc. However, existing algorithms for the studied problem face challenges in practice as the size of instances increases in practical applications.This paper introduces three deterministic and approximation algorithms for the problem that significantly improve both the approximation ratio and query complexity of existing practical algorithms. Our first algorithm, FA, returns an approximation ratio of 1/10 within O(nk) query complexity. The second one, IFA, improves the approximation ratio to 1/4−ϵ in O(nk/ϵ) queries. The last one IFA+ upgrades the approximation ratio to 1/3−ϵ in O(nklog(1/ϵ)/ϵ) query complexity, where ϵ is an accuracy parameter. Our algorithms are the first ones that provide constant approximation ratios within only O(nk) query complexity, and the novel idea to achieve results lies in two components. Firstly, we divide the ground set into two appropriate subsets to find the near-optimal solution over these ones with O(nk) queries. Secondly, we devise algorithmic frameworks that combine the solution of the first algorithm and the greedy threshold method to improve solution quality. In addition to the theoretical analysis, we have evaluated our proposed ones with several experiments in some instances: Influence Maximization, Information Coverage Maximization, and Sensor Placement for the problem. The results confirm that our algorithms ensure theoretical quality as the cutting-edge techniques, including streaming and non-streaming algorithms, and also significantly reduce the number of queries.

Approximating Maximum Integral Multiflows on Bounded Genus Graphs

We devise the first constant-factor approximation algorithm for finding an integral multi-commodity flow of maximum total value for instances where the supply graph together with the demand edges can be embedded on an orientable surface of bounded genus. This extends recent results for planar instances. Our techniques include an uncrossing algorithm, which is significantly more difficult than in the planar case, a partition of the cycles in the support of an LP solution into free homotopy classes, and a new rounding procedure for freely homotopic non-separating cycles.

Group Equality in Adaptive Submodular Maximization

In this paper, we study the classic submodular maximization problem subject to a group equality constraint under both nonadaptive and adaptive settings. It is shown that the utility function of many machine learning applications, including data summarization, influence maximization in social networks, and personalized recommendation, satisfies the property of submodularity. Hence, maximizing a submodular function subject to various constraints can be found at the heart of many of those applications. On a high level, submodular maximization aims to select a group of most representative items (e.g., data points). However, the design of most existing algorithms does not incorporate the fairness constraint, leading to underrepresentation or overrepresentation of some particular groups. This motivates us to study the submodular maximization problem with group equality, in which we aim to select a group of items to maximize a (possibly nonmonotone) submodular utility function subject to a group equality constraint. To this end, we develop the first constant-factor approximation algorithm for this problem. The design of our algorithm is robust enough to be extended to solving the submodular maximization problem under a more complicated adaptive setting. Moreover, we further extend our study to incorporating a global cardinality constraint and other fairness notations. History: Accepted by Andrea Lodi, Area Editor for Design &amp; Analysis of Algorithms–Discrete. Supplemental Material: The online supplement is available at https://doi.org/10.1287/ijoc.2022.0384 .

Exact and Approximation Algorithms for the Multi-Depot Capacitated Arc Routing Problems

In this work, we investigate a generalization of the classical capacitated arc routing problem, called the Multi-depot Capacitated Arc Routing Problem (MCARP). We give exact and approximation algorithms for different variants of the MCARP. First, we obtain the first constant-ratio approximation algorithms for the MCARP and its nonfixed destination version. Second, for the multi-depot rural postman problem, i.e., a special case of the MCARP where the vehicles have infinite capacity, we develop a <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$(2-\frac{1}{2k+1})$</tex> -approximation algorithm ( <tex xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">$k$</tex> denotes the number of depots). Third, we show the polynomial solvability of the equal-demand MCARP on a line and devise a 2-approximation algorithm for the multi-depot capacitated vehicle routing problem on a line. Lastly, we conduct extensive numerical experiments on the algorithms for the multi-depot rural postman problem to show their effectiveness.

Optimizing sparse fermionic Hamiltonians

We consider the problem of approximating the ground state energy of a fermionic Hamiltonian using a Gaussian state. In sharp contrast to the dense case [1, 2], we prove that strictly q-local sparse fermionic Hamiltonians have a constant Gaussian approximation ratio; the result holds for any connectivity and interaction strengths. Sparsity means that each fermion participates in a bounded number of interactions, and strictly q-local means that each term involves exactly q fermionic (Majorana) operators. We extend our proof to give a constant Gaussian approximation ratio for sparse fermionic Hamiltonians with both quartic and quadratic terms. With additional work, we also prove a constant Gaussian approximation ratio for the so-called sparse SYK model with strictly 4-local interactions (sparse SYK-4 model). In each setting we show that the Gaussian state can be efficiently determined. Finally, we prove that the O(n&amp;#x2212;1/2) Gaussian approximation ratio for the normal (dense) SYK-4 model extends to SYK-q for even q&amp;#x003E;4, with an approximation ratio of O(n1/2&amp;#x2013;q/4). Our results identify non-sparseness as the prime reason that the SYK-4 model can fail to have a constant approximation ratio [1, 2].

Satiation in Fisher Markets and Approximation of Nash Social Welfare

We study linear Fisher markets with satiation. In these markets, sellers have earning limits, and buyers have utility limits. Beyond applications in economics, they arise in the context of maximizing Nash social welfare when allocating indivisible items to agents. In contrast to markets with either earning or utility limits, markets with both limits have not been studied before. They turn out to have fundamentally different properties. In general, the existence of competitive equilibria is not guaranteed. We identify a natural property of markets (termed money clearing) that implies existence. We show that the set of equilibria is not always convex, answering a question posed in the literature. We design an FPTAS to compute an approximate equilibrium and prove that the problem of computing an exact equilibrium lies in the complexity class continuous local search ([Formula: see text]; i.e., the intersection of polynomial local search ([Formula: see text]) and polynomial parity arguments on directed graphs ([Formula: see text])). For a constant number of buyers or goods, we give a polynomial-time algorithm to compute an exact equilibrium. We show how (approximate) equilibria can be rounded and provide the first constant-factor approximation algorithm (with a factor of 2.404) for maximizing Nash social welfare when agents have capped linear (also known as budget-additive) valuations. Finally, we significantly improve the approximation hardness for additive valuations to [Formula: see text]. Funding: J. Garg was supported by the National Science Foundation [Grant CCF-1942321 (CAREER)]. M. Hoefer was supported by Deutsche Forschungsgemeinschaft [Grants Ho 3831/5-1, Ho 3831/6-1, and Ho 3831/7-1].

Joint Task Offloading and Dispatching for MEC With Rational Mobile Devices and Edge Nodes

Multi-access Edge Computing has come forth as a promising paradigm to provide low-latency computing service to mobile end users. Its basic idea is to deploy computation resources at the edge of core networks such as wireless access points, and then users can offload their tasks to nearby edge nodes for processing. Plenty of works have well studied the task offloading problem, aiming to reduce task completion delays. Also, a few recent works have focused on task dispatching among edge nodes to balance their workloads and improve resource utilization. In this work, we jointly consider the task offloading and dispatching problem in an edge computing system with interconnected access points. Furthermore, we assume both end devices and access points are rational, which only care about their own benefits. To solve the joint problem, we firstly formulate it as a multi-leader multi-follower Stackelberg game, and rigorously prove the existence of a Stackelberg equilibrium. Then, we propose two algorithms for task offloading and dispatching, respectively. Extensive simulations are conducted to show the superiority of our proposed approach. We also demonstrate that an upper bound with a constant approximation ratio is achieved by our approach.

A Framework to Design Approximation Algorithms for Finding Diverse Solutions in Combinatorial Problems

Finding a \emph{single} best solution is the most common objective in combinatorial optimization problems. However, such a single solution may not be applicable to real-world problems as objective functions and constraints are only ``approximately'' formulated for original real-world problems. To solve this issue, finding \emph{multiple} solutions is a natural direction, and diversity of solutions is an important concept in this context. Unfortunately, finding diverse solutions is much harder than finding a single solution. To cope with the difficulty, we investigate the approximability of finding diverse solutions. As a main result, we propose a framework to design approximation algorithms for finding diverse solutions, which yields several outcomes including constant-factor approximation algorithms for finding diverse matchings in graphs and diverse common bases in two matroids and PTASes for finding diverse minimum cuts and interval schedulings.

Approximation algorithms for vehicle-aided periodic data collection from mobile sensors with obstacle avoidance in WSNs

Data collection from the sensors in time is an integral part of many applications of wireless sensor networks (WSNs). Vehicles, referred to as Mobile Sinks (SNKs), may be used to collect data from the sensors by visiting them. Since the sensors have limited memory, the sensed data needs to be collected by the SNKs within a predefined time interval to avoid memory overflow. Periodic data collection by SNKs becomes even more challenging when the sensors are mobile. Moreover, the presence of obstacles in the area makes the path planning for SNKs even more complicated. In this paper, an optimization problem, referred to as Minimum Mobile Sink Aided Periodic Data Collection (MinSnkDC) problem, is formulated, where the objective is to determine the minimum number of SNKs that collect data for every time period from the mobile sensors in the WSN, while avoiding collision with the obstacles in the area. The problem is proved to be NP-complete. Two constant factor approximation algorithms, namely MinSnkDC and Modified MinSnkDC (M-MinSnkDC), are proposed to solve the problem. From the simulation results, it is evident that M-MinSnkDC can produce a better solution compared to the existing obstacle-aware SNK-based data collection algorithms, while using a small number of SNKs.

Multi-robot motion planning for unit discs with revolving areas

We study the problem of motion planning for a collection of n labeled unit disc robots in a polygonal environment. We assume that the robots have revolving areas around their start and final positions: that each start and each final is contained in a radius 2 disc lying in the free space, not necessarily concentric with the start or final position, which is free from other start or final positions. This assumption allows a weakly-monotone motion plan, in which robots move according to an ordering as follows: during the turn of a robot R in the ordering, it moves fully from its start to final position, while other robots do not leave their revolving areas. As R passes through a revolving area, a robot R′ that is inside this area may move within the revolving area to avoid a collision. Notwithstanding the existence of a motion plan, we show that minimizing the total traveled distance in this setting, specifically even when the motion plan is restricted to be weakly-monotone, is APX-hard, ruling out any polynomial-time (1+ε)-approximation algorithm.On the positive side, we present the first constant-factor approximation algorithm for computing a feasible weakly-monotone motion plan. The total distance traveled by the robots is within an O(1) factor of that of the optimal motion plan, which need not be weakly monotone. Our algorithm extends to an online setting in which the polygonal environment is fixed but the initial and final positions of robots are specified in an online manner. Finally, we observe that the overhead in the overall cost that we add while editing the paths to avoid robot-robot collision can vary significantly depending on the ordering we chose. Finding the best ordering in this respect is known to be NP-hard, and we provide a polynomial time O(log⁡nlog⁡log⁡n)-approximation algorithm for this problem.