two equivalent sets application to singular systems abstract in this paper we consider the problem of state feedback control design for continuous singular systems by applying equivalent sets technique a new formulation of dissipativity condition is proposed based on this condition the desired state feedback controller is designed such that the closed loop system is admissible and dissipative for singular markovian systems necessary and sufficient conditions are proposed for the system to be admissible and for the state feedback control design for time delay singular markovian systems a new bounded real lemma is proposed and the corresponding h control problem is studied numerical examples are given to illustrate the effectiveness of the theoretic results developed

robust h 2 and h control of discrete time systems with polytopic uncertainties via dynamic output feedback this paper addresses the problem of robust h 2 and h control of discrete linear time invariant lti systems with polytopic uncertainties via dynamic output feedback the problem has been known to be difficult when a parameter dependent lyapunov function is to be applied for a less conservative design due to non convexity our approach is based on a novel bounding technique that converts the non convex optimization into a convex one together with a line search which is simple but may be conservative to further reduce the design conservatism an algorithm based on the sequentially linear programming method slpmm is proposed a numerical example is given which demonstrates the feasibility of the proposed design methods

the approximability of constraint satisfaction problems we study optimization problems that may be expressed as boolean constraint satisfaction problems an instance of a boolean constraint satisfaction problem is given by m constraints applied to n boolean variables different computational problems arise from constraint satisfaction problems depending on the nature of the underlying constraints as well as on the goal of the optimization task here we consider four possible goals max csp min csp is the class of problems where the goal is to find an assignment maximizing the number of satisfied constraints minimizing the number of unsatisfied constraints max ones min ones is the class of optimization problems where the goal is to find an assignment satisfying all constraints with maximum minimum number of variables set to 1 each class consists of infinitely many problems and a problem within a class is specified by a finite collection of finite boolean functions that describe the possible constraints that may be used tight bounds on the approximability of every problem in max csp were obtained by creignou j comput system sci 51 1995 pp 511 522 in this work we determine tight bounds on the approximability i e the ratio to within which each problem may be approximated in polynomial time of every problem in max ones min csp and min ones combined with the result of creignou this completely classifies all optimization problems derived from boolean constraint satisfaction our results capture a diverse collection of optimization problems such as max 3 sat max cut max clique min cut nearest codeword etc our results unify recent results on the in approximability of these optimization problems and yield a compact presentation of most known results moreover these results provide a formal basis to many statements on the behavior of natural optimization problems that have so far been observed only empirically

improved parameterized and exact algorithms for cut problems on trees we study the multicut on trees and the generalized multiway cut on trees problems for the multicut on trees problem we present a parameterized algorithm that runs in time o k where 2 1 1 554 is the positive root of the polynomial x 4 2 x 2 1 this improves the current best algorithm of chen et al that runs in time o 1 619 k for the generalized multiway cut on trees problem we show that this problem is solvable in polynomial time if the number of terminal sets is fixed this answers an open question posed in a recent paper by liu and zhang by reducing the generalized multiway cut on trees problem to the multicut on trees problem our results give a parameterized algorithm that solves the generalized multiway cut on trees problem in time o k

microstructures with finite surface energy the two well problem we study solutions of the two well problem i e maps which satisfy ueso n a so n b a c in n where a and b are n n matrices with positive determinants this problem arises in the study of microstructure in solid solid phase transitions under the additional hypothesis that the set e where the gradient lies in so n a has finite perimeter we show that u is locally only a function of one variable and that the boundary of e consists of subsets of hyperplanes which extend to and which do not intersect in this may not be the case if the assumption on e is dropped we also discuss applications of this result to magnetostrictive materials

multicommodity max flow min cut theorems and their use in designing approximation algorithms in this paper we establish max flow min cut theorems for several important classes of multicommodity flow problems in particular we show that for any n node multicommodity flow problem with uniform demands the max flow for the problem is within an o log n factor of the upper bound implied by the min cut the result which is existentially optimal establishes an important analogue of the famous 1 commodity max flow min cut theorem for problems with multiple commodities the result also has substantial applications to the field of approximation algorithms for example we use the flow result to design the first polynomial time polylog n times optimal approximation algorithms for well known np hard optimization problems such as graph partitioning min cut linear arrangement crossing number vlsi layout and minimum feedback arc set applications of the flow results to path routing problems network reconfiguration communication in distributed networks scientific computing and rapidly mixing markov chains are also described in the paper categories and subject descriptors f 2 2 analysis of algorithms and problem complexity

robust dissipative control for linear systems with dissipative uncertainty this paper focuses on the problem of quadratic dissipative control for linear systems with or without uncertainty we consider the design of feedback controllers to achieve robust asymptotic stability and strict quadratic dissipativeness both linear static state feedback and dynamic output feedback controllers are considered first the equivalence between strict quadratic dissipativeness of linear systems and a h performance is established necessary and sufficient conditions for the solution of the quadratic dissipative control problem are then obtained using a linear matrix inequality lmi approach as for uncertain systems we consider structured uncertainty characterized by a dissipative system this uncertainty description is quite general and contains commonly used types of uncertainty such as norm bounded and positive real uncertainties as special cases it is shown that the robust dissipative control problem can be solved in terms of a scaled quadratic dissipative control problem without un

two dimensional dissipative control and filtering for roesser model this paper investigates the problems of two dimensional 2 d dissipative control and filtering for a linear discrete time roesser model first a novel sufficient condition is proposed such that the discrete time roesser system is asymptotically stable and 2 d q s r hbox alpha dissipative special cases such as 2 d passivity performance and 2 d h infty performance and feedback interconnected systems are also discussed based on this condition new 2 d q s r hbox alpha dissipative state feedback and output feedback control problems are defined and solved for a discrete time roesser model the design problems of 2 d q s r hbox alpha dissipative filters of observer form and general form are also considered using a linear matrix inequality lmi approach two examples are given to illustrate the effectiveness and potential of the proposed design techniques

multicuts and integral multiflows in rings we show how to solve in polynomial time the multicut and the maximum integral multiflow problems in rings moreover we give linear time procedures to solve both problems in rings with uniform capacities

on a counterexample of a rank 1 convex function which is not polyconvex in the case n 2 j m ball has introduced the notion of polyconvexity to study nonlinear problems in elasticity and he has shown that polyconvexity implies rank 1 convexity in this paper we prove by a counterexample that the converse of this implication is false in two dimensions

the multi multiway cut problem in this paper we define and study a natural generalization of the multicut and multiway cut problems the minimum multi multiway cut problem the input to the problem is a weighted undirected graph g v e and k sets s 1 s 2 s k of vertices the goal is to find a subset of edges of minimum total weight whose removal completely disconnects each one of the sets s 1 s 2 s k i e disconnects every pair of vertices u and v such that u email protected s i for some i this problem generalizes both the multicut problem when s i 2 for email protected email protected k and the multiway cut problem when k 1 we present an approximation algorithm for the multi multiway cut problem with an approximation ratio which matches that obtained by garg vazirani and yannakakis on the standard multicut problem namely our algorithm has an o logk approximation ratio moreover we consider instances of the minimum multi multiway cut problem which are known to have an optimal solution of light weight we show that our algorithm has an approximation ratio substantially better than o logk when restricted to such light instances specifically we obtain an o loglp approximation algorithm for the problem when all edge weights are at least 1 here lp denotes the value of a natural linear programming relaxation of the problem the latter improves the o loglplogloglp approximation ratio for the minimum multicut problem implied by the work of seymour and even et al

a polynomial algorithm for the k cut problem for fixed k the k cut problem is to find a partition of an edge weighted graph into k nonempty components such that the total edge weight between components is minimum this problem is np complete for an arbitrary k and its version involving fixing a vertex in each component is np hard even for k 3 we present a polynomial algorithm for k fixed that runs in onki 2 3k 2 4tn m steps where tn m is the running time required to find the minimum s t cut on a graph with n vertices and m edges

minimal multicut and maximal integer multiflow a survey we present a survey about the maximum integral multiflow and minimum multicut problems and their subproblems such as the multiterminal cut and the unsplittable flow problems we consider neither continuous multiflow nor minimum cost multiflow most of the results are very recent and some are new we recall the dual relationship between both problems give complexity results and algorithms firstly in unrestricted graphs and secondly in several special graphs trees bipartite or planar graphs a table summarizes the most important results

a threshold of ln n for approximating set cover given a collection f of subsets of s 1 n setcover is the problem of selecting as few as possiblesubsets from f such that their union covers s and maxk cover is the problem of selecting k subsets from f such that their union has maximum cardinality both these problems arenp hard we prove that 1 o 1 ln n is a threshold below which setcover cannot be approximated efficiently unless np has slightlysuperpolynomial time algorithms this closes the gap up to low orderterms between the ratio of approximation achievable by the greedyalogorithm which is 1 o 1 lnn and provious results of lund and yanakakis that showed hardness ofapproximation within a ratio of log 2 n 2s0 72 ln n for max k cover we show an approximationthreshold of 1 1 e up tolow order terms under assumption that p np

stabilizing network bargaining games by blocking players cooperative matching games shapley and shubik and network bargaining games kleinberg and tardos are games described by an undirected graph where the vertices represent players an important role in such games is played by stable graphs that are graphs whose set of inessential vertices those that are exposed by at least one maximum matching are pairwise non adjacent in fact stable graphs characterize instances of such games that admit the existence of stable outcomes in this paper we focus on stabilizing instances of the above games by blocking as few players as possible formally given a graph g we want to find a minimum cardinality set of vertices such that its removal from g yields a stable graph we give a combinatorial polynomial time algorithm for this problem and develop approximation algorithms for some np hard weighted variants where each vertex has an associated non negative weight our approximation algorithms are lp based and we show that our analysis are almost tight by giving suitable lower bounds on the integrality gap of the used lp relaxations

polynomial flow cut gaps and hardness of directed cut problems we study the multicut and the sparsest cut problems in directed graphs in the multicut problem we are a given an n vertex graph g along with k source sink pairs and the goal is to find the minimum cardinality subset of edges whose removal separates all source sink pairs the sparsest cut problem has the same input but the goal is to find a subset of edges to delete so as to minimize the ratio of the number of deleted edges to the number of source sink pairs that are separated by this deletion the natural linear programming relaxation for multicut corresponds by lp duality to the well studied maximum fractional multicommodity flow problem while the standard lp relaxation for sparsest cut corresponds to maximum concurrent flow therefore the integrality gap of the linear programming relaxation for multicut sparsest cut is also the flow cut gap the largest gap achievable for any graph between the maximum flow value and the minimum cost solution for the corresponding cut problem our first result is that the flow cut gap between maximum multicommodity flow and minimum multicut is n1 7 in directed graphs we show a similar result for the gap between maximum concurrent flow and sparsest cut in directed graphs these results improve upon a long standing lower bound of log n for both types of flow cut gaps we notice that these polynomially large flow cut gaps are in a sharp contrast to the undirected setting where both these flow cut gaps are known to be log n our second result is that both directed multicut and sparsest cut are hard to approximate to within a factor of 2 log1 n for any constant 0 unless np zpp this improves upon the recent log n log log n hardness result for these problems we also show that existence of pcp s for np with perfect completeness polynomially small soundness and constant number of queries would imply a polynomial factor hardness of approximation for both these problems all our results hold for directed acyclic graphs

partitioning a graph into small pieces with applications to path transversal given a graph g v e and an integer k in mathbb n we study k vertex separator resp k edge separator where the goal is to remove the minimum number of vertices resp edges such that each connected component in the resulting graph has less than k vertices we also study k path transversal where the goal is to remove the minimum number of vertices such that there is no simple path of length k our main results are the following improved approximation algorithms

approximate max flow min multi cut theorems and their applications consider the multicommodity flow problem in which the object is to maximize the sum of commodities routed we prove the following approximate max flow min multicut theorem dst frac mbox rm min multicut o log k leq mbox rm max flow leq mbox rm min multicut noindent where k is the number of commodities our proof is constructive it enables us to find a multicut within o log k of the max flow and hence also the optimal multicut in addition the proof technique provides a unified framework in which one can also analyse the case of flows with specified demands of leighton and rao and klein et al and thereby obtain an improved bound for the latter problem

using branch and price and cut to solve origin destination integer multicommodity flow problems we present a column generation model and branch and price and cut algorithm for origin destination integer multicommodity flow problems the origin destination integer multicommodity flow problem is a constrained version of the linear multicommodity flow problem in which flow of a commodity defined in this case by an origin destination pair may use only one path from origin to destination branch and price and cut is a variant of branch and bound with bounds provided by solving linear programs using column and cut generation at nodes of the branch and bound tree because our model contains one variable for each origin destination path for every commodity the linear programming relaxations at nodes of the branch and bound tree are solved using column generation i e implicit pricing of nonbasic variables to generate new columns or to prove lp optimality we devise a new branching rule that allows columns to be generated efficiently at each node of the branch and bound tree then we describe cuts cover inequalities that can be generated at each node of the branch and bound tree these cuts help to strengthen the linear programming relaxation and to mitigate the effects of problem symmetry we detail the implementation of our combined column and cut generation method and present computational results for a set of test problems arising from telecommunications applications we illustrate the value of our branching rule when used to find a heuristic solution and compare branch and price and branch and price and cut methods to find optimal solutions for highly capacitated problems

dissipativity analysis and synthesis for discrete time t s fuzzy stochastic systemswith time varying delay this paper is concerned with the problems of dissipativity analysis and synthesis for discrete time takagi sugeno fuzzy systems with stochastic perturbation and time varying delay first a novel model transformation method is introduced to pull the time varying delay uncertainty out of the original system consequently the transformed model is composed of a linear time invariant system and a norm bounded uncertain subsystem by using this model transformation method combined with the lyapunov krasovskii technique sufficient conditions of the dissipativity are established then a fuzzy controller is designed to guarantee the dissipative performance of the closed loop system finally three examples are presented one shows the effectiveness of model transformation method the second performs the comparison with alternative approaches and the third illustrates the applicability of the proposed dissipative control methods

thresholded covering algorithms for robust and max min optimization in a two stage robust covering problem one of several possible scenarios will appear tomorrow and require to be covered but costs are higher tomorrow than today what should you anticipatorily buy today so that the worst case cost summed over both days is minimized we consider the k k robust model where the possible scenarios tomorrow are given by all demand subsets of size k k in this paper we give the following simple and intuitive template for k k robust covering problems having built some anticipatory solution if there exists a single demand whose augmentation cost is larger than some threshold augment the anticipatory solution to cover this demand as well and repeat we show that this template gives good approximation algorithms for k k robust versions of many standard covering problems set cover steiner tree steiner forest minimum cut and multicut our k k robust approximation ratios nearly match the best bounds known for their deterministic counterparts the main technical contribution lies in proving certain net type properties for these covering problems which are based on dual rounding and primal dual ideas these properties might be of some independent interest as a by product of our techniques we also get algorithms for max min problems of the form given a covering problem instance which k k of the elements are costliest to cover for the problems mentioned above we show that their k k max min versions have performance guarantees similar to those for the k k robust problems

planar formulae and their uses we define the set of planar boolean formulae and then show that the set of true quantified planar formulae is polynomial space complete and that the set of satisfiable planar formulae is np complete using these results we are able to provide simple and nearly uniform proofs of np completeness for planar node cover planar hamiltonian circuit and line geometric connected dominating set and of polynomial space completeness for planar generalized geography the np completeness of planar node cover and planar hamiltonian circuit and line were first proved elsewhere m r garey and d s johnson the rectilinear steiner tree is np complete siam j appl math 32 1977 pp 826 834 and m r garey d s johnson and r e tarjan the planar hamilton circuit problem is np complete siam j comp 5 1976 pp 704 714

constitutive theory for some constrained elastic crystals abstract some of the observations of a 15 superconductors near cubic tetragonal phase transformations suggest treating them as thermoelastic bodies subject to certain material constraints here we begin to develop a theory of this kind

the complexity of multicut and mixed multicut problems in di graphs the multicut problem with respect to the fixed pattern di graph q is the following given a di graph g an integer k and a 1 1 mapping p of the vertices of q to a subset x of v g determine whether there exists a set s of at most k edges arcs of g such that g s has no p q p q path for every edge arc qq of q we first prove a dichotomy result for the complexity they are all either polynomial or np complete for multicut problems in di graphs in terms of the pattern q then we consider a variant where the pattern is a mixed graph m the input is a digraph d an integer k and a 1 1 mapping p from v m to some subset of v d and the goal is to decide whether there exists a set s of at most k arcs of d that meets every p q p q path in d for every arc qq of m and every p p p p path in the underlying undirected graph of d for every edge pp of m again we prove a dichotomy result for the complexity of such mixed multicut problems in terms of the pattern m it turns out that the only polynomial cases are those where the pattern is either a polynomial graph pattern or a polynomial digraph pattern as soon as m contains both edges and arcs the m mixed cut problem becomes np complete finally we prove that the directed feedback arc set problem is np complete even in the class of digraphs which have a feedback vertex set of size 2

complexity and exact algorithms for vertex multicut in interval and bounded treewidth graphs multicut is a fundamental network communication and connectivity problem it is defined as given an undirected graph and a collection of pairs of terminal vertices find a minimum set of edges or vertices whose removal disconnects each pair we mainly focus on the case of removing vertices where we distinguish between allowing or disallowing the removal of terminal vertices complementing and refining previous results from the literature we provide several np completeness and fixedparameter tractability results for restricted classes of graphs such as trees interval graphs and graphs of bounded treewidth

on the different convex hulls of sets involving singular values keywords real matrices singular values convex hull polyconvex hull rank one convex hull reference caa article 1998 004doi 10 1017 s0308210500027311view record in web of science record created on 2008 11 25 modified on 2017 05 12

some apx completeness results for cubic graphs four fundamental graph problems minimum vertex cover maximum independent set minimum dominating set and maximum cut are shown to be apx complete even for cubic graphs therefore unless p np these problems do not admit any polynomial time approximation scheme on input graphs of degree bounded by three

complexity of the multicut problem in its vanilla partial and generalized versions in graphs of bounded treewidth abstract in the multicut problem the input consists of a graph and a set of pairs of terminal vertices that have to be disconnected by the removal of a set of edges with minimum total weight the partial multicut problem generalizes multicut by only requiring a given number of pairs of terminals to be disconnected by the removal of edges it has been shown that multicut remains apx hard if the treewidth t w g of its input graph g is bounded but that it is fpt w r t t w g h where h is the demand graph whose vertices are the terminals and whose edges are the pairs of terminals we prove that this also holds for partial multicut furthermore it has been proved that multicut also becomes polynomial time solvable if t w g is bounded and h is complete this is the multiterminal cut problem we extend this result in two directions by proving that multicut remains polynomial time solvable if t w g h is bounded and that this remains true for partial multicut finally we show that if we further generalize the problem to allow non unitary profits for pairs of terminals then the problem is weakly np hard and has an fptas if t w g h is bounded and becomes apx hard if t w g h is bounded

finite time dissipative control for stochastic interval systems with time delay and markovian switching the finite time stochastically boundedness ftsb and the finite time strictly stochastically exponential dissipative ftssed control problems for the stochastic interval systems which are encountered the time delay and markovian switching are investigated in this paper the stochastic delayed interval systems with markovian switching sdisswms are equivalently transformed into a kind of stochastic uncertain time delay systems with markovian switching by interval matrix transformation some sufficient conditions of ftsb and ftssed for the stochastic delayed interval systems with markovian switching are obtained and the ftsb and ftssed controllers are designed by solving a series of linear matrix inequalities which are solvable by lmis toolbox finally a numerical example with simulations is given to illustrate the correctness of the obtained results and the effectiveness of the designed controller

correlation clustering in general weighted graphs we consider the following general correlation clustering problem n bansal a blum s chawla correlation clustering in proc 43rd annu ieee symp on foundations of computer science vancouver canada november 2002 pp 238 250 given a graph with real nonnegative edge weights and a edge labelling partition the vertices into clusters to minimize the total weight of cut edges and uncut edges thus edges with large weights representing strong correlations between endpoints encourage those endpoints to belong to a common cluster while edges with large weights encourage the endpoints to belong to different clusters in contrast to most clustering problems correlation clustering specifies neither the desired number of clusters nor a distance threshold for clustering both of these parameters are effectively chosen to be best possible by the problem definition correlation clustering was introduced by bansal et al correlation clustering in proc 43rd annu ieee syrup on foundations of computer science vancouver canada november 2002 pp 238 250 motivated by both document clustering and agnostic learning they proved np hardness and gave constant factor approximation algorithms for the special case in which the graph is complete full information and every edge has the same weight we give an o log n approximation algorithm for the general case based on a linear programming rounding and the region growing technique we also prove that this linear program has a gap of log n and therefore our approximation is tight under this approach we also give an o r3 approximation algorithm for kr r minor free graphs on the other hand we show that the problem is equivalent to minimum multicut and therefore apx hard and difficult to approximate better than log n

on weighted multiway cuts in trees a min max theorem is developed for the multiway cut problem of edge weighted trees we present a polynomial time algorithm to construct an optimal dual solution if edge weights come in unary representation applications to biology also require some more complex edge weights we describe a dynamic programming type algorithm for this more general problem from biology and show that our min max theorem does not apply to it

packing and covering with linear programming a survey this paper considers the polyhedral results and the min max results on packing and covering problems of the decade since the strong perfect graph theorem published in 2006 the main such results are available for the packing problem however there are still important polyhedral questions that remain open for the covering problem the main questions are still open although there has been important progress we survey some of the main results with emphasis on those where linear programming and graph theory come together they mainly concern the covering of cycles or dicycles in graphs or signed graphs either with vertices or edges this includes the multicut and integral multiflow problems

edge disjoint paths in moderately connected graphs we study the edge disjoint paths edp problem in undirected graphs given a graph g with n nodes and a set mathcal t of pairs of terminals connect as many terminal pairs as possible using paths that are mutually edge disjoint this leads to a variety of classic np complete problems for which approximability is not well understood we show a polylogarithmic approximation algorithm for the undirected edp problem in general graphs with a moderate restriction on graph connectivity we require the global minimum cut of g to be omega log 5n previously constant or polylogarithmic approximation algorithms were known for trees with parallel edges expanders grids grid like graphs and most recently even degree planar graphs these graphs either have special structure e g they exclude minors or have large numbers of short disjoint paths our algorithm extends previous techniques in that it applies to graphs with high diameters and asymptotically large minors

the checkpoint problem in this paper we consider the checkpoint problem the input consists of an undirected graph g a set of source destination pairs s 1 t 1 s 2 t 2 s k t k and a collection p of paths connecting the s i t i pairs a feasible solution is a multicut e namely a set of edges whose removal disconnects every source destination pair for each email protected p we define cp e p email protected e in the sum checkpoint scp problem the goal is to minimize p pcp e p while in the maximum checkpoint mcp problem the goal is to minimize max p pcp e p these problems have several natural applications e g in urban transportation and network security in a sense they combine the multicut problem and the minimum membership set cover problem for the sum objective we show that weighted scp is equivalent with respect to approximability to undirected multicut thus there exists an o logn approximation for scp in general graphs our current approximability results for the max objective have a wide gap we provide an approximation factor of o nlogn opt for mcp and a hardness of 2 under the assumption p np the hardness holds for trees this solves an open problem of nelson 2009 25 we complement the lower bound by an almost matching upper bound with an asymptotic approximation factor of 2 on trees with all s i t i having an ancestor descendant relation we give a combinatorial exact algorithm besides the algorithm being combinatorial its running time improves by many orders of magnitude the lp algorithm that follows from total unimodularity finally we show strong hardness for the well known problem of finding a path with minimum forbidden pairs which in a sense can be considered the dual to the checkpoint problem despite various works on this problem hardness of approximation was not known prior to this work we show that the problem cannot be approximated within cn for some constant c 0 unless p np this is the strongest type of hardness possible it carries over to directed acyclic graphs and is a huge improvement over the plain np hardness of gabow h n gabow finding paths and cycles of superpolylogarithmic length siam j comput 36 6 2007 1648 1671

technical communique dissipative analysis and control of state space symmetric systems the paper addresses the problem of analysis and static output feedback control synthesis for strict quadratic dissipativity of linear time invariant systems with state space symmetry as a particular case of dissipative systems we consider the mixed h and positive real performance criterion and we develop an explicit expression for calculating the h norm of these systems subsequently an explicit parametrization of the static output feedback control gains that solve the mixed h and positive real performance problem is obtained numerical examples demonstrate the use and computational advantages of the proposed explicit solutions

approximation algorithms for metric facility location and k median problems using the primal dual schema and lagrangian relaxation we present approximation algorithms for the metric uncapacitated facility location problem and the metric k median problem achieving guarantees of 3 and 6 respectively the distinguishing feature of our algorithms is their low running time o m log m and o m log m l log n respectively where n and m are the total number of vertices and edges in the underlying complete bipartite graph on cities and facilities the main algorithmic ideas are a new extension of the primal dual schema and the use of lagrangian relaxation to derive approximation algorithms

variance constrained dissipative observer based control for a class of nonlinear stochastic systems with degraded measurements this paper is concerned with the variance constrained dissipative control problem for a class of stochastic nonlinear systems with multiple degraded measurements where the degraded probability for each sensor is governed by an individual random variable satisfying a certain probabilistic distribution over a given interval the purpose of the problem is to design an observer based controller such that for all possible degraded measurements the closed loop system is exponentially mean square stable and strictly dissipative while the individual steady state variance is not more than the pre specified upper bound constraints a general framework is established so that the required exponential mean square stability dissipativity as well as the variance constraints can be easily enforced a sufficient condition is given for the solvability of the addressed multiobjective control problem and the desired observer and controller gains are characterized in terms of the solution to a convex optimization problem that can be easily solved by using the semi definite programming method finally a numerical example is presented to show the effectiveness and applicability of the proposed algorithm

dynamic output feedback dissipative control for t s fuzzy systems with time varying input delay and output constraints this paper develops a new fuzzy dynamic output feedback control scheme for takagi sugeno t s fuzzy systems with time varying input delay and output constraints based on q s r alpha dissipativity the proposed controller called a q s r alpha dissipative output feedback fuzzy controller takes into consideration the abstract energy storage function and supply rate for the disturbance attenuation and provides a unified framework that can incorporate existing results for mathcal h infty and passivity controllers as special cases for t s fuzzy systems with time varying input delay and output constraints a dynamic parallel distributed compensator is used to design the q s r alpha dissipative output feedback fuzzy controller to ensure the asymptotic stability and strict q s r alpha dissipativity of closed loop systems described by a t s fuzzy model that satisfies some output constraints by employing the reciprocally convex approach a new set of delay dependent conditions for the desired controller is formulated in terms of the linear matrix inequality the effectiveness and the applicability of the proposed design techniques are validated by an example of control for active suspension systems for different road conditions

divide and conquer approximation algorithms via spreading metrics we present a novel divide and conquer paradigm for approximating np hard graph optimization problems the paradigm models graph optimization problems that satisfy two properties first a divide and conquer approach is applicable second a fractional spreading metric is computable in polynomial time the spreading metric assigns lengths to either edges or vertices of the input graph such that all subgraphs for which the optimization problem is nontrivial have large diameters in addition the spreading metric provides a lower bound t on the cost of solving the optimization problem we present a polynomial time approximation algorithm for problems modeled by our paradigm whose approximation factor is o min log t log log t log k log log k where k denotes the number of interesting vertices in the problem instance and is at most the number of vertices we present seven problems that can be formulated to fit the paradigm for all these problems our algorithm improves previous results the problems are 1 linear arrangement 2 embedding a graph in a d dimensional mesh 3 interval graph completion 4 minimizing storage time product 5 subset feedback sets in directed graphs and multicuts in circular networks 6 symmetric multicuts in directed networks 7 balanced partitions and p separators for small values of p in directed graphs

a faster strongly polynomial minimum cost flow algorithm in this paper we present a new strongly polynomial time algorithm for the minimum cost flow problem based on a refinement of the edmonds karp scaling technique our algorithm solves the uncapacitated minimum cost flow problem as a sequence of on log n shortest path problems on networks with n nodes and m arcs and runs in on log nm n log n time using a standard transformation this approach yields an om log nm n log n algorithm for the capacitated minimum cost flow problem this algorithm improves the best previous strongly polynomial time algorithm due to z galil and e tardos by a factor of n2 m our algorithm for the capacitated minimum cost flow problem is even more efficient if the number of arcs with finite upper bounds say m is much less than m in this case the running time of the algorithm is om n log nm n log n

parameterized graph separation problems we consider parameterized problems where some separation property has to be achieved by deleting as few vertices as possible the following five problems are studied delete k vertices such that a each of the given l terminals is separated from the others b each of the given l pairs of terminals is separated c exactly l vertices are cut away from the graph d exactly l connected vertices are cut away from the graph e the graph is separated into at least l components we show that if both k and l are parameters then a b and d are fixed parameter tractable while c and e are w 1 hard

an approximation algorithm for the k prize collecting multicut on a tree problem abstract in this paper we consider the k prize collecting multicut on a tree k pcm t problem in this problem we are given an undirected tree t v e a set of m distinct pairs of vertices p s 1 t 1 s m t m and a parameter k with k m every edge in e has a nonnegative cost c e every pair s i t i in p has a nonnegative penalty cost i our goal is to find a multicut m that separates at least k pairs in p such that the total cost including the edge cost of the multicut m and the penalty cost of the pairs not separated by m is minimized this problem generalizes the well known multicut on a tree problem our main work is to present a 4 e approximation algorithm for the k pcm t problem via the methods of primal dual and lagrangean relaxation where e is any fixed positive number

a polylogarithmic approximation algorithm for edge disjoint paths with congestion 2 in the edge disjoint paths with congestion problem edpwc we are given an undirected n vertex graph g a collection m s1 t1 sk tk of pairs of vertices called demand pairs and an integer c the goal is to connect the maximum possible number of the demand pairs by paths so that the maximum edge congestion the number of paths sharing any edge is bounded by c when the maximum allowed congestion is c 1 this is the classical edge disjoint paths problem edp the best current approximation algorithm for edp achieves an o n approximation by rounding the standard multi commodity flow relaxation of the problem this matches the n lower bound on the integrality gap of this relaxation we show an o poly log k approximation algorithm for edpwc with congestion c 2 by rounding the same multi commodity flow relaxation this gives the best possible congestion for a sub polynomial approximation of edpwc via this relaxation our results are also close to optimal in terms of the number of pairs routed since edpwc is known to be hard to approximate to within a factor of log n 1 c 1 for any constant congestion c prior to our work the best approximation factor for edpwc with congestion 2 was o n3 7 and the best algorithm achieving a polylogarithmic approximation required congestion 14

on the parameterized complexity of separating certain sources from the target abstract multicut is proven to be fpt parameterized by the size of the cutset p we focus on its generalization partial multicut setting the number of pairs of terminals to be separated as a parameter r it asks for the minimum edge vertex cut whose removal would separate r sources s i from their target t i our main contributions concern its single target subproblem partial one target cut potc we show that potc when edges are to be cut is fpt parameterized by the cutset size p but is w 1 hard when parameterized only with r the vertex cutting version of potc is w 1 hard regardless of parameter configurations involving r and p

robust extended dissipative control for sampled data markov jump systems this paper investigates the problem of the sampled data extended dissipative control for uncertain markov jump systems the systems considered are transformed into markov jump systems with polytopic uncertainties and sawtooth delays by using an input delay approach the focus is on the design of a mode independent sampled data controller such that the resulting closed loop system is mean square exponentially stable with a given decay rate and extended dissipative a novel exponential stability criterion and an extended dissipativty condition are established by proposing a new integral inequality the reduced conservatism of the criteria is demonstrated by two numerical examples furthermore a sufficient condition for the existence of a desired mode independent sampled data controller is obtained by solving a convex optimisation problem finally a resistance inductance and capacitance rlc series circuit is employed to illustrate the effectiveness of the proposed approach

application of a multiplier method to uncertain lur e like systems abstract this paper investigates the conditions under which an abstract matrix multiplier method can be applied to determine guaranteeing cost controls for systems containing nonlinear uncertain elements via linear matrix inequalities lmis quadratically constrained uncertainties and nonlinearities are considered which comprehend the cases of norm bounded positive real and sector bounded uncertainties nonlinearities both the discrete time and the continuous time cases are discussed necessary and sufficient conditions are formulated in the case of unstructured uncertainty the conditions are sufficient in the structured case the cost guaranteeing controls can be determined by solving lmis numerical examples illustrate the effectiveness of the proposed method

solving integer programs over monotone inequalities in three variables a framework for half integrality and good approximations abstract we define a class of monotone integer programs with constraints that involve up to three variables each a generic constraint in such integer program is of the form ax by z c where a and b are nonnegative and the variable z appears only in that constraint we devise an algorithm solving such problems in time polynomial in the length of the input and the range of variables u the solution is obtained from a minimum cut on a graph with o nu nodes and o mu arcs where n is the number of variables of the types x and y and m is the number of constraints our algorithm is also valid for nonlinear objective functions nonmonotone integer programs are optimization problems with constraints of the type ax by z c without restriction on the signs of a and b such problems are in general np hard we devise here an algorithm relying on a transformation to the monotone case that delivers half integral superoptimal solutions in polynomial time such solutions provide bounds on the optimum value that can only be superior to bounds provided by linear programming relaxation when the half integral solution can be rounded to an integer feasible solution this is a 2 approximate solution in that the technique is a unified 2 approximation technique for a large class of problems the results apply also for general integer programming problems with worse approximation factors that depend on a quantifier measuring how far the problem is from the class of problems we describe the algorithm described here has a wide array of problem applications an additional important consequence of our results is that nonmonotone problems in the framework are max snp hard and at least as hard to approximate as vertex cover problems that are amenable to the analysis provided here are easily recognized the analysis itself is entirely technical and involves manipulating the constraints and transforming them to a totally unimodular system while losing no more than a factor of 2 in the integrality

improving multicut in directed trees by upgrading nodes abstract in this paper we consider the network improvement problem for multicut by upgrading nodes in a directed tree t v e with multiple sources and multiple terminals in a node based upgrading model a node v can be upgraded at the expense of c v and such an upgrade reduces weights on all edges incident to v the objective is to upgrade a minimum cost subset s v of nodes such that the resulting network has a multicut in which no edge has weight larger than a given value d we first obtain a minimum cardinality node multicut v c for tree t then find the minimum cost upgrading set based on the upgrading sets for the subtrees rooted at the nodes in v c we show that our algorithm is polynomial when the number of source terminal pairs is upper bounded by a given value

optimal design and relaxation of variational problems iii abstract this paper has attempted a synthesis of three subjects that have developed separately optimal design homogenization and relaxation in the calculus of variations the underlying theme is that of oscillations they occur with certain definite patterns in minimizing sequences for the variational problem the same patterns recur in nearly optimal designs and in the coefficients of the equation being homogenized each problem is resolved by determining the structure of those oscillations and above all their macroscopic averages it is those averages that solve the relaxed problem they also determine the optimal design and the solution of the homogenized equation we emphasize also the role of optimization the homogenized equations and composite materials of interest here come not from arbitrary mixtures but from those that are extremal since they correspond to minimizing sequences for the variational problem the effective properties of these composites attain the optimal bounds for given materials in fixed proportions

fast approximate graph partitioning algorithms we study graph partitioning problems on graphs with edge capacities and vertex weights the problems of b balanced cuts and k balanced partitions are unified into a new problem called minimum capacity rho separators a rho separator is a subset of edges whose removal partitions the vertex set into connected components such that the sum of the vertex weights in each component is at most rho times the weight of the graph we present a new and simple o log n approximation algorithm for minimum capacity rho separators which is based on spreading metrics yielding an o log n approximation algorithm both for b balanced cuts and k balanced partitions in particular this result improves the previous best known approximation factor for k balanced partitions in undirected graphs by a factor of o log k we enhance these results by presenting a version of the algorithm that obtains an o log opt approximation factor the algorithm is based on a technique called spreading metrics that enables us to formulate directly the minimum capacity rho separator problem as an integer program we also introduce a generalization called the simultaneous separator problem where the goal is to find a minimum capacity subset of edges that separates a given collection of subsets simultaneously we extend our results to directed graphs for values of rho geq 1 2 we conclude with an efficient algorithm for computing an optimal spreading metric for rho separators this yields more efficient algorithms for computing b balanced cuts than were previously known

the multi terminal maximum flow network interdiction problem abstract this paper defines and studies the multi terminal maximum flow network interdiction problem mtnip in which a network user attempts to maximize flow in a network among k 3 pre specified node groups while an interdictor uses limited resources to interdict network arcs to minimize this maximum flow the paper proposes an exact mtnip e and an approximating model mpnim to solve this np hard problem and presents computational results to compare the models mtnip e is obtained by first formulating mtnip as bi level min max program and then converting it into a mixed integer program where the flow is explicitly minimized mpnim is binary integer program that does not minimize the flow directly it partitions the node set into disjoint subsets such that each node group is in a different subset and minimizes the sum of the arc capacities crossing between different subsets computational results show that mpnim can solve all instances in a few seconds while mtnip e cannot solve about one third of the problems in 24 hour the optimal objective function values of both models are equal to each other for some problems while they differ from each other as much as 46 2 in the worst case however when the post interdiction flow capacity incurred by the solution of mpnim is computed and compared to the objective value of mtnip e the largest difference is only 7 90 implying that mpnim may be a very good approximation to mtnip e

an example of a quasiconvex function that is not polyconvex in two dimensions we study the different notions of convexity for the function f 2 2 2 det where e 2 2 introduced by dacorogna marcellini we show that f is convex polyconvex quasiconvex rank one convex if and only if 2 3 2 1 1 for some 0 2 3 respectively

approximation algorithms for the set covering and vertex cover problems we propose a heuristic that delivers in o n 3 steps a solution for the set covering problem the value of which does not exceed the maximum number of sets covering an element times the optimal value

brief dissipative control for linear discrete time systems this paper focuses on the problem of quadratic dissipative control for linear discrete time systems we consider the design of feedback controllers to achieve asymptotic stability and strict quadratic dissipativeness both the linear static state feedback and the dynamic output feedback controllers are considered necessary and sufficient conditions for the solutions of the quadratic dissipative control problems are obtained using the linear matrix inequality lmi approach the main result of this paper unifies existing results on h and positive real control and it provides a more flexible and less conservative control design as it allows for a better trade off between phase and gain performances

restrictions on microstructure we consider the following question given a set of matrices with no rank one connections does it support a nontrivial young measure limit of gradients our main results are these a a young measure can be supported on four incompatible matrices b in two space dimensions a young measure cannot be supported on finitely many incompatible elastic wells c in three or more space dimensions a young measure can be supported on three incompatible elastic wells and d if supports a nontrivial young measure with mean value 0 then the linear span of must contain a matrix of rank one

min sum clustering with penalties abstract given a complete graph g v e a weight function w e n 0 on its edges and p n 0 a penalty function on its vertices the penalized k min sum problem is the problem of finding a partition of v to k 1 sets s 1 s k 1 minimizing i 1 k w s i p s k 1 where for s v w s e i j s w e and p s i s p i our main result is a randomized approximation scheme for the metric version of the penalized 1 min sum problem when the ratio between the minimal and maximal penalty is bounded for the metric penalized k min sum problem where k is a constant we offer a 2 approximation

rank one convexity does not imply quasiconvexity we consider variational integrals defined for sufficiently regular functions u r m here is a bounded open subset of r n du x denotes the gradient matrix of u at x and f is a continuous function on the space of all real m n matrices m m n one of the important problems in the calculus of variations is to characterise the functions f for which the integral i is lower semicontinuous in this connection the following notions were introduced see 3 9 10

ellipsoidal sets for resilient and robust static output feedback the implementation of a controller if not exact may lead to the so called fragility problem i e the loss of expected closed loop properties in the present note this difficult problem is dealt with considering robust static output feedback sof control for uncertain linear time invariant systems by analogy with robust analysis theory based on quadratic separation a new formulation for the sof design is shown to be a valuable way to tackle fragility issues indeed the use of a quadratic separator for design purpose allows to define a whole resilient nonfragile set of sof control laws results are formulated as matrix inequalities one of which is nonlinear a numerical algorithm based on nonconvex optimization is provided ant its running is illustrated on classical examples from literature

correlation clustering with constrained cluster sizes and extended weights bounds we consider the problem of correlation clustering on graphs with constraints on both the cluster sizes and the positive and negative weights of edges our contributions are twofold first we introduce the problem of correlation clustering with bounded cluster sizes second we extend the regime of weight values for which the clustering may be performed with constant approximation guarantees in polynomial time and apply the results to the bounded cluster size problem

digraph measures kelly decompositions games and orderings we consider various well known equivalent complexity measures for graphs such as elimination orderings k trees and cops and robber games and study their natural translations to digraphs we show that on digraphs the translations of these measures are also equivalent and induce a natural connectivity measure we introduce a decomposition for digraphs and an associated width kelly width which is equivalent to the aforementioned measure we demonstrate its usefulness by exhibiting potential applications including polynomial time algorithms for np complete problems on graphs of bounded kelly width and complexity analysis of asymmetric matrix factorization finally we compare the new width to other known decompositions of digraphs

approximation schemes for a class of subset selection problems in this paper we develop an easily applicable algorithmic technique tool for developing approximation schemes for certain types of combinatorial optimization problems special cases that are covered by our result show up in many places in the literature for every such special case a particular rounding trick has been implemented in a slightly different way with slightly different arguments and with slightly different worst case estimations usually the rounding procedure depended on certain upper or lower bounds on the optimal objective value that have to be justified in a separate argument our easily applied result unifies many of these results and sometimes it even leads to a simpler proof we demonstrate how our result can be easily applied to a broad family of combinatorial optimization problems as a special case we derive the existence of an fptas for the scheduling problem of minimizing the weighted number of late jobs under release dates and preemption on a single machine the approximability status of this problem has been open for some time

reconstructing polyatomic structures from discrete x rays we address a discrete tomography problem that arises in the study of the atomic structure of crystal lattices a polyatomic structure t can be defined as an integer lattice in dimension d 2 whose points may be occupied by c distinct types of atoms to analyze t we conduct measurements that we call discrete x rays a discrete x ray in direction determines the number of atoms of each type on each line parallel to given such non parallel x rays we wish to reconstruct t the complexity of the problem for c 1 one atom type has been completely determined by gardner et al technical report 970 05012 techn univ munchen fak f math 1997 who proved that the problem is np complete for any dimension d 2 and 3 non parallel x rays and that it can be solved in polynomial time otherwise ryser mathematical association of america and quinn boden rahway new jersey 1963 the np completeness result above clearly extends to any c 2 and therefore when studying the polyatomic case we can assume that 2 as shown in another article by the same authors gardner et al theoret comput sci 1997 to appear this problem is also np complete for c 6 atoms even for dimension d 2 and axis parallel x rays gardner et al 1997 conjecture that the problem remains np complete for c 3 4 5 although as they point out the proof idea in gardner et al 1997 does not seem to extend to c 5 we resolve the conjecture from gardner et al 1997 by proving that the problem is indeed np complete for c 3 in 2d even for axis parallel x rays our construction relies heavily on some structure results for the realizations of 0 1 matrices with given row and column sums

partial multicuts in trees let t v e be an undirected tree in which each edge is associated with a non negative cost and let s1 t1 sk tk be a collection of k distinct pairs of vertices given a requirement parameter t k the partial multicut on a tree problem asks to find a minimum cost set of edges whose removal from t disconnects at least t out of these k pairs this problem generalizes the well known multicut on a tree problem in which we are required to disconnect all given pairs the main contribution of this paper is an 8 3 e approximation algorithm for partial multicut on a tree whose run time is strongly polynomial for any fixed e 0 this result is achieved by introducing problem specific insight to the general framework of using the lagrangian relaxation technique in approximation algorithms our algorithm utilizes a heuristic for the closely related prize collecting variant in which we are not required to disconnect all pairs but rather incur penalties for failing to do so we provide a lagrangian multiplier preserving algorithm for the latter problem with an approximation factor of 2 finally we present a new 2 approximation algorithm for multicut on a tree based on lp rounding

key generation algorithms for pairwise independent networks based on graphical models we consider two secret key generation problems under a pairwise independent network model and propose low complexity key generation schemes in a framework that connects our problems to network flow problems in graphs our schemes have two components 1 local key generation and 2 global key propagation in the local key generation we use point to point source coding with side information to establish pairwise keys from which we construct a graph with the capacity of each edge being the key rate of the corresponding point to point local key in the global key propagation depending on the particular problem secret keys are delivered to users in the network using various network flow algorithms in particular in the first problem in which one is required to generate a group key for a group of users in the network we propose a network coding based global key propagation approach this approach has a low complexity and has a better performance than the existing approach in the second problem in which one is required to generate multiple keys simultaneously for different pairs of users we propose a multicommodity flow based global key propagation approach we show that the proposed approach is optimal for the case of generating two keys for the general case of generating more than two keys we show that the sum rate of the proposed scheme is larger than an upper bound characterized in this paper divided by a constant

on the max flow min cut ratio for directed multicommodity flows we present a pure combinatorial problem whose solution determines max flow min cut ratio for directed multicommodity flows in addition this combinatorial problem has applications in improving the approximation factor of the greedy algorithm for the maximum edge disjoint path problem more precisely our upper bound improves the approximation factor for this problem to o n3 4

the complexity of multiterminal cuts in the multiterminal cut problem one is given an edge weighted graph and a subset of the vertices called terminals and is asked for a minimum weight set of edges that separates each terminal from all the others when the number k of terminals is two this is simply the mincut max flow problem and can be solved in polynomial time it is shown that the problem becomes np hard as soon as k 3 but can be solved in polynomial time for planar graphs for any fixed k the planar problem is np hard however if k is not fixed a simple approximation algorithm for arbitrary graphs that is guaranteed to come within a factor of 2 2 k of the optimal cut weight is also described

stability and dissipativity analysis of distributed delay cellular neural networks in this brief the problems of delay dependent stability analysis and strict q s dissipativity analysis are investigated for cellular neural networks cnns with distributed delay first by introducing an integral partitioning technique two new forms of lyapunov krasovskii functionals are constructed and improved distributed delay dependent stability conditions are established in terms of linear matrix inequalities based on this criterion a new sufficient delay and dependent condition is given to guarantee that the cnns with distributed delay are strictly q s dissipative the results developed in this brief can tolerate larger allowable delay than existing ones in the literature which is demonstrated by several examples

approximation algorithms for disjoint paths and related routing and packing problems given a network and a set of connection requests on it we consider the maximum edge disjoint paths and related generalizations and routing problems that arise in assigning paths for these requests we present improved approximation algorithms and or integrality gaps for all problems considered the central theme of this work is the underlying multicommodity flow relaxation applications of these techniques to approximating families of packing integer programs are also presented

a new approach to the maximum flow problem all previously known efficient maximum flow algorithms work by finding augmenting paths either one path at a time as in the original ford and fulkerson algorithm or all shortest length augmenting paths at once using the layered network approach of dinic an alternative method based on the preflow concept of karzanov is introduced a preflow is like a flow except that the total amount flowing into a vertex is allowed to exceed the total amount flowing out the method maintains a preflow in the original network and pushes local flow excess toward the sink along what are estimated to be shortest paths the algorithm and its analysis are simple and intuitive yet the algorithm runs as fast as any other known method on dense graphs achieving an o n 3 time bound on an n vertex graph by incorporating the dynamic tree data structure of sleator and tarjan we obtain a version of the algorithm running in o nm log n 2 m time on an n vertex m edge graph this is as fast as any known method for any graph density and faster on graphs of moderate density the algorithm also admits efficient distributed and parallel implementations a parallel implementation running in o n 2 log n time using n processors and o m space is obtained this time bound matches that of the shiloach vishkin algorithm which also uses n processors but requires o n 2 space

fast algorithms for shortest paths in planar graphs with applications graph decomposition and data structures techniques are presented that exploit the structure of planar graphs to yield faster algorithms for a number of shortest path and related problems improved

on the hardness of finding near optimal multicuts in directed acyclic graphs abstract given an edge weighted di graph and a list of source sink pairs of vertices of this graph the minimum multicut problem consists in selecting a minimum weight set of edges or arcs whose removal leaves no path from each source to the corresponding sink this is a well known np hard problem and improving several previous results we show that it remains apx hard in unweighted directed acyclic graphs dag even with only two source sink pairs this is also true if we remove vertices instead of arcs

delay dependent robust dissipativity conditions for delayed neural networks with random uncertainties this paper deals with the problem of the robust dissipativity analysis for delayed neural networks with randomly occurring uncertainties the randomly occurring uncertainties under consideration are assumed to follow certain mutually uncorrelated bernoulli distributed white noise sequences by using reciprocally convex approach combined with an extended wirtinger inequality some delay dependent conditions for the concerned neural networks to be stochastically strictly q s r dissipative are established finally two numerical examples are given to illustrate the reduced conservatism and effectiveness of our proposed approach