Solving Polynomial Equations with Complex Roots using Genetic Algorithms in C#


 

Edited by Nina Miller

 



Introduction

It always amazes me how effective the process of trial and error is at reaching the desired solution.  Genetic Algorithms are trial and error in its purest form, each generation getting closer and closer to the solution defined by a given set of fitness parameters. This article combines the CodeDOM Calculator with the Compact Genetic Algorithm to create a root solving application. Using this application, you can type in any polynomial, and the genetic algorithm will attempt to converge on the best solution for the equation. The solution can be real or complex. Below is a sample of converging on the solution to the equation:

x2 + 2x + 10 = 0

 

Figure 1 - Running GA Root Solver to find the complex roots of the equation x2 + 2x + 10 = 0

 

Essentially the solution derived by the Compact GA was (-1 ± 3i).  Let's test this solution with one of the roots (-1 +3i):

= (-1 + 3i)(-1 + 3i) + 2(-1 + 3i) + 10

 = (1 - 9 -6i) + (-2 + 6i) + 10

= (1 - 9 - 2) + (-6i + 6i) + 10

= -10 + 0  + 10

= 0

Let's even try  a more difficult equation:

x4 - 7x2 + 14x + 25 = 0

The GA Solver converges on a solution fairly quickly:

      

Figure 2 - Running GA Root Solver to find the complex roots of the equation x4 - 7x2 + 14x + 25 = 0

Again testing our GA solution:

= (-1.20797729492188)4 - 7(-1.20797729492188)2 + 14(-1.20797729492188) + 25

= 2.129291328988 - 10.2144640153275 + -16.91168212890632 + 25

= -24.997 + 25

= .003

This gives us a solution off by 3/1000.  Note that if we compare the fitnesses for the figure 1 solution and the figure 2 solution,  figure 1 had a fitness of 14913.  Figure 2 had a fitness of approximately 101 which is much lower than figure 1's fitness. The fitness measurement reflects how confident we are of our converged solution.

The Design

The design consists of two namespaces: the CompactGA and the CodeDomStuff. The CompactGA executes a compact genetic algorithm on a BinaryChromosome. Each binary chromosome contains a string of 1's and 0's representing a complex number. Because manipulating complex numbers requires complex math, we've also included a Complex class to handle multiplication, addition, and subtraction of complex numbers.

Figure 3 - UML Design of GARootSolver Reverse Engineered from C# using WithClass

 

Fitness Function

The fitness function in the BinaryChromosome class, CalculateFitness, calls CalculateEquationRoot to determine the fitness of the binary chromosome representing a possible complex root solution. The fitness is determined by plugging the complex chromosome value back into the equation we are trying to solve. The closer the resulting value is to 0, the higher the fitness and the closer to our desired solution.
 

Listing 1 - Calculating the fitness of the Complex Chromosome

public void CalculateFitness()
{
  _format =
"f";
    CalculateEquationRoot();
}

void CalculateEquationRoot()
{
   // form the complex number from the 1's and 0's in the binary array
 
 Complex root = FormComplexNumber(kChromosomeLength);

  // plug the chromosome's complex value  into the equation
  Complex
result = Class1.DynamicFitnessFunction.RunCode(root);

  // compare the value of the product to the actual input number
  // and compute a fitness. a result of 0 in the denominator is best, so a fitness of 1/0 or infinity would be an exact solution

   _fitness = 1.0f/Math.Abs((result.real*result.real + result.imag*result.imag) * 1000);
}

Forming the Complex Number

The complex number is formed by taking the binary chromosome and splitting it into two equal parts: a real binary part and a complex binary part. So for example, if our binary chromosome has the value shown below and we were only dealing in integers:

                                           11000101

Then the resulting complex number would be:

                                           1100 + 0101i

or

                                            12 + 5i

In our case, we want to support fractional values so we scale our binary values by a factor of (2)chromosome_length/4.   Our chromosomes are 60 bits long, so the number would be scaled down by 2(60/4) or 215 or 32768.  Therefore the above value of 1100 + 0101i   would really be equivalent to 

 12/32768 + 5/32768i   or

 .00032199 + .000152587

The code for forming the complex number from the binary chromosome is shown in listing 2:

Listing 2 - Forming a complex number from a string of bits

public Complex FormComplexNumber(int length)
{
 
double result1 = 0;
 
double result2 = 0;
 
long real = 0;
 
long imag = 0;

// compute the real part of the binary chromosome
// in the top half of the binary array

for (int i = 0; i < length/2 - 1; i++)
 {
  real = real << 1;
  real = real + (
long)_geneArray[(length - i) - 1];
 }

// scale the real part by 2 ^ (genome_length/4)
result1 = (
double)real;
long scale = 1L << (length / 4);
result1 = result1 / scale;

// first bit is a sign bit for the real part
if (_geneArray[length/2 + 1] == 1)
 {
 
// negative
  result1 = -result1;
  }

  // compute the imaginary part of the binary chromosome
 // in the bottom half of the binary array

for (int i = length / 2; i < length - 1; i++)
 {
   imag = imag << 1;
  imag = imag + (
long)_geneArray[(length - i) - 1];
 }

// scale the imaginary part by 2 ^ (genome_length/4)
 result2 = (
double)imag;
 scale = 1L << (length / 4);
 result2 = result2 / scale;

// first bit is a sign bit for the imaginary part
 
if (_geneArray[0] == 1)
  {
   
// negative
    result2 = -result2;
   }

// return a complex number instance formed
// from the real and imaginary binary parts

return new Complex(result1, result2);
}

 

Equation Input Features

 

As in our  CodeDOM Calculator,, we take the input equation string from the user and refine it so that .NET can compile it dynamically. One of the optimizations we make is to allow the user to enter x^3 as opposed to x*x*x.  Therefore, internally, we need to make the change before it reaches the compiler. The method RefineEvaluationString in the ClassExpressionCreator shows some of the substitutions we need to make before compiling the code dynamically using CodeDOM. 

Listing 3 - Refining our input equation to make it compileable

string RefineEvaluationString(string eval)
 {
 
// look for regular expressions with only letters
 
Regex regularExpression = new Regex("[a-zA-Z_]+");

// track all functions and constants in the evaluation expression we already replaced
  
ArrayList replacelist = new ArrayList();

// find all alpha words inside the evaluation function that are possible functions
 
MatchCollection matches = regularExpression.Matches(eval);
 
foreach (Match m in matches)
  {
   
// if the word is found in the math member map, add a Math prefix to it
    
bool isContainedInMathLibrary = _mathMembersMap[m.Value.ToUpper()] != null;

  if (replacelist.Contains(m.Value) == false && isContainedInMathLibrary)
   {

    // substitute the static math method
     eval = eval.Replace(m.Value,
"Math." + _mathMembersMap[m.Value.ToUpper()]);
   }

// we matched it already, so don't allow us to replace it again
    replacelist.Add(m.Value);
}

Regex regularExpression2 = new Regex("[0-9]x");

// find all matches of type <number>x
matches = regularExpression2.Matches(eval);

string evalOld = eval;
int count = 0;

// replace all occurrences <number>x with <number> * x so .NET can compile it
foreach
(Match m in matches)
{
   count++;

// replace the evaluation string that will be converted to .NET code with compilable code
  eval = eval.Substring(0, m.Index + count) +
"*" + eval.Substring(m.Index + count);
}

 

// find all matches of type x ^<number>
Regex regularExpression3 = new Regex(@"x\^[0-9\.\-]+");

matches = regularExpression3.Matches(eval);

//  replace all occurrences of  x^<number>  with x*x*...
foreach (Match m in matches)
{
  count++;
 
string replaceString = "x";
 
for (int i = 0; i < Convert.ToInt32(m.Value.Substring(m.Value.IndexOf("^") + 1)) - 1; i++)
   {
      replaceString = replaceString +
"*x";
   }

// replace the evaluation string that will be converted to .NET code with compilable code
    eval = eval.Replace(m.Value, replaceString);
}

// return the modified evaluation string

return eval;

}

Conclusion

Genetic Algorithms give us a powerful way to test possible solutions to complex equations and quickly converge onto a final solution. CodeDom allows to dynamically create compiled code containing the equation we wish to test and use this code in the method of our fitness function. Together, we used these two technologies to create a GA Root Solver that allowed us to input a polynomial equation and find the complex root. In testing this program, we found that the GA performed best with equation containing complex solutions with magnitudes between 0 and 1. Feel free to experiment with the code in this download. Perhaps you will find other ways to refine the input or improving upon the genetic algorithm.  Either way, we trust that you will get to the root of the problem you are trying to solve with C# and .NET.

 

Other GA Algorithm Articles by the Author:

Implementing a Genetic Algorithm in C#

CodeDom Calculator

AI: Using the Compact Genetic Algorithm to Compute Square Roots in C#

Up Next
    Ebook Download
    View all
    Learn
    View all