Crossover can be constructive when computing unique input-output sequences

被引：27

作者：

Lehre, Per Kristian ^{[1
]}

Yao, Xin ^{[1
]}

机构：

[1] Univ Birmingham, Sch Comp Sci, Ctr Excellence Res Computat Intelligence & Applic, Birmingham B15 2TT, W Midlands, England

来源：

SOFT COMPUTING | 2011年 / 15卷 / 09期

基金：

英国工程与自然科学研究理事会;

关键词：

Finite state machines; Unique input-output sequences; Evolutionary algorithms; Runtime analysis; Crossover operator; EVOLUTIONARY ALGORITHMS;

D O I：

10.1007/s00500-010-0610-2

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Unique input-output (UIO) sequences have important applications in conformance testing of finite state machines (FSMs). Previous experimental and theoretical research has shown that evolutionary algorithms (EAs) can compute UIOs efficiently on many FSM instance classes, but fail on others. However, it has been unclear how and to what degree EA parameter settings influence the runtime on the UIO problem. This paper investigates the choice of acceptance criterion in the (1 + 1) EA and the use of crossover in the (mu + 1) Steady State Genetic Algorithm. It is rigorously proved that changing these parameters can reduce the runtime from exponential to polynomial for some instance classes of the UIO problem.

引用

页码：1675 / 1687

页数：13

共 50 条

[31] Constructing multiple unique input/output sequences using metaheuristic optimisation techniques
Guo, Q
Hierons, RM
Harman, M
Derderian, K
IEE PROCEEDINGS-SOFTWARE, 2005, 152 (03): : 127 - 140
[32] Hayman-like techniques for computing input-output weight distribution of convolutional encoders
Ravazzi, Chiara
Fagnani, Fabio
2010 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, 2010, : 1110 - 1114
[33] An Examination of Alternative LQ-Based Approaches to Computing Regional Input-Output Coefficients
Flegg, Anthony T.
Pereira-Lopez, Xesus
Sanchez-Choez, Napoleon
Cuevas, Fernando de la Torre
Tohmo, Timo
COMPUTATIONAL ECONOMICS, 2025,
[34] Improving test quality using robust unique input/output circuit sequences (UIOCs)
Guo, Qiang
Hierons, Robert M.
Harman, Mark
Derderian, Karnig
INFORMATION AND SOFTWARE TECHNOLOGY, 2006, 48 (08) : 696 - 707
[35] Outsourcing and structural change. What can input-output analysis say about it?
Montresor, Sandro
Vittucci Marzetti, Giuseppe
ECONOMIA POLITICA, 2007, 24 (01) : 43 - 77
[36] Can entrepreneurial incentives revitalize the urban inner core? A spatial input-output approach
Dymski, G
JOURNAL OF ECONOMIC ISSUES, 2001, 35 (02) : 415 - 422
[37] Can supply, use and input-output tables be converted to a different classification with aggregate information?
Rueda-Cantuche, Jose M.
Amores, Antonio F.
Remond-Tiedrez, Isabelle
ECONOMIC SYSTEMS RESEARCH, 2020, 32 (01) : 145 - 165
[38] LANG - algorithm for constructing unique input/output sequences in finite-state machines
Ahmad, I
Ali, FM
Das, AS
IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2004, 151 (02): : 131 - 140
[39] Can hazardous waste supply chain 'hotspots' be identified using an input-output framework?
Court, Christa D.
Munday, Max
Roberts, Annette
Turner, Karen
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2015, 241 (01) : 177 - 187
[40] Modeling of input-output relationships for a plasma spray coating process using soft computing tools
Datta, Somak
Pratihar, D. K.
Bandyopadhyay, P. P.
APPLIED SOFT COMPUTING, 2012, 12 (11) : 3356 - 3368

← 1 2 3 4 5 →