We give sufficient conditions for deriving moderately exponential and/or parameterized time approximation schemata (i.e., algorithms achieving ratios 1 +/- epsilon, for arbitrarily small epsilon) for broad classes of ...
详细信息
We give sufficient conditions for deriving moderately exponential and/or parameterized time approximation schemata (i.e., algorithms achieving ratios 1 +/- epsilon, for arbitrarily small epsilon) for broad classes of combinatorial optimization problems via a well-known technique widely used for deriving exact algorithms, namely the branching tree pruning.
In Crisan, Gaines and Lyons [SIAM J Appl. Probab. 58 (1998) 313-3421 we describe a branching particle algorithm that produces a particle approximation to the solution of the Zakai equation and find an upper bound for ...
详细信息
In Crisan, Gaines and Lyons [SIAM J Appl. Probab. 58 (1998) 313-3421 we describe a branching particle algorithm that produces a particle approximation to the solution of the Zakai equation and find an upper bound for the rate of convergence of the mean square error. In this paper, the exact rate of convergence of the mean square error is deduced. Also, several variations of the branching algorithm with better rates of convergence are introduced.
Previous theoretical research has suggested that lengths of tree roots can be estimated on the basis of their branching characteristics, if branching has a fractal pattern that is independent of root diameter. This th...
详细信息
Previous theoretical research has suggested that lengths of tree roots can be estimated on the basis of their branching characteristics, if branching has a fractal pattern that is independent of root diameter. This theory and its underlying assumptions was tested for Grevillea robusta trees at a site in Kenya by comparing estimates of root length from conventional soil coring and the output of a fractal branching algorithm. The trees were in a 4-year-old stand established on a 3 x 4 m planting grid. Root lengths (L-r) in four units of the planting grid were estimated by soil coring. branching characteristics determined by examination of 32 excavated roots from 16 trees were: The number of branches at each branching point;the length of links between branching points (L-l);the diameter of root tips;and parameters which describe the change in diameter at each branching point. Each was found to be independent of root size. These data were used to parameterise a branching algorithm, which was then used to estimate numbers of root links in the four grid units (n(l)) from root diameters at the bases of the four trees at the corners of each unit. Root lengths, from (L) over cap (r) = n(1) L-1, severely underestimated L-r. This discrepancy probably resulted from inaccuracy in the parameterisation of the branching algorithm, as output from the algorithm was very sensitive to small changes in parameter values. Use of fractal branching rules alone to estimate roots length does not appear possible unless the algorithm is calibrated to adjust for errors in parameter estimation. Calibration can be achieved by calculation of an 'effective link length', L-1(eff), from L-r/n(l), where L-r is measured by a reference method such as soil coring.
We propose a new simulation method, called interval branching, which aims to facilitate efficient simulation studies of systems that involve temporal uncertainty. The method uses interval timestamps for events and exp...
详细信息
ISBN:
(纸本)9780769531595
We propose a new simulation method, called interval branching, which aims to facilitate efficient simulation studies of systems that involve temporal uncertainty. The method uses interval timestamps for events and explores different execution orders of overlapping events by branching the simulation. We first present a sequential version of interval branching, and then extend it to parallel simulation using the logical process paradigm. The parallel interval branching algorithm uses the logical-process cloning technique for efficient computation of branches. Our preliminary experiments show its potential as an efficient method for discrete-event simulation studies.
We study the (n, 3)-MaxSAT problem where we are given an integer k and a CNF formula with n variables, each of which appears in at most 3 clauses, and the question is whether there is an assignment that satisfies at l...
详细信息
We study the (n, 3)-MaxSAT problem where we are given an integer k and a CNF formula with n variables, each of which appears in at most 3 clauses, and the question is whether there is an assignment that satisfies at least k clauses. Based on refined observations, we propose a branching algorithm for the (n, 3)-MaxSAT problem which significantly improves the previous results. More precisely, the running time of our algorithm can be bounded by O* (1.175(k)) and O* (1.194(n)), respectively. Prior to our study, the running time of the best known exact algorithm can be bounded by O* (1.194(k)) and O*(1.237n), respectively.
Finding subgraphs of small diameter in undirected graphs has been seemingly unexplored from a parameterized complexity perspective. We perform the first parameterized complexity study on the corresponding NP-hard s-Cl...
详细信息
Finding subgraphs of small diameter in undirected graphs has been seemingly unexplored from a parameterized complexity perspective. We perform the first parameterized complexity study on the corresponding NP-hard s-Club problem. We consider two parameters: the solution size and its dual.
Network reconfiguration is an important research topic in the planning and operation of power distribution networks. In this paper, we study the partition problem on trees with supply and demand from parameterized com...
详细信息
Network reconfiguration is an important research topic in the planning and operation of power distribution networks. In this paper, we study the partition problem on trees with supply and demand from parameterized computation perspective. We analyze the relationship between supply nodes and demand nodes, and give four reduction rules, which result in a kernel of size O(k(2)) for the problem. Based on branching technique, a parameterized algorithm of running time O*(2.828(k)) is presented. (C) 2016 Published by Elsevier B.V.
In a graph, a matching cut is an edge cut that is a matching. Matching Cut, which is known to be NP-complete, is the problem of deciding whether or not a given graph G has a matching cut. In this paper we show that Ma...
详细信息
In a graph, a matching cut is an edge cut that is a matching. Matching Cut, which is known to be NP-complete, is the problem of deciding whether or not a given graph G has a matching cut. In this paper we show that Matching Cut admits a quadratic-vertex kernel for the parameter distance to cluster and a linear-vertex kernel for the parameter distance to clique. We further provide an O*(2(dc(G)))-time and an O*((2d (c) over bar (G)))-time FPT algorithm for MATCHING CUT, where dc(G) and d((c) over bar)(G) are the distance to cluster and distance to co-cluster, respectively. We also improve the running time of the best known branching algorithm to solve Matching Cut from O*(1.4143(n)) to O*(1.3071(n)) where n is the number of vertices in G. Moreover, we point out that, unless NP subset of coNP/poly, Matching Cut does not admit a polynomial kernel when parameterized simultaneously by treewidth, the number of edges crossing the cut, and the maximum degree of G. (C) 2019 Elsevier B.V. All rights reserved.
Systems which have to work at or below a maximum acceptable failure rate, should be maintained at predetermined points such that the failure rate does not exceed the acceptable level. As the system ages, the post-main...
详细信息
Systems which have to work at or below a maximum acceptable failure rate, should be maintained at predetermined points such that the failure rate does not exceed the acceptable level. As the system ages, the post-maintenance failure rate of the system drops to some newer one, unless the system has been replaced, but does not restore the system to the original state. This paper presents a branching algorithm with effective dominance rules that curtail the number of nodes created;this algorithm determines the number of maintenance interventions before each replacement in order to minimize the total cost over a finite time horizon. The model considers inflationary trends. A numerical example and computational experience demonstrate the algorithm. Most papers on maintenance problems have considered the maintenance interval as constant and increasing cost for successive maintenance for a system. This paper treats the maintenance cost as constant and successive simple-maintenance intervals as decreasing. Though our algorithm assumes that the cost/maintenance is constant, any increasing maintenance cost function could be incorporated. The optimum solutions depend on the: constant improvement factor first simple-maintenance point rate of increase in acquisition cost maintenance cost factor planning period.
In the SPLIT VERTEX DELETION problem, given a graph G and an integer k, we ask whether one can delete k vertices from the graph G to obtain a split graph (i.e., a graph, whose vertex set can be partitioned into two se...
详细信息
In the SPLIT VERTEX DELETION problem, given a graph G and an integer k, we ask whether one can delete k vertices from the graph G to obtain a split graph (i.e., a graph, whose vertex set can be partitioned into two sets: one inducing a clique and the second one inducing an independent set). In this paper we study exact (exponential-time) and fixed-parameter algorithms for SPLIT VERTEX DELETION. We show that, up to a factor quasipolynomial in k and polynomial in n, the SPLIT VERTEX DELETION problem can be solved in the same time as the well-studied VERTEX COVER problem. By plugging in the currently best fixed-parameter algorithm for VERTEX COVER due to Chen et al. [Theor. Comput Sci. 411 (40-42) (2010) 3736-3756], we obtain an algorithm that solves SPLIT VERTEX DELETION in time O(-1.2738(k)k(O(logk)) + n(3)). We show that all maximal induced split subgraphs of a given n-vertex graph can be listed in O(3(n/3) n(O(logn))) time. To achieve our goals, we prove the following structural result that may be of independent interest: for any graph G we may compute a family P of size n(O(logn)) containing partitions of V(C) into two parts, such that for any two disjoint sets X-C, X-I subset of V (G) where G[X-C] is a clique and G[X-I] is an independent set, there is a partition in P which contains all vertices of X-C on one side and all vertices of X-I on the other. Moreover, the family P can be enumerated in O(n(O(logn))) time. (C) 2013 Elsevier B.V. All rights reserved.
暂无评论