scholarly journals Finding Most Compatible Phylogenetic Trees over Multi-State Characters

2020 ◽  
Vol 34 (02) ◽  
pp. 1544-1551
Author(s):  
Tuukka Korhonen ◽  
Matti J„ärvisalo
Keyword(s):  
Phylogenetic Trees ◽  
Optimization Problems ◽  
Hybrid Approach ◽  
Optimization Techniques ◽  
Evolutionary Tree ◽  
Character State ◽  
Perfect Phylogeny ◽  
Maximum Satisfiability ◽  
Graph Optimization ◽  
Boolean Optimization

The reconstruction of the evolutionary tree of a set of species based on qualitative attributes is a central problem in phylogenetics. In the NP-hard perfect phylogeny problem the input is a set of taxa (species) and characters (attributes) on them, and the task is to find an evolutionary tree that describes the evolution of the taxa so that each character state evolves only once. However, in practical situations a perfect phylogeny rarely exists, motivating the maximum compatibility problem of finding the largest subset of characters admitting a perfect phylogeny. Various declarative approaches, based on applying integer programming (IP), answer set programming (ASP) and pseudo-Boolean optimization (PBO) solvers, have been proposed for maximum compatibility. In this work we develop a new hybrid approach to solving maximum compatibility for multi-state characters, making use of both declarative optimization techniques (specifically maximum satisfiability, MaxSAT) and an adaptation of the Bouchitt'e-Todinca approach to triangulation-based graph optimization problems. Empirically our approach outperforms in scalability the earlier proposed approaches w.r.t. various parameters underlying the problem.

scholarly journals Cardinality Encodings for Graph Optimization Problems

2017 ◽  
Author(s):  
Alexey Ignatiev ◽  
Antonio Morgado ◽  
Joao Marques-Silva
Keyword(s):  
Optimization Problems ◽  
State Of The Art ◽  
Maximum Clique ◽  
Maximum Clique Problem ◽  
Concrete Case ◽  
Large Graphs ◽  
Sparse Graphs ◽  
Maximum Satisfiability ◽  
Graph Optimization ◽  
Sparse Networks

Different optimization problems defined on graphs find application in complex network analysis. Existing propositional encodings render impractical the use of propositional satisfiability (SAT) and maximum satisfiability (MaxSAT) solvers for solving a variety of these problems on large graphs. This paper has two main contributions. First, the paper identifies sources of inefficiency in existing encodings for different optimization problems in graphs. Second, for the concrete case of the maximum clique problem, the paper develops a novel encoding which is shown to be far more compact than existing encodings for large sparse graphs. More importantly, the experimental results show that the proposed encoding enables existing SAT solvers to compute a maximum clique for large sparse networks, often more efficiently than the state of the art.

scholarly journals Joint Optimization on Trajectory, Cache Placement, and Transmission Power for Minimum Mission Time in UAV-Aided Wireless Networks

2021 ◽  
Vol 10 (7) ◽  
pp. 426
Author(s):  
Tingting Lan ◽  
Danyang Qin ◽  
Guanyu Sun
Keyword(s):  
Wireless Communication ◽  
Power Allocation ◽  
Optimization Problems ◽  
Base Station ◽  
Optimization Techniques ◽  
Joint Optimization ◽  
Transmission Power ◽  
Wireless Backhaul ◽  
Mission Time ◽  
Cache Placement

In recent years, due to the strong mobility, easy deployment, and low cost of unmanned aerial vehicles (UAV), great interest has arisen in utilizing UAVs to assist in wireless communication, especially for on-demand deployment in emergency situations and temporary events. However, UAVs can only provide users with data transmission services through wireless backhaul links established with a ground base station, and the limited capacity of the wireless backhaul link would limit the transmission speed of UAVs. Therefore, this paper designed a UAV-assisted wireless communication system that used cache technology and realized the transmission of multi-user data by using the mobility of UAVs and wireless cache technology. Considering the limited storage space and energy of UAVs, the joint optimization problem of the UAV’s trajectory, cache placement, and transmission power was established to minimize the mission time of the UAV. Since this problem was a non-convex problem, it was decomposed into three sub-problems: trajectory optimization, cache placement optimization, and power allocation optimization. An iterative algorithm based on the successive convex approximation and alternate optimization techniques was proposed to solve these three optimization problems. Finally, in the power allocation optimization, the proposed algorithm was improved by changing the optimization objective function. Numerical results showed that the algorithm had good performance and could effectively reduce the task completion time of the UAV.

scholarly journals Optimal control of the Sabatier process in microchannel reactors

2021 ◽  
Vol 128 (1) ◽  
Author(s):  
Sebastian Blauth ◽  
Christian Leithäuser ◽  
René Pinnau
Keyword(s):  
Flow Rate ◽  
Wall Temperature ◽  
Optimization Problems ◽  
Product Yield ◽  
Identification Problem ◽  
State Constraint ◽  
Optimization Techniques ◽  
Reacting Flow ◽  
Microchannel Reactor ◽  
Highly Nonlinear

AbstractWe consider the optimization of a chemical microchannel reactor by means of PDE-constrained optimization techniques, using the example of the Sabatier reaction. To model the chemically reacting flow in the microchannels, we introduce a three- and a one-dimensional model. As these are given by strongly coupled and highly nonlinear systems of partial differential equations (PDEs), we present our software package cashocs which implements the adjoint approach and facilitates the numerical solution of the subsequent optimization problems. We solve a parameter identification problem numerically to determine necessary kinetic parameters for the models from experimental data given in the literature. The obtained results show excellent agreement to the measurements. Finally, we present two optimization problems for optimizing the reactor’s product yield. First, we use a tracking-type cost functional to maximize the reactant conversion, keep the flow rate of the reactor fixed, and use its wall temperature as optimization variable. Second, we consider the wall temperature and the inlet gas velocity as optimization variables, use an objective functional for maximizing the flow rate in the reactor, and ensure the quality of the product by means of a state constraint. The results obtained from solving these problems numerically show great potential for improving the design of the microreactor.

Global Optimization With Quantum Walk Enhanced Grover Search

2014 ◽  
Author(s):  
Yan Wang
Keyword(s):  
Global Optimization ◽  
Optimization Problems ◽  
Early Stage ◽  
Hybrid Approach ◽  
Quantum Walk ◽  
Quantum Walks ◽  
Tunneling Effect ◽  
Grover’S Algorithm ◽  
Grover's Algorithm ◽  
Grover Search

One of the significant breakthroughs in quantum computation is Grover’s algorithm for unsorted database search. Recently, the applications of Grover’s algorithm to solve global optimization problems have been demonstrated, where unknown optimum solutions are found by iteratively improving the threshold value for the selective phase shift operator in Grover rotation. In this paper, a hybrid approach that combines continuous-time quantum walks with Grover search is proposed. By taking advantage of quantum tunneling effect, local barriers are overcome and better threshold values can be found at the early stage of search process. The new algorithm based on the formalism is demonstrated with benchmark examples of global optimization. The results between the new algorithm and the Grover search method are also compared.

scholarly journals Priority algorithms for graph optimization problems

2010 ◽  
Vol 411 (1) ◽  
pp. 239-258 ◽  
Author(s):  
Allan Borodin ◽  
Joan Boyar ◽  
Kim S. Larsen ◽  
Nazanin Mirmohammadi
Keyword(s):  
Optimization Problems ◽  
Priority Algorithms ◽  
Graph Optimization

Efficient Computation of Probabilistic Dominance in Multi-objective Optimization

2021 ◽  
Vol 1 (4) ◽  
pp. 1-26
Author(s):  
Faramarz Khosravi ◽  
Alexander Rass ◽  
Jürgen Teich
Keyword(s):  
Optimization Problems ◽  
Statistical Tests ◽  
Optimization Techniques ◽  
Simultaneous Optimization ◽  
Sampled Data ◽  
Efficient Computation ◽  
Multi Objective Optimization ◽  
Multi Objective ◽  
Conflicting Objectives ◽  
Comparison Operator

Real-world problems typically require the simultaneous optimization of multiple, often conflicting objectives. Many of these multi-objective optimization problems are characterized by wide ranges of uncertainties in their decision variables or objective functions. To cope with such uncertainties, stochastic and robust optimization techniques are widely studied aiming to distinguish candidate solutions with uncertain objectives specified by confidence intervals, probability distributions, sampled data, or uncertainty sets. In this scope, this article first introduces a novel empirical approach for the comparison of candidate solutions with uncertain objectives that can follow arbitrary distributions. The comparison is performed through accurate and efficient calculations of the probability that one solution dominates the other in terms of each uncertain objective. Second, such an operator can be flexibly used and combined with many existing multi-objective optimization frameworks and techniques by just substituting their standard comparison operator, thus easily enabling the Pareto front optimization of problems with multiple uncertain objectives. Third, a new benchmark for evaluating uncertainty-aware optimization techniques is introduced by incorporating different types of uncertainties into a well-known benchmark for multi-objective optimization problems. Fourth, the new comparison operator and benchmark suite are integrated into an existing multi-objective optimization framework that features a selection of multi-objective optimization problems and algorithms. Fifth, the efficiency in terms of performance and execution time of the proposed comparison operator is evaluated on the introduced uncertainty benchmark. Finally, statistical tests are applied giving evidence of the superiority of the new comparison operator in terms of \epsilon -dominance and attainment surfaces in comparison to previously proposed approaches.

Boosting branch-and-bound MaxSAT solvers with clause learning

2021 ◽  
pp. 1-21
Author(s):  
Chu-Min Li ◽  
Zhenxing Xu ◽  
Jordi Coll ◽  
Felip Manyà ◽  
Djamal Habet ◽  
...  
Keyword(s):  
Experimental Investigation ◽  
Combinatorial Optimization ◽  
Problem Solving ◽  
Branch And Bound ◽  
Real World ◽  
Optimization Problems ◽  
Satisfiability Problem ◽  
Maximum Satisfiability ◽  
Combinatorial Optimization Problems ◽  
Clause Learning

The Maximum Satisfiability Problem, or MaxSAT, offers a suitable problem solving formalism for combinatorial optimization problems. Nevertheless, MaxSAT solvers implementing the Branch-and-Bound (BnB) scheme have not succeeded in solving challenging real-world optimization problems. It is widely believed that BnB MaxSAT solvers are only superior on random and some specific crafted instances. At the same time, SAT-based MaxSAT solvers perform particularly well on real-world instances. To overcome this shortcoming of BnB MaxSAT solvers, this paper proposes a new BnB MaxSAT solver called MaxCDCL. The main feature of MaxCDCL is the combination of clause learning of soft conflicts and an efficient bounding procedure. Moreover, the paper reports on an experimental investigation showing that MaxCDCL is competitive when compared with the best performing solvers of the 2020 MaxSAT Evaluation. MaxCDCL performs very well on real-world instances, and solves a number of instances that other solvers cannot solve. Furthermore, MaxCDCL, when combined with the best performing MaxSAT solvers, solves the highest number of instances of a collection from all the MaxSAT evaluations held so far.

Solving Mono- and Multi-Objective Problems Using Hybrid Evolutionary Algorithms and Nelder-Mead Method

2021 ◽  
Vol 12 (4) ◽  
pp. 98-116
Author(s):  
Noureddine Boukhari ◽  
Fatima Debbat ◽  
Nicolas Monmarché ◽  
Mohamed Slimane
Keyword(s):  
Convergence Rate ◽  
Optimization Problem ◽  
Optimization Problems ◽  
State Of The Art ◽  
Hybrid Approach ◽  
Optimization Methods ◽  
Global Optimum ◽  
Stochastic Methods ◽  
Local Optima ◽  
Portfolio Optimization Problem

Evolution strategies (ES) are a family of strong stochastic methods for global optimization and have proved their capability in avoiding local optima more than other optimization methods. Many researchers have investigated different versions of the original evolution strategy with good results in a variety of optimization problems. However, the convergence rate of the algorithm to the global optimum stays asymptotic. In order to accelerate the convergence rate, a hybrid approach is proposed using the nonlinear simplex method (Nelder-Mead) and an adaptive scheme to control the local search application, and the authors demonstrate that such combination yields significantly better convergence. The new proposed method has been tested on 15 complex benchmark functions and applied to the bi-objective portfolio optimization problem and compared with other state-of-the-art techniques. Experimental results show that the performance is improved by this hybridization in terms of solution eminence and strong convergence.

scholarly journals Evolutionary Algorithms for Constrained Parameter Optimization Problems

1996 ◽  
Vol 4 (1) ◽  
pp. 1-32 ◽  
Author(s):  
Zbigniew Michalewicz ◽  
Marc Schoenauer
Keyword(s):  
Nonlinear Programming ◽  
Evolutionary Algorithms ◽  
Evolutionary Computation ◽  
Numerical Optimization ◽  
Optimization Problems ◽  
Optimization Techniques ◽  
Test Cases ◽  
Nonlinear Constraints ◽  
Nonlinear Programming Problem ◽  
General Nonlinear Programming

Evolutionary computation techniques have received a great deal of attention regarding their potential as optimization techniques for complex numerical functions. However, they have not produced a significant breakthrough in the area of nonlinear programming due to the fact that they have not addressed the issue of constraints in a systematic way. Only recently have several methods been proposed for handling nonlinear constraints by evolutionary algorithms for numerical optimization problems; however, these methods have several drawbacks, and the experimental results on many test cases have been disappointing. In this paper we (1) discuss difficulties connected with solving the general nonlinear programming problem; (2) survey several approaches that have emerged in the evolutionary computation community; and (3) provide a set of 11 interesting test cases that may serve as a handy reference for future methods.

scholarly journals Comparative Study of Optimization Algorithms for The Optimal Reservoir Operation

2018 ◽  
Vol 246 ◽  
pp. 01003
Author(s):  
Xinyuan Liu ◽  
Yonghui Zhu ◽  
Lingyun Li ◽  
Lu Chen
Keyword(s):  
Reservoir Operation ◽  
Optimization Problems ◽  
Optimization Algorithms ◽  
Complex Problem ◽  
Optimization Techniques ◽  
Decision Variables ◽  
Handling Methods ◽  
Optimality Algorithm ◽  
Parameter Values

Apart from traditional optimization techniques, e.g. progressive optimality algorithm (POA), modern intelligence algorithms, like genetic algorithms, differential evolution have been widely used to solve optimization problems. This paper deals with comparative analysis of POA, GA and DE and their applications in a reservoir operation problem. The results show that both GA and DES are feasible to reservoir operation optimization, but they display different features. GA and DE have many parameters and are difficult in determination of these parameter values. For simple problems with mall number of decision variables, GA and DE are better than POA when adopting appropriate parameter values and constraint handling methods. But for complex problem with large number of variables, POA combined with simplex method are much superior to GA and DE in time-assuming and quality of optimal solutions. This study helps to select proper optimization algorithms and parameter values in reservoir operation.

Sign in / Sign up

Export Citation Format

Share Document