Strong computational lower bounds via parameterized complexity

We present a framework for obtaining fully polynomial time approximation schemes (FPTASs) for stochastic univariate dynamic programs with either convex or monotone single-period cost functions. This framework is developed through the establishment of two sets of computational rules, namely, the calculus of $K$-approximation functions and the calculus of $K$-approximation sets. Using our framework, we provide the first FPTASs for several NP-hard problems in various fields of research such as knapsack models, logistics, operations management, economics, and mathematical finance. Extensions of our framework via the use of the newly established computational rules are also discussed.

This chapter summarizes the currently known connections between fixed-parameter and polynomial-time approximation algorithmics. Important topics in this context are lower bound and impossibility results. In particular, polynomial-time approximation schemes are discussed in some detail, providing a link with parameterized complexity theory.

A faster FPTAS for knapsack problem with cardinality constraint

#NFA refers to the problem of counting the words of length n accepted by a non-deterministic finite automaton. #NFA is #P-hard, and although fully-polynomial-time randomized approximation schemes (FPRAS) exist, they are all impractical. The first FPRAS for #NFA had a running time of Õ(n 17 m 17 ε -14 łog(δ -1 )), where m is the number of states in the automaton, δ ∈ (0,1] is the confidence parameter, and ε > 0 is the tolerance parameter (typically smaller than 1). The current best FPRAS achieved a significant improvement in the time complexity relative to the first FPRAS and obtained FPRAS with time complexity Õ((n 10 m 2 + n 6 m 3 )ε -4 łog 2 (δ -1 )). The complexity of the improved FPRAS is still too intimidating to attempt any practical implementation. In this paper, we pursue the quest for practical FPRAS for #NFA by presenting a new algorithm with a time complexity of O(n 2 m 3 łog(nm)ε -2 łog(δ -1 )). Observe that evaluating whether a word of length n is accepted by an NFA has a time complexity of O(nm 2 ). Therefore, our proposed FPRAS achieves sub-quadratic complexity with respect to membership checks.

PurposeThe purpose of this paper is to find the best approximation algorithm for solving the more general case of single‐supplier multi‐retailer capacitated economic lot‐sizing (SM‐CELS) problem in deterministic inventory theory, which is the non‐deterministic polynomial (NP)‐hard problem.Design/methodology/approachSince few theoretical results have been published on polynomial time approximation algorithms for SM‐CELS problems, this paper develops a fully polynomial time approximation scheme (FPTAS) for the problem with monotone production and holding‐backlogging cost functions. First the optimal solution of a rounded problem is presented as the approximate solution and its straightforward dynamic‐programming (DP) algorithm. Then the straightforward DP algorithm is converted into an FPTAS by exploiting combinatorial properties of the recursive function.FindingsAn FPTAS is designed for the SM‐CELS problem with monotone cost functions, which is the strongest polynomial time approximation result.Research limitations/implicationsThe main limitation is that the supplier only manufactures without holding any products when the model is applied.Practical implicationsThe paper presents the best result for the SM‐CELS problem in deterministic inventory theory.Originality/valueThe LP‐rounding technique, an effective approach to design approximation algorithms for NP‐hard problems, is successfully applied to the SM‐CELS problem in this paper.

The closest string and substring problems find applications in PCR primer design, genetic probe design, motif finding, and antisense drug design. For their importance, the two problems have been extensively studied recently in computational biology. Unfortunately both problems are NP-complete. Researchers have developed both fixed-parameter algorithms and approximation algorithms for the two problems. In terms of fixed-parameter, when the radius d is the parameter, the best-known fixed-parameter algorithm for closest string has time complexity O(ndd+1), which is still superpolynomial even if d = O(log n). In this paper we provide an O(n|Σ|O(d)) algorithm where Σ is the alphabet. This gives a polynomial time algorithm when d = O(log n) and Σ has constant size. Using the same technique, we additionally provide a more efficient subexponential time algorithm for the closest substring problem. In terms of approximation, both closest string and closest substring problems admit polynomial time approximation schemes (PTAS). The best known time complexity of the PTAS is O(nO(Ɛ-2 log 1/Ɛ)). In this paper we present a PTAS with time complexity O(nO(Ɛ-2)). At last, we prove that a restricted version of the closest substring has the same parameterized complexity as closest substring, answering an open question in the literature.

article Parameterized complexity for the database theorist Share on Author: Martin Grohe University of Edinburgh, Edinburgh, Scotland, UK University of Edinburgh, Edinburgh, Scotland, UKView Profile Authors Info & Claims ACM SIGMOD RecordVolume 31Issue 4December 2002 pp 86–96https://doi.org/10.1145/637411.637428Online:01 December 2002Publication History 30citation306DownloadsMetricsTotal Citations30Total Downloads306Last 12 Months6Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access

A central question in computational biology is the design of genetic markers to distinguish between two given sets of (DNA) sequences. This question is formalized as the NP-complete Distinguishing Substring Selection problem (DSSS for short) which asks, given a set of "good" strings and a set of "bad" strings, for a solution string which is, with respect to the Hamming metric, "away" from the good strings and "close" to the bad strings. More precisely, given integers dg, db, and L, we ask for a length-L string s such that s has Hamming distance at least dg to every length-L substring of the good strings and such that every bad string has a length-L substring with Hamming distance at most db to s. Studying the parameterized complexity of DSSS, we show that, already for binary alphabet, DSSS is W[1]-hard with respect to its natural parameters. This, in particular, implies that a recently given polynomial-time approximation scheme (PTAS) by Deng et al. cannot be replaced by a so-called efficient polynomial-time approximation scheme (EPTAS) unless an unlikely collapse in parameterized complexity theory occurs. This is seemingly the first computational biology problem for which such a border between PTAS (which exists) and EPTAS (which is unlikely to exist) could be established. By way of contrast, for a special case of DSSS, we present an exact fixed-parameter algorithm solving the problem efficiently. In this way we also exhibit a sharp border between fixed-parameter tractability and intractability results.

Chauhan et al. Oper Res Lett 33 (2005), 249–254 presented a fully polynomial time approximation scheme (FPTAS) for a supply scheduling problem, which is to minimize a total cost associated with the sizes of deliveries from several providers to one manufacturer. The cost functions are assumed non‐decreasing and their arguments are assumed continuously divisible. In this note, we give a motivation for considering the case of non‐monotone cost functions with continuously divisible or discrete arguments. For this more general case, we suggest a modification of the FPTAS in [Chauhan et al., Oper Res Lett 33 (2005), 249–254]. We also suggest a different FPTAS to handle concave cost functions. © 2008 Wiley Periodicals, Inc. Naval Research Logistics, 2008

With the proliferation of wireless cellular technology (e.g., 5G, 4G LTE), managing quality of experience (QoE) for wireless clients streaming different videos over these networks is becoming increasingly important. In this paper, we consider the problem of managing playout stalls experienced by multiple clients streaming different videos from a cellular base station. We build on our prior work [1], where we formulate an epoch based lead aware multiple video transmission (LMVT) problem to minimize the total number of playout stalls experienced by mobile clients. In [1], [2], we show that the LMVT problem is NP-hard and propose a pseudo polynomial dynamic programming solution and a simple greedy heuristic to solve the problem. In this paper, we first show that even a simpler and less restrictive version of the LMVT problem remains hard. We then design a fully polynomial time approximation scheme (FPTAS) for the LVMT problem by demonstrating that it is equivalent to the Santa Claus Problem [3], [4]. The FPTAS provides a bounded performance guarantee, differing by a factor of 1/1+∊B from the optimal solution (where B is the number of time slots in an epoch and ε is a small constant).

Evolutionary algorithms have been widely used to tackle multi-objective optimization problems. Despite many successful applications there is a lack of theoretical knowledge on how and why this type of algorithm works particularly well for multi-objective problems. This special issue presents current advances to the theoretical understanding of evolutionary algorithms for multi-objective optimization. It comprises four very high quality papers which have been selected via a rigorous reviewing process. The first paper “On the Effect of Populations in Evolutionary Multi-Objective Optimisation” by Oliver Giel and Per Kristian Lehre studies the basic question whether a population is provably useful to compute the whole Pareto front of a multi-objective optimization problem. They compare restart strategies of several single-objective approaches based on one individual to a natural multi-objective approach using a population. Their analyses point out the benefits of the multi-objective evolutionary algorithm in a rigorous way. Using illustrative example functions they provide not only proven results but also a good intuition about why population-based approaches can outperform individual-based approaches in multi-objective optimization. The paper “Exploring the Runtime of an Evolutionary Algorithm for the Multi-Objective Shortest Path Problem” by Christian Horoba examines the behavior of evolutionary algorithms for the classical NP-hard multi-objective shortest path problem. The author considers an evolutionary approach based on -dominance and proves that this algorithm constitutes a fully polynomial-time randomized approximation scheme (FPRAS) for the problem. The algorithm achieves this by mimicking a problemspecific algorithm for that problem. This provides general insight into why evolutionary algorithms can perform well for problems that allow for efficient problem-specific algorithms. Hypervolume-based algorithms have become very popular in evolutionary multiobjective optimization. In the paper, “An Efficient Algorithm for Computing Hypervolume Contributions,” Karl Bringmann and Tobias Friedrich present a faster algorithm for determining the individual with the smallest hypervolume contribution in a given population. Furthermore, they study the problem of removing λ > 1 individuals with the smallest hypervolume contribution from a given population and present an elegant and fast method to carry out this task.

The prediction of RNA structure with pseudoknots is a nondeterministic polynomial-time hard (NP-hard) problem; according to minimum free energy models and computational methods, we investigate the RNA-pseudoknotted structure. Our paper presents an efficient algorithm for predicting RNA structure with pseudoknots, and the algorithm takes O([Formula: see text]) time and O([Formula: see text]) space, the experimental tests in Rfam10.1 and PseudoBase indicate that the algorithm is more effective and precise. The predicting accuracy, the time complexity and space complexity outperform existing algorithms, such as Maximum Weight Matching (MWM) algorithm, PKNOTS algorithm and Inner Limiting Layer (ILM) algorithm, and the algorithm can predict arbitrary pseudoknots. And there exists a [Formula: see text] ([Formula: see text]) polynomial time approximation scheme in searching maximum number of stackings, and we give the proof of the approximation scheme in RNA-pseudoknotted structure. We have improved several types of pseudoknots considered in RNA folding structure, and analyze their possible transitions between types of pseudoknots.

A PTAS for the Square Tiling Problem

This study addresses the scheduling problem of two identical parallel machines with the objective of minimizing the total completion time under the machine availability constraints. To the best of our knowledge, this study is the first to develop a fully polynomial-time approximation scheme (FPTAS), a solution method which has been neglected in past studies, to solve the studied problem. The FPTAS, which is based on a dynamic programming algorithm is developed by applying a trimming-the-state-space approach. Theoretical proofs of the error bound and the time complexity for the proposed FPTAS are also provided. The computational results indicate that the proposed FPTAS performs more efficiently than a dynamic programming algorithm in terms of both run time and problem size. The error bound of the FPTAS is demonstrated to be within the pre-specified error bound.

A faster FPTAS for counting two-rowed contingency tables