Polynomial Time Approximation Scheme Research Articles

Truthful mechanism for joint resource allocation and task offloading in mobile edge computing

In the context of mobile edge computing (MEC), the delay-sensitive tasks can achieve real-time data processing and analysis by offloading to the MEC servers. The objective is maximizing social welfare in an auction-based model. However, the distances between mobile devices and access points lead to differences in energy consumption. Unfortunately, existing works have not considered both maximizing social welfare and minimizing energy consumption. Motivated by this, we address the problem of joint resource allocation and task offloading in MEC, with heterogeneous MEC servers providing multiple types of resources for mobile devices (MDs) to perform tasks remotely. We split the problem into two sub-problems: winner determination and offloading decision. The first sub-problem determines winners granted the ability to offload tasks to maximize social welfare. The second sub-problem determines how to offload tasks among the MEC servers to minimize energy consumption. In the winner determination problem, we propose a truthful algorithm that drives the system into equilibrium. We then show the approximate ratios for single and multiple MEC servers. In the offloading decision problem, we propose an approximation algorithm. We then show it is a polynomial-time approximation scheme for a single MEC server. Experiment results show that our proposed mechanism finds high-quality solutions in changing mobile environments.

Efficient polynomial-time approximation scheme for the genus of dense graphs

The main results of this paper provide an Efficient Polynomial-Time Approximation Scheme (EPTAS) for approximating the genus (and non-orientable genus) of dense graphs. By dense we mean that | E ( G )| ≥ α | V ( G )| 2 for some fixed α > 0. While a constant-factor approximation is trivial for this class of graphs, approximations with factor arbitrarily close to 1 need a sophisticated algorithm and complicated mathematical justification. More precisely, we provide an algorithm that for a given (dense) graph G of order n and given ε > 0, returns an integer g such that G has an embedding in a surface of genus g , and this is ε-close to a minimum genus embedding in the sense that the minimum genus \(\mathsf {g}(G) \) of G satisfies: \(\mathsf {g}(G)\le g\le (1+\varepsilon)\mathsf {g}(G) \) . The running time of the algorithm is O ( f (ε) n 2 ), where f (·) is an explicit function. Next, we extend this algorithm to also output an embedding (rotation system) whose genus is g . This second algorithm is an Efficient Polynomial-time Randomized Approximation Scheme (EPRAS) and runs in time O ( f 1 (ε) n 2 ). Our algorithms are based on the analysis of minimum genus embeddings of quasirandom graphs. We use a general notion of quasirandom graphs [25]. We start with a regular partition obtained via an algorithmic version of the Szemerédi Regularity Lemma (due to Frieze and Kannan [17] and to Fox, Lovász, and Zhao [14, 15]). We then partition the input graph into a bounded number of quasirandom subgraphs, which are preselected in such a way that they admit embeddings using as many triangles and quadrangles as faces as possible. Here we provide an ε-approximation ν ( G ) for the maximum number of edge-disjoint triangles in G . The value ν ( G ) can be computed by solving a linear program whose size is bounded by certain value f 2 (ε) depending only on ε. After solving the linear program, the genus can be approximated (see Corollary). The proof of this result is long and will be of independent interest in topological graph theory.

Envy-Free Division of Multilayered Cakes

Dividing a multilayered cake under nonoverlapping constraints captures several scenarios (e.g., allocating multiple facilities over time where each agent can utilize at most one facility simultaneously). We establish the existence of an envy-free multidivision that is nonoverlapping and contiguous within each layer when the number of agents is a prime power, solving partially an open question by Hosseini et al. [Hosseini H, Igarashi A, Searns A (2020) Fair division of time: Multi-layered cake cutting. Proc. 29th Internat. Joint Conf. Artificial Intelligence (IJCAI), 182–188; Hosseini H, Igarashi A, Searns A (2020) Fair division of time: Multi-layered cake cutting. Preprint, submitted April 28, http://arxiv.org/abs/2004.13397 ]. Our approach follows an idea proposed by Jojić et al. [Jojić D, Panina G, Živaljević R (2021) Splitting necklaces, with constraints. SIAM J. Discrete Math. 35(2):1268–1286] for envy-free divisions, relying on a general fixed-point theorem. We further design a fully polynomial-time approximation scheme for the two-layer, three-agent case, with monotone preferences. All results are actually established for divisions among groups of almost the same size. In the one-layer, three-group case, our algorithm is able to deal with any predetermined sizes, still with monotone preferences. For three groups, this provides an algorithmic version of a recent theorem by Segal-Halevi and Suksompong [Segal-Halevi E, Suksompong W (2021) How to cut a cake fairly: A generalization to groups. Amer. Math. Monthly 128(1):79–83]. Funding: This work was partially supported by the Japan Science and Technology Agency [Grant JPMJPR20C], Fusion Oriented REsearch for disruptive Science and Technology [Grant JPMJFR226O], and Exploratory Research for Advanced Technology [Grant JPMJER2301].

The Continuous-Time Joint Replenishment Problem: ϵ-Optimal Policies via Pairwise Alignment

The main contribution of this paper resides in developing a new algorithmic approach for addressing the continuous-time joint replenishment problem, termed [Formula: see text]-pairwise alignment. The latter mechanism, through which we synchronize multiple economic order quantity models, allows us to devise a purely combinatorial algorithm for efficiently approximating optimal policies within any degree of accuracy. As a result, our work constitutes the first quantitative improvement over power-of-2 policies, which have been state-of-the-art in this context since the mid-1980s. Moreover, in light of recent intractability results, by proposing an efficient polynomial-time approximation scheme for the joint replenishment problem, we resolve the long-standing open question regarding the computational complexity of this classical setting. This paper was accepted by Chung Piaw Teo, optimization. Funding: This work was supported by the Israel Science Foundation [Grant 1407/20].

Bounded mixed batch scheduling with job release dates and rejection

This paper investigates a bounded mixed batch scheduling problem with job release dates and rejection. The machine processes a batch containing several jobs that their number does not exceed the machine capacity. For the case with a certain release date, we present a polynomial-time exact algorithm. For the case with a constant number of release dates, a pseudo-polynomial-time exact algorithm is proposed. For the general problem, we provide a 2-approximation algorithm and a polynomial-time approximation scheme.

Minimising the makespan on parallel identical machines with log-linear position-dependent processing times

This article studies the minimum makespan scheduling problem on parallel identical machines with the log-linear learning/ageing effect, also known as polynomial positional learning/ageing effect. To develop a Fully Polynomial Time Approximation Scheme to the problem, we start with an intermediate artificial variant that rounds the values to integers and restricts the solutions to instances sorted in the shortest/longest processing time order. To this end, we propose a dynamic programming algorithm and show that the difference between its returned value and the minimum makespan of the original problem is independent of the processing times. This then leads to an algorithm with provable guaranteed ϵ-additive approximation and pseudo-polynomial running time algorithm, resulting in the desired fully polynomial time approximation solution to the original, not restricted problem.

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}

A fully polynomial time approximation scheme for a stop schedule of a transportation line without branches

For a transportation line without branches, passenger service scheduling is mainly concerned with the determination of stop schedules for planned service trips. A mixed-integer programming method is proposed to maximize customer satisfaction by minimizing the total number of in-vehicle passengers during trips. A heuristic algorithm is proposed for a given number of service trips, in which the error bound of the heuristic is restricted by the number of stations. When the given number of service trips is sufficient to provide express services for all origin–destination pairs, the heuristic provides an optimal solution. However, the error bound of the heuristic approaches infinity as the number of stations increases. A fully polynomial time-approximation algorithm is proposed, where the number of service trips is a decision variable. Finally, the proposed algorithm was applied to the stop-schedule problem of a river bus operating along the Han River in Seoul, Korea.

Approximation schemes for scheduling jobs on identical parallel machines to minimize the maximum lateness and makespan

We consider a multiobjective scheduling problem, with the aim of minimizing the maximum lateness and the makespan on identical machines, when the number of machines is fixed. This paper proposes an exact algorithm (based on a dynamic programming) to generate the complete Pareto Frontier in a pseudo-polynomial time. Moreover, four heuristics have been proposed in order to optimize our algorithm. Then, we present a Polynomial Time Approximation Scheme (PTAS) to generate an approximate Pareto Frontier. In this scheme, we use a simplification technique based on the merging of jobs. Furthermore, we present a Fully Polynomial Time Approximation Scheme (FPTAS) to generate an approximate Pareto Frontier, based on the conversion of the dynamic programming algorithm. The proposed FPTAS is strongly polynomial. Finally, some numerical experiments are provided in order to compare the proposed approaches.

Affine optimal k-proper connected edge colorings

AbstractWe introduce affine optimalk-proper connected edge colorings as a variation on Fujita’s notion of optimalk-proper connected colorings (Fujita in Optim Lett 14(6):1371–1380, 2020. https://doi.org/10.1007/s11590-019-01442-9) with applications to the frequency assignment problem. Here, for a simple undirected graph G with edge set $$E_G$$ E G , such a coloring corresponds to a decomposition of $$E_G$$ E G into color classes $$C_1, C_2, \ldots , C_n$$ C 1 , C 2 , … , C n , with associated weights $$w_1, w_2, \ldots , w_n$$ w 1 , w 2 , … , w n , minimizing a specified affine function $${\mathcal {A}}\, {:=}\,\sum _{i=1}^{n} \left( w_i \cdot |C_i|\right)$$ A : = ∑ i = 1 n w i · | C i | , while also ensuring the existence of k vertex disjoint proper paths (i.e., simple paths with no two adjacent edges in the same color class) between all pairs of vertices. In this context, we define $$\zeta _{{\mathcal {A}}}^k(G)$$ ζ A k ( G ) as the minimum possible value of $${\mathcal {A}}$$ A under a k-proper connectivity requirement. For any fixed number of color classes, we show that computing $$\zeta _{{\mathcal {A}}}^k(G)$$ ζ A k ( G ) is treewidth fixed parameter tractable. However, we also show that determining $$\zeta _{{\mathcal {A}}^{\prime }}^k(G)$$ ζ A ′ k ( G ) with the affine function $${\mathcal {A}}^{\prime } \, {:=}\,0 \cdot |C_1| + |C_2|$$ A ′ : = 0 · | C 1 | + | C 2 | is NP-hard for 2-connected planar graphs in the case where $$k = 1$$ k = 1 , cubic 3-connected planar graphs for $$k = 2$$ k = 2 , and k-connected graphs $$\forall k \ge 3$$ ∀ k ≥ 3 . We also show that no fully polynomial-time randomized approximation scheme can exist for approximating $$\zeta _{{\mathcal {A}}^{\prime }}^k(G)$$ ζ A ′ k ( G ) under any of the aforementioned constraints unless $$NP=RP$$ N P = R P .

Algorithms for the ferromagnetic Potts model on expanders

Abstract We give algorithms for approximating the partition function of the ferromagnetic $q$ -color Potts model on graphs of maximum degree $d$ . Our primary contribution is a fully polynomial-time approximation scheme for $d$ -regular graphs with an expansion condition at low temperatures (that is, bounded away from the order-disorder threshold). The expansion condition is much weaker than in previous works; for example, the expansion exhibited by the hypercube suffices. The main improvements come from a significantly sharper analysis of standard polymer models; we use extremal graph theory and applications of Karger’s algorithm to count cuts that may be of independent interest. It is #BIS-hard to approximate the partition function at low temperatures on bounded-degree graphs, so our algorithm can be seen as evidence that hard instances of #BIS are rare. We also obtain efficient algorithms in the Gibbs uniqueness region for bounded-degree graphs. While our high-temperature proof follows more standard polymer model analysis, our result holds in the largest-known range of parameters $d$ and $q$ .

Information Design for Congestion Games with Unknown Demand

We study a novel approach to information design in the standard traffic model of network congestion games. It captures the natural condition that the demand is unknown to the users of the network. A principal (e.g., a mobility service) commits to a signaling strategy, observes the realized demand and sends a (public) signal to agents (i.e., users of the network). Based on the induced belief about the demand, the users then form an equilibrium. We consider the algorithmic goal of the principal: Compute a signaling scheme that minimizes the expected total cost of the induced equilibrium. We concentrate on single-commodity networks and affine cost functions, for which we obtain the following results. First, we devise a fully polynomial-time approximation scheme (FPTAS) for the case that the demand can only take two values. It relies on several structural properties of the cost of the induced equilibrium as a function of the updated belief about the distribution of demands. We show that this function is piecewise linear for any number of demands, and monotonic for two demands. Second, we give a complete characterization of the graph structures for which it is optimal to fully reveal the information about the realized demand. This signaling scheme turns out to be optimal for all cost functions and probability distributions over demands if and only if the graph is series-parallel. Third, we propose an algorithm that computes the optimal signaling scheme for any number of demands whose time complexity is polynomial in the number of supports that occur in a Wardrop equilibrium for some demand. Finally, we conduct a computational study that tests this algorithm on real-world instances.

Approximation Scheme for Weighted Metric Clustering via Sherali-Adams

Motivated by applications to classification problems on metric data, we study Weighted Metric Clustering problem: given a metric d over n points and a k x k symmetric matrix A with non-negative entries, the goal is to find a k-partition of these points into clusters C1,...,Ck, while minimizing the sum of A[i,j] * d(u,v) over all pairs of clusters Ci and Cj and all pairs of points u from Ci and v from Cj. Specific choices of A lead to Weighted Metric Clustering capturing well-studied graph partitioning problems in metric spaces, such as Min-Uncut, Min-k-Sum, Min-k-Cut, and more. Our main result is that Weighted Metric Clustering admits a polynomial-time approximation scheme (PTAS). Our algorithm handles all the above problems using the Sherali-Adams linear programming relaxation. This subsumes several prior works, unifies many of the techniques for various metric clustering objectives, and yields a PTAS for several new problems, including metric clustering on manifolds and a new family of hierarchical clustering objectives. Our experiments on the hierarchical clustering objective show that it better captures the ground-truth structural information compared to the popular Dasgupta's objective.

Competition among Pairwise Lottery Contests

We investigate a two-stage competitive model involving multiple contests. In this model, each contest designer chooses two participants from a pool of candidate contestants and determines the biases. Contestants strategically distribute their efforts across various contests within their budget. We first show the existence of a pure strategy Nash equilibrium (PNE) for the contestants, and propose a fully polynomial-time approximation scheme to compute an approximate PNE. In the scenario where designers simultaneously decide the participants and biases, the subgame perfect equilibrium (SPE) may not exist. Nonetheless, when designers' decisions are made in two substages, the existence of SPE is established. In the scenario where designers can hold multiple contests, we show that the SPE always exists under mild conditions and can be computed efficiently.

The Near Exact Bin Covering Problem

AbstractWe present a new generalization of the bin covering problem that is known to be a strongly NP-hard problem. In our generalization there is a positive constant $$\varDelta $$ Δ , and we are given a set of items each of which has a positive size. We would like to find a partition of the items into bins. We say that a bin is near exact covered if the total size of items packed into the bin is between 1 and $$1+\varDelta $$ 1 + Δ . Our goal is to maximize the number of near exact covered bins. If $$\varDelta =0$$ Δ = 0 or $$\varDelta >0$$ Δ > 0 is given as part of the input, our problem is shown here to have no approximation algorithm with a bounded asymptotic approximation ratio (assuming that $$P\ne NP$$ P ≠ N P ). However, for the case where $$\varDelta >0$$ Δ > 0 is seen as a constant, we present an asymptotic fully polynomial time approximation scheme (AFPTAS) that is our main contribution.

Rescheduling with New Orders Under Bounded Disruption

Rescheduling problems arise when unpredicted events occur, such as the arrival of new orders. These new jobs should be integrated in a proper way in the existing schedule of the so-called old jobs, with the aim of minimizing an objective function for the joint set of jobs. To avoid a major disruption of the original schedule, each old job is not allowed to deviate from its original completion time by more than a certain threshold. Filling a gap in the existing literature, we consider the minimization of the total weighted completion time. The resulting rescheduling problem is shown to be weakly NP-hard and several properties of the structure of an optimal schedule are derived. These can be used for the construction of an exact dynamic programming algorithm with pseudo-polynomial running time. A fully polynomial time approximation scheme is obtained from the dynamic program by three different scaling and reduction steps. Finally, for the minimization of the number of late jobs a strong NP-hardness result is derived. History: Accepted by Erwin Pesch, Area Editor for Heuristic Search & Approximation Algorithms. Funding: This work was partially supported by the Ministero dell’Istruzione, dell’Università e della Ricerca [Award TESUN-83486178370409 finanziamento dipartimenti di eccellenza CAP. 1694 TIT. 232 ART. 6]. U. Pferschy acknowledges support by the Field of Excellence COLIBRI at the University of Graz.

Coordinating scheduling and rejection decisions in a two-machine flow shop scheduling problem

We study a two-machine flow shop scheduling problem where any operation can be rejected at a certain cost. A solution for such a problem requires two sets of decisions. The first involves the partition of the set of operations into two subsets: the set of operations that are accepted for scheduling in the shop, and the set of rejected operations. The second decision involves scheduling the set of accepted operations in the shop. The objective is to find a solution that minimizes the sum of the makespan and the total rejection cost. We prove that the problem is NP-hard even if all processing operations have identical processing times and identical rejection costs on either one of the two machines. We show, however, that the problem is fixed parameterized tractable with respect to a parameter that combine the number of different processing times on both machines with the number of different rejection costs on one out of the two machines. We also provide a pseudo-polynomial time algorithm for the problem, which we then convert into a fully polynomial time approximation scheme. This is achieved by dividing the problem into a set of subproblems and deriving a fully polynomial time approximation scheme for each one of them, separately. Finally, we present an integer linear programming formulation of the problem and two simple 2-approximation algorithms.

A polynomial-time approximation scheme for an arbitrary number of parallel identical multi-stage flow-shops

A polynomial-time approximation scheme for an arbitrary number of parallel identical multi-stage flow-shops

Flow shop scheduling problems with transportation constraints revisited

This paper investigates two flow shop scheduling problems with two machines A and B, and a single transporter V. In the first problem, the transporter V is located at machine A initially, each job has to be processed first on A, then transported to B for further processing. While in the second problem, the transporter V is located at machine B initially, each job needs to be processed first on A, then on B, finally transported to the destination. In both problems, the transporter V can carry up to c (where c is a constant and c≥1) jobs at a time and the objective is to minimize the makespan. For the former problem, the best approximation algorithm guarantees a worst-case ratio bound of (53+ε), while for the latter one, the best approximation algorithm provides a worst-case ratio bound of 2. For each problem, we design a polynomial-time approximation scheme (PTAS).

Multitasking scheduling with shared processing

AbstractRecently, the problem of multitasking scheduling has raised a lot of interest in the service industries. Hall et al. (Discrete Applied Mathematics, 2016) proposed a shared processing multitasking scheduling model which allows a team to continue to work on the primary tasks while processing the routinely scheduled activities as they occur. With a team being modeled as a single machine, the processing sharing of the machine is achieved by allocating a fraction of the processing capacity to routine jobs and the remaining fraction, which we denote as sharing ratio, to the primary jobs. In this paper, we generalize this model to parallel machines and allow the fraction of the processing capacity assigned to routine jobs to vary from one to another. The objectives are minimizing makespan and minimizing the total completion time of primary jobs. We show that for both objectives, there is no polynomial time approximation algorithm unless P=NP if the sharing ratios are arbitrary for all machines. Then we consider the problems where the sharing ratios on some machines have a constant lower bound. For each objective, we analyze the performance of the classical scheduling algorithms and their variations and then develop a polynomial time approximation scheme when the number of machines is a constant.