We investigate how the complexity of Euclidean TSP for point sets P inside the strip (-infinity,+infinity)x[0,delta] depends on the strip width delta . - We obtain two main *** the case where the points have distinct ...
详细信息
We investigate how the complexity of Euclidean TSP for point sets P inside the strip (-infinity,+infinity)x[0,delta] depends on the strip width delta . - We obtain two main *** the case where the points have distinct integer -coordinates, we prove that a shortest bitonic tour (which can be computed in O(nlog(2)n) time using an existing algorithm) is guaranteed to be a shortest tour overall when delta <= 2 root 2 , a bound which is best possible. - We present an algorithm that is fixed-parametertractable with respect to delta . Our algorithm has running time 2(O(root delta)n)+O(delta(2)n(2)) for sparse point sets, where each 1x delta rectangle inside the strip contains (1) points. For random point sets, where the points are chosen uniformly at random from the rectangle [0,n]x[0,delta] , it has an expected running time of 2(O(root delta)n) . These results generalise to point sets inside a hypercylinder of width delta . In this case, the factors 2(O(root delta)) become 2(O(delta 1-1/d)) .
MotivationMany bioinformatics problems can be approached as optimization or controlled sampling tasks, and solved exactly and efficiently using Dynamic Programming (DP). However, such exact methods are typically tailo...
详细信息
MotivationMany bioinformatics problems can be approached as optimization or controlled sampling tasks, and solved exactly and efficiently using Dynamic Programming (DP). However, such exact methods are typically tailored towards specific settings, complex to develop, and hard to implement and adapt to problem *** introduce the Infrared framework to overcome such hindrances for a large class of problems. Its underlying paradigm is tailored toward problems that can be declaratively formalized as sparse feature networks, a generalization of constraint networks. Classic Boolean constraints specify a search space, consisting of putative solutions whose evaluation is performed through a combination of features. Problems are then solved using generic cluster tree elimination algorithms over a tree decomposition of the feature network. Their overall complexities are linear on the number of variables, and only exponential in the treewidth of the feature network. For sparse feature networks, associated with low to moderate treewidths, these algorithms allow to find optimal solutions, or generate controlled samples, with practical empirical *** these methods, the Infrared software allows Python programmers to rapidly develop exact optimization and sampling applications based on a tree decomposition-based efficient processing. Instead of directly coding specialized algorithms, problems are declaratively modeled as sets of variables over finite domains, whose dependencies are captured by constraints and functions. Such models are then automatically solved by generic DP algorithms. To illustrate the applicability of Infrared in bioinformatics and guide new users, we model and discuss variants of bioinformatics applications. We provide reimplementations and extensions of methods for RNA design, RNA sequence-structure alignment, parsimony-driven inference of ancestral traits in phylogenetic trees/networks, and design of coding sequences.
We study new generalizations of the classic capacitated lot-sizing problem with concave production (or transportation), holding, and subcontracting cost functions in which the total production (or transportation) capa...
详细信息
We study new generalizations of the classic capacitated lot-sizing problem with concave production (or transportation), holding, and subcontracting cost functions in which the total production (or transportation) capacity in each time period is the summation of capacities of a subset of n available modules (machines or vehicles) of different capacities. We refer to this problem as Multi-module Capacitated Lot-Sizing Problem without or with Subcontracting, and denote it by MCLS or MCLS-S, respectively. These are NP-hard problems if n is a part of the input and polynomially solvable for n = 1. In this article we address an open question: Does there exist a polynomial time exact algorithm for solving the MCLS or MCLS-S with fixed n >= 2? We present exact fixed-parametertractable (polyno-mial) algorithms that solve MCLS and MCLS-S in O(T2n+3) time for a given n > 2: It generalizes algo-rithm of Atamtu euro rk and Hochbaum [Management Science 47(8):1081-1100, 2001] for MCLS-S with n = 1. We also present exact algorithms for two-generalizations of the MCLS and MCLS-S: (a) a lot-siz-ing problem with piecewise concave production cost functions (denoted by LS-PC-S) that takes O(T2m+3) time, where m is the number of breakpoints in these functions, and (b) two-echelon MCLS that takes O(T4n+4) time. The former reduces run time of algorithm of Koca et al. [INFORMS J. on Computing 26(4):767-779, 2014] for LS-PC-S by 93.6%, and the latter generalizes algorithm of van Hoesel et al. [Management Science 51(11):1706-1719, 2005] for two-echelon MCLS with n =1. We per-form computational experiments to evaluate the efficiency of our algorithms for MCLS and LS-PC-S and their parallel computing implementation, in comparison to Gurobi 9.1. The results of these experi-ments show that our algorithms are computationally efficient and stable. Our algorithm for MCLS-S addresses another open question related to the existence of a polynomial time algorithm for optimiz-ing a linear function over n
We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems, two from the theory of matroids and the third from graph theory. The input to the WEIGHTED ...
详细信息
ISBN:
(纸本)9783959771801
We investigate the parameterized complexity of finding diverse sets of solutions to three fundamental combinatorial problems, two from the theory of matroids and the third from graph theory. The input to the WEIGHTED DIVERSE BASES problem consists of a matroid M, a weight function omega : E(M) -> N, and integers k >= 1, d >= 0. The task is to decide if there is a collection of k bases B-1, ... , B-k of M such that the weight of the symmetric difference of any pair of these bases is at least d. This is a diverse variant of the classical matroid base packing problem. The input to the WEIGHTED DIVERSE COMMON INDEPENDENT SETS problem consists of two matroids M-1, M-2 defined on the same ground set E, a weight function omega : E -> N, and integers k >= 1, d >= 0. The task is to decide if there is a collection of k common independent sets I-1, ... , I-k of M-1 and M-2 such that the weight of the symmetric difference of any pair of these sets is at least d. This is motivated by the classical weighted matroid intersection problem. The input to the DIVERSE PERFECT MATCHINGS problem consists of a graph G and integers k >= 1, d >= 0. The task is to decide if G contains k perfect matchings M-1, ... , M-k such that the symmetric difference of any two of these matchings is at least d. The underlying problem of finding one solution (basis, common independent set, or perfect matching) is known to be doable in polynomial time for each of these problems, and DIVERSE PERFECT MATCHINGS is known to be NP-hard for k = 2. We show that WEIGHTED DIVERSE BASES and WEIGHTED DIVERSE COMMON INDEPENDENT SETS are both NP-hard. We show also that DIVERSE PERFECT MATCHINGS cannot be solved in polynomial time (unless P = NP) even for the case d = 1. We derive fixed-parametertractable (FPT) algorithms for all three problems with (k, d) as the parameter. The above results on matroids are derived under the assumption that the input matroids are given as independence oracles. For WEIGHTED DIVERSE BASES
Many important stable matching problems are known to be NP-hard, even when strong restrictions are placed on the input. In this paper we seek to identify structural properties of instances of stable matching problems ...
详细信息
Many important stable matching problems are known to be NP-hard, even when strong restrictions are placed on the input. In this paper we seek to identify structural properties of instances of stable matching problems which will allow us to design efficient algorithms using elementary techniques. We focus on the setting in which all agents involved in some matching problem can be partitioned into k different types, where the type of an agent determines his or her preferences, and agents have preferences over types (which may be refined by more detailed preferences within a single type). This situation would arise in practice if agents form preferences solely based on some small collection of agents' attributes. We also consider a generalisation in which each agent may consider some small collection of other agents to be exceptional, and rank these in a way that is not consistent with their types;this could happen in practice if agents have prior contact with a small number of candidates. We show that (for the case without exceptions), several well-studied NP-hard stable matching problems including MAX SMTI (that of finding the maximum cardinality stable matching in an instance of stable marriage with ties and incomplete lists) belong to the parameterised complexity class FPT when parameterised by the number of different types of agents needed to describe the instance. For MAX SMTI this tractability result can be extended to the setting in which each agent promotes at most one "exceptional" candidate to the top of his/her list (when preferences within types are not refined), but the problem remains NP-hard if preference lists can contain two or more exceptions and the exceptional candidates can be placed anywhere in the preference lists, even if the number of types is bounded by a constant. (C) 2020 Elsevier B.V. All rights reserved.
In this article, we introduce a fixed-parametertractable algorithm for computing the Turaev-Viro invariants TV4, q, using the first Betti number, i.e. the dimension of the first homology group of the manifold with Z(...
详细信息
In this article, we introduce a fixed-parametertractable algorithm for computing the Turaev-Viro invariants TV4, q, using the first Betti number, i.e. the dimension of the first homology group of the manifold with Z(2)-coefficients, as parameter. This is, to our knowledge, the first parameterised algorithm in computational 3-manifold topology using a topological parameter. The computation of TV4, q is known to be #P-hard in general;using a topological parameter provides an algorithm polynomial in the size of the input triangulation for the family of 3-manifolds with first Z(2)-homology group of bounded dimension. Our algorithm is easy to implement, and running times are comparable with running times to compute integral homology groups for standard libraries of triangulated 3-manifolds. The invariants we can compute this way are powerful: in combination with integral homology and using standard data sets, we are able to almost double the pairs of 3-manifolds we can distinguish. We hope this qualifies TV4, q to be added to the short list of standard properties (such as orientability, connectedness and Betti numbers) that can be computed ad hoc when first investigating an unknown triangulation.
This paper introduces a novel parameter, called iterated type partition, that can be computed in polynomial time and nicely places between modular-width and neighborhood diversity. We prove that the Equitable Coloring...
详细信息
ISBN:
(纸本)9783030489656;9783030489663
This paper introduces a novel parameter, called iterated type partition, that can be computed in polynomial time and nicely places between modular-width and neighborhood diversity. We prove that the Equitable Coloring problem is W[1]-hard when parametrized by the iterated type partition. This result extends to modular-width, answering an open question on the complexity of Equitable Coloring when parametrized by modular-width. On the contrary, we show that the Equitable Coloring problem is FPT when parameterized by neighborhood diversity. Furthermore, we present a scheme for devising FPT algorithmsparameterized by iterated type partition, which enables us to find optimal solutions for several graph problems. While the considered problems are already known to be FPT with respect to modular-width, the novel algorithms are both simpler and more efficient. As an example, in this paper, we give an algorithm for the Dominating Set problem that outputs an optimal set in time O(2(t) + poly(n)), where n and t are the size and the iterated type partition of the input graph, respectively.
Backdoors measure the distance to tractable fragments and have become an important tool to find fixed-parametertractable (fpt) algorithms for hard problems in Al and beyond. Despite their success, backdoors have not ...
详细信息
Backdoors measure the distance to tractable fragments and have become an important tool to find fixed-parametertractable (fpt) algorithms for hard problems in Al and beyond. Despite their success, backdoors have not been used for planning, a central problem in Al that has a high computational complexity. In this work, we introduce two notions of backdoors building upon the causal graph. We analyze the complexity of finding a small backdoor (detection) and using the backdoor to solve the problem (evaluation) in the light of planning with (un)bounded plan length/domain of the variables. For each setting we present either an fpt-result or rule out the existence thereof by showing parameterized intractability. For several interesting cases we achieve the most desirable outcome: detection and evaluation are fpt. In addition, we explore the power of polynomial preprocessing for all fpt-results, i.e., we investigate whether polynomial kernels exist. We show that for the detection problems, polynomial kernels exist whereas we rule out the existence of polynomial kernels for the evaluation problems. (C) 2018 Published by Elsevier B.V
We study new generalizations of the classic capacitated lot-sizing problem with concave production (or transportation), holding, and subcontracting cost functions in which the total production (or transportation) capa...
详细信息
We study new generalizations of the classic capacitated lot-sizing problem with concave production (or transportation), holding, and subcontracting cost functions in which the total production (or transportation) capacity in each time period is the summation of capacities of a subset ofnavailable modules (machines or vehicles) of different capacities. We refer to this problem asMulti-moduleCapacitatedLot-Sizing Problem without or withSubcontracting, and denote it by MCLS or MCLS-S, respectively. These are NP-hard problems ifnis a part of the input and polynomially solvable forn= 1. In this article we address an open question:Does there exist a polynomial time exact algorithm for solving the MCLS or MCLS-S with fixedn≥2?We present exact fixed-parametertractable (polynomial) algorithms that solve MCLS and MCLS-S inO(T2n+3)time for a givenn≥*** generalizes algorithm of Atamtürk and Hochbaum [Management Science 47(8):1081–1100, 2001] for MCLS-S withn= 1. We also present exact algorithms for two-generalizations of the MCLS and MCLS-S: (a) a lot-sizing problem with piecewise concave production cost functions (denoted by LS-PC-S) that takesO(T2m+3)time, wheremis the number of breakpoints in these functions, and (b) two-echelon MCLS that takesO(T4n+4)time. The former reduces run time of algorithm of Koca et al. [INFORMS J. on Computing 26(4):767–779, 2014] for LS-PC-S by 93.6%, and the latter generalizes algorithm of van Hoesel et al. [Management Science 51(11):1706–1719, 2005] for two-echelon MCLS withn= 1. We perform computational experiments to evaluate the efficiency of our algorithms for MCLS and LS-PC-S and their parallel computing implementation, in comparison to Gurobi 9.1. The results of these experiments show that our algorithms are computationally efficient and stable. Our algorithm for MCLS-S addresses another open question related to the existence of a polynomial time algorithm for optimizing a linear function overn-mixing set (a generalization of the well-kn
Given a graph G and a parameter k is an element of N, the parameterized K-4-MINOR COVER problem asks whether at most k vertices can be deleted to turn G into a K-4-minor-free graph, or equivalently in a graph of treew...
详细信息
Given a graph G and a parameter k is an element of N, the parameterized K-4-MINOR COVER problem asks whether at most k vertices can be deleted to turn G into a K-4-minor-free graph, or equivalently in a graph of treewidth at most 2. This problem is inspired by two well-studied parameterized vertex deletion problems, VERTEX COVER and FEEDBACK VERTEX SET, Which Can also be expressed as TREEWIDTH-t VERTEX DELETION problems: t = 0 for VERTEX COVER and t = 1 for FEEDBACK VERTEX SET. While single-exponential FPT algorithms, i.e. running in 2(O(k)).n(O(1)) co time, are known for these two latter problems, it was open whether the K-4-MINOR COVER problem could be solved in single-exponential EFT time. This paper answers this question in the affirmative. Observe that it is known to be unlikely that TREEWIDTH-t VERTEX DELETION can be solved in time 2(O(k)).n(O(1)). (c) 2014 Published by Elsevier Inc.
暂无评论