Algoritmo Needleman-Wunsch

El algoritmo de Needleman-Wunsch es un algoritmo utilizado para realizar alineamientos globales de dos secuencias. Se suele utilizar en el ámbito de la bioinformática para alinear secuencias de proteínas o de nucleótidos. Fue propuesto por primera vez en 1970, por Saul Needleman y Christian Wunsch. Se trata de un ejemplo típico de programación dinámica. Este algoritmo siempre termina y garantiza que la solución devuelta es la óptima.

Conocimientos adicionales recomendados

Guía de técnicas básicas de medición en el laboratorio

¿Cómo garantizar resultados de pesaje exactos cada día?

Cómo realizar un pesaje correcto

Las dos secuencias a alinear, llamadas A y B en los ejemplos, de longitud | A | = m y | B | = n, están formadas por elementos de un alfabeto finito de símbolos. El algoritmo necesita saber qué símbolos son diferentes entre si y cuáles son iguales. Podemos utilizar una matriz cuadrada (S) para este propósito, en la que cada elemento S_ij indique la similitud entre los elementos i y j del alfabeto usado. Si nuestro alfabeto de símbolos no fuese finito, en vez de una matriz podríamos usar una función que tuviese como parámetros ambos símbolos a comparar y cuya salida fuese la similitud entre ambos. También se necesita otro parámetro (d) que nos indique cómo vamos a valorar que un símbolo no sea alineado con otro, y que en su lugar se utilice un hueco.

Por ejemplo podemos definir la siguiente matriz:

Y entonces el siguiente alineamiento:

  AGACTAGTTAC
  CGA---GACGT

con una penalización por hueco de d = − 5 nos devolvería como solución óptima:

Para determinar la puntuación óptima y poder reconstruir el alineamiento que devolvería esa puntuación se necesita otra matriz, F. esta matriz almacena los resultados parciales de cada posible alineamiento. Es una matriz cuyas dimensiones son el número de elementos en la secuencia A por el de B ( | A | x | B | ).

En cada iteración del algoritmo un elemento de la matriz F recibe valor. Para un elemento F_ij, el valor que recibe representa la puntuación obtenida al alinear de forma óptima los primeros i elementos de A y los primeros j de B. Cuando el algoritmo termine, el último elemento de F (F_mn, con m = | A | y n = | B | ) contendrá la puntuación para el alineamiento óptimo de ambas secuencias.

  Inicio del algoritmo:
  F0j = d * j
  Fi0 = d * i
  Recursión para obtener el siguiente elemento de forma óptima:
  Fij = max(Fi − 1,j − 1 + S(Ai,Bj),Fi,j − 1 + d,Fi − 1,j + d)

La matriz F se calcula con el siguiente algoritmo:

  for i=0 to length(A)-1
    F(i,0) <- d*i
  for j=0 to length(B)-1
    F(0,j) <- d*j
  for i=1 to length(A)
    for j = 1 to length(B)
    {
      Choice1 <- F(i-1,j-1) + S(A(i), B(j))
      Choice2 <- F(i-1, j) + d
      Choice3 <- F(i, j-1) + d
      F(i,j) <- max(Choice1, Choice2, Choice3)
    }

Cuando el algoritmo acaba tenemos calculada la matriz F; el resultado es la puntuación devuelta por el mejor alineamiento posible, de acuerdo a los parámetros que hemos definido. Para obtener la secuencia se necesita ejecutar el siguiente algoritmo, que hace uso de la matriz F. este algoritmo comienza por el último elemento, F_mn y va retrocediendo hasta llegar a un elemento de la primera fila o la primera columna de F. En cada paso se comparan 3 elementos de F para ver cuál de ellos es el que se ha seguido en la solución óptima. Para cada F_ij debemos comparar F_{i − 1,j},F_{i,j − 1} y F_{i − 1,j − 1}. Si el elemento usado es F_{i − 1,j}, entonces A_i se ha alineado con un hueco; si es F_{i,j − 1}, entonces B_i se ha alineado con un hueco; y si no, si el elemento elegido es F_{i − 1,j − 1}, los elementos A_i y B_i han sido alineados. Es importante destacar que el que dos elementos sean alineados no implica necesariamente que sean iguales; significa que entre esa posibilidad, alinear con huecos o alinear símbolos diferentes, esa era la mejor opción. El pseudo-algoritmo que permite obtener el alineamiento correcto es el siguiente:

  AlignmentA <- ""
  AlignmentB <- ""
  i <- length(A) - 1
  j <- length(B) - 1
  while (i > 0 AND j > 0)
  {
    Score <- F(i,j)
    ScoreDiag <- F(i - 1, j - 1)
    ScoreUp <- F(i, j - 1)
    ScoreLeft <- F(i - 1, j)
    if (Score == ScoreDiag + S(A(i), B(j)))
    {
      AlignmentA <- A(i-1) + AlignmentA
      AlignmentB <- B(j-1) + AlignmentB
      i <- i - 1
      j <- j - 1
    }
    else if (Score == ScoreLeft + d)
    {
      AlignmentA <- A(i-1) + AlignmentA
      AlignmentB <- "-" + AlignmentB
      i <- i - 1
    }
    otherwise (Score == ScoreUp + d)
    {
      AlignmentA <- "-" + AlignmentA
      AlignmentB <- B(j-1) + AlignmentB
      j <- j - 1
    }
  }
  while (i > 0)
  {
    AlignmentA <- A(i-1) + AlignmentA
    AlignmentB <- "-" + AlignmentB
    i <- i - 1
  }
  while (j > 0)
  {
    AlignmentA <- "-" + AlignmentA
    AlignmentB <- B(j-1) + AlignmentB
    j <- j - 1
  }

Se puede demostrar formalmente que tanto el tiempo de ejecución como el espacio necesario para ejecutar el algoritmo son de orden O(nm). Para alguna aplicaciones, sobre todo en bioinformática, el requerimiento de espacio es prohibitivo, puesto que se alinean secuencias muy largas. existe una optimización de este algoritmo, denominado algoritmo de Hirschberg que sólo necesita espacio del orden O(m+n), pero a costa de incrementar el tiempo de computación.

Sitios externos

• Implementación del algoritmo en Java

Véase también

• Alineamiento de secuencias
• Programación dinámica
• Algoritmo de Smith-Waterman

Referencias

• A general method applicable to the search for similarities in the amino acid sequence of two proteins, J Mol Biol. 48(3):443-53.