Author

Ingo Wegener

80 papers · 1978–2013

1978peak 11 in 20002013

Frequent co-authors

Papers

showing 1–25 of 80 RSS

Improving the variable ordering of OBDDs is NP-complete

Beate Bollig, Ingo Wegener

Computational Theory and Mathematics · IEEE Transactions on Computers · 1996 · cited 552× · DOI ↗ · more like this ·

Ordered binary decision diagrams are a useful representation of Boolean functions, if a good variable ordering is known. Variable orderings are computed by heuristic algorithms and then improved with local search and simulated annealing algorithms. This approach is based on the conjecture that the following problem is NP-complete. Given an OBDD G representing f and a size bound s, does there exist an OBDD G* (respecting an arbitrary variable ordering) representing f with at most s nodes? This conjecture is proved.

On the Choice of the Offspring Population Size in Evolutionary Algorithms

Thomas Jansen, Kenneth De Jong, Ingo Wegener

Artificial Intelligence · Evolutionary Computation · 5 Nov 2005 · cited 241× · DOI ↗ · more like this ·

Evolutionary algorithms (EAs) generally come with a large number of parameters that have to be set before the algorithm can be used. Finding appropriate settings is a difficult task. The influence of these parameters on the efficiency of the search performed by an evolutionary algorithm can be very high. But there is still a lack of theoretically justified guidelines to help the practitioner find good values for these parameters. One such parameter is the offspring population size. Using a simplified but still realistic evolutionary algorithm, a thorough analysis of the effects of the offspring population size is presented. The result is a much better understanding of the role of offspring population size in an EA and suggests a simple way to dynamically adapt this parameter when necessary.

Methods for the Analysis of Evolutionary Algorithms on Pseudo-Boolean Functions

Ingo Wegener

Artificial Intelligence · Kluwer Academic Publishers eBooks · 24 Feb 2006 · cited 176× · DOI ↗ · more like this ·

Many experiments have shown that evolutionary algorithms are useful randomized search heuristics for optimization problems. In order to learn more about the reasons for their efficiency and in order to obtain proven results on evolutionary algorithms it is necessary to develop a theory of evolutionary algorithms. Such a theory is still in its infancy. A major part of a theory is the analysis of different variants of evolutionary algorithms on selected functions. Several results of this kind have been obtained during the last years. Here important analytical tools are presented, discussed, and applied to well-chosen example functions.

Evolutionary algorithms - how to cope with plateaus of constant fitness and when to reject strings of the same fitness

Thomas Jansen, Ingo Wegener

Artificial Intelligence · IEEE Transactions on Evolutionary Computation · 2001 · cited 141× · DOI ↗ · more like this ·

The most simple evolutionary algorithm (EA), the so-called (1 + 1) EA, accepts an offspring if its fitness is at least as large (in the case of maximization) as the fitness of its parent. The variant (1 + 1)* EA only accepts an offspring if its fitness is strictly larger than the fitness of its parent. Here, two functions related to the class of long-path functions are presented such that the (1 + 1) EA maximizes one in polynomial time and needs exponential time for the other while the (1 + 1)* EA has the opposite behavior. These results demonstrate that small changes of an EA may change its behavior significantly. Since the (1 + 1) EA and the (1 + 1)* EA differ only on plateaus of constant fitness, the results also show how EAs behave on such plateaus. The (1 + 1) EA can pass a path of constant fitness and polynomial length in polynomial time. Finally, for these functions, it is shown…

Unraveling social categorization in the "Who said what?" paradigm.

Karl Christoph Klauer, Ingo Wegener

Sociology and Political Science · Journal of Personality and Social Psychology · 1998 · cited 128× · DOI ↗ · more like this ·

A multinomial model of the "Who said what?" paradigm (S. E. Taylor, S. T. Fiske, N. J. Etcoff, & A. J. Ruderman, 1978) explains the pattern of participants' assignment errors by means of the joint operation of several processes. Specifically, memory for discussion statements, person memory, category memory, and 3 different guessing processes can be accommodated by the model. The model's ability to disentangle these processes is validated in a series of 5 experiments. The model thereby enables a more refined use of the "Who said what?" paradigm in testing theories of social categorization. This is demonstrated in a 6th experiment in which the validated model is applied to the study of the effects of cognitive load on categorization.

A Rigorous Complexity Analysis of the (1 + 1) Evolutionary Algorithm for Separable Functions with Boolean Inputs

Stefan Droste, Thomas Jansen, Ingo Wegener

Artificial Intelligence · Evolutionary Computation · June 1998 · cited 119× · DOI ↗ · more like this ·

Evolutionary algorithms (EAs) are heuristic randomized algorithms which, by many impressive experiments, have been proven to behave quite well for optimization problems of various kinds. In this paper a rigorous theoretical complexity analysis of the (1 + 1) evolutionary algorithm for separable functions with Boolean inputs is given. Different mutation rates are compared, and the use of the crossover operator is investigated. The main contribution is not the result that the expected run time of the (1 + 1) evolutionary algorithm is theta (n ln n) for separable functions with n variables but the methods by which this result can be proven rigorously.

On the complexity of branching programs and decision trees for clique functions

Ingo Wegener

Computational Theory and Mathematics · Journal of the ACM · April 1988 · cited 93× · DOI ↗ · more like this ·

Exponential lower bounds on the complexity of computing the clique functions in the Boolean decision-tree model are proved. For one-time-only branching programs, large polynomial lower bounds are proved for k -clique functions if k is fixed, and exponential lower bounds if k increases with n . Finally, the hierarchy of the classes BP d ( P ) of all sequences of Boolean functions that may be computed by d -times only branching programs of polynomial size is introduced. It is shown constructively that BP 1 ( P ) is a proper subset of BP 2 ( P ).

Perhaps Not a Free Lunch But At Least a Free Appetizer

Stefan Droste, Thomas Jansen, Ingo Wegener

Artificial Intelligence · OpenGrey (Institut de l'Information Scientifique et Technique) · 1998 · cited 81× · DOI ↗ · more like this ·

It is often claimed that Evolutionary Algorithms are superior to other optimization techniques, in particular, in situations where not much is known about the objective function to be optimized. In contrast to that Wolpert and Macready (1997) proved that all optimization techniques have the same behavior - on average over all f : X -> Y where X and Y are finite sets. This result is called No Free Lunch Theorem. Here different scenarios of optimization are presented. It is argued why the scenario on which the No Free Lunch Theorem is based does not model real life optimization. For more realistic scenarios it is argued why optimization techniques differ in their efficiency. For a small example this claim is proved.

NC-ALGORITHMS FOR OPERATIONS ON BINARY DECISION DIAGRAMS

Detlef Sieling, Ingo Wegener

Computational Theory and Mathematics · Parallel Processing Letters · March 1993 · cited 69× · DOI ↗ · more like this ·

(Ordered) binary decision diagrams are a powerful representation for Boolean functions and are widely used in logical synthesis, verification, test pattern generation or as part of CAD tools. NC-algorithms are presented for the most important operations on this representation, e.g. evaluation for a given input, minimization, satisfiability, redundancy test, replacement of variables by constants or functions, equivalence test and synthesis. The algorithms have logarithmic run time on CRCW COMMON PRAMs with a polynomial number of processors.

On the Optimization of Monotone Polynomials by Simple Randomized Search Heuristics

Ingo Wegener, Carsten Witt

Artificial Intelligence · Combinatorics Probability Computing · 2005 · cited 67× · DOI ↗ · more like this ·

Randomized search heuristics like evolutionary algorithms and simulated annealing find many applications, especially in situations where no full information on the problem instance is available. In order to understand how these heuristics work, it is necessary to analyse their behaviour on classes of functions. Such an analysis is performed here for the class of monotone pseudo-Boolean polynomials. Results depending on the degree and the number of terms of the polynomial are obtained. The class of monotone polynomials is of special interest since simple functions of this kind can have an image set of exponential size, improvements can increase the Hamming distance to the optimum and, in order to find a better search point, it can be necessary to search within a large plateau of search points with the same fitness value.

A New Framework for the Valuation of Algorithms for Black-Box-Optimization

Stefan Droste, Thomas Jansen, Ingo Wegener

Computer Networks and Communications · Technische Universität Dortmund Eldorado (Technische Universität Dortmund) · 2001 · cited 61× · DOI ↗ · more like this ·

Black-box optimization algorithms cannot use the specific parameters of the problem instance, i.e., of the fitness function f. Their run time is measured as the number of f-evaluations. This implies that the usual algorithmic complexity of a problem cannot be used in the black-box scenario. Therefore, a new framework for the valuation of algorithms for black-box optimization is presented allowing the notion of the black-box complexity of a problem. For several problems upper and lower bounds on their black-box complexity are presented. Moreover, it can can be concluded that randomized search heuristics whose (worst-case) expected optimization time for some problem is close to the black-box complexity of the problem are provably efficient (in the black-box scenario). The new approach is applied to several problems based on typical example functions and further interesting problems. Run…

A rigorous complexity analysis of the (1+1) evolutionary algorithm for linear functions with Boolean inputs

Stefan Droste, Thomas Jansen, Ingo Wegener

Artificial Intelligence · 27 Nov 2002 · cited 58× · DOI ↗ · more like this ·

Evolutionary algorithms (EAs) are heuristic randomized algorithms which, by many impressive experiments, have been proven to behave quite well for optimization problems of various kinds. In this paper, a rigorous complexity analysis of the (1+1) evolutionary algorithm for linear functions with Boolean inputs is given. The analysis is carried out for different mutation rates. The main contribution of the paper is not the result that the expected run time of the (1+1) evolutionary algorithm is at most /spl Theta/(n ln n) for linear functions with n variables, but the presentation of methods showing how this result can be proven rigorously.

Combinatorics, Probability and Computing

Noga Alon, Béla Bollobás, Ingo Wegener

Computer Networks and Communications · Oberwolfach Reports · 30 Sep 2007 · cited 48× · DOI ↗ · more like this ·

The conference was organized by Noga Alon (Tel Aviv), B\'ela Bollob\'as (Cambridge and Memphis) and Ingo Wegener (Dortmund). The programme consisted of 8 main lectures, supplemented by 21 shorter contributions, and covered many areas in Extremal and Probabilistic Combinatorics as well as in Theoretical Computer Science. In its simplest form, the Probabilistic Method refers to the technique of proving the existence of structures with unexpected properties by showing that a randomly chosen object from an appropriate probability distribution has the properties with positive probability. The probabilistic method has been strikingly successful in Combinatorics, Graph Theory and Combinatorial Number Theory, and the probabilistic point of view has had an enormous influence on theoretical computer science. The speakers reported on recent developments in Ramsey theory, including variants of…

The Analysis of a Recombinative Hill-Climber on H-IFF

Martin Dietzfelbinger, Bart Naudts, Clarissa Van Hoyweghen +1 more

Artificial Intelligence · IEEE Transactions on Evolutionary Computation · October 2003 · cited 44× · DOI ↗ · more like this ·

Many experiments have proved that crossover is an essential search operator in evolutionary algorithms, at least for certain functions. However, the rigorous analysis of such algorithms on crossover-friendly functions is still in its infancy. Here, a recombinative hill-climber is analyzed on the crossover-friendly function hierarchical-if-and-only-if (H-IFF) introduced by Watson et al. (1998). The dynamics of this algorithm are investigated and it is proved that the expected optimization time equals /spl Theta/(n log n).

Minimum spanning trees made easier via multi-objective optimization

Frank Neumann, Ingo Wegener

Computational Theory and Mathematics · Technische Universität Dortmund Eldorado (Technische Universität Dortmund) · 25 Jun 2005 · cited 43× · DOI ↗ · more like this ·

Many real-world problems are multi-objective optimization problems and evolutionary algorithms are quite successful on such problems. Since the task is to compute or approximate the Pareto front, multi-objective optimization problems are considered as more difficult than single-objective problems. One should not forget that the fitness vector with respect to more than one objective contains more information that in principle can direct the search of evolutionary algorithms. Therefore, it is possible that a single-objective problem can be solved more efficiently via a generalized multi-objective model of the problem. That this is indeed the case is proved by investigating the computation of minimum spanning trees.

Dynamic Parameter Control in Simple Evolutionary Algorithms

Stefan Droste, Thomas Jansen, Ingo Wegener

Computational Theory and Mathematics · OpenGrey (Institut de l'Information Scientifique et Technique) · 2000 · cited 35× · DOI ↗ · more like this ·

Evolutionary algorithms are general, randomized search heuristics that are influenced by many parameters. Though evolutionary algorithms are assumed to be robust,it is well-known that choosing the parameters appropriately is crucial for success and efficiency of the search. It has been shown in many experiments, that non-static parameter settings can be by far superior to static ones but theoretical verifications are hard to find. We investigate a very simple evolutionary algorithm and rigorously prove that employing dynamic parameter control can greatly speed-up optimization.

On the Complexity of the Hidden Weighted Bit Function for Various BDD Models

Beate Bollig, Martin Löbbing, Martin Sauerhoff +1 more

Computational Theory and Mathematics · RAIRO - Theoretical Informatics and Applications · March 1999 · cited 34× · DOI ↗ · more like this ·

Ordered binary decision diagrams (OBDDs) and several more general BDD models have turned out to be representations of Boolean functions which are useful in applications like verification, timing analysis, test pattern generation or combinatorial optimization. The hidden weighted bit function (HWB) is of particular interest, since it seems to be the simplest function with exponential OBDD size. The complexity of this function with respect to different circuit models, formulas, and various BDD models is discussed.

On the complexity of minimizing the OBDD size for incompletely specified functions

Martin Sauerhoff, Ingo Wegener

Computational Theory and Mathematics · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1996 · cited 34× · DOI ↗ · more like this ·

The problem of constructing an OBDD cover of minimal size for an incompletely specified Boolean function arises in several applications in the CAD domain, e.g., the verification of sequential machines and the construction of OBDD's for incompletely specified circuits. The complexity of this problem is determined. The decision problem is NP-complete. Efficient approximation algorithms exist only if NP=P.

The size of reduced OBDD's and optimal read-once branching programs for almost all Boolean functions

Ingo Wegener

Computational Theory and Mathematics · IEEE Transactions on Computers · 1994 · cited 34× · DOI ↗ · more like this ·

Boolean functions are often represented by ordered binary-decision diagrams (OBDDs) introduced by Bryant (1986). Liaw and Lin (1992) have proved upper and lower bounds on the minimal OBDD size of almost all Boolean functions. Now tight bounds are proved for the minimal OBDD size for arbitrary or optimal variable orderings and for the minimal read-once branching program size of almost all functions. Almost all Boolean functions have a sensitivity of almost 1, i.e., the minimal OBDD size for an optimal variable ordering differs from the minimal OBDD size for a worst variable ordering by a factor of at most 1+/spl epsi/(n) where /spl epsi/(n) converges exponentially fast to 0.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">></ETX>

Perceiving minority members as individuals: the effects of relative group size in social categorization

Karl Christoph Klauer, Ingo Wegener, Katja Ehrenberg

Sociology and Political Science · European Journal of Social Psychology · March 2002 · cited 32× · DOI ↗ · more like this ·

Abstract According to the account by comparative distinctiveness, minorities draw attention by virtue of their relative size, leading to more individuation and more stereotyping of their members. Using the ‘Who said what?’ paradigm by Taylor, Fiske, Etcoff, and Ruderman ( 1978 ) in Klauer and Wegener's ( 1998 ) modified version, relative group size of gender categories and age categories was varied in a pilot study and a main experiment, respectively. In the pilot study, memory for discussion statements and in both studies, memory for individuating information increased as subgroup size decreased. Rating measures obtained in the main experiment revealed most stereotyping of minority members. The findings thereby support major predictions of the account by comparative distinctiveness, but demonstrate dissociations between different modes of category‐based processing, i.e. category…

A natural and simple function which is hard for all evolutionary algorithms

Stefan Droste, Thomas Jansen, Ingo Wegener

Artificial Intelligence · OpenGrey (Institut de l'Information Scientifique et Technique) · 11 Nov 2002 · cited 30× · DOI ↗ · more like this ·

Evolutionary algorithms (EAs) are randomized search strategies that have turned out to be efficient for somewhat different optimization problems. In order to understand the behavior of EAs, one is also interested in examples where EAs need exponential time to find an optimal solution. Until now only artificial examples of this kind were known. An example with a clear and simple structure is presented. It can be described by a short formula, it is a polynomial of degree 3, and it is an instance of a well-known problem, the theoretically and practically important MAXSAT problem.

Discrete Sequential Search with Positive Switch Cost

Udo Lössner, Ingo Wegener

Computer Networks and Communications · Mathematics of Operations Research · August 1982 · cited 29× · DOI ↗ · more like this ·

Suppose one object is hidden in one of n boxes according to a known probability distribution p(1), …, p(n). The boxes are to be searched sequentially. The probability of overlooking the object if we search box k and if the object is in box k is denoted by q(k). The cost of a search of box k amounts to c(k). If we decide to search box k directly after box k′ we have to pay some extra cost called switch cost: T(k′, k). The problem is—under some reasonable assumptions—to construct a strategy with minimal expected cost. If T ≡ 0 the problem has a well-known solution. Unfortunately there are many reasons which establish the conjecture that there does not exist an easy construction rule for optimal strategies in the general case. We give necessary and sufficient conditions for the existence of optimal strategies which are ultimately periodic (u.p.). Since we state bounds on the length not…

The Discrete Sequential Search Problem with Nonrandom Cost and Overlook Probabilities

Ingo Wegener

Computer Networks and Communications · Mathematics of Operations Research · August 1980 · cited 25× · DOI ↗ · more like this ·

Suppose one object is hidden in the kth of n boxes with probability p(k). The boxes are to be searched sequentially. Associated with the jth search of box k is a cost c(j, k) and a conditional probability q(j, k) that the first j − 1 searches of box k are unsuccessful while the jth search is successful given that the object is hidden in box k. The problem is to minimize the expected cost of a strategy which at last surely finds the object. Without further assumptions we give necessary and sufficient conditions for the existence of admissible strategies with finite expected cost and the existence of optimal strategies. We give a procedure for the computation of an optimal strategy.

On the utility of populations in evolutionary algorithms

Thomas Jansen, Ingo Wegener

Artificial Intelligence · Genetic and Evolutionary Computation Conference · 7 Jul 2001 · cited 23× · OpenAlex ↗ · more like this ·

Evolutionary algorithms (EAs) are population-based search heuristics often used for function optimization. Typically they employ selection, crossover, and mutation as search operators. It is known that EAs are outperformed by simple hillclimbers in some cases. Thus, it may be asked whether the use of a population and crossover is at all advantageous. In this paper it is rigorously proven that the use of a population instead of just a single individual can be an advantage of its own even without making use of crossover. This establishes by example the advantage of EAs compared to (random) hill-climbers on appropriate objective functions. Moreover, we describe one particular situation where intuitively a population should outperform a single individual and present a formal proof justifying this intuition. 1

Inter‐category versus intra‐category fit: when social categories match social context

Ingo Wegener, Karl Christoph Klauer

Sociology and Political Science · European Journal of Social Psychology · 16 Aug 2004 · cited 21× · DOI ↗ · more like this ·

Abstract The goal of the research reported in this article was to examine whether social categorization, commonly thought to be a function of accessibility and intra‐category fit, is also sensitive to changes in inter‐category fit. Intra‐category fit refers to the match between a target person's features and stored categorical knowledge, inter‐category fit to the extent to which category memberships and targets' features covary across perceived group members. In Experiments 1, 2, and 3, members of social categories of low, medium, and high accessibility, respectively, were shown in a group discussion. Inter‐category fit was manipulated in three steps. Category salience in memory increased as an additive function of accessibility and inter‐category fit. Experiment 4 replicated the effects of inter‐category fit while intra‐category fit and the information presented for individual…