Combinatorial Optimization

Combinatorial Optimization is an active research area that developed from the rich interaction among many mathematical areas, including combinatorics, graph theory, geometry, optimization, probability, theoretical computer science, and many others. It combines algorithmic and complexity analysis with a mature mathematical foundation and it yields both basic research and applications in manifold areas such as, for example, communications, economics, traffic, network design, VLSI, scheduling, production, computational biology, to name just a few. Through strong inner ties to other mathematical fields it has been contributing to and benefiting from areas such as, for example, discrete and convex geometry, convex and nonlinear optimization, algebraic and topological methods, geometry of numbers, matroids and combinatorics, and mathematical programming. Moreover, with respect to applications and algorithmic complexity, Combinatorial Optimization is an essential link between mathematics, computer science and modern applications in data science, economics, and industry

Exploiting Local Optimality and Strong Inequalities for Solving Bilevel Combinatorial and Submodular Optimization Problems

Bilevel combinatorial and submodular optimization problems arise in a broad range of real-life applications including price setting, network design, information gathering, viral marketing, and so on. However, the current state-of-the-art solution approaches still have difficulties to solve them exactly for many broad classes of practically relevant problems. In this dissertation, using the concepts of local optimality and strong valid inequalities, we explore the fundamental mathematical structure of these problems and boost the computational performance of exact solution methods for these two important classes of optimization problems. In our initial study, we focus on a class of bilevel spanning tree (BST) problems, motivated by a hierarchical (namely, bilevel) generalization of the classical minimum spanning tree problem. We show that depending on the type of the objective function involved at each level, BST can be solved to optimality either in polynomial time by a specialized algorithm or via a mixed-integer linear programming (MILP) model solvable by an off-the-shelf solver. The latter case corresponds to an NP-hard class of the problem. Our second study proposes a hierarchy of upper and lower bounds for the bilevel problems, where the follower’s variables are all binary. In particular, we develop a generalized bilevel framework that explores the local optimality conditions at the lower level. Submodularity and disjunctive-based approach are then exploited to derive strong MILP formulations for the resulting framework. Computational experiments indicate that the quality of our newly proposed bounds is superior to the current standard approach. Furthermore, we generalize our aforementioned results for BST and show that the proposed bounds are sharp for bilevel matroid problems. Finally, to address the computational challenges in the submodular maximization problem, we present the polyhedral study of its mixed 0–1 set. Specifically, we strengthen some existing results in the literature by finding two families of facet-defining inequalities through the lens of sequence independent lifting. We further extend the scope of this work and describe the multi-dimensional sequence independent lifting for a more complex set. The developed polyhedral results complement the classical results from the literature for the mixed0–1 knapsack and single-node flow sets

Network interdiction approaches for diminishing misinformation spread in social networks

Network interdiction has many applications in many domains, including telecommunications, epidemic control, and social network analysis. In this dissertation, we use network interdiction to devise strategies for the problem of misinformation dissemination in online social networks. These platforms provide the opportunity of quick communication between users, which in a network with malicious accounts can result in the fast spread of rumors and harmful content. We study this topic based on two different approaches. The first approach focuses on interdicting cohesive subgroups of malicious accounts. We use s-clubs, which are subsets of vertices that induce subgraphs of diameter at most s to model the cohesive social subgroups. We consider a defender that can disrupt the vertices of the adversarial network to minimize its threat, which leads us to consider a maximum s-club interdiction problem. Using a new notion of H-heredity in s-clubs, we provide a mixed-integer linear programming formulation for this problem that uses far fewer constraints than the formulation based on standard techniques. We further relate H-heredity to latency-s connected dominating sets and design a decomposition branch-and-cut algorithm for the problem. The second methodology that is studied in this dissertation is to delay the spread of misinformation in the network using first passage times interdiction. The first passage times are defined as the first time each user is exposed to a post shared by another user in the network and is computed using a discrete time Markov chain model. Vertices are interdicted to modify the transition probabilities and increase the propagation times between users who share misinformation and harmful content, and vulnerable users. We show that the problem is NP-hard and provide a mixed-integer linear programming formulation for it. Computational experiments on benchmark instances are conducted for both interdiction approaches based on cohesive subgroups and first passage times in order to assess the computational capabilities of the methods we introduced

Proceedings of the 8th Cologne-Twente Workshop on Graphs and Combinatorial Optimization

International audienceThe Cologne-Twente Workshop (CTW) on Graphs and Combinatorial Optimization started off as a series of workshops organized bi-annually by either Köln University or Twente University. As its importance grew over time, it re-centered its geographical focus by including northern Italy (CTW04 in Menaggio, on the lake Como and CTW08 in Gargnano, on the Garda lake). This year, CTW (in its eighth edition) will be staged in France for the first time: more precisely in the heart of Paris, at the Conservatoire National d’Arts et Métiers (CNAM), between 2nd and 4th June 2009, by a mixed organizing committee with members from LIX, Ecole Polytechnique and CEDRIC, CNAM

Models, Theoretical Properties, and Solution Approaches for Stochastic Programming with Endogenous Uncertainty

In a typical optimization problem, uncertainty does not depend on the decisions being made in the optimization routine. But, in many application areas, decisions affect underlying uncertainty (endogenous uncertainty), either altering the probability distributions or the timing at which the uncertainty is resolved. Stochastic programming is a widely used method in optimization under uncertainty. Though plenty of research exists on stochastic programming where decisions affect the timing at which uncertainty is resolved, much less work has been done on stochastic programming where decisions alter probability distributions of uncertain parameters. Therefore, we propose methodologies for the latter category of optimization under endogenous uncertainty and demonstrate their benefits in some application areas. First, we develop a data-driven stochastic program (integrates a supervised machine learning algorithm to estimate probability distributions of uncertain parameters) for a wildfire risk reduction problem, where resource allocation decisions probabilistically affect uncertain human behavior. The nonconvex model is linearized using a reformulation approach. To solve a realistic-sized problem, we introduce a simulation program to efficiently compute the recourse objective value for a large number of scenarios. We present managerial insights derived from the results obtained based on Santa Fe National Forest data. Second, we develop a data-driven stochastic program with both endogenous and exogenous uncertainties with an application to combined infrastructure protection and network design problem. In the proposed model, some first-stage decision variables affect probability distributions, whereas others do not. We propose an exact reformulation for linearizing the nonconvex model and provide a theoretical justification of it. We designed an accelerated L-shaped decomposition algorithm to solve the linearized model. Results obtained using transportation networks created based on the southeastern U.S. provide several key insights for practitioners in using this proposed methodology. Finally, we study submodular optimization under endogenous uncertainty with an application to complex system reliability. Specifically, we prove that our stochastic program\u27s reliability maximization objective function is submodular under some probability distributions commonly used in reliability literature. Utilizing the submodularity, we implement a continuous approximation algorithm capable of solving large-scale problems. We conduct a case study demonstrating the computational efficiency of the algorithm and providing insights

Monotonicity of equilibria in nonatomic congestion games

This paper studies the monotonicity of equilibrium costs and equilibrium loads in nonatomic congestion games, in response to variations of the demands. The main goal is to identify conditions under which a paradoxical non-monotone behavior can be excluded. In contrast with routing games with a single commodity, where the network topology is the sole determinant factor for monotonicity, for general congestion games with multiple commodities the structure of the strategy sets plays a crucial role. We frame our study in the general setting of congestion games, with a special focus on singleton congestion games, for which we establish the monotonicity of equilibrium loads with respect to every demand. We then provide conditions for comonotonicity of the equilibrium loads, i.e.,we investigate when they jointly increase or decrease after variations of the demands. We finally extend our study from singleton congestion games to the larger class of constrained series-parallel congestion games, whose structure is reminiscent of the concept of a series-parallel network

Dynamic Traffic Models in Transportation Science

Traffic assignment models are crucial for traffic planners to be able to predict traffic distributions, especially, in light of possible changes of the infrastructure, e.g., road constructions, traffic light controls, etc. The starting point of the seminar was the observation that there is a trend in the transportation community (science as well as industry) to base such predictions on complex computer-based simulations that are capable of resolving many elements of a real transportation system. On the other hand, within the past few years, the theory of dynamic traffic assignments in terms of equilibrium existence and equilibrium computation has not matured to the point matching the model complexity inherent in simulations. In view of the above, this interdisciplinary seminar brought together leading scientists in the areas traffic simulations, algorithmic game theory and dynamic traffic assignment as well as people from industry with strong scientific background who identified possible ways to bridge the described gap