• Keine Ergebnisse gefunden

Crossover Operators for Multiobjective k-Subset Selection

N/A
N/A
Protected

Academic year: 2022

Aktie "Crossover Operators for Multiobjective k-Subset Selection"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Crossover Operators for Multiobjective k-Subset Selection

Thorsten Meinl

Thorsten.Meinl@uni-konstanz.de Michael R. Berthold

Michael.Berthold@uni-konstanz.de

Nycomed Chair for Bioinformatics and Information Mining University of Konstanz

Box 712

78457 Konstanz, Germany

ABSTRACT

Genetic algorithms are often applied to combinatorial opti- mization problems, the most popular one probably being the traveling salesperson problem. In contrast to permutations used for TSP, the selection of a subset from a larger set has so far gained surprisingly little interest. One intriguing ex- ample of this type of problems occurs in diversity selection for virtual high throughput screening, where k molecules need to be selected from a set ofnwhile optimizing certain constraints. In this paper we present a novel representation fork-subsets and several genetic operators for it.

Categories and Subject Descriptors:I.2.8 [Artificial In- telligence]: Problem Solving, Control Methods, and Search

— Heuristic methods

General Terms: Algorithms

Keywords: Crossover, Genetic Algorithm, Multiobjective Optimization, Combination, Subset, Diversity Selection

1. INTRODUCTION

Selectingkitems out of a set ofnis a common problem.

In this article we concentrate on an application in the Life Sciences, more precisely in the early drug discovery process.

Before pharma companies start automated tests with sev- eral hundreds of thousands of molecules in so-calledHTS (High Throughput Screening), they usually plan to buy or synthesize a few thousand new molecules specifically for the current target. However, this set of compounds must satisfy two main criteria:

1. They should be as active as possible on the target.

2. The set of molecules should be as diverse as possible.

These two objectives usually contradict each other, because very similar molecules often show the same or comparable activities. Therefore this leads to a classical multiobjective optimization problem: Selectkmolecules out of a set ofnat the same time maximizing the activity and minimzing the pairwise similarities (or maximizing diversity).

Given the fact that investigating all possiblek-subsets out ofnmolecules quickly becomes computationally very expen- sive (the binomial coefficient `n

k

´ = k!(n−k)!n! computes the number of possibilities), it is infeasible to check them all except for very small values ofk and/orn.

Copyright is held by the author/owner(s).

GECCO’09,July 8–12, 2009, Montréal Québec, Canada.

ACM 978-1-60558-325-9/09/07.

Clearly, genetic algorithms are a good method for heuris- tic combinatorial optimization problems such as the one dis- cussed here. Interestingly, the community has done a lot of research in finding suitable genetic operators and represen- tations forpermutations, but to our knowledge there exists only one single publication about operators for combina- tions [1], yet. In this paper we introduce two novel crossover operators for combinations of fixed size (k-subsets) together with a common mutation operator and apply all three on the problem of diversity selection from a set of molecules.

2. CROSSOVER OPERATORS FOR COM- BINATIONS

Before crossover and mutation operators are designed, a chromosome encoding needs to be defined. Typically, for genetic algorithms bit strings are used but there also exist integer or even real number encodings. In [1] bit strings are used, but we decided for an integer valued encoding, which we motivate below.

2.1 Chromosomes with two-point crossover

A combination can easily be encoded in ak-length integer array that holds the selected items’ numbers, e.g. [2,4,5].

This representation allows for an easier access to the se- lected elements than a bit string because in a bit string, the set bits need to be searched for. Additionally, combinations with repetitions can easily be evolved with only minor modi- fications to the operators. The fixed-sized array also ensures that a chromosome always consists ofk selected elements, but special care has to be taken that no element appears twice.

The mutation operator works by selecting a random el- ement j in the integer array and a random numberr < n – repeating this whiler has already been selected before – and replacingjwithr.

The crossover operator works similar to normal two-point crossover. First, two random points are selected and for the two offspring the numbers in between the two points are taken. The remaining entries are filled up with elements from the other individualbut only if a number has not been selected for the individual yet. This can be checked by main- taining a bit set of selected elements. Entries still missing after this second step are consecutively filled up from the other individual – they are even taken from the middle in- terval.

2.2 Chromosomes with uniform crossover

For some problems, such as our problem of diversity selec- First publ. in: GECCO '09: Proceedings of the 11th Annual conference on Genetic and evolutionary computation, 2009, pp. 1809-1810

Konstanzer Online-Publikations-System (KOPS) URN: http://nbn-resolving.de/urn:nbn:de:bsz:352-opus-84020

URL: http://kops.ub.uni-konstanz.de/volltexte/2009/8402/

(2)

tion, uniform crossover works better or at least offers faster convergence. Therefore we also implemented an adaption of uniform crossover for combinations in the integer array representation. For reasons of efficiency we decided to work with sorted arrays this time, as this makes it very easy to detect duplicate entries. Of course, the sorted order needs to be maintained throughout all operations. Therefore, the mutation operator is modified slightly. Instead of scanning the whole array for the new numberr, this can more easily be done in logarithmic time with binary search. After no duplicate has been found,rneeds to be inserted at the right position (which is already known from the binary search) in order to keep the array sorted. The elements between the removed number and the insertion position ofr are shifted accordingly andris inserted at the free place.

Implementing pseudo-uniform crossover with a sorted ar- ray is now straight-forward. In principle every second ele- ment is exchanged between the two parent individuals, but again, this may introduce duplicate entries. However, us- ing the two sorted arrays of both parent individuals makes it easy to create a sorted combined array of length 2∗k containing all numbers from both individuals. Note, that a number can appear at most twice in this new array and if that is the case, both occurrences are next to each other.

The two offspring are now created by taking all odd elements for the first child and all even elements for the second.

3. EXPERIMENTS

In order to evaluate the three operators’ behaviour, we used them for finding Pareto-optimal solutions for the prob- lem described in section 1. In addition to a real-world dataset we also used synthetic data to check that the results are not overly specific to the chosen dataset. The underlying MO genetic algorithm we used was NSGA-II[2].

The first dataset we used is publicly available from Bind- ingDB.org (http://www.bindingdb.org) consisting of 1,376 molecules that have been tested for their activity against the CDK-2 protein. The dataset contains the molecules’ activ- ities asIC50 values and their 2D structure, from which we computed their pairwise similarities. In our experiments we set the subset size to 137 (10% of the database), resulting in a search space of about 1.8×10193 possible solutions. Ini- tially the population size was set to 300 and mutation rate to 1%. Each experiment was carried out 10 times.

Figure 1 shows in the top part the hypervolume [3] for the three different operators, averaged over 10 runs. It is clearly visible that uniform crossover converges much faster than the other two operators. However, it is outperformed in the end, but only to a small amount which is mainly due to

“border” solutions in the corners of the search space (which in our application are of less interest than solutions in the center part of the front).

We also performed several other experiments with more individuals, higher mutation rates and different values of k but the results were comparable to the presented ones, therefore we omit their presentation here.

In order to verify that the operators’ behaviour is not an artifact of the chosen dataset, we also generated synthetic datasets consisting of datapoints randomly distributed be- tween 0 and 1 in the plane. Then three “activity spots” were assigned which get an activity value of 1. All other points get an activity that exponentially decreases with increasing distance to the two chosen points.

2.289E4 2.339E4 2.389E4 2.439E4 2.489E4 2.539E4 2.589E4 2.639E4 2.689E4 2.739E4 2.789E4 2.841E4

6.00E25.00E5 1.00E61.50E6

2.00E62.50E6 3.00E63.50E6

4.00E64.50E6 5.00E65.50E6

6.00E66.50E6 7.00E67.50E6

8.00E68.50E6 9.00E69.50E6

1.00E7

Binary - SX Integer - Uniform Integer - 2-point

Individuals

Hypervolume

0.246 0.271 0.296 0.321 0.346 0.371 0.396 0.421 0.446 0.471 0.496 0.521 0.546 0.573

Binary - SX Integer - Uniform Integer - 2-point

Individuals

Hypervolume

6.00E25.00E5 1.00E61.50E6

2.00E62.50E6 3.00E63.50E6

4.00E64.50E6 5.00E65.50E6

6.00E66.50E6 7.00E67.50E6

8.00E68.50E6 9.00E69.50E6

1.00E7

Figure 1: The hypervolume indicators for up to 10,000,000 individuals for the molecule (top) and synthetic dataset (bottom). Uniform crossover con- verges much faster but is outperformed by two- point crossover in late generations on the molecular dataset.

The experiments were carried out in the same way:kwas set to 10% of the whole dataset, population size was 300, mutation rate 1%, and each test was run 10 times. The lower part of Figure 1 shows the average value of the hyper- volume indicator for up to 1,000,000 generated individuals for a dataset with 10,000 random points. The results for other datasets are comparable, therefore we omit their ex- act presentation.

On the synthetic dataset uniform crossover performs even better than two-point crossover. Interestingly even the in- teger two-point crossover is superior to the binary SX oper- ator.

4. REFERENCES

[1] J.-S. Chen and J.-L. Hou. A Combination Genetic Algorithm with Applications on Portfolio Optimization.

InAdvances in Applied Artificial Intelligence, volume 4031 ofLecture Notes in Computer Science, pages 197–206. Springer, Berlin, Germany, 2006.

[2] K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan. A fast and elitist multiobjective genetic algorithm:

NSGA-II.IEEE Transactions on Evolutionary Computation, 6:182–197, 2002.

[3] E. Zitzler, J. Knowles, and L. Thiele. Quality Assessment of Pareto Set Approximations. In Multiobjective Optimization - Interactive and

Evolutionary Approaches, volume 5252 ofLecture Notes in Computer Science, pages 373–404. Springer, Berlin, Germany, 2008.

Referenzen

ÄHNLICHE DOKUMENTE

In this section, we evaluate the proposed mutation operators by investigating whether they reflect realistic faults related to variability.. 5.1

Besides this experience, we also learned that the us- ability of variability-aware operators heavily depends on how devel- opers employ the variability mechanism (i.e.,

More precisely, we consider an operator family (A(ρ)) ρ∈X of closed densely defined operators on a Banach space E, where X is a locally compact

Formally, we consider in this work the K-staged two-dimensional cutting stock problem with variable sheet size (K2CSV) in which we are given a set of n E rectangular element types E

Based on this approximation, we derived probabilities q A (r) for selecting edges to be incorporated into candidate solutions of an EA during mutation such that the average

The empirical probability p E (r) that an edge appears in an optimum solution as a function of its rank, for the MSTP, 3-MSTP, 5-MSTP, and TSP on uniform and Euclidean instances of

Then, we prove a fixed point theorem for singl- evalued operators in terms of a τ -distance. Key words : fixed point, τ-distance,

Also, some fixed point theorems for singlevalued operators on a complete metric space endowed with a w-distance were established in T.Suzuki [2] and J.Ume [4]. The concept of