Showing 1–16 of 16 results for author: Ozlen, M

Multi-Objective Mixed Integer Programming: An Objective Space Algorithm

Authors: William Pettersson, Melih Ozlen

Abstract: This paper introduces the first objective space algorithm which can exactly find all supported and non-supported non-dominated solutions to a mixed-integer multi-objective linear program with an arbitrary number of objective functions. This algorithm is presented in three phases. First it builds up a super-set which contains the Pareto front. This super-set is then modified to not contain any inte… ▽ More This paper introduces the first objective space algorithm which can exactly find all supported and non-supported non-dominated solutions to a mixed-integer multi-objective linear program with an arbitrary number of objective functions. This algorithm is presented in three phases. First it builds up a super-set which contains the Pareto front. This super-set is then modified to not contain any intersecting polytopes. Once this is achieved, the algorithm efficiently calculates which portions of the super-set are not part of the Pareto front and removes them, leaving exactly the Pareto front. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 6 pages, presented at LeGO International Global Optimization Workshop. At time of submission, no competing algorithm was known, but a competing algorithm was published between submission and presentation of this work

MSC Class: 90-08

A hybrid Benders decomposition and bees algorithm matheuristic approach to transmission expansion planning considering energy storage

Authors: Cameron A. G. MacRae, Melih Ozlen, Andreas T. Ernst

Abstract: This paper introduces a novel hybrid optimisation algorithm that combines elements of both metaheuristic search and integer programming. This new matheuristic combines elements of Benders decomposition and the Bees Algorithm, to create the Bee-Benders Hybrid Algorithm (BBHA) which retains many of the advantages both of the methods. Specifically it is designed to be easily parallelizable, to produc… ▽ More This paper introduces a novel hybrid optimisation algorithm that combines elements of both metaheuristic search and integer programming. This new matheuristic combines elements of Benders decomposition and the Bees Algorithm, to create the Bee-Benders Hybrid Algorithm (BBHA) which retains many of the advantages both of the methods. Specifically it is designed to be easily parallelizable, to produce good solutions quickly while still retaining a guarantee of optimality when run for a sufficiently long time. The algorithm is tested using a transmission network expansion and energy storage planning model, a challenging and very large scale mixed integer linear programming problem. Transmission network planning problems are already difficult on their own. When including the planning for storage systems in the network, the variation of demand over time has to be taken into account significantly increasing the size and difficulty of the optimization problem. The BBHA is shown to be highly effective hybrid matheuristic algorithm that performs at least as well as either Benders decomposition or the Bees Algorithm where these are effective on their own, and significantly improves upon the individual approaches where neither component part has a pronounced advantage. While the paper demonstrates the effectiveness in terms of the concrete electricity network planning problem, the algorithm could be readily applied to any mixed integer linear program, and is expected to work particularly well whenever this has a structure that is amenable to Benders decomposition. △ Less

Submitted 9 March, 2019; v1 submitted 4 March, 2019; originally announced March 2019.

A two-stage stochastic approach for the asset protection problem during escaped wildfires with uncertain timing of a wind change

Authors: Iman Roozbeh, John Hearne, Babak Abbasi, Melih Ozlen

Abstract: Wildfires are natural disasters capable of damaging economies and communities. When wildfires become uncontrollable, Incident Manager Teams (IMT's) dispatch response vehicles to key assets to undertake protective tasks and so mitigate the risk to these assets. In developing a deployment plan under severe time pressure, IMT's need to consider the special requirements of each asset, the resources (v… ▽ More Wildfires are natural disasters capable of damaging economies and communities. When wildfires become uncontrollable, Incident Manager Teams (IMT's) dispatch response vehicles to key assets to undertake protective tasks and so mitigate the risk to these assets. In developing a deployment plan under severe time pressure, IMT's need to consider the special requirements of each asset, the resources (vehicles and their teams), as well as uncertainties associated with the wildfire. A common situation that arises in southern Australian wildfires is a wind change. There is a reliable forecast of a wind change, but some uncertainty around the timing of that change. To assist IMT's to deal with this situation we develop a two-stage stochastic model to integrate such an uncertainty with the complexities of asset protection operations. This is the first time a mathematical model is proposed which considers uncertainty in the timing of a scenario change. The model is implemented for a case study that uses the context of the 2009 Black Saturday bushfires in Victoria. A new set of benchmark instances is generated using realistic wildfire attributes to test the computational tractability of our model and the results compared to a dynamic rerouting approach. The computations reveal that, compared with dynamic rerouting, the new model can generate better deployment plans. The model can achieve solutions in operational time for realistic-sized problems, although for larger problems the sub-optimal rerouting algorithm would still need to be deployed. △ Less

Submitted 8 November, 2018; originally announced November 2018.

Multi-objective integer programming: Synergistic parallel approaches

Authors: William Pettersson, Melih Ozlen

Abstract: Exactly solving multi-objective integer programming (MOIP) problems is often a very time consuming process, especially for large and complex problems. Parallel computing has the potential to significantly reduce the time taken to solve such problems, but only if suitable algorithms are used. The first of our new algorithms follows a simple technique that demonstrates impressive performance for its… ▽ More Exactly solving multi-objective integer programming (MOIP) problems is often a very time consuming process, especially for large and complex problems. Parallel computing has the potential to significantly reduce the time taken to solve such problems, but only if suitable algorithms are used. The first of our new algorithms follows a simple technique that demonstrates impressive performance for its design. We then go on to introduce new theory for developing more efficient parallel algorithms. The theory utilises elements of the symmetric group to apply a permutation to the objective functions to assign different workloads, and applies to algorithms that order the objective functions lexicographically. As a result, information and updated bounds can be shared in real time, creating a synergy between threads. We design and implement two algorithms that take advantage of such theory. To properly analyse the running time of our three algorithms, we compare them against two existing algorithms from the literature, and against using multiple threads within our chosen IP solver, CPLEX. This survey of six different parallel algorithms, the first of its kind, demonstrates the advantages of parallel computing. Across all problem types tested, our new algorithms are on par with existing algorithms on smaller cases and massively outperform the competition on larger cases. These new algorithms, and freely available implementations, allows the investigation of complex MOIP problems with four or more objectives. △ Less

Submitted 1 November, 2018; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 15 pages including appendix and references, 6 tables. This paper has been updated to also include all the work from arXiv:1704.08417 which has been withdrawn

MSC Class: 90C29 (Primary); 90C10; 68W10 (Secondary)

Efficient Projection Partitioning for parallel multi-objective integer optimisation

Authors: William Pettersson, Melih Ozlen

Abstract: This paper introduces a new method of partitioning the solution space of a multi-objective optimisation problem for parallel processing, called Efficient Projection Partitioning. This method projects solutions down into a single dimension, greatly reducing the cost of partitioning the search space. We test EPP on a variety of randomly generated multi-objective combinatorial optimisation problems.… ▽ More This paper introduces a new method of partitioning the solution space of a multi-objective optimisation problem for parallel processing, called Efficient Projection Partitioning. This method projects solutions down into a single dimension, greatly reducing the cost of partitioning the search space. We test EPP on a variety of randomly generated multi-objective combinatorial optimisation problems. The results are compared with the state of the art in parallel partitioning, and we show that in all scenarios tested, our new algorithm performs significantly better. Our proposed method allows the generation of non-dominated sets of larger problems with more decision variables or objective functions through the use of highly parallel computational infrastructure. Source code is provided to allow others to utilise, build upon and improve the algorithm △ Less

Submitted 22 November, 2017; v1 submitted 26 April, 2017; originally announced April 2017.

Comments: Paper withdrawn, all this work has now been folded into the paper at arXiv:1705.03112

MSC Class: 90C29 (Primary); 90C10; 68W10 (Secondary)

A parallel approach to bi-objective integer programming

Authors: William Pettersson, Melih Ozlen

Abstract: To obtain a better understanding of the trade-offs between various objectives, Bi-Objective Integer Programming (BOIP) algorithms calculate the set of all non-dominated vectors and present these as the solution to a BOIP problem. Historically, these algorithms have been compared in terms of the number of single-objective IPs solved and total CPU time taken to produce the solution to a problem. Thi… ▽ More To obtain a better understanding of the trade-offs between various objectives, Bi-Objective Integer Programming (BOIP) algorithms calculate the set of all non-dominated vectors and present these as the solution to a BOIP problem. Historically, these algorithms have been compared in terms of the number of single-objective IPs solved and total CPU time taken to produce the solution to a problem. This is equitable, as researchers can often have access to widely differing amounts of computing power. However, the real world has recently seen a large uptake of multi-core processors in computers, laptops, tablets and even mobile phones. With this in mind, we look at how to best utilise parallel processing to improve the elapsed time of optimisation algorithms. We present two methods of parallelising the recursive algorithm presented by Ozlen, Burton and MacRae. Both new methods utilise two threads and improve running times. One of the new methods, the Meeting algorithm, halves running time to achieve near-perfect parallelisation. The results are compared with the efficiency of parallelisation within the commercial IP solver IBM ILOG CPLEX, and the new methods are both shown to perform better. △ Less

Submitted 31 January, 2017; originally announced January 2017.

Comments: 7 pages

MSC Class: 90-08; 90C29;

A heuristic scheme for the Cooperative Team Orienteering Problem with Time Windows

Authors: Iman Roozbeh, Melih Ozlen, John W. Hearne

Abstract: The Cooperative Orienteering Problem with Time Windows (COPTW)is a class of problems with some important applications and yet has received relatively little attention. In the COPTW a certain number of team members are required to collect the associated reward from each customer simultaneously and cooperatively. This requirement to have one or more team members simultaneously available at a vertex… ▽ More The Cooperative Orienteering Problem with Time Windows (COPTW)is a class of problems with some important applications and yet has received relatively little attention. In the COPTW a certain number of team members are required to collect the associated reward from each customer simultaneously and cooperatively. This requirement to have one or more team members simultaneously available at a vertex to collect the reward, poses a challenging OR task. Exact methods are not able to handle large scale instances of the COPTW and no heuristic schemes have been developed for this problem so far. In this paper, a new modification to the classical Clarke and Wright saving heuristic is proposed to handle this problem. A new benchmark set generated by adding the resource requirement attribute to the existing benchmarks. The heuristic algorithm followed by boosting operators achieves optimal solutions for 64.5% of instances for which the optimal results are known. The proposed solution approach attains an optimality gap of 2.61% for the same instances and solves benchmarks with realistic size within short computational times. △ Less

Submitted 18 August, 2016; originally announced August 2016.

Fuel treatment planning: fragmenting high fuel load areas while maintaining availability and connectivity of faunal habitat

Authors: Ramya Rachmawati, Melih Ozlen, John W. Hearne, Karin J. Reinke

Abstract: Reducing the fuel load in fire-prone landscapes is aimed at mitigating the risk of catastrophic wildfires but there are ecological consequences. Maintaining habitat for fauna of both sufficient extent and connectivity while fragmenting areas of high fuel loads presents land managers with seemingly contrasting objectives. Faced with this dichotomy, we propose a Mixed Integer Programming (MIP) model… ▽ More Reducing the fuel load in fire-prone landscapes is aimed at mitigating the risk of catastrophic wildfires but there are ecological consequences. Maintaining habitat for fauna of both sufficient extent and connectivity while fragmenting areas of high fuel loads presents land managers with seemingly contrasting objectives. Faced with this dichotomy, we propose a Mixed Integer Programming (MIP) model that can optimally schedule fuel treatments to reduce fuel hazards by fragmenting high fuel load regions while considering critical ecological requirements over time and space. The model takes into account both the frequency of fire that vegetation can tolerate and the frequency of fire necessary for fire-dependent species. Our approach also ensures that suitable alternate habitat is available and accessible to fauna affected by a treated area. More importantly, to conserve fauna the model sets a minimum acceptable target for the connectivity of habitat at any time . These factors are all included in the formulation of a model that yields a multi-period spatially-explicit schedule for treatment planning. Our approach is then demonstrated in a series of computational experiments with hypothetical landscapes, a single vegetation type and a group of faunal species with the same habitat requirements. Our experiments show that it is possible to reduce the risk of wildfires while ensuring sufficient connectivity of habitat over both space and time. Furthermore, it is demonstrated that the habitat connectivity constraint is more effective than neighbourhood habitat constraints. This is critical for the conservation of fauna and of special concern for vulnerable or endangered species. △ Less

Submitted 17 January, 2017; v1 submitted 31 January, 2016; originally announced February 2016.

An optimisation approach for fuel treatment planning to break the connectivity of high-risk regions

Authors: Ramya Rachmawati, Melih Ozlen, Karin J. Reinke, John W. Hearne

Abstract: Uncontrolled wildfires can lead to loss of life and property and destruction of natural resources. At the same time, fire plays a vital role in restoring ecological balance in many ecosystems. Fuel management, or treatment planning by way of planned burning, is an important tool used in many countries where fire is a major ecosystem process. In this paper, we propose an approach to reduce the spat… ▽ More Uncontrolled wildfires can lead to loss of life and property and destruction of natural resources. At the same time, fire plays a vital role in restoring ecological balance in many ecosystems. Fuel management, or treatment planning by way of planned burning, is an important tool used in many countries where fire is a major ecosystem process. In this paper, we propose an approach to reduce the spatial connectivity of fuel hazards while still considering the ecological fire requirements of the ecosystem. A mixed integer programming (MIP) model is formulated in such a way that it breaks the connectivity of high-risk regions as a means to reduce fuel hazards in the landscape. This multi-period model tracks the age of each vegetation type and determines the optimal time and locations to conduct fuel treatments. The minimum and maximum Tolerable Fire Intervals (TFI), which define the ages at which certain vegetation type can be treated for ecological reasons, are taken into account by the model. Previous work has been limited to using single vegetation types implemented within rectangular grids. In this paper, we significantly extend previous work by modelling multiple vegetation types implemented within a polygon-based network. Thereby a more realistic representation of the landscape is achieved. An analysis of the proposed approach was conducted for a fuel treatment area comprising 711 treatment units in the Barwon-Otway district of Victoria, Australia. The solution of the proposed model can be obtained for 20-year fuel treatment planning within a reasonable computation time of eight hours. △ Less

Submitted 22 December, 2015; originally announced December 2015.

Transmission Expansion Planning Considering Energy Storage

Authors: Cameron A. G. MacRae, Melih Ozlen, Andreas T. Ernst

Abstract: In electricity transmission networks, energy storage systems (ESS) provide a means of upgrade deferral by smoothing supply and matching demand. We develop a mixed integer programming (MIP) extension to the transmission network expansion planning (TEP) problem that considers the installation and operation of ESS as well as additional circuits. The model is demonstrated on the well known Garver's 6-… ▽ More In electricity transmission networks, energy storage systems (ESS) provide a means of upgrade deferral by smoothing supply and matching demand. We develop a mixed integer programming (MIP) extension to the transmission network expansion planning (TEP) problem that considers the installation and operation of ESS as well as additional circuits. The model is demonstrated on the well known Garver's 6-bus and IEEE 25-bus test circuits for two 24 hour operating scenarios; a short peak, and a long peak. We show optimal location and capacity of storage is sensitive not only to cost, but also variability of demand in the network. △ Less

Submitted 22 December, 2014; v1 submitted 22 December, 2014; originally announced December 2014.

A fast branching algorithm for unknot recognition with experimental polynomial-time behaviour

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: It is a major unsolved problem as to whether unknot recognition - that is, testing whether a given closed loop in R^3 can be untangled to form a plain circle - has a polynomial time algorithm. In practice, trivial knots (which can be untangled) are typically easy to identify using fast simplification techniques, whereas non-trivial knots (which cannot be untangled) are more resistant to being conc… ▽ More It is a major unsolved problem as to whether unknot recognition - that is, testing whether a given closed loop in R^3 can be untangled to form a plain circle - has a polynomial time algorithm. In practice, trivial knots (which can be untangled) are typically easy to identify using fast simplification techniques, whereas non-trivial knots (which cannot be untangled) are more resistant to being conclusively identified as such. Here we present the first unknot recognition algorithm which is always conclusive and, although exponential time in theory, exhibits a clear polynomial time behaviour under exhaustive experimentation even for non-trivial knots. The algorithm draws on techniques from both topology and integer / linear programming, and highlights the potential for new applications of techniques from mathematical programming to difficult problems in low-dimensional topology. The exhaustive experimentation covers all 2977 non-trivial prime knots with <= 12 crossings. We also adapt our techniques to the important topological problems of 3-sphere recognition and the prime decomposition of 3-manifolds. △ Less

Submitted 9 October, 2014; v1 submitted 5 November, 2012; originally announced November 2012.

Comments: 29 pages, 18 figures; v2: restructured into a full journal version; v3: minor revisions, more experimentation, more detail in the proof of Lemma 10. To appear in Mathematical Programming

MSC Class: Primary 57M25; 90C57; Secondary 90C05 ACM Class: F.2.2; G.1.6; G.4

Computing the crosscap number of a knot using integer programming and normal surfaces

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: The crosscap number of a knot is an invariant describing the non-orientable surface of smallest genus that the knot bounds. Unlike knot genus (its orientable counterpart), crosscap numbers are difficult to compute and no general algorithm is known. We present three methods for computing crosscap number that offer varying trade-offs between precision and speed: (i) an algorithm based on Hilbert bas… ▽ More The crosscap number of a knot is an invariant describing the non-orientable surface of smallest genus that the knot bounds. Unlike knot genus (its orientable counterpart), crosscap numbers are difficult to compute and no general algorithm is known. We present three methods for computing crosscap number that offer varying trade-offs between precision and speed: (i) an algorithm based on Hilbert basis enumeration and (ii) an algorithm based on exact integer programming, both of which either compute the solution precisely or reduce it to two possible values, and (iii) a fast but limited precision integer programming algorithm that bounds the solution from above. The first two algorithms advance the theoretical state of the art, but remain intractable for practical use. The third algorithm is fast and effective, which we show in a practical setting by making significant improvements to the current knowledge of crosscap numbers in knot tables. Our integer programming framework is general, with the potential for further applications in computational geometry and topology. △ Less

Submitted 5 March, 2012; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: 19 pages, 7 figures, 1 table; v2: minor revisions; to appear in ACM Transactions on Mathematical Software

ACM Class: F.2.2; G.4

Journal ref: ACM Transactions on Mathematical Software 39 (2012), no. 1, 4:1-4:18

Multi-objective integer programming: An improved recursive algorithm

Authors: Melih Ozlen, Benjamin A. Burton, Cameron A. G. MacRae

Abstract: This paper introduces an improved recursive algorithm to generate the set of all nondominated objective vectors for the Multi-Objective Integer Programming (MOIP) problem. We significantly improve the earlier recursive algorithm of Özlen and Azizoğlu by using the set of already solved subproblems and their solutions to avoid solving a large number of IPs. A numerical example is presented to explai… ▽ More This paper introduces an improved recursive algorithm to generate the set of all nondominated objective vectors for the Multi-Objective Integer Programming (MOIP) problem. We significantly improve the earlier recursive algorithm of Özlen and Azizoğlu by using the set of already solved subproblems and their solutions to avoid solving a large number of IPs. A numerical example is presented to explain the workings of the algorithm, and we conduct a series of computational experiments to show the savings that can be obtained. As our experiments show, the improvement becomes more significant as the problems grow larger in terms of the number of objectives. △ Less

Submitted 22 February, 2013; v1 submitted 28 April, 2011; originally announced April 2011.

Comments: 11 pages, 6 tables; v2: added more details and a computational study

Journal ref: Journal of Optimization Theory and Applications 160:2 (2014), pp. 470-482

Optimising a nonlinear utility function in multi-objective integer programming

Authors: Melih Ozlen, Meral Azizoğlu, Benjamin A. Burton

Abstract: In this paper we develop an algorithm to optimise a nonlinear utility function of multiple objectives over the integer efficient set. Our approach is based on identifying and updating bounds on the individual objectives as well as the optimal utility value. This is done using already known solutions, linear programming relaxations, utility function inversion, and integer programming. We develop a… ▽ More In this paper we develop an algorithm to optimise a nonlinear utility function of multiple objectives over the integer efficient set. Our approach is based on identifying and updating bounds on the individual objectives as well as the optimal utility value. This is done using already known solutions, linear programming relaxations, utility function inversion, and integer programming. We develop a general optimisation algorithm for use with k objectives, and we illustrate our approach using a tri-objective integer programming problem. △ Less

Submitted 13 May, 2012; v1 submitted 9 November, 2010; originally announced November 2010.

Comments: 11 pages, 2 tables; v3: minor revisions, to appear in Journal of Global Optimization

Journal ref: Journal of Global Optimization 56 (2013), no. 1, 93-102

A tree traversal algorithm for decision problems in knot theory and 3-manifold topology

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: In low-dimensional topology, many important decision algorithms are based on normal surface enumeration, which is a form of vertex enumeration over a high-dimensional and highly degenerate polytope. Because this enumeration is subject to extra combinatorial constraints, the only practical algorithms to date have been variants of the classical double description method. In this paper we present the… ▽ More In low-dimensional topology, many important decision algorithms are based on normal surface enumeration, which is a form of vertex enumeration over a high-dimensional and highly degenerate polytope. Because this enumeration is subject to extra combinatorial constraints, the only practical algorithms to date have been variants of the classical double description method. In this paper we present the first practical normal surface enumeration algorithm that breaks out of the double description paradigm. This new algorithm is based on a tree traversal with feasibility and domination tests, and it enjoys a number of advantages over the double description method: incremental output, significantly lower time and space complexity, and a natural suitability for parallelisation. Experimental comparisons of running times are included. △ Less

Submitted 30 March, 2012; v1 submitted 29 October, 2010; originally announced October 2010.

Comments: 28 pages, 7 figures; v2: minor revisions; to appear in Algorithmica

MSC Class: Primary 57N10; 52B55; Secondary 90C05; 57N35

Journal ref: Algorithmica 65 (2013), no. 4, 772-801

Projective geometry and the outer approximation algorithm for multiobjective linear programming

Authors: Benjamin A. Burton, Melih Ozlen

Abstract: A key problem in multiobjective linear programming is to find the set of all efficient extreme points in objective space. In this paper we introduce oriented projective geometry as an efficient and effective framework for solving this problem. The key advantage of oriented projective geometry is that we can work with an "optimally simple" but unbounded efficiency-equivalent polyhedron, yet apply t… ▽ More A key problem in multiobjective linear programming is to find the set of all efficient extreme points in objective space. In this paper we introduce oriented projective geometry as an efficient and effective framework for solving this problem. The key advantage of oriented projective geometry is that we can work with an "optimally simple" but unbounded efficiency-equivalent polyhedron, yet apply to it the familiar theory and algorithms that are traditionally restricted to bounded polytopes. We apply these techniques to Benson's outer approximation algorithm, using oriented projective geometry to remove an exponentially large complexity from the algorithm and thereby remove a significant burden from the running time. △ Less

Submitted 15 June, 2010; originally announced June 2010.

Comments: 27 pages, 12 figures

MSC Class: Primary 90C29; 90C05; Secondary 51A05; 52B05