3,219 research outputs found
Towards portfolios of streamlined constraint models : a case study with the balanced academic curriculum problem
Funding: This work is supported by EPSRC grant EP/P015638/1 and used the Cirrus UK National Tier-2 HPC Service at EPCC (http://www.cirrus.ac.uk) funded by the University of Edinburgh and EPSRC (EP/P020267/1). Nguyen Dang is a Leverhulme Early Career Fellow.Augmenting a base constraint model with additional constraints can strengthen the inferences made by a solver and therefore reduce search effort. We focus on the automatic addition of streamliner constraints, derived from the types present in an abstract Essence specification of a problem class of interest, which trade completeness for potentially very significant reduction in search. The refinement of streamlined Essence specifications into constraint models suitable for input to constraint solvers gives rise to a large number of modelling choices in addition to those required for the base Essence specification. Previous automated streamlining approaches have been limited in evaluating only a single default model for each streamlined specification. In this paper we explore the effect of model selection in the context of streamlined specifications. We propose a new best-first search method that generates a portfolio of Pareto Optimal streamliner-model combinations by evaluating for each streamliner a portfolio of models to search and explore the variability in performance and find the optimal model. Various forms of racing are utilised to constrain the computational cost of training.Publisher PD
Multiobjective optimization of electromagnetic structures based on self-organizing migration
Práce se zabĂ˝vá popisem novĂ©ho stochastickĂ©ho vĂcekriteriálnĂho optimalizaÄŤnĂho algoritmu MOSOMA (Multiobjective Self-Organizing Migrating Algorithm). Je zde ukázáno, Ĺľe algoritmus je schopen Ĺ™ešit nejrĹŻznÄ›jšà typy optimalizaÄŤnĂch Ăşloh (s jakĂ˝mkoli poÄŤtem kritĂ©riĂ, s i bez omezujĂcĂch podmĂnek, se spojitĂ˝m i diskrĂ©tnĂm stavovĂ˝m prostorem). VĂ˝sledky algoritmu jsou srovnány s dalšĂmi běžnÄ› pouĹľĂvanĂ˝mi metodami pro vĂcekriteriálnĂ optimalizaci na velkĂ© sadÄ› testovacĂch Ăşloh. Uvedli jsme novou techniku pro vĂ˝poÄŤet metriky rozprostĹ™enĂ (spread) zaloĹľenĂ© na hledánĂ minimálnĂ kostry grafu (Minimum Spanning Tree) pro problĂ©my majĂcĂ vĂce neĹľ dvÄ› kritĂ©ria. DoporuÄŤenĂ© hodnoty pro parametry Ĺ™ĂdĂcĂ bÄ›h algoritmu byly urÄŤeny na základÄ› vĂ˝sledkĹŻ jejich citlivostnĂ analĂ˝zy. Algoritmus MOSOMA je dále ĂşspěšnÄ› pouĹľit pro Ĺ™ešenĂ rĹŻznĂ˝ch návrhovĂ˝ch Ăşloh z oblasti elektromagnetismu (návrh Yagi-Uda antĂ©ny a dielektrickĂ˝ch filtrĹŻ, adaptivnĂ Ĺ™ĂzenĂ vyzaĹ™ovanĂ©ho svazku v ÄŤasovĂ© oblasti…).This thesis describes a novel stochastic multi-objective optimization algorithm called MOSOMA (Multi-Objective Self-Organizing Migrating Algorithm). It is shown that MOSOMA is able to solve various types of multi-objective optimization problems (with any number of objectives, unconstrained or constrained problems, with continuous or discrete decision space). The efficiency of MOSOMA is compared with other commonly used optimization techniques on a large suite of test problems. The new procedure based on finding of minimum spanning tree for computing the spread metric for problems with more than two objectives is proposed. Recommended values of parameters controlling the run of MOSOMA are derived according to their sensitivity analysis. The ability of MOSOMA to solve real-life problems from electromagnetics is shown in a few examples (Yagi-Uda and dielectric filters design, adaptive beam forming in time domain…).
Certifying Correctness for Combinatorial Algorithms : by Using Pseudo-Boolean Reasoning
Over the last decades, dramatic improvements in combinatorialoptimisation algorithms have significantly impacted artificialintelligence, operations research, and other areas. These advances,however, are achieved through highly sophisticated algorithms that aredifficult to verify and prone to implementation errors that can causeincorrect results. A promising approach to detect wrong results is touse certifying algorithms that produce not only the desired output butalso a certificate or proof of correctness of the output. An externaltool can then verify the proof to determine that the given answer isvalid. In the Boolean satisfiability (SAT) community, this concept iswell established in the form of proof logging, which has become thestandard solution for generating trustworthy outputs. The problem isthat there are still some SAT solving techniques for which prooflogging is challenging and not yet used in practice. Additionally,there are many formalisms more expressive than SAT, such as constraintprogramming, various graph problems and maximum satisfiability(MaxSAT), for which efficient proof logging is out of reach forstate-of-the-art techniques.This work develops a new proof system building on the cutting planesproof system and operating on pseudo-Boolean constraints (0-1 linearinequalities). We explain how such machine-verifiable proofs can becreated for various problems, including parity reasoning, symmetry anddominance breaking, constraint programming, subgraph isomorphism andmaximum common subgraph problems, and pseudo-Boolean problems. Weimplement and evaluate the resulting algorithms and a verifier for theproof format, demonstrating that the approach is practical for a widerange of problems. We are optimistic that the proposed proof system issuitable for designing certifying variants of algorithms inpseudo-Boolean optimisation, MaxSAT and beyond
A Functional Taxonomy of Music Generation Systems
Digital advances have transformed the face of automatic music generation
since its beginnings at the dawn of computing. Despite the many breakthroughs,
issues such as the musical tasks targeted by different machines and the degree
to which they succeed remain open questions. We present a functional taxonomy
for music generation systems with reference to existing systems. The taxonomy
organizes systems according to the purposes for which they were designed. It
also reveals the inter-relatedness amongst the systems. This design-centered
approach contrasts with predominant methods-based surveys and facilitates the
identification of grand challenges to set the stage for new breakthroughs.Comment: survey, music generation, taxonomy, functional survey, survey,
automatic composition, algorithmic compositio
- …