Optimality certificates for convex minimization and Helly numbers

Save this PDF as:

Size: px
Start display at page:

Transcription

1 Optimality certificates for convex minimization and Helly numbers Amitabh Basu Michele Conforti Gérard Cornuéjols Robert Weismantel Stefan Weltge October 20, 2016 Abstract We consider the problem of minimizing a convex function over a subset of R n that is not necessarily convex (minimization of a convex function over the integer points in a polytope is a special case). We define a family of duals for this problem and show that, under some natural conditions, strong duality holds for a dual problem in this family that is more restrictive than previously considered duals. 1 Introduction Insights obtained through duality theory have spawned efficient optimization algorithms (combinatorial and numerical) which simultaneously work on a pair of primal and dual problems. Striking examples are Edmonds seminal work in combinatorial optimization, and interior-point algorithms for numerical/continuous optimization. Compared to duality theory for continuous optimization, duality theory for mixed-integer optimization is still underdeveloped. Although the linear case has been extensively studied, see, e.g., [4, 5, 11, 12], nonlinear integer optimization duality was essentially unexplored until recently. An important step was taken by Morán et al. for conic mixed-integer problems [10], followed up by Baes et al. [2] who presented a duality theory for general convex mixed-integer problems. The approach taken by Moran et al. was essentially algebraic, drawing on the theory of subadditive functions. Baes et al. took a more geometric viewpoint and developed a duality theory based on lattice-free polyhedra. We follow the latter approach. Given S R n and a convex function f : R n R, we consider the problem inf f(s). (1) s S We describe a geometric dual object that can be used to certify optimality of a solution to (1). For simplicity, let us consider the situation when the infimum of f over R n and over S is attained, and let x 0 arg inf x R n f(x). We say that a closed set C is an S-free neighborhood of x 0 if x 0 int(c) and int(c) S =. Using the convexity of f, it follows that for any s S and any C that is an S-free neighborhood of x 0, the following holds: f( s) inf f(z) =: L(C), (2) z bd(c) where bd(c) denotes the boundary of C (to see this, consider the line segment connecting s and x 0 and a point at which this line segment intersects bd(c)). Thus, an S-free neighborhood of x 0 can be interpreted as a dual object that provides a lower bound of the type (2). As a consequence, the following is true. 1

2 Proposition 1 (Strong duality). If there exist s S and C R n that is an S-free neighborhood of x 0, such that equality holds in (2), then s is an optimal solution to (1). This motivates the definition of a dual optimization problem to (1). For any family F of S-free neighborhoods of x 0, define the F-dual of (1) as sup L(C). (3) C F Assuming very mild conditions on S and f (e.g., when S is a closed subset of R n disjoint from arg inf x R n f(x)), it is straightforward to show that if F is the family of all S-free neighborhoods of x 0, then strong duality holds, i.e., there exists s S and C F such that the condition in Proposition 1 holds. However, the entire family of S-free neighborhoods is too unstructured to be useful as a dual problem. Moreover, the inner optimization problem (2) of minimizing on the boundary of C can be very hard if C has no structure other than being S-free. Thus, we would like to identify subfamilies F of S-free neighborhoods that still maintain strong duality, while at the same time, are much easier to work with inside a primal-dual framework. We list below three subclasses that we expect to be useful in this line of research. First, we need the concept of a gradient polyhedron: Definition 2. Given a set of points z 1,..., z k R n, Q := {x R n : a i, x z i 0, i = 1,..., k} is said to be a gradient polyhedron of z 1,..., z k if for every i = 1,..., k, a i f(z i ), i.e., a i is a subgradient of f at z i. We consider the following families. The family F max of maximal convex S-free neighborhoods of x 0, i.e., those S-free neighborhoods that are convex, and are not strictly contained in a larger convex S-free neighborhood. The family F of convex S-free neighborhoods that are also gradient polyhedra for some finite set of points in R n. The family F,S of convex S-free neighborhoods that are also gradient polyhedra for some finite set of points in S. We propose the above families so as to leverage a recent surge of activity analyzing their structure; the surveys [3] and Chapter 6 of [6] provide good overviews and references for this whole line of work. This well-developed theory provides powerful mathematical tools to work with these families. As an example, this prior work shows that for most sets S that occur in practice (which includes the integer and mixed-integer cases), the family F max only contains polyhedra. This is good from two perspectives: polyhedra are easier to represent and compute with than general S-free neighborhoods, the inner optimization problem (2) of computing L(C) becomes the problem of solving finitely many continuous convex optimization problems, corresponding to the facets of C. Of course, the first question to settle is whether these three families actually enjoy strong duality, i.e., do we have strong duality between (1) and the F max -dual, F -dual and F,S -dual? It turns out that the main result in [2] shows that for the mixed-integer case, i.e., S = C (Z n1 R n2 ) for some convex set C, the F -dual enjoys strong duality under conditions of the Slater type from continuous optimization. It is not hard to strengthen their result to also show that the F max F -dual is a strong dual, under some additional assumptions. In this paper, we give conditions on S and f such that strong duality holds for the dual problem (3) associated with F max F F,S. Below we give an explanation as to why this family is very desirable. If these conditions on S and f are met, our result is stronger than Baes et al. [2]. For example, when S is the set of integer points in a compact convex set and f is any convex function, our 2

3 certificate is a stronger one. However, our conditions on S and f do not cover certain mixed-integer problems; whereas, the certificate from Baes et al. still exists in these settings. Nevertheless, it can be shown that in such situations, a strong certificate like ours does not necessarily exist. Definition 3. A strong optimality certificate of size k for (1) is a set of points z 1,..., z k S together with subgradients a i f(z i ) such that Q := {x R n : a i, x z i 0, i = 1,..., k} is S-free, (4) a i, z j z i < 0 for all i j. (5) Recall that a f(z) if f(x) f(z) + a, x z holds for all x R n. Since Q is S-free, for every s S there is some i [k] such that a i, s z i 0 and hence f(s) f(z i ). Thus, Property (4) implies that min s S f(s) = min i [k] f(z i ) holds. In other words, given a strong optimality certificate, we can compute (1) by simply evaluating f(z 1 ),..., f(z k ). This implies that if a strong certificate exists, then the infimum of f over S is attained. In order to verify that z 1,..., z k together with a 1,..., a k form a strong optimality certificate, one has to check whether the polyhedron Q is S-free. Deciding whether a general polyhedron is S-free might be a difficult task. However, Property (5) ensures that Q is maximal S-free, i.e., Q is not properly contained in any other S-free closed convex set: Indeed, Property (5) implies that Q is a full-dimensional polyhedron and that {x Q : a i, x = 0} is a facet of Q containing z i S in its relative interior for every i [k]. Since every closed convex set C that properly contains Q contains the relative interior of at least one facet of Q in its interior, C cannot be S-free. For particular sets S, the properties of S-free sets that are maximal have been extensively studied and are much better understood than general S-free sets. For instance, if S = (R d Z n ) C where C is a closed convex subset of R n+d, maximal S-free sets are polyhedra with at most 2 n facets [9]. In particular, if S = Z 2 the characterizations in [7, 8] yield a very simple algorithm to detect whether a polyhedron is maximal Z 2 -free. In order to state our main result, we need the notion of the Helly number h(s) of the set S, which is the largest number m such that there exist convex sets C 1,..., C m R n satisfying C i S = and C i S for every j [m]. (6) i [m] i [m]\{j} Theorem 4. Let S R n and f : R n R be a convex function such that (i) O / f(s) for all s S, (ii) h(s) is finite, and (iii) for every polyhedron P R n with int(p ) S there exists an s int(p ) S with f(s ) = inf s int(p ) S f(s). Then there exists a strong optimality certificate of size at most h(s). Let us first comment on the assumptions in Theorem 4. If O f(s ) for some s S, then s is an optimal solution to (1), as well as to its continuous relaxation over R n. An easy certificate of optimality in this case is the subgradient O. A quite general situation in which (ii) is always satisfied is the case S = (R d Z n ) C where C R d+n is a closed convex set. In this situation, one has h(s) 2 n (d + 1). The characterization of closed sets S for which h(s) is finite has received a lot of attention, see, e.g., [1]. Finally, note that (iii) implies that the minimum in (1) actually exists. As an example, (iii) is fulfilled whenever S is discrete (every bounded subset of S is finite) and the set {x R n : f(x) α} is bounded and non-empty for some α R (implying that the set is actually bounded for every α R). This latter condition is satisfied, e.g., when f is strictly convex and has a minimizer. Another situation where (iii) is satisfied is when S is a finite set, e.g., S = C Z n where C is a compact convex set. 3

4 Also, if conditions (i) and (ii) hold, but (iii) does not hold, a strong optimality certificate may not exist. For example, consider S = {x Z 2 : 2x 1 x 2 0, x 1 1 2, x 2 0} and f(x) = 2x 1 x 2. In this case, no strong optimality certificate can exist, as the infimum of f over S is 0, but it is not attained by any point in S. 2 Proof of Theorem 4 We make use of the following observation. Let conv( ) denote the convex hull and vert(p ) denote the set of vertices of a polyhedron P. Lemma 5. Let S R n and V S finite such that V = conv(v ) S = vert(conv(v )). Then we have V h(s). Proof. Let V = {v 1,..., v m } and for every i [m] let C i := conv(v \ {v i }). Since V = conv(v ) S = vert(conv(v )), we have C i S = V \ {v i } for every i [m]. Thus, C 1,..., C m satisfy (6) and hence m h(s). We are ready to prove Theorem 4. Let us consider the following algorithm (in fact, we will see that this is indeed a finite algorithm): Q 0 R n, k 1 while int(q k 1 ) S : t k min{f(s) : s int(q k 1 ) S} (7) C k {x R n : f(x) t k } z k any s int(q k 1 ) S with f(s) = t k such that dim(f Ck (s)) is largest possible (8) a k any point in relint( f(z k )) Q k {x Q k 1 : a k, x z k 0} k k + 1 In the above, relint( ) denotes the relative interior and dim( ) the affine dimension. For a closed convex set C R n and a point p C we denote by F C (p) the smallest face of C that contains p. Remark that iteration k of the algorithm can always be executed, as the set Q k is a polyhedron and hence by the assumption in (iii) the minimum in (7) always exists. Furthermore, since a k relint( f(z k )) we have F k := F Ck (z k ) = {x C k : a k, x z k = 0} (9) Claim 1: For every k we have that a i, z j z i < 0 holds for all i, j k with i j. Let k 2 and assume that the claim is satisfied for all i, j k 1, i j. Since z k int(q k 1 ) and a i O by assumption (i), we have that a i, z k z i < 0 for every i < k. It remains to show that a k, z i z k < 0 for every i < k. Since a k f(z k ), we have that a k, z i z k f(z i ) f(z k ) and for i < k by (7) we have f(z i ) f(z k ). Therefore a k, z i z k 0 and if a k, z i z k = 0, then f(z i ) = f(z k ). Assume this is the case. Since a i, z k z i < 0 we have z k / F i and in particular F i F k. (10) By (9) this means that z i F k holds. Since F i is the smallest face that contains z i, this implies F i F k. By (8), we have that dim(f i ) dim(f k ) and thus F i = F k, a contradiction to (10). Claim 2: For every k we have that V := {z 1,..., z k } satisfies V = conv(v ) S = vert(conv(v )). It is easy to see that Claim 1 implies V = vert(conv(v )). For the sake of contradiction, assume there exists some s (conv(v ) \ V ) S. By Claim 1, we have s int(q k ). Therefore by (7) we have f(s) t k. Since f is convex and s conv(v ), this implies f(s) = t k. Let a relint( f(s)) and 4

5 consider F := F Ck (s) = {x C k : a, z i s = 0}. Since V C k, we have that z i F for at least one i [k]. Due to a, z i s f(z i ) f(s) we must have f(z i ) = t k and hence F i F. By (8), we further have dim(f i ) dim(f ), which shows F i = F. However, by Claim 1 we have z j / F i for all j i and hence s / F i, a contradiction since s F. Claim 3: The algorithm stops after at most h(s) iterations and Q := Q k is S-free. Note that the set V := {z 1,..., z k } becomes larger in every iteration. By Claim 2 and Lemma 5 we must have k h(s) and hence the algorithm stops after at most h(s) iterations. Since the algorithm stops if and only if Q k is S-free, this proves the claim. Acknowledgements This work was performed during a stay of the first three authors at ETH Zürich. Their visit had been funded by the Research Institute of Mathematics (FIM). Furthermore, part of this work was supported by NSF grant and ONR grant We are grateful for this support. References [1] Gennadiy Averkov. On maximal S-free sets and the Helly number for the family of S-convex sets. SIAM Journal on Discrete Mathematics, 27(3): , [2] Michel Baes, Timm Oertel, and Robert Weismantel. Duality for mixed-integer convex minimization. Mathematical Programming, 158(1): , [3] Amitabh Basu, Michele Conforti, and Marco Di Summa. A geometric approach to cut-generating functions. Mathematical Programming, 151(1): , [4] Charles E Blair and Robert G Jeroslow. Constructive characterizations of the value-function of a mixed-integer program I. Discrete Applied Mathematics, 9(3): , [5] Charles E Blair and Robert G Jeroslow. Constructive characterizations of the value function of a mixed-integer program II. Discrete Applied Mathematics, 10(3): , [6] Michele Conforti, Gérard Cornuéjols, and Giacomo Zambelli. Integer programming, volume 271. Springer, [7] Santanu S. Dey and Laurence A. Wolsey. Two row mixed-integer cuts via lifting. Mathematical Programming, 124: , [8] Cor A J Hurkens. Blowing up convex sets in the plane. Linear Algebra and its Applications, 134: , [9] Diego A Morán R and Santanu S Dey. On maximal S-free convex sets. SIAM Journal on Discrete Mathematics, 25(1): , [10] Diego A Morán R, Santanu S Dey, and Juan Pablo Vielma. A strong dual for conic mixed-integer programs. SIAM Journal on Optimization, 22(3): , [11] Laurence A Wolsey. The b-hull of an integer program. Discrete Applied Mathematics, 3(3): , [12] Laurence A Wolsey. Integer programming duality: Price functions and sensitivity analysis. Mathematical Programming, 20(1): ,

Optimality certificates for convex minimization and Helly numbers

Optimality certificates for convex minimization and Helly numbers Amitabh Basu Michele Conforti Gérard Cornuéjols Robert Weismantel Stefan Weltge May 10, 2017 Abstract We consider the problem of minimizing

Integer Programming Theory

Integer Programming Theory Laura Galli October 24, 2016 In the following we assume all functions are linear, hence we often drop the term linear. In discrete optimization, we seek to find a solution x

Convex Geometry arising in Optimization

Convex Geometry arising in Optimization Jesús A. De Loera University of California, Davis Berlin Mathematical School Summer 2015 WHAT IS THIS COURSE ABOUT? Combinatorial Convexity and Optimization PLAN

Lecture 2 - Introduction to Polytopes

Lecture 2 - Introduction to Polytopes Optimization and Approximation - ENS M1 Nicolas Bousquet 1 Reminder of Linear Algebra definitions Let x 1,..., x m be points in R n and λ 1,..., λ m be real numbers.

Stable sets, corner polyhedra and the Chvátal closure

Stable sets, corner polyhedra and the Chvátal closure Manoel Campêlo Departamento de Estatística e Matemática Aplicada, Universidade Federal do Ceará, Brazil, mcampelo@lia.ufc.br. Gérard Cornuéjols Tepper

Math 5593 Linear Programming Lecture Notes

Math 5593 Linear Programming Lecture Notes Unit II: Theory & Foundations (Convex Analysis) University of Colorado Denver, Fall 2013 Topics 1 Convex Sets 1 1.1 Basic Properties (Luenberger-Ye Appendix B.1).........................

Lecture 5: Duality Theory

Lecture 5: Duality Theory Rajat Mittal IIT Kanpur The objective of this lecture note will be to learn duality theory of linear programming. We are planning to answer following questions. What are hyperplane

FACES OF CONVEX SETS

FACES OF CONVEX SETS VERA ROSHCHINA Abstract. We remind the basic definitions of faces of convex sets and their basic properties. For more details see the classic references [1, 2] and [4] for polytopes.

Lecture 6: Faces, Facets

IE 511: Integer Programming, Spring 2019 31 Jan, 2019 Lecturer: Karthik Chandrasekaran Lecture 6: Faces, Facets Scribe: Setareh Taki Disclaimer: These notes have not been subjected to the usual scrutiny

Convexity: an introduction

Convexity: an introduction Geir Dahl CMA, Dept. of Mathematics and Dept. of Informatics University of Oslo 1 / 74 1. Introduction 1. Introduction what is convexity where does it arise main concepts and

Combinatorial Geometry & Topology arising in Game Theory and Optimization

Combinatorial Geometry & Topology arising in Game Theory and Optimization Jesús A. De Loera University of California, Davis LAST EPISODE... We discuss the content of the course... Convex Sets A set is

Intersection Cuts with Infinite Split Rank

Intersection Cuts with Infinite Split Rank Amitabh Basu 1,2, Gérard Cornuéjols 1,3,4 François Margot 1,5 April 2010; revised April 2011; revised October 2011 Abstract We consider mixed integer linear programs

EC 521 MATHEMATICAL METHODS FOR ECONOMICS. Lecture 2: Convex Sets

EC 51 MATHEMATICAL METHODS FOR ECONOMICS Lecture : Convex Sets Murat YILMAZ Boğaziçi University In this section, we focus on convex sets, separating hyperplane theorems and Farkas Lemma. And as an application

However, this is not always true! For example, this fails if both A and B are closed and unbounded (find an example).

98 CHAPTER 3. PROPERTIES OF CONVEX SETS: A GLIMPSE 3.2 Separation Theorems It seems intuitively rather obvious that if A and B are two nonempty disjoint convex sets in A 2, then there is a line, H, separating

Lecture 3. Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets. Tepper School of Business Carnegie Mellon University, Pittsburgh

Lecture 3 Corner Polyhedron, Intersection Cuts, Maximal Lattice-Free Convex Sets Gérard Cornuéjols Tepper School of Business Carnegie Mellon University, Pittsburgh January 2016 Mixed Integer Linear Programming

Mathematical and Algorithmic Foundations Linear Programming and Matchings

Adavnced Algorithms Lectures Mathematical and Algorithmic Foundations Linear Programming and Matchings Paul G. Spirakis Department of Computer Science University of Patras and Liverpool Paul G. Spirakis

From final point cuts to!-polyhedral cuts

AUSSOIS 2017 From final point cuts to!-polyhedral cuts Egon Balas, Aleksandr M. Kazachkov, François Margot Tepper School of Business, Carnegie Mellon University Overview Background Generalized intersection

3 No-Wait Job Shops with Variable Processing Times

3 No-Wait Job Shops with Variable Processing Times In this chapter we assume that, on top of the classical no-wait job shop setting, we are given a set of processing times for each operation. We may select

arxiv: v1 [math.co] 12 Aug 2018

CONVEX UNION REPRESENTABILITY AND CONVEX CODES R. AMZI JEFFS AND ISABELLA NOVIK arxiv:1808.03992v1 [math.co] 12 Aug 2018 Abstract. We introduce and investigate d-convex union representable complexes: the

Lecture 2 September 3

EE 381V: Large Scale Optimization Fall 2012 Lecture 2 September 3 Lecturer: Caramanis & Sanghavi Scribe: Hongbo Si, Qiaoyang Ye 2.1 Overview of the last Lecture The focus of the last lecture was to give

Applied Lagrange Duality for Constrained Optimization

Applied Lagrange Duality for Constrained Optimization Robert M. Freund February 10, 2004 c 2004 Massachusetts Institute of Technology. 1 1 Overview The Practical Importance of Duality Review of Convexity

On the Unique-lifting Property

On the Unique-lifting Property Gennadiy Averkov 1 and Amitabh Basu 2 1 Institute of Mathematical Optimization, Faculty of Mathematics, University of Magdeburg 2 Department of Applied Mathematics and Statistics,

Stable sets, corner polyhedra and the Chvátal closure

Stable sets, corner polyhedra and the Chvátal closure Manoel Campêlo Departamento de Estatística e Matemática Aplicada, Universidade Federal do Ceará, Brazil, mcampelo@lia.ufc.br. Gérard Cornuéjols Tepper

POLYHEDRAL GEOMETRY. Convex functions and sets. Mathematical Programming Niels Lauritzen Recall that a subset C R n is convex if

POLYHEDRAL GEOMETRY Mathematical Programming Niels Lauritzen 7.9.2007 Convex functions and sets Recall that a subset C R n is convex if {λx + (1 λ)y 0 λ 1} C for every x, y C and 0 λ 1. A function f :

Topological properties of convex sets

Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 5: Topological properties of convex sets 5.1 Interior and closure of convex sets Let

Embedding Formulations, Complexity and Representability for Unions of Convex Sets

, Complexity and Representability for Unions of Convex Sets Juan Pablo Vielma Massachusetts Institute of Technology CMO-BIRS Workshop: Modern Techniques in Discrete Optimization: Mathematics, Algorithms

maximize c, x subject to Ax b,

Lecture 8 Linear programming is about problems of the form maximize c, x subject to Ax b, where A R m n, x R n, c R n, and b R m, and the inequality sign means inequality in each row. The feasible set

General properties of staircase and convex dual feasible functions

General properties of staircase and convex dual feasible functions JÜRGEN RIETZ, CLÁUDIO ALVES, J. M. VALÉRIO de CARVALHO Centro de Investigação Algoritmi da Universidade do Minho, Escola de Engenharia

Rigidity of ball-polyhedra via truncated Voronoi and Delaunay complexes

!000111! NNNiiinnnttthhh IIInnnttteeerrrnnnaaatttiiiooonnnaaalll SSSyyymmmpppooosssiiiuuummm ooonnn VVVooorrrooonnnoooiii DDDiiiaaagggrrraaammmsss iiinnn SSSccciiieeennnccceee aaannnddd EEEnnngggiiinnneeeeeerrriiinnnggg

Convex Optimization Lecture 2

Convex Optimization Lecture 2 Today: Convex Analysis Center-of-mass Algorithm 1 Convex Analysis Convex Sets Definition: A set C R n is convex if for all x, y C and all 0 λ 1, λx + (1 λ)y C Operations that

Planar Graphs. 1 Graphs and maps. 1.1 Planarity and duality

Planar Graphs In the first half of this book, we consider mostly planar graphs and their geometric representations, mostly in the plane. We start with a survey of basic results on planar graphs. This chapter

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I. Instructor: Shaddin Dughmi

CS599: Convex and Combinatorial Optimization Fall 2013 Lecture 14: Combinatorial Problems as Linear Programs I Instructor: Shaddin Dughmi Announcements Posted solutions to HW1 Today: Combinatorial problems

3. The Simplex algorithmn The Simplex algorithmn 3.1 Forms of linear programs

11 3.1 Forms of linear programs... 12 3.2 Basic feasible solutions... 13 3.3 The geometry of linear programs... 14 3.4 Local search among basic feasible solutions... 15 3.5 Organization in tableaus...

On the number of distinct directions of planes determined by n points in R 3

On the number of distinct directions of planes determined by n points in R 3 Rom Pinchasi August 27, 2007 Abstract We show that any set of n points in R 3, that is not contained in a plane, determines

Polytopes Course Notes

Polytopes Course Notes Carl W. Lee Department of Mathematics University of Kentucky Lexington, KY 40506 lee@ms.uky.edu Fall 2013 i Contents 1 Polytopes 1 1.1 Convex Combinations and V-Polytopes.....................

Lagrangian Relaxation: An overview

Discrete Math for Bioinformatics WS 11/12:, by A. Bockmayr/K. Reinert, 22. Januar 2013, 13:27 4001 Lagrangian Relaxation: An overview Sources for this lecture: D. Bertsimas and J. Tsitsiklis: Introduction

Chapter 4 Concepts from Geometry

Chapter 4 Concepts from Geometry An Introduction to Optimization Spring, 2014 Wei-Ta Chu 1 Line Segments The line segment between two points and in R n is the set of points on the straight line joining

Compact Sets. James K. Peterson. September 15, Department of Biological Sciences and Department of Mathematical Sciences Clemson University

Compact Sets James K. Peterson Department of Biological Sciences and Department of Mathematical Sciences Clemson University September 15, 2017 Outline 1 Closed Sets 2 Compactness 3 Homework Closed Sets

Target Cuts from Relaxed Decision Diagrams

Target Cuts from Relaxed Decision Diagrams Christian Tjandraatmadja 1, Willem-Jan van Hoeve 1 1 Tepper School of Business, Carnegie Mellon University, Pittsburgh, PA {ctjandra,vanhoeve}@andrew.cmu.edu

Bounded subsets of topological vector spaces

Chapter 2 Bounded subsets of topological vector spaces In this chapter we will study the notion of bounded set in any t.v.s. and analyzing some properties which will be useful in the following and especially

Linear Programming in Small Dimensions

Linear Programming in Small Dimensions Lekcija 7 sergio.cabello@fmf.uni-lj.si FMF Univerza v Ljubljani Edited from slides by Antoine Vigneron Outline linear programming, motivation and definition one dimensional

arxiv: v1 [cs.cc] 30 Jun 2017

On the Complexity of Polytopes in LI( Komei Fuuda May Szedlá July, 018 arxiv:170610114v1 [cscc] 30 Jun 017 Abstract In this paper we consider polytopes given by systems of n inequalities in d variables,

CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm. Instructor: Shaddin Dughmi

CS675: Convex and Combinatorial Optimization Spring 2018 The Simplex Algorithm Instructor: Shaddin Dughmi Algorithms for Convex Optimization We will look at 2 algorithms in detail: Simplex and Ellipsoid.

Chapter 8. Voronoi Diagrams. 8.1 Post Oce Problem

Chapter 8 Voronoi Diagrams 8.1 Post Oce Problem Suppose there are n post oces p 1,... p n in a city. Someone who is located at a position q within the city would like to know which post oce is closest

EULER S FORMULA AND THE FIVE COLOR THEOREM

EULER S FORMULA AND THE FIVE COLOR THEOREM MIN JAE SONG Abstract. In this paper, we will define the necessary concepts to formulate map coloring problems. Then, we will prove Euler s formula and apply

Lecture 1 CS5: Advanced Algorithms October 4, 004 Lecturer: Kamal Jain Notes: Chris Re 1.1 Plan for the week Figure 1.1: Plan for the week The underlined tools, weak duality theorem and complimentary slackness,

11 Linear Programming

11 Linear Programming 11.1 Definition and Importance The final topic in this course is Linear Programming. We say that a problem is an instance of linear programming when it can be effectively expressed

On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes

On the Hardness of Computing Intersection, Union and Minkowski Sum of Polytopes Hans Raj Tiwary hansraj@cs.uni-sb.de FR Informatik Universität des Saarlandes D-66123 Saarbrücken, Germany Tel: +49 681 3023235

arxiv: v2 [math.co] 23 Jan 2018

CONNECTIVITY OF CUBICAL POLYTOPES HOA THI BUI, GUILLERMO PINEDA-VILLAVICENCIO, AND JULIEN UGON arxiv:1801.06747v2 [math.co] 23 Jan 2018 Abstract. A cubical polytope is a polytope with all its facets being

Numerical Optimization

Convex Sets Computer Science and Automation Indian Institute of Science Bangalore 560 012, India. NPTEL Course on Let x 1, x 2 R n, x 1 x 2. Line and line segment Line passing through x 1 and x 2 : {y

On Soft Topological Linear Spaces

Republic of Iraq Ministry of Higher Education and Scientific Research University of AL-Qadisiyah College of Computer Science and Formation Technology Department of Mathematics On Soft Topological Linear

Division of the Humanities and Social Sciences. Convex Analysis and Economic Theory Winter Separation theorems

Division of the Humanities and Social Sciences Ec 181 KC Border Convex Analysis and Economic Theory Winter 2018 Topic 8: Separation theorems 8.1 Hyperplanes and half spaces Recall that a hyperplane in

MA4254: Discrete Optimization. Defeng Sun. Department of Mathematics National University of Singapore Office: S Telephone:

MA4254: Discrete Optimization Defeng Sun Department of Mathematics National University of Singapore Office: S14-04-25 Telephone: 6516 3343 Aims/Objectives: Discrete optimization deals with problems of

Elementary Combinatorial Topology

Elementary Combinatorial Topology Frédéric Meunier Université Paris Est, CERMICS, Ecole des Ponts Paristech, 6-8 avenue Blaise Pascal, 77455 Marne-la-Vallée Cedex E-mail address: frederic.meunier@cermics.enpc.fr

Simplicial Cells in Arrangements of Hyperplanes

Simplicial Cells in Arrangements of Hyperplanes Christoph Dätwyler 05.01.2013 This paper is a report written due to the authors presentation of a paper written by Shannon [1] in 1977. The presentation

Chapter 15 Introduction to Linear Programming

Chapter 15 Introduction to Linear Programming An Introduction to Optimization Spring, 2015 Wei-Ta Chu 1 Brief History of Linear Programming The goal of linear programming is to determine the values of

LP-Modelling. dr.ir. C.A.J. Hurkens Technische Universiteit Eindhoven. January 30, 2008

LP-Modelling dr.ir. C.A.J. Hurkens Technische Universiteit Eindhoven January 30, 2008 1 Linear and Integer Programming After a brief check with the backgrounds of the participants it seems that the following

Classification of smooth Fano polytopes

Classification of smooth Fano polytopes Mikkel Øbro PhD thesis Advisor: Johan Peder Hansen September 2007 Department of Mathematical Sciences, Faculty of Science University of Aarhus Introduction This

The Chvátal-Gomory Closure of a Strictly Convex Body is a Rational Polyhedron

The Chvátal-Gomory Closure of a Strictly Convex Body is a Rational Polyhedron Juan Pablo Vielma Joint work with Daniel Dadush and Santanu S. Dey July, Atlanta, GA Outline Introduction Proof: Step Step

Crossing Families. Abstract

Crossing Families Boris Aronov 1, Paul Erdős 2, Wayne Goddard 3, Daniel J. Kleitman 3, Michael Klugerman 3, János Pach 2,4, Leonard J. Schulman 3 Abstract Given a set of points in the plane, a crossing

Integer Programming ISE 418. Lecture 1. Dr. Ted Ralphs

Integer Programming ISE 418 Lecture 1 Dr. Ted Ralphs ISE 418 Lecture 1 1 Reading for This Lecture N&W Sections I.1.1-I.1.4 Wolsey Chapter 1 CCZ Chapter 2 ISE 418 Lecture 1 2 Mathematical Optimization Problems

Primal and Dual Methods for Optimisation over the Non-dominated Set of a Multi-objective Programme and Computing the Nadir Point

Primal and Dual Methods for Optimisation over the Non-dominated Set of a Multi-objective Programme and Computing the Nadir Point Ethan Liu Supervisor: Professor Matthias Ehrgott Lancaster University Outline

A PROOF OF THE LOWER BOUND CONJECTURE FOR CONVEX POLYTOPES

PACIFIC JOURNAL OF MATHEMATICS Vol. 46, No. 2, 1973 A PROOF OF THE LOWER BOUND CONJECTURE FOR CONVEX POLYTOPES DAVID BARNETTE A d polytope is defined to be a cz-dimensional set that is the convex hull

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension

CS 372: Computational Geometry Lecture 10 Linear Programming in Fixed Dimension Antoine Vigneron King Abdullah University of Science and Technology November 7, 2012 Antoine Vigneron (KAUST) CS 372 Lecture

THREE LECTURES ON BASIC TOPOLOGY. 1. Basic notions.

THREE LECTURES ON BASIC TOPOLOGY PHILIP FOTH 1. Basic notions. Let X be a set. To make a topological space out of X, one must specify a collection T of subsets of X, which are said to be open subsets of

5.3 Cutting plane methods and Gomory fractional cuts

5.3 Cutting plane methods and Gomory fractional cuts (ILP) min c T x s.t. Ax b x 0integer feasible region X Assumption: a ij, c j and b i integer. Observation: The feasible region of an ILP can be described

Lec13p1, ORF363/COS323

Lec13 Page 1 Lec13p1, ORF363/COS323 This lecture: Semidefinite programming (SDP) Definition and basic properties Review of positive semidefinite matrices SDP duality SDP relaxations for nonconvex optimization

6. Lecture notes on matroid intersection

Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans May 2, 2017 6. Lecture notes on matroid intersection One nice feature about matroids is that a simple greedy algorithm

A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS

A NOTE ON BLOCKING VISIBILITY BETWEEN POINTS Adrian Dumitrescu János Pach Géza Tóth Abstract Given a finite point set P in the plane, let b(p) be the smallest number of points q 1,q 2,... not belonging

On the polyhedrality of cross and quadrilateral closures

On the polyhedrality of cross and quadrilateral closures Sanjeeb Dash IBM Research sanjeebd@us.ibm.com Oktay Günlük IBM Research gunluk@us.ibm.com December 9, 2014 Diego A. Morán R. Virginia Tech dmoran@gatech.edu

Linear programming and duality theory

Linear programming and duality theory Complements of Operations Research Giovanni Righini Linear Programming (LP) A linear program is defined by linear constraints, a linear objective function. Its variables

The Encoding Complexity of Network Coding

The Encoding Complexity of Network Coding Michael Langberg Alexander Sprintson Jehoshua Bruck California Institute of Technology Email: mikel,spalex,bruck @caltech.edu Abstract In the multicast network

1. Lecture notes on bipartite matching

Massachusetts Institute of Technology 18.453: Combinatorial Optimization Michel X. Goemans February 5, 2017 1. Lecture notes on bipartite matching Matching problems are among the fundamental problems in

S-free Sets for Polynomial Optimization

S-free Sets for and Daniel Bienstock, Chen Chen, Gonzalo Muñoz, IEOR, Columbia University May, 2017 SIAM OPT 2017 S-free sets for PolyOpt 1 The Polyhedral Approach TighteningP with an S-free setc conv(p

A greedy, partially optimal proof of the Heine-Borel Theorem

A greedy, partially optimal proof of the Heine-Borel Theorem James Fennell September 28, 2017 Abstract The Heine-Borel theorem states that any open cover of the closed interval Œa; b contains a finite

Rubber bands. Chapter Rubber band representation

Chapter 1 Rubber bands In the previous chapter, we already used the idea of looking at the graph geometrically, by placing its nodes on the line and replacing the edges by rubber bands. Since, however,

Walheer Barnabé. Topics in Mathematics Practical Session 2 - Topology & Convex

Topics in Mathematics Practical Session 2 - Topology & Convex Sets Outline (i) Set membership and set operations (ii) Closed and open balls/sets (iii) Points (iv) Sets (v) Convex Sets Set Membership and

Mathematical Programming and Research Methods (Part II)

Mathematical Programming and Research Methods (Part II) 4. Convexity and Optimization Massimiliano Pontil (based on previous lecture by Andreas Argyriou) 1 Today s Plan Convex sets and functions Types

Some Advanced Topics in Linear Programming

Some Advanced Topics in Linear Programming Matthew J. Saltzman July 2, 995 Connections with Algebra and Geometry In this section, we will explore how some of the ideas in linear programming, duality theory,

arxiv: v2 [math.co] 24 Aug 2016

Slicing and dicing polytopes arxiv:1608.05372v2 [math.co] 24 Aug 2016 Patrik Norén June 23, 2018 Abstract Using tropical convexity Dochtermann, Fink, and Sanyal proved that regular fine mixed subdivisions

Improved Gomory Cuts for Primal Cutting Plane Algorithms

Improved Gomory Cuts for Primal Cutting Plane Algorithms S. Dey J-P. Richard Industrial Engineering Purdue University INFORMS, 2005 Outline 1 Motivation The Basic Idea Set up the Lifting Problem How to

Small Survey on Perfect Graphs

Small Survey on Perfect Graphs Michele Alberti ENS Lyon December 8, 2010 Abstract This is a small survey on the exciting world of Perfect Graphs. We will see when a graph is perfect and which are families

1. Lecture notes on bipartite matching February 4th,

1. Lecture notes on bipartite matching February 4th, 2015 6 1.1.1 Hall s Theorem Hall s theorem gives a necessary and sufficient condition for a bipartite graph to have a matching which saturates (or matches)

4 LINEAR PROGRAMMING (LP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

4 LINEAR PROGRAMMING (LP) E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 Mathematical programming (optimization) problem: min f (x) s.t. x X R n set of feasible solutions with linear objective function

Turn Graphs and Extremal Surfaces in Free Groups

Turn Graphs and Extremal Surfaces in Free Groups Noel Brady, Matt Clay, and Max Forester Abstract. This note provides an alternate account of Calegari s rationality theorem for stable commutator length

Partitions and Packings of Complete Geometric Graphs with Plane Spanning Double Stars and Paths

Partitions and Packings of Complete Geometric Graphs with Plane Spanning Double Stars and Paths Master Thesis Patrick Schnider July 25, 2015 Advisors: Prof. Dr. Emo Welzl, Manuel Wettstein Department of

Shiqian Ma, MAT-258A: Numerical Optimization 1. Chapter 2. Convex Optimization

Shiqian Ma, MAT-258A: Numerical Optimization 1 Chapter 2 Convex Optimization Shiqian Ma, MAT-258A: Numerical Optimization 2 2.1. Convex Optimization General optimization problem: min f 0 (x) s.t., f i

Modeling and Analysis of Hybrid Systems

Modeling and Analysis of Hybrid Systems Convex polyhedra Prof. Dr. Erika Ábrahám Informatik 2 - LuFG Theory of Hybrid Systems RWTH Aachen University Szeged, Hungary, 27 September - 06 October 2017 Ábrahám

Modeling and Analysis of Hybrid Systems

Modeling and Analysis of Hybrid Systems 6. Convex polyhedra Prof. Dr. Erika Ábrahám Informatik 2 - LuFG Theory of Hybrid Systems RWTH Aachen University Szeged, Hungary, 27 September - 06 October 2017 Ábrahám

Introduction to Mathematical Programming IE496. Final Review. Dr. Ted Ralphs

Introduction to Mathematical Programming IE496 Final Review Dr. Ted Ralphs IE496 Final Review 1 Course Wrap-up: Chapter 2 In the introduction, we discussed the general framework of mathematical modeling

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY

A GRAPH FROM THE VIEWPOINT OF ALGEBRAIC TOPOLOGY KARL L. STRATOS Abstract. The conventional method of describing a graph as a pair (V, E), where V and E repectively denote the sets of vertices and edges,

Applied Integer Programming

Applied Integer Programming D.S. Chen; R.G. Batson; Y. Dang Fahimeh 8.2 8.7 April 21, 2015 Context 8.2. Convex sets 8.3. Describing a bounded polyhedron 8.4. Describing unbounded polyhedron 8.5. Faces,

DM545 Linear and Integer Programming. Lecture 2. The Simplex Method. Marco Chiarandini

DM545 Linear and Integer Programming Lecture 2 The Marco Chiarandini Department of Mathematics & Computer Science University of Southern Denmark Outline 1. 2. 3. 4. Standard Form Basic Feasible Solutions

Monotone Paths in Geometric Triangulations

Monotone Paths in Geometric Triangulations Adrian Dumitrescu Ritankar Mandal Csaba D. Tóth November 19, 2017 Abstract (I) We prove that the (maximum) number of monotone paths in a geometric triangulation