Abstract

This paper proposes a new plant-inspired optimization algorithm for multilevel threshold image segmentation, namely, hybrid artificial root foraging optimizer (HARFO), which essentially mimics the iterative root foraging behaviors. In this algorithm the new growth operators of branching, regrowing, and shrinkage are initially designed to optimize continuous space search by combining root-to-root communication and coevolution mechanism. With the auxin-regulated scheme, various root growth operators are guided systematically. With root-to-root communication, individuals exchange information in different efficient topologies, which essentially improve the exploration ability. With coevolution mechanism, the hierarchical spatial population driven by evolutionary pressure of multiple subpopulations is structured, which ensure that the diversity of root population is well maintained. The comparative results on a suit of benchmarks show the superiority of the proposed algorithm. Finally, the proposed HARFO algorithm is applied to handle the complex image segmentation problem based on multilevel threshold. Computational results of this approach on a set of tested images show the outperformance of the proposed algorithm in terms of optimization accuracy computation efficiency.

1. Introduction

Image segmentation is an important image preprocessing technique with primitive operations for image recognition [1, 2]. The goal of image segmentation is to partition an original image into a suit of disjoint sections or regions by gray values and texture structures [3]. Generally, there is a strong correlation between the objects of these disjoint regions in the image. Bithreshold or multilevel threshold based segmentation methods have been deeply developed and employed in various practical applications. The key issue to this segmentation method is the computational determination of the involved threshold. A broad variety of threshold based segmentation methods have been proposed, including conventional approaches [4] and intelligent approaches [5, 6]. Among them, the classical Otsu criterion shows significant merits of simplicity and high efficiency, which determines the appropriate thresholds according to intrinsic profile characteristic of histogram [7]. As a matter of fact, the Otsu transforms the multilevel threshold segmentation into an optimization problem, which tends to maximize intercluster variance of subpartition. However, due to the exhaustive property of this approach, the computational complexity will rise exponentially with the increasing of the threshold number [8, 9].

Recently, due to their excellent abilities of tackling complex NP-hard problems, metaheuristics such as artificial bee colony [10, 11], particle swarm optimization [12], artificial ant colony [13], differential evolution [14], firefly algorithm [15], wind driven optimization [16], and bacterial foraging algorithm [17] have been adopted widely in threshold image segmentation. It is worth noting that those metaheuristics are generally inspired form intelligent behaviors of animals that have foraging strategies. The survival wisdom of plants, as another typical species of foraging organisms, has received little attention due to their specific lifestyle [18]. However, terrestrial plants have prominent adaptability and sensing ability to use environmental information as a basis for governing their growth orientation and root system development [19]. Logically, such adaptive growth processes can provide novel insights into new computing paradigm for global optimization [2022]. References [23, 24] have proposed and developed the novel and effective EA variants by using a hybridization of life-cycle and optimal search strategies and obtain significant performance improvement, which shows a novel and effective computation framework for related scientists. How to deliberately design novel evolutionary computation model and algorithm is increasingly becoming an area of active research; taking a promising example, a representative ARFO algorithm is proposed by Ma et al. in [22] and has received a surge of attention [23, 24]. Essentially, the ARFO provides an open and extensible biocomputation framework and model for scientists in the field of optimization theory to exploit new bioinspired algorithms.

Thus, this paper develops a novel hybrid artificial root foraging optimizer (HARFO) which synergizes the idea of coevolution and root-to-root communication strategy. In the proposed model, all roots can be generally divided into the main roots and lateral roots according to the auxin concentration. The main root as the strongest individuals can branch and regrow under effect of hydrotropism. The lateral root involves many branches derived from the main root, and its growth direction orients from corresponding main root [25, 26]. Furthermore, in the root-to-root communication, through different effective topology, individual roots share more information from the elite roots in the early exploration stage of the algorithm. With multipopulation coevolution mechanism, the hierarchical population of roots can be structured with enhanced interactions of individual behaviors from different subpopulations. By incorporating a set of hybrid strategies, the proposed HARFO can be claimed very effective and efficient because the exploitation and exploration can be elaborately balanced, which guarantees finding the optimal thresholds at a more reasonable time.

This paper is structured as follows: In Section 2, a brief overview of the proposed hybrid artificial root foraging optimizer model and algorithm is presented. Section 3 experimentally compares HARFO with other well-known algorithms on a set of benchmark functions. In Section 4 the implementation of HARFO for multilevel threshold for image segmentation is conducted. In Section 5 final conclusion is outlined.

2. Hybrid Artificial Root Foraging Optimizer

2.1. Artificial Root Foraging Optimization (ARFO) Model

This section briefly describes the classical ARFO proposed in [22], which simulates the intelligent foraging behaviors of plant roots. As depicted in [22], in order to idealize biological plant root growth behaviors, some criteria are presented as follows.

Auxin ConcentrationThe root’s adaptive growth is conducted by auxin concentration, which significantly influences the information exchange among root tips. The auxin concentration regulates the roots’ spatial structure, after new roots germinate and grow, and it is dynamically reallocated instead of static.

Growth StrategiesRegrowing: one root apex elongates forward (or sideways) in the substrate.Branching: one root apex produces daughter root apices.

Root ClassificationThe whole root system generally consists of three categories sorted by the auxin concentration from high to low: the main roots, the lateral roots, and the dead roots

Root TropismsThe growth trajectory of plant roots is influenced by hydrotropism, which makes the growing direction of the root tips towards the optimal individual position.Generally, each root implements different growth strategies and operators according to the above criteria. Each main root regrows (i.e., elongates itself) while branching new individuals once some conditions are met. After each growth cycle, some deteriorated roots are selected as the dead roots to be eliminated from current population.

2.1.1. Auxin Regulation

Supposing that as the auxin concentration is used to exhibit the nutrient distribution in artificial soil environment, then it can be stated mathematically as below:Thenwhere is the functional fitness value, is the normalization fitness value of the root , and are the maximum and minimum of the current population, respectively, and is the size of current population. In each cycle of root growth process, all root taps are sorted by auxin concentration values defined above. In our model, half of the sorted population are selected as main roots while the rest of roots are identified as lateral roots.

2.1.2. Main Roots’ Growth: Regrowing and Branching

According to the growth strategy of main root in criterion for the plant root growth behaviors, a main root with high value has strong growth ability of implementing both regrowing operator and branching operator.

(i) Regrowing Operator. In this regrowing process, the strong main root can sense environmental stimuli (i.e., nutrient distribution) and use this information to govern its growth orientation. Then, the formulation of this operator is given as below:where and are defined as the position of root at time step and , respectively, is a local learning inertia, rand is a random coefficient varying within , and is the local best individual in current population.

(ii) Branching Operator. The main roots with higher auxin concentration values have higher probability to branch more individuals. In this operator, for each main root, if its auxin concentration value is more than a branching threshold T_Branch, it will start generating a certain number of new individuals as follows:

In principle, the main root in nutrient-rich environment will forage for energy to obtain higher auxin concentration and then produces more branches. Thus, the branch number can be calculated aswhere is a random coefficient within the range , is the auxin concentration of root , and and are the maximal number and minimal number of the new branching individuals, respectively, which are usually preset to 4 and 1, respectively.

The position of a newly branching root is initialized from the parent main root with Gauss distribution , where can be defined aswhere is the current iteration index, is the maximum of iterations, the initial standard deviation is determined by the range of searching, and donates the final standard deviation.

2.1.3. Lateral Roots Growth: Random Walking

At the iteration, each lateral root tip generates a random head angle and a random elongation length, given as follows: all lateral roots will conduct random searches at each feeding process; random search strategy is considered to be the most effective foraging strategy in nutrient distributed environment [27, 28]. Each lateral root generates a random growth angle and random elongated length, which is given bywhere is the maximum elongate length unit (i.e., objective function boundary range), rand is a random number with uniform distribution in , and is a growth angle computed by a random vector .

2.1.4. Dead Roots’ Growth: Shrinkage

In the case that the root does not get enough nutrients from soil, its corresponding auxin concentration is intended to be weak. Once auxin concentration is lower than a certain threshold, the sustained growth probability will be stagnated. This enables the corresponding root to be simply removed from the current population. The branching criterion and dead roots eliminating criterion are listed as follows:where is the current population size, is the branching threshold, is the branching number defined by (5), and T_Nmority is the death threshold.

2.2. Root-to-Root Communication

The intrinsic property of the “population” in swarm intelligence is collective intelligence emerging by a number of connected individuals exchanging information in some specific topologies [2730]. This means that the spatial topological structure plays an important role in enhancing dynamic interaction between individuals and optimizing information propagation path across the structured population.

Accordingly, the population topology technique has been strongly recommended for potential improvement of swarm intelligence or evolutionary algorithms [3033]. Particularly, by lucubrating on the relationship between population topologies structure and algorithmic performances in [29], Kennedy and Mendes conclude that the Von Neumann exhibits better convergence speed on a variety of test functions, as shown Figures 1(a) and 1(b).

In ARFO, (3) shows that an individual’s candidate neighborhood termed is selected from the entire population, which indicates one central node influences, and is influenced by all other members of the population [26]. In other words, this population topological structure of ARFO essentially falls into the star topology, which is a fully connected neighborhood relation, as shown in Figure 1(c). From [29], it is claimed that the Von Neumann has a lower connectivity while covers a larger search space than the star type, which tends to maintain better diversity of population and reduces the chances of falling into local optima. The procedures of representing Von Neumann structure are listed in Algorithm 1.

Von Neumann
Split population of roots into rows and cols, and .
Begin
 For
  ;
  If   ;
  ;
  If   ;
  ;
  If
  ;
  ;
  If
  ;
 End
2.3. Coevolution Mechanism

Hierarchy is a common phenomenon in the development of plant root system [25, 26]. With the severity of environmental stress, homogeneous main roots continuously self-grow-branch and evolve while being a part of heterogeneous roots of different plant types and that plant is in turn a part of a specific ecosystem niche [27]. As a result, this hierarchical coevolution approach is incorporated to improve algorithm efficiency via decomposing large-scale problems into simple tasks optimized in parallel. As depicted in Figure 2, the flat ARFO is structured into two levels with different topologies as follows.

Hypothesize that population , and each swarm . In each growth phase, the new individual or agent in level 2 is defined aswhere is the best individual within current population which denotes cooperation in level 2 and is the global best individual among all populations which exchanges information across populations in level 1. and are the random coefficients. and are random numbers with uniform distribution in , respectively.

2.4. The Proposed Algorithm

By hybridizing ARFO with these complex degrees of strategies, namely, root-to-root communication and coevolution mechanism, the hybrid artificial root growth optimizer (HARFO) can regulate the trajectory of each root through the specific topology. Moreover, the evolution of population is guided by historical experience in level 2 and global best information in level 1, which can imply diversity of population. The main procedures of the proposed HARFO are listed in Algorithm 2. The flowchart of HARFO is presented in Figure 3.

Initialization
 Initialize root populations, each consists of individuals. And set the maximum iteration number MaxT.
 Set .
 Calculate auxin concentration values of all populations by (2).
While (terminal conditions not satisfied)
 Divide each population into main root and lateral root groups according to auxin concentration.
 For each population
  Construct Von Neumann topology as shown in Algorithm 1.
  For each main roots group
   Implement regrowing operator by (9).
   Evaluate auxin concentration values of renewal main roots, and apply greedy selection.
   If the condition of branching determined by (4) is met, continue; otherwise, go to lateral-roots loop.
   Calculate the branching number by (5), and branching new roots by (6).
   Adjust the population size.
   End for
   Loop over each mainroot tip
  For each Lateral-roots group.
   Lateral-root take regrowing operator by (7).
   Evaluate the auxin concentration values of the renewal lateral roots, apply greedy selection.
   Adjust the corresponding nutrient concentration value by (2);
  End for
  Loop over each root tip of lateral-roots
  Remove the dead individuals from each population according to their auxin concentration values by (8).
 Loop over each population
;
End while
Output the best result.

3. Benchmark Test

3.1. Test Functions

For the purpose of performance comparison, the HARFO, together with other state-of-the-art metaheuristic algorithms, is evaluated on a set of test functions from basic benchmarks and CEC 2005 test beds. The definition and mathematical representation of them are available in Table 1 where ~ are basic benchmark functions and ~ are taken from CEC 2005 test suit, which is complex rotation and shift problem based on the basic test functions.

Furthermore, in order to comprehensively evaluate the performance of the proposed algorithm, a suit of scalable shifted and rotated benchmarks from CEC 2014 test bed is employed in the test [3436]. The dimensions, initialization ranges, and global optimum of each function (~) are listed in Table 2.

3.2. Experimental Configuration

For the purpose of performance comparison, the HARFO is compared with several classical evolutionary algorithms including particle swarm optimization (PSO) [37, 38], cooperative coevolution genetic algorithm (CCGA) [39], pure artificial root foraging optimization algorithm (ARFO) [22], and artificial bee colony algorithm (ABC) [20] on ten test benchmarks given above. Specifically, CCGA is a parallelized GA variant derived from the dimension-distributed coevolution mode, which divides a high-dimensional problem into several lower-dimensional subproblems and then assigns them to corresponding subswarms to coevolve [39]. On each function, the algorithm is independently run 20 times and terminated when the number of function evaluations reaches 100,000 for each run. The common population size associated with ARFO, PSO, and ABC is set to 20.

For PSO, the global version with inertia weight is adopted, and its parameters directly follow the default setting of [37, 38]: the acceleration factors and the decaying inertia weight ω starting at 0.9 and ending at 0.4. For ABC, the limit is set to , where is the dimension of the problem and SN is half of population size [20]. For CCGA, the subswarm number is set to 10, and other parameters are the same as its original literature [39]. The parameter setting of HARFO and ARFO can be empirically summarized in Table 3. For the proposed HARFO, the population number , the branching, and dead thresholds should be tuned firstly in next section.

3.3. Parameters Sensitivity

(i) Sensitivity in relation to Population Number in Level 1. To scientifically assess the effect of parameter , the following experiment is designed. First, and are assigned empirically with initial values 10 and 5, respectively. Then is varied from 2 to 17 with a step size 3. For each value of , HARFO is implemented for 20 times on six selected 30-dimensional , , , , and . And computation results in terms of mean and standard deviation are given in Table 4. It can be visibly observed from Table 4 that algorithm with equal to 2 and 8 can perform superior to that with other values. Compared with , the result of algorithm with is relatively better on three of five test benchmarks. Therefore, the optimal setting of the parameter can be as general usage of the algorithm.

(ii) Sensitivity in relation to T_Branch and T_Nmority in Level 2. and play vital roles in the population varying process, and there are critical correlations between them; thus, these two parameters are analyzed together. In this experiment, population number is fixed to 8, and the values of are varied as 5, 10, and 15 while the relevant is selected to be 0 or 5. From Table 5, it is clearly visible that the HARFO obtains best computation results on most test functions including , , , and when are set as . Therefore, the optimal configuration of is as general usage of the algorithm.

As the summary of this section, all suggested values of the control parameters can be listed as follows: , , and . These values are determined by experiments where the correlative and in level 2 are taken into consideration together, and the third one in level 1 is varied over an interval with a step size.

3.4. Computational Results

(i) Comparative Results on 30-Dimensional Case. HARFO is compared with ABC, PSO, and CCGA on ten 30-dimensional benchmarks . On each benchmark, these algorithms are independently implemented 20 times and terminated when the number of function evaluations reaches 100,000 for each run. The statistical results in terms of mean and standard deviation of each benchmark over 20 runs are calculated and shown in Table 6. As revealed from experimental results in Table 6, HARFO generally shows relative outperformance for solving most test benchmarks, compared to CCGA and ABC, which obtain the second and third best rankings, respectively.

On , HARFO, CCGA, and ABC perform close to each other, relatively better than other algorithms. Specifically, CCGA does better than ABC, followed by CCGA. On , ARFO remarkably outperforms others as well as CCGA and ABC obtain close results, significantly better than other algorithms. For complex multimodal variable-separable , variable-separable , and nonseparable , HARFO performs slightly better than CCGA and ABC, furthermore significantly better than other algorithms. Particularly, on and , the search performance order can be shown apparently as HARFO > CCGA > ABC > ARFO > PSO. On , which are more complex shifted and rotated benchmarks, HARFO can obtain best performance in terms of mean, maximum, and minimum on most of five benchmarks including , , , and and ARFO also outperforms other algorithms on . Apparently, HARFO shows significant improvement over other algorithms, especially ARFO.

(ii) Comparative Results on 100-Dimensional Case. In order to assess the scalability of our proposed algorithm, which is crucial for its applicability to real-world high-dimensional problems, the test benchmarks are extended to 100-dimensional problems as high-dimensional cases. The experimental results are given in Table 7. From Table 7, it is observed that HARFO significantly outperforms other algorithms almost all test functions except for and . Particularly, compared to other algorithms, the solution accuracy of HARFO on shifted and rotated , , and is increased by one order of magnitude. From the distinct difference between dimension = 20 and 100 results, it is clearly observed that with dimensionality increasing, the proposed algorithm exhibits its persistence and performs better.

Finally, the performance improvement obtained by our proposed algorithm can be generally explained: when other algorithms are trapped in the local optima, the HARFO can utilize the root-to-root communication mechanism to escape. By employing the hierarchical multipopulation coevolution, the complex task is decomposed into smaller-scale subproblems.

(iii) Comparative Results on 30-Dimensional CEC 2014 Case. Computation results in terms of means and stand deviations of the 20 runs obtained by six algorithms on ten 30-dimensional CEC 2014 benchmarks are given in Table 8, within which the best results among those algorithms are highlighted. From Table 8, the proposed HARFO performs significantly superior to its counterparts including CCGA and ABC on most of test benchmarks. Specifically, HARFO can do better than CCGA on , , , , , , and , followed by ABC and ARFO, PSO cannot obtain competitive results. On and , ABC and CCGA perform significantly better than ARFO and slightly better than HARFO. PSO also obtains best result on . Furthermore, we can observe that although the shifted and rotated CEC 2014 benchmarks become more difficult to be handled compared with their classical counterparts and the computation results are not as satisfactory as those in the classical benchmarks, HARFO still performs more powerful than other algorithms on most test cases. This essentially indicates that HARFO has greater potential to cope with more complex problems.

4. Real-World Application for Image Segmentation

4.1. Otsu Criterion

The well-known Otsu criterion has been widely adopted to determine the optimal thresholds with desired characteristics through computing between-class variance [7, 8]. The original procedures of Otsu can be listed as below: at the beginning, a given image consisting of pixels of gray levels falling into the range [] is taken into consideration. donates the pixel number of gray-level and represents the probability of gray-level .

Then, we have

Hypothesize that thresholds, namely, , are required to segment the given image into classes: for , for , for , the optimal thresholds selected by Otsu are described aswhere

Generally, (11) is employed as the fitness function for heuristic methods based procedure to be optimized. A close look into this equation will show that it is very similar to the expression for uniformity measure [4043].

4.2. Experiment Setup

The image segmentation experiments by HARFO are conducted on a set of image datasets. These datasets consist of a variety of standard tested images widely employed in previous studies [4247], including avion.ppm, house.ppm, lena.ppm, peppers.ppm, safari04.ppm, and hunter.pgm with pixels size of (available at http://decsai.ugr.es/cvg/dbimagenes/). Several state-of-the-art EA algorithms are selected for comprehensive comparison, namely, HARFO, ABC [20], ARFO [22], CCGA [39], and IDPSO [12]. Particularly, the IDPSO is an existing enhanced PSO variant with intermediate disturbance searching strategy recently proposed in [12] for image segmentation, which has gained satisfactory image segmentation results. We will directly compare HARFO with existing computation results (i.e., for lena, peppers, and hunter) of IDPSO which have been reported in [12]. The parameters of HARFO, ABC, ARFO, PSO, and CCGA follow the optimal settings in Section 3.2. And the parameters of IDPSO are set the same as its original literature [12]. In this test, the proposed algorithm is to maximize the objective fitness within less computation time. The thresholds numbers are set to 2, 3, 4, 5, 7, and 9. And Figure 4 presents test images and their histograms.

4.3. Experimental Results and Analysis

Case 1 (segmentation results with ). Table 9 lists the objective values and mean computational time found by pure Otsu, which are partly reported in [12]. In practical real-time application, we hope that algorithms can keep a suitable balance of running time and high accuracy [48]. As shown in Table 9, due to the exhaustive search feature, Otsu needs to consume too long CPU time while achieving a satisfactory optimal thresholding. It can be seen from Table 10 that the proposed HARFO provides generally close results in terms of objective values and standard deviation compared with ABC and ARFO on some test cases, such as avion and lena. On lena, IDPSO and CCGA perform similarly, still a little worse than HARFO. At the same time considering the relevant results form Table 9, the proposed HARFO algorithm consumes less CPU time than its counterparts, which means that HARFO shows better efficiency. Compared with other algorithms, the HARFO has coevolution mechanism to perform better global search in higher-dimensional space.

Case 2 (segmentation results with ). Table 11 gives computational results with , , and 9 in terms of average fitness and standard deviation of each algorithm. From Table 11, it is clearly observed that there are statistically significant differences between Cases 1 and 2 based on these segmentation algorithms, in aspects of both efficiency and stability. Due to the hybrid optimal strategies, HARFO exhibits obviously promising performance on this higher-dimensional segmentation case with , , and 9. Among these methods except HARFO, the ABC method also possesses relative powerful exploration ability due to usage of the scout bees operation. However, as shown in Table 11, as the number of segmentation thresholds increases, the results in terms of fitness values found by HARFO are significantly better than that of other methods, including the ABC algorithm. Generally, it can be concluded that HARFO performs better than other algorithms in this higher-dimensional scenario.

5. Conclusions

This paper proposes and develops a novel bionic optimization algorithm inspired by plant root growth mechanism to solve multilevel threshold image segmentation, namely, hybrid artificial root foraging optimizer (HARFO). Based on original single-colony ARFO, the potential of HARFO to improve the global search performance and keep diversity of population relies on the combination of the root-to-root communication and multipopulation cooperative mechanism. With root-to-root communication, information exchanging between individuals can be enhanced through different efficient topologies. With coevolution mechanism, the hierarchical spatial population driven by multipopulations is constructed to ensure that diversity of population is well kept.

The comparative experiments of HARFO in comparison with several classical population based algorithms are conducted on a set of 20-dimensional and 100-dimensional benchmarks. The experimental results validate the superiority of the proposed algorithm. Finally, the HARFO is employed to handle the image segmentation problems with multilevel threshold. Computational results achieved by this method on a suit of images dataset show that the proposed algorithm has significant potential to be a novel effective and efficient image processing approach. In our future work, we will focus on perfecting this novel optimization framework from the perspective of relevance theory.

Competing Interests

The authors declare that there is no conflict of interests regarding the publication of this paper.

Acknowledgments

This work is supported by the National Natural Science Foundation of China under Grants nos. 61503373 and 61502318 and the Natural Science Foundation of Liaoning Province under Grants nos. 2015020002 and 2015020046.