A matrix approach for finding extrema: problems with modularity, hierarchy, and overlap

Unlike most simple textbook examples, the real world is full with complex systems, and researchers in many different fields are often confronted by problems arising from such systems. Simple heuristics or even enumeration works quite well on small and easy problems; however, to efficiently solve large and difficult problems, proper decomposition according to the complex system is the key. In this research project, investigating and analyzing interactions between components of complex systems shed some light on problem decomposition. By recognizing three bare-bone types of interactions---modularity, hierarchy, and overlap, theories and models are developed to dissect and inspect problem decomposition in the context of genetic algorithms. This dissertation presents a research project to develop a competent optimization method to solve boundedly difficult problems with modularity, hierarchy, and overlap by explicit problem decomposition. The proposed genetic algorithm design utilizes a matrix representation of an interaction graph to analyze and decompose the problem. The results from this thesis should benefit research both technically and scientifically. Technically, this thesis develops an automated dependency structure matrix clustering technique and utilizes it to design a competent black-box problem solver. Scientifically, the explicit interaction model better describes the problem structure and helps researchers gain important insights through the explicitness of the procedure.

[1]  René Descartes,et al.  Discourse on the Method of Rightly Conducting the Reason, and Seeking Truth in the Sciences , 2003 .

[2]  C. E. SHANNON,et al.  A mathematical theory of communication , 1948, MOCO.

[3]  Christopher Alexander Notes on the Synthesis of Form , 1964 .

[4]  C. G. Broyden A Class of Methods for Solving Nonlinear Simultaneous Equations , 1965 .

[5]  P. A. P. Moran,et al.  An introduction to probability theory , 1968 .

[6]  Michael R. Anderberg,et al.  Cluster Analysis for Applications , 1973 .

[7]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[8]  David S. Johnson,et al.  Some Simplified NP-Complete Graph Problems , 1976, Theor. Comput. Sci..

[9]  J. Rissanen,et al.  Modeling By Shortest Data Description* , 1978, Autom..

[10]  C. D. Gelatt,et al.  Optimization by Simulated Annealing , 1983, Science.

[11]  D. E. Goldberg,et al.  Simple Genetic Algorithms and the Minimal, Deceptive Problem , 1987 .

[12]  David E. Goldberg,et al.  Genetic Algorithms in Search Optimization and Machine Learning , 1988 .

[13]  Ivan Hal Sudborough,et al.  Min Cut is NP-Complete for Edge Weigthed Trees , 1986, ICALP.

[14]  David E. Goldberg,et al.  Sizing Populations for Serial and Parallel Genetic Algorithms , 1989, ICGA.

[15]  F. A. Seiler,et al.  Numerical Recipes in C: The Art of Scientific Computing , 1989 .

[16]  David E. Goldberg,et al.  Genetic Algorithms and Walsh Functions: Part II, Deception and Its Analysis , 1989, Complex Syst..

[17]  Kalyanmoy Deb,et al.  Messy Genetic Algorithms: Motivation, Analysis, and First Results , 1989, Complex Syst..

[18]  Fred W. Glover,et al.  Tabu Search - Part I , 1989, INFORMS J. Comput..

[19]  Fred Glover,et al.  Tabu Search - Part II , 1989, INFORMS J. Comput..

[20]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[21]  Melanie Mitchell,et al.  The royal road for genetic algorithms: Fitness landscapes and GA performance , 1991 .

[22]  Kalyanmoy Deb,et al.  Genetic Algorithms, Noise, and the Sizing of Populations , 1992, Complex Syst..

[23]  E. Rechtin,et al.  The art of systems architecting , 1996, IEEE Spectrum.

[24]  Kalyanmoy Deb,et al.  Analyzing Deception in Trap Functions , 1992, FOGA.

[25]  Heinz Mühlenbein,et al.  Predictive Models for the Breeder Genetic Algorithm I. Continuous Parameter Optimization , 1993, Evolutionary Computation.

[26]  Steven D. Eppinger,et al.  Managing the integration problem in concurrent engineering , 1993 .

[27]  Colin R. Reeves,et al.  Using Genetic Algorithms with Small Populations , 1993, ICGA.

[28]  Kalyanmoy Deb,et al.  Multimodal Deceptive Functions , 1993, Complex Syst..

[29]  Robert C. Spicer,et al.  Author's biography , 1993 .

[30]  Kalyanmoy Deb,et al.  RapidAccurate Optimization of Difficult Problems Using Fast Messy Genetic Algorithms , 1993, ICGA.

[31]  Dirk Thierens,et al.  Mixing in Genetic Algorithms , 1993, ICGA.

[32]  Robert P. Smith,et al.  A model-based method for organizing tasks in product development , 1994 .

[33]  Steven D. Eppinger,et al.  Integration analysis of product decompositions , 1994 .

[34]  Dirk Thierens,et al.  Convergence Models of Genetic Algorithm Selection Schemes , 1994, PPSN.

[35]  Thomas Bck Generalized convergence models for tournament|and (1; ?)|selection , 1995 .

[36]  John R. Koza,et al.  Hidden Order: How Adaptation Builds Complexity. , 1995, Artificial Life.

[37]  Thomas Bäck,et al.  Generalized Convergence Models for Tournament- and (mu, lambda)-Selection , 1995, ICGA.

[38]  David E. Goldberg,et al.  Genetic Algorithms, Tournament Selection, and the Effects of Noise , 1995, Complex Syst..

[39]  Lothar Thiele,et al.  A Mathematical Analysis of Tournament Selection , 1995, ICGA.

[40]  Yuval Rabani,et al.  A computational view of population genetics , 1995, STOC '95.

[41]  Magnus Rattray,et al.  Noisy Fitness Evaluation in Genetic Algorithms and the Dynamics of Learning , 1996, FOGA.

[42]  Jim Smith,et al.  Recombination strategy adaptation via evolution of gene linkage , 1996, Proceedings of IEEE International Conference on Evolutionary Computation.

[43]  Andrew Kusiak,et al.  Development of modular products , 1996 .

[44]  Hillol Kargupta,et al.  The performance of the gene expression messy genetic algorithm on real test functions , 1996, Proceedings of IEEE International Conference on Evolutionary Computation.

[45]  Byung Ro Moon,et al.  Genetic Algorithm and Graph Partitioning , 1996, IEEE Trans. Computers.

[46]  Brad L. Miller,et al.  Noise, sampling, and efficient genetic algorthms , 1997 .

[47]  Huaiyu Zhu On Information and Sufficiency , 1997 .

[48]  G. Harik Learning gene linkage to efficiently solve problems of bounded difficulty using genetic algorithms , 1997 .

[49]  Marc H. Meyer,et al.  The Power of Product Platforms , 1997 .

[50]  Jordan B. Pollack,et al.  Modeling Building-Block Interdependency , 1998, PPSN.

[51]  K. Ulrich,et al.  Planning for Product Platforms , 1998 .

[52]  A. Sinclair,et al.  A computational view of population genetics , 1998 .

[53]  Carlos Iñaki Gutierrez,et al.  Integration analysis of product architecture to support effective team co-location , 1998 .

[54]  Jan Naudts,et al.  The Effect of Spin-Flip Symmetry on the Performance of the Simple GA , 1998, PPSN.

[55]  J. Pollack,et al.  Hierarchically Consistent Test Problems for Genetic Algorithms: Summary and Additional Results , 1999 .

[56]  David E. Goldberg,et al.  Optimizing Global-Local Search Hybrids , 1999, GECCO.

[57]  Gernot D. Kleiter,et al.  The posterior probability of Bayes nets with strong dependences , 1999, Soft Comput..

[58]  Vipin Kumar,et al.  A New Algorithm for Multi-objective Graph Partitioning , 1999, Euro-Par.

[59]  David E. Goldberg,et al.  The compact genetic algorithm , 1999, IEEE Trans. Evol. Comput..

[60]  Martin Loebl,et al.  On the Theory of Pfaffian Orientations. II. T-joins, k-cuts, and Duality of Enumeration , 1998, Electron. J. Comb..

[61]  David E. Goldberg,et al.  The Gambler's Ruin Problem, Genetic Algorithms, and the Sizing of Populations , 1999, Evolutionary Computation.

[62]  D. Goldberg,et al.  BOA: the Bayesian optimization algorithm , 1999 .

[63]  David E. Goldberg Using Time Efficiently: Genetic-Evolutionary Algorithms and the Continuation Problem , 1999, GECCO.

[64]  M. Pelikán,et al.  The Bivariate Marginal Distribution Algorithm , 1999 .

[65]  Jorma Rissanen,et al.  Hypothesis Selection and Testing by the MDL Principle , 1999, Comput. J..

[66]  Masaharu Munetomo,et al.  Identifying Linkage Groups by Nonlinearity/Non-monotonicity Detection , 1999 .

[67]  Anil K. Jain,et al.  Data clustering: a review , 1999, CSUR.

[68]  Heinz Mühlenbein,et al.  Schemata, Distributions and Graphical Models in Evolutionary Optimization , 1999, J. Heuristics.

[69]  G. Harik Linkage Learning via Probabilistic Modeling in the ECGA , 1999 .

[70]  Kim B. Clark,et al.  Design Rules: The Power of Modularity , 2000 .

[71]  Kristin L. Wood,et al.  A heuristic method for identifying modules for product architectures , 2000 .

[72]  Javier P. Gonzalez-Zugasti,et al.  A Method for Architecting Product Platforms , 2000 .

[73]  C. V. Hoyweghen Detecting spin-flip symmetry in optimization problems , 2001 .

[74]  Erick Cantú-Paz,et al.  Efficient and Accurate Parallel Genetic Algorithms , 2000, Genetic Algorithms and Evolutionary Computation.

[75]  Ronnie E. Thebeau Knowledge management of system interfaces and interactions from product development processes , 2001 .

[76]  Thomas D. LaToza,et al.  On the supply of building blocks , 2001 .

[77]  Hugo A. D. do Nascimento Interactive Graph Clustering based on User Hints , 2001 .

[78]  D. Goldberg,et al.  Escaping hierarchical traps with competent genetic algorithms , 2001 .

[79]  Armen Zakarian,et al.  Development of modular electrical systems , 2001 .

[80]  S D Eppinger,et al.  Innovation at the speed of information. , 2001, Harvard business review.

[81]  Farrokh Mistree,et al.  Product platform design: method and application , 2001 .

[82]  Information Hiding in Product Development: The Design Churn Effect , 2002 .

[83]  David E. Goldberg,et al.  Scalability of the Bayesian optimization algorithm , 2002, Int. J. Approx. Reason..

[84]  David E. Goldberg,et al.  From Twomax To The Ising Model: Easy And Hard Symmetrical Problems , 2002, GECCO.

[85]  David E. Goldberg,et al.  Bayesian Optimization Algorithm: From Single Level to Hierarchy , 2002 .

[86]  Marco Gaertler,et al.  Clustering with Spectral Methods , 2002 .

[87]  Paul R. Carlile,et al.  Architectural Optimisation Using Real Options Theory and Dependency Structure Matrices , 2002, DAC 2002.

[88]  David E. Goldberg,et al.  The Design of Innovation: Lessons from and for Competent Genetic Algorithms , 2002 .

[89]  Kosuke Ishii,et al.  Design for variety: developing standardized and modularized product platform architectures , 2002 .

[90]  Alex H. B. Duffy,et al.  Identifying Component Modules , 2002, AID.

[91]  D. Goldberg,et al.  Analysis of Mixing in Genetic Algorithms: A Survey , 2002 .

[92]  Rudi Lutz,et al.  Recovering High-Level Structure of Software Systems Using a Minimum Description Length Principle , 2002, AICS.

[93]  B. Jaumard,et al.  Cluster Analysis and Mathematical Programming , 2003 .

[94]  David E. Goldberg,et al.  Genetic Algorithm Design Inspired by Organizational Theory: Pilot Study of a Dependency Structure Matrix Driven Genetic Algorithm , 2003, GECCO.

[95]  David E. Goldberg,et al.  Hierarchical BOA Solves Ising Spin Glasses and MAXSAT , 2003, GECCO.

[96]  David E. Goldberg,et al.  Toward an Understanding of the Quality and Efficiency of Model Building for Genetic Algorithms , 2004, GECCO.

[97]  David E. Goldberg,et al.  Efficiency enhancement of genetic algorithms via building-block-wise fitness estimation , 2004, Proceedings of the 2004 Congress on Evolutionary Computation (IEEE Cat. No.04TH8753).

[98]  Martin Pelikan,et al.  Computational Complexity and Simulation of Rare Events of Ising Spin Glasses , 2004, GECCO.

[99]  David E. Goldberg,et al.  Designing Competent Mutation Operators Via Probabilistic Model Building of Neighborhoods , 2004, GECCO.

[100]  Sub-structural Niching in Non-stationary Environments , 2004, Australian Conference on Artificial Intelligence.

[101]  Ali A. Yassine,et al.  Characterizing complex product architectures , 2004, Syst. Eng..

[102]  Alden H. Wright,et al.  An Estimation of Distribution Algorithm Based on Maximum Entropy , 2004, GECCO.

[103]  Franz Rothlauf,et al.  Evaluation-Relaxation Schemes for Genetic and Evolutionary Algorithms , 2004 .

[104]  Erik K. Antonsson,et al.  INFORMATION MEASURE FOR MODULARITY IN ENGINEERING DESIGN , 2004 .

[105]  Marco Zaffalon,et al.  Distribution of mutual information from complete and incomplete data , 2004, Comput. Stat. Data Anal..

[106]  F. Guerra Spin Glasses , 2005, cond-mat/0507581.

[107]  David E. Goldberg,et al.  Online population size adjusting using noise and substructural measurements , 2005, 2005 IEEE Congress on Evolutionary Computation.

[108]  Marc Toussaint,et al.  Compact Genetic Codes as a Search Strategy of Evolutionary Processes , 2005, FOGA.

[109]  Jordan B. Pollack,et al.  Modular Interdependency in Complex Dynamical Systems , 2005, Artificial Life.

[110]  D. Goldberg,et al.  Sporadic Model Building for Efficiency Enhancement of hBOA Martin Pelikan , 2005 .

[111]  David E. Goldberg,et al.  Military antenna design using simple and competent genetic algorithms , 2006, Math. Comput. Model..

[112]  Petr Posík Estimation of Distribution Algorithms , 2006 .

[113]  Masaharu Munetomo,et al.  A crossover for complex building blocks overlapping , 2006, GECCO '06.

[114]  Prabhas Chongstitvatana,et al.  Building-block Identification by Simultaneity Matrix , 2007, Soft Comput..

[115]  David E. Goldberg,et al.  An information theoretic method for developing modular architectures using genetic algorithms , 2007 .

[116]  Vincent Kanade,et al.  Clustering Algorithms , 2021, Wireless RF Energy Transfer in the Massive IoT Era.