139
Tópicos de Pontos Interiores Porfirio Suñagua Salgado IMECC Campinas-SP, Maio 2013 Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 1 / 39

Tópicos de Pontos Interiores

  • Upload
    others

  • View
    3

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Tópicos de Pontos Interiores

Tópicos de Pontos Interiores

Porfirio Suñagua Salgado

IMECC

Campinas-SP, Maio 2013

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 1 / 39

Page 2: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 3: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 4: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 5: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 6: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 7: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 8: Tópicos de Pontos Interiores

Conteúdo

Conteúdo

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 2 / 39

Page 9: Tópicos de Pontos Interiores

Programação Linear Região Factível

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 3 / 39

Page 10: Tópicos de Pontos Interiores

Programação Linear Região Factível

Solução Factível

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 4 / 39

Page 11: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 5 / 39

Page 12: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 13: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 14: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 15: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 16: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 17: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 18: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 19: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 20: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 21: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 22: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 23: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

História

1967 Primeiro método de pontos interiores, Dikin1985 Primeiro método de Pontos Interiores Polinomial, Karmarkar1986 Método Primal afim escala, redescoberto por varios autores1989 Método Dual afim escala, Adler, Rezende, Veiga, Kamarkar1989 Método Primal-Dual afim escala, Kojima, Mizuno e Yoshise1992 Método Preditor-Corretor, Mehrotra1992 Convergência superlinear de Primal-Dual, Tapia1993 Convergência quadrática de Primal-Dual, Mehrotra1992 Convergência quadrática de Preditor-Corretor, Mehrotra;1993 Ye e 1994 Potra1996 Método de Múltiplas Correções, Gondzio↓Método de Pontos Interiores para PNLEvolução do Método Simplex como também de MPI

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 6 / 39

Page 24: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Comparação: Simplex vs. Pontos Interiores

Ambos métodos são eficientes na práticaSimplex: Muitas iterações para convergir, mas elas são baratasPontos Interiores: Poucas iterações, mas eles são carasO método de Karmarkar só tem interesse na história

6

-

Ponto Inicial

Ponto Otimo

Região Factível

Figure: Método de Pontos Interiores

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 7 / 39

Page 25: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Comparação: Simplex vs. Pontos Interiores

Ambos métodos são eficientes na práticaSimplex: Muitas iterações para convergir, mas elas são baratasPontos Interiores: Poucas iterações, mas eles são carasO método de Karmarkar só tem interesse na história

6

-

Ponto Inicial

Ponto Otimo

Região Factível

Figure: Método de Pontos Interiores

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 7 / 39

Page 26: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Comparação: Simplex vs. Pontos Interiores

Ambos métodos são eficientes na práticaSimplex: Muitas iterações para convergir, mas elas são baratasPontos Interiores: Poucas iterações, mas eles são carasO método de Karmarkar só tem interesse na história

6

-

Ponto Inicial

Ponto Otimo

Região Factível

Figure: Método de Pontos Interiores

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 7 / 39

Page 27: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Comparação: Simplex vs. Pontos Interiores

Ambos métodos são eficientes na práticaSimplex: Muitas iterações para convergir, mas elas são baratasPontos Interiores: Poucas iterações, mas eles são carasO método de Karmarkar só tem interesse na história

6

-

Ponto Inicial

Ponto Otimo

Região Factível

Figure: Método de Pontos Interiores

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 7 / 39

Page 28: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Problema PL (Primal-Dual)

Primal - Dual

Min cTx Max bTy

s.a. Ax = b ⇔ s.a. ATy + z = c (1)x ≥ 0 z ≥ 0

Para este problema, as condições de otimalidade KKT de primeiraordem são um sistema não linear de equações

Ax = b, ATy + z = c, XZe = 0 (2)

X = diag(x), Z = diag(z), e ∈ Rn é o vetor de uns, x ≥ 0 e z ≥ 0.Sistema Aumentado - Sistema Normal:(

−D−1 AT

A 0

)(dxdy

)=

(r1r2

), ADATdy = r (3)

D = Z−1X e dx, dy direções de Newton

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 8 / 39

Page 29: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Problema PL (Primal-Dual)

Primal - Dual

Min cTx Max bTy

s.a. Ax = b ⇔ s.a. ATy + z = c (1)x ≥ 0 z ≥ 0

Para este problema, as condições de otimalidade KKT de primeiraordem são um sistema não linear de equações

Ax = b, ATy + z = c, XZe = 0 (2)

X = diag(x), Z = diag(z), e ∈ Rn é o vetor de uns, x ≥ 0 e z ≥ 0.Sistema Aumentado - Sistema Normal:(

−D−1 AT

A 0

)(dxdy

)=

(r1r2

), ADATdy = r (3)

D = Z−1X e dx, dy direções de Newton

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 8 / 39

Page 30: Tópicos de Pontos Interiores

Programação Linear Pontos Interiores

Problema PL (Primal-Dual)

Primal - Dual

Min cTx Max bTy

s.a. Ax = b ⇔ s.a. ATy + z = c (1)x ≥ 0 z ≥ 0

Para este problema, as condições de otimalidade KKT de primeiraordem são um sistema não linear de equações

Ax = b, ATy + z = c, XZe = 0 (2)

X = diag(x), Z = diag(z), e ∈ Rn é o vetor de uns, x ≥ 0 e z ≥ 0.Sistema Aumentado - Sistema Normal:(

−D−1 AT

A 0

)(dxdy

)=

(r1r2

), ADATdy = r (3)

D = Z−1X e dx, dy direções de Newton

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 8 / 39

Page 31: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 9 / 39

Page 32: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Gondzio et al

A = [B,N], D = diag(DB,DN), supondo que D−1B ≈ 0 e DN ≈ 0

K =

D−1B BT

D−1N NT

B N

≈ BT

D−1N NT

B N

ADAT = BDBBT + NDNNT ≈ BDBBT

Precondicionador proposto para o sistema aumentado é

P =

BT

D−1N NT

B N

Para resolver aplica métodos iterativos alternativos MGC

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 10 / 39

Page 33: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Gondzio et al

A = [B,N], D = diag(DB,DN), supondo que D−1B ≈ 0 e DN ≈ 0

K =

D−1B BT

D−1N NT

B N

≈ BT

D−1N NT

B N

ADAT = BDBBT + NDNNT ≈ BDBBT

Precondicionador proposto para o sistema aumentado é

P =

BT

D−1N NT

B N

Para resolver aplica métodos iterativos alternativos MGC

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 10 / 39

Page 34: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Gondzio et al

A = [B,N], D = diag(DB,DN), supondo que D−1B ≈ 0 e DN ≈ 0

K =

D−1B BT

D−1N NT

B N

≈ BT

D−1N NT

B N

ADAT = BDBBT + NDNNT ≈ BDBBT

Precondicionador proposto para o sistema aumentado é

P =

BT

D−1N NT

B N

Para resolver aplica métodos iterativos alternativos MGC

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 10 / 39

Page 35: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Bergamaschi et al

Considera problema quadrático + 12 xTQx na funcção objetivo

E = −(diag(Q) + D−1), Cholesky AE−1AT = L0D0LT0

P2 =

[E AT

A 0

]=

[I 0

AE−1 I

] [E 00 −AE−1AT

] [I E−1AT

0 I

]=

[I 0

AE−1 L0

] [E 00 −D0

] [I E−1AT

0 LT0

]Precondicionador é a inversa de P2.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 11 / 39

Page 36: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Bergamaschi et al

Considera problema quadrático + 12 xTQx na funcção objetivo

E = −(diag(Q) + D−1), Cholesky AE−1AT = L0D0LT0

P2 =

[E AT

A 0

]=

[I 0

AE−1 I

] [E 00 −AE−1AT

] [I E−1AT

0 I

]=

[I 0

AE−1 L0

] [E 00 −D0

] [I E−1AT

0 LT0

]Precondicionador é a inversa de P2.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 11 / 39

Page 37: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Joo-Siong Chai e Kim-Chuan Toh

PL canalizado: D = X−1Z + V−1W[−D AT

A 0

] [∆x∆y

]=

[grp

]Seja D = diag(D1,D2), tal que D1/µ = O(1), µD2 = O(1), µ� 1.Partição A = [A1,A2], ∆x = [∆x1,∆x2]T, g = [g1, g2]T.Sistema Reduzido: E1 > 0 (diagonal), ∆x2 = D−1

2 (AT2 ∆y− g2).

K =

[H BBT −Ψ

] [∆y∆x1

]=

[h

F−11 g1

]F1 = E1 + D1, e

∆x1 = F−11 E1∆x1 Ψ = D1E−1

1

H = Adiag(F−11 ,D−1

2 )AT B = A1F−1/21

h = rp + Adiag(F−11 ,D−1

2 )g

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 12 / 39

Page 38: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Joo-Siong Chai e Kim-Chuan Toh

PL canalizado: D = X−1Z + V−1W[−D AT

A 0

] [∆x∆y

]=

[grp

]Seja D = diag(D1,D2), tal que D1/µ = O(1), µD2 = O(1), µ� 1.Partição A = [A1,A2], ∆x = [∆x1,∆x2]T, g = [g1, g2]T.Sistema Reduzido: E1 > 0 (diagonal), ∆x2 = D−1

2 (AT2 ∆y− g2).

K =

[H BBT −Ψ

] [∆y∆x1

]=

[h

F−11 g1

]F1 = E1 + D1, e

∆x1 = F−11 E1∆x1 Ψ = D1E−1

1

H = Adiag(F−11 ,D−1

2 )AT B = A1F−1/21

h = rp + Adiag(F−11 ,D−1

2 )g

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 12 / 39

Page 39: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador Joo-Siong Chai e Kim-Chuan Toh

PL canalizado: D = X−1Z + V−1W[−D AT

A 0

] [∆x∆y

]=

[grp

]Seja D = diag(D1,D2), tal que D1/µ = O(1), µD2 = O(1), µ� 1.Partição A = [A1,A2], ∆x = [∆x1,∆x2]T, g = [g1, g2]T.Sistema Reduzido: E1 > 0 (diagonal), ∆x2 = D−1

2 (AT2 ∆y− g2).

K =

[H BBT −Ψ

] [∆y∆x1

]=

[h

F−11 g1

]F1 = E1 + D1, e

∆x1 = F−11 E1∆x1 Ψ = D1E−1

1

H = Adiag(F−11 ,D−1

2 )AT B = A1F−1/21

h = rp + Adiag(F−11 ,D−1

2 )g

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 12 / 39

Page 40: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Cont. Precondicionador de Chai-Toh

A inversa da matriz de coeficientes do sistema reduzido é

K−1 =

[H−1/2(I − P)H−1/2 H−1BS−1

S−1BTH−1 −S−1

]S = BTH−1B + Ψ, e P = H−1/2BS−1BTH−1/2 satisfaz 0 � P � I.Precondicionador proposto baseado em sua inversa é

P−1c =

[H−1 − H−1BS−1BTH−1 H−1BS−1

S−1BTH−1 −S−1

]H e S são definidas positivas como aproximações de H e Srespectivamente tal que S = BTH−1B + Ψ.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 13 / 39

Page 41: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Cont. Precondicionador de Chai-Toh

A inversa da matriz de coeficientes do sistema reduzido é

K−1 =

[H−1/2(I − P)H−1/2 H−1BS−1

S−1BTH−1 −S−1

]S = BTH−1B + Ψ, e P = H−1/2BS−1BTH−1/2 satisfaz 0 � P � I.Precondicionador proposto baseado em sua inversa é

P−1c =

[H−1 − H−1BS−1BTH−1 H−1BS−1

S−1BTH−1 −S−1

]H e S são definidas positivas como aproximações de H e Srespectivamente tal que S = BTH−1B + Ψ.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 13 / 39

Page 42: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador A.R.L. Oliveira e D.C. Sorensen

Ordena colunas pela norma de AD, logo obter base por fatoraçãoLU rectangularPrecondicionador Separador

M−1 =

D1/2B 0 D−1/2

B B−1

0 D1/2N 0

D1/2B 0 0

Resolver um sistema com matriz de coeficientesT = I + D−1/2

B B−1NDNNTB−TD−1/2B ≈ I

Método de Gradientes Conjugados

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 14 / 39

Page 43: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador A.R.L. Oliveira e D.C. Sorensen

Ordena colunas pela norma de AD, logo obter base por fatoraçãoLU rectangularPrecondicionador Separador

M−1 =

D1/2B 0 D−1/2

B B−1

0 D1/2N 0

D1/2B 0 0

Resolver um sistema com matriz de coeficientesT = I + D−1/2

B B−1NDNNTB−TD−1/2B ≈ I

Método de Gradientes Conjugados

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 14 / 39

Page 44: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador A.R.L. Oliveira e D.C. Sorensen

Ordena colunas pela norma de AD, logo obter base por fatoraçãoLU rectangularPrecondicionador Separador

M−1 =

D1/2B 0 D−1/2

B B−1

0 D1/2N 0

D1/2B 0 0

Resolver um sistema com matriz de coeficientesT = I + D−1/2

B B−1NDNNTB−TD−1/2B ≈ I

Método de Gradientes Conjugados

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 14 / 39

Page 45: Tópicos de Pontos Interiores

Programação Linear Precondicionadores

Precondicionador A.R.L. Oliveira e D.C. Sorensen

Ordena colunas pela norma de AD, logo obter base por fatoraçãoLU rectangularPrecondicionador Separador

M−1 =

D1/2B 0 D−1/2

B B−1

0 D1/2N 0

D1/2B 0 0

Resolver um sistema com matriz de coeficientesT = I + D−1/2

B B−1NDNNTB−TD−1/2B ≈ I

Método de Gradientes Conjugados

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 14 / 39

Page 46: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 15 / 39

Page 47: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Método de Newton

Dado F : DF ⊂ Rn → Rn. Equação a resolver F(x) = 0Taylor:

F(x) ≈ F(x0) + J(x0)(x− x0), J(x) = ∇F(x) (Jacobiana de F)

x1 = x0 + d, d = −J(x0)F(x0)J(x0)d = −F(x0)

-

6

x0x1

7

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 16 / 39

Page 48: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Método de Newton

Dado F : DF ⊂ Rn → Rn. Equação a resolver F(x) = 0Taylor:

F(x) ≈ F(x0) + J(x0)(x− x0), J(x) = ∇F(x) (Jacobiana de F)

x1 = x0 + d, d = −J(x0)F(x0)J(x0)d = −F(x0)

-

6

x0x1

7

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 16 / 39

Page 49: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Método de Newton

Dado F : DF ⊂ Rn → Rn. Equação a resolver F(x) = 0Taylor:

F(x) ≈ F(x0) + J(x0)(x− x0), J(x) = ∇F(x) (Jacobiana de F)

x1 = x0 + d, d = −J(x0)F(x0)J(x0)d = −F(x0)

-

6

x0x1

7

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 16 / 39

Page 50: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Método de Newton

Dado F : DF ⊂ Rn → Rn. Equação a resolver F(x) = 0Taylor:

F(x) ≈ F(x0) + J(x0)(x− x0), J(x) = ∇F(x) (Jacobiana de F)

x1 = x0 + d, d = −J(x0)F(x0)J(x0)d = −F(x0)

-

6

x0x1

7

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 16 / 39

Page 51: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Sistema Aumentado, Sistema Normal

Resolvendo Sistema KKT:rp = b− Ax0, rd = c− ATy0 − z0, ra = −X0Z0e A 0 0

0 AT IZ 0 X

dxdydz

=

rprdra

Adx = rpATdy + dz = rdZdx + Xdz = ra

(4)

Zdx + Xdz = ra ⇒ dz = X−1(ra − Zdx)

ATdy + X−1ra − X−1Zdx = rd ⇒ ATdy− X−1Zdx = rd − X−1ra

Sistema Aumentado

ATdy− X−1Zdx = rd − X−1raAdx = rp

(5)(−D−1 AT

A 0

)(dxdy

)=

(rd − X−1ra

rp

), D = Z−1X (6)

Sistema Normal ADATdy = rp + AD(rd − X−1ra)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 17 / 39

Page 52: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Sistema Aumentado, Sistema Normal

Resolvendo Sistema KKT:rp = b− Ax0, rd = c− ATy0 − z0, ra = −X0Z0e A 0 0

0 AT IZ 0 X

dxdydz

=

rprdra

Adx = rpATdy + dz = rdZdx + Xdz = ra

(4)

Zdx + Xdz = ra ⇒ dz = X−1(ra − Zdx)

ATdy + X−1ra − X−1Zdx = rd ⇒ ATdy− X−1Zdx = rd − X−1ra

Sistema Aumentado

ATdy− X−1Zdx = rd − X−1raAdx = rp

(5)(−D−1 AT

A 0

)(dxdy

)=

(rd − X−1ra

rp

), D = Z−1X (6)

Sistema Normal ADATdy = rp + AD(rd − X−1ra)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 17 / 39

Page 53: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Sistema Aumentado, Sistema Normal

Resolvendo Sistema KKT:rp = b− Ax0, rd = c− ATy0 − z0, ra = −X0Z0e A 0 0

0 AT IZ 0 X

dxdydz

=

rprdra

Adx = rpATdy + dz = rdZdx + Xdz = ra

(4)

Zdx + Xdz = ra ⇒ dz = X−1(ra − Zdx)

ATdy + X−1ra − X−1Zdx = rd ⇒ ATdy− X−1Zdx = rd − X−1ra

Sistema Aumentado

ATdy− X−1Zdx = rd − X−1raAdx = rp

(5)(−D−1 AT

A 0

)(dxdy

)=

(rd − X−1ra

rp

), D = Z−1X (6)

Sistema Normal ADATdy = rp + AD(rd − X−1ra)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 17 / 39

Page 54: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Sistema Aumentado, Sistema Normal

Resolvendo Sistema KKT:rp = b− Ax0, rd = c− ATy0 − z0, ra = −X0Z0e A 0 0

0 AT IZ 0 X

dxdydz

=

rprdra

Adx = rpATdy + dz = rdZdx + Xdz = ra

(4)

Zdx + Xdz = ra ⇒ dz = X−1(ra − Zdx)

ATdy + X−1ra − X−1Zdx = rd ⇒ ATdy− X−1Zdx = rd − X−1ra

Sistema Aumentado

ATdy− X−1Zdx = rd − X−1raAdx = rp

(5)(−D−1 AT

A 0

)(dxdy

)=

(rd − X−1ra

rp

), D = Z−1X (6)

Sistema Normal ADATdy = rp + AD(rd − X−1ra)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 17 / 39

Page 55: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Sistema Aumentado, Sistema Normal

Resolvendo Sistema KKT:rp = b− Ax0, rd = c− ATy0 − z0, ra = −X0Z0e A 0 0

0 AT IZ 0 X

dxdydz

=

rprdra

Adx = rpATdy + dz = rdZdx + Xdz = ra

(4)

Zdx + Xdz = ra ⇒ dz = X−1(ra − Zdx)

ATdy + X−1ra − X−1Zdx = rd ⇒ ATdy− X−1Zdx = rd − X−1ra

Sistema Aumentado

ATdy− X−1Zdx = rd − X−1raAdx = rp

(5)(−D−1 AT

A 0

)(dxdy

)=

(rd − X−1ra

rp

), D = Z−1X (6)

Sistema Normal ADATdy = rp + AD(rd − X−1ra)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 17 / 39

Page 56: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 57: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 58: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 59: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 60: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 61: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 62: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 63: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 64: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 65: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 66: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 67: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 68: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 69: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 70: Tópicos de Pontos Interiores

Programação Linear Método de Pontos Interiores

Algoritmo Método Primal–Dual Afim Escala

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995, Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

rp = b− Axrd = c− ATy− zra = XZeD = Z−1XResolver ADATdy = rp + AD(rd − X−1ra)dx = D(ATdy− rd + X−1ra)dz = X−1(ra − Zdx)Calcular o tamanho de paso αxk+1 ← xk + αdx, yk+1 ← yk + αdy, zk+1 ← zk + αdzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 18 / 39

Page 71: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 19 / 39

Page 72: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

PC

Direção Afim Escala: É a direção de Newton como direção preditora.Direção de Correção: Que compensa a aproximação linear doMétodo de NewtonDireção de Centragem: Uma vez que existe uma direção decorreção vamos perturbar o problema com um parâmetro µescolhido de forma mais inteligente que no método de seguidorde caminho.

α = 1,⇒ rk+1p = b− A(x + dx) = b− Ax− Adx = rk

p − Adx = 0(X + DX)(Z + DZ)e = (XZ + ZDX + XDZ + DXDZ)e =−ra + ra + DXDZe = DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 20 / 39

Page 73: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

PC

Direção Afim Escala: É a direção de Newton como direção preditora.Direção de Correção: Que compensa a aproximação linear doMétodo de NewtonDireção de Centragem: Uma vez que existe uma direção decorreção vamos perturbar o problema com um parâmetro µescolhido de forma mais inteligente que no método de seguidorde caminho.

α = 1,⇒ rk+1p = b− A(x + dx) = b− Ax− Adx = rk

p − Adx = 0(X + DX)(Z + DZ)e = (XZ + ZDX + XDZ + DXDZ)e =−ra + ra + DXDZe = DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 20 / 39

Page 74: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

PC

Direção Afim Escala: É a direção de Newton como direção preditora.Direção de Correção: Que compensa a aproximação linear doMétodo de NewtonDireção de Centragem: Uma vez que existe uma direção decorreção vamos perturbar o problema com um parâmetro µescolhido de forma mais inteligente que no método de seguidorde caminho.

α = 1,⇒ rk+1p = b− A(x + dx) = b− Ax− Adx = rk

p − Adx = 0(X + DX)(Z + DZ)e = (XZ + ZDX + XDZ + DXDZ)e =−ra + ra + DXDZe = DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 20 / 39

Page 75: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

PC

Direção Afim Escala: É a direção de Newton como direção preditora.Direção de Correção: Que compensa a aproximação linear doMétodo de NewtonDireção de Centragem: Uma vez que existe uma direção decorreção vamos perturbar o problema com um parâmetro µescolhido de forma mais inteligente que no método de seguidorde caminho.

α = 1,⇒ rk+1p = b− A(x + dx) = b− Ax− Adx = rk

p − Adx = 0(X + DX)(Z + DZ)e = (XZ + ZDX + XDZ + DXDZ)e =−ra + ra + DXDZe = DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 20 / 39

Page 76: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

PC

Direção Afim Escala: É a direção de Newton como direção preditora.Direção de Correção: Que compensa a aproximação linear doMétodo de NewtonDireção de Centragem: Uma vez que existe uma direção decorreção vamos perturbar o problema com um parâmetro µescolhido de forma mais inteligente que no método de seguidorde caminho.

α = 1,⇒ rk+1p = b− A(x + dx) = b− Ax− Adx = rk

p − Adx = 0(X + DX)(Z + DZ)e = (XZ + ZDX + XDZ + DXDZ)e =−ra + ra + DXDZe = DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 20 / 39

Page 77: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Cont PC

Preditor A 0 00 AT IZ 0 X

dx

dydz

=

rprdra

(7)

Corretor A 0 00 AT IZ 0 X

dxdydz

=

00

−DXDZe

(8)

Parâmetro de Perturbação

µ = σγ

n, σ =

γ

)p

, γ = (x + αpdx)T(z + αddz), p = 2 ou 3.

(9)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 21 / 39

Page 78: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Cont PC

Preditor A 0 00 AT IZ 0 X

dx

dydz

=

rprdra

(7)

Corretor A 0 00 AT IZ 0 X

dxdydz

=

00

−DXDZe

(8)

Parâmetro de Perturbação

µ = σγ

n, σ =

γ

)p

, γ = (x + αpdx)T(z + αddz), p = 2 ou 3.

(9)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 21 / 39

Page 79: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Cont PC

Preditor A 0 00 AT IZ 0 X

dx

dydz

=

rprdra

(7)

Corretor A 0 00 AT IZ 0 X

dxdydz

=

00

−DXDZe

(8)

Parâmetro de Perturbação

µ = σγ

n, σ =

γ

)p

, γ = (x + αpdx)T(z + αddz), p = 2 ou 3.

(9)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 21 / 39

Page 80: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Cont PC

Utilizamos a perturbação na direção de correção ao mesmo tempoque fazemos a correção não linear A 0 0

0 AT IZ 0 X

dx

dydz

=

00

µe− DXDZe

(10)

A direção final é a soma das direções d e d. A 0 00 AT IZ 0 X

dxdydz

=

rprdrs

,

ra = −XZerc = µe− XZe = µe + ra

rs = µe− XZe− DXDZe(11)

rs = rc − DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 22 / 39

Page 81: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Cont PC

Utilizamos a perturbação na direção de correção ao mesmo tempoque fazemos a correção não linear A 0 0

0 AT IZ 0 X

dx

dydz

=

00

µe− DXDZe

(10)

A direção final é a soma das direções d e d. A 0 00 AT IZ 0 X

dxdydz

=

rprdrs

,

ra = −XZerc = µe− XZe = µe + ra

rs = µe− XZe− DXDZe(11)

rs = rc − DXDZe

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 22 / 39

Page 82: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 83: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 84: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 85: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 86: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 87: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 88: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 89: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 90: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 91: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 92: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 93: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 94: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 95: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 96: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Algoritmo Preditor-Corretor

Require: x0, y0, z0 tal que x0 > 0, z0 > 0τ = 0.99995Maxit = 100while k = 0, 1, 2, · · · ,Maxit e Condição de Parada do

Calcule a direção afim escala: dx, dy e dzCalcule o tamanho de passo αp e αdCalcule γ, σ e µCalcule a direção final usando (11)Calcule o tamanho de passo αp e αd

xk+1 ← xk + αpdxyk+1 ← yk + αddyzk+1 ← zk + αddzAvaliar/Testar Condição de Paradak← k + 1

end while

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 23 / 39

Page 97: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Obs

É necessário resolver dois sistemas lineares por iteração com amesma matriz de coeficientes.O esforço por iteração é maiorNa pratica o número de iterações do método Preditor–Corretor épouco mais que a metade em relação ao método Seguidor deCaminho.É possível provar convergência quadrática para esse método, seconsideramos que os dois sistemas lineares constituem umaiteração.Este método poderia ser chamado Método de Newton Perturbado (µ)Modificado ((x, z) > 0) de ordem 1 (1 correção linear).Este método é a base de todas implementações atuais de pontosinteriores.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 24 / 39

Page 98: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Obs

É necessário resolver dois sistemas lineares por iteração com amesma matriz de coeficientes.O esforço por iteração é maiorNa pratica o número de iterações do método Preditor–Corretor épouco mais que a metade em relação ao método Seguidor deCaminho.É possível provar convergência quadrática para esse método, seconsideramos que os dois sistemas lineares constituem umaiteração.Este método poderia ser chamado Método de Newton Perturbado (µ)Modificado ((x, z) > 0) de ordem 1 (1 correção linear).Este método é a base de todas implementações atuais de pontosinteriores.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 24 / 39

Page 99: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Obs

É necessário resolver dois sistemas lineares por iteração com amesma matriz de coeficientes.O esforço por iteração é maiorNa pratica o número de iterações do método Preditor–Corretor épouco mais que a metade em relação ao método Seguidor deCaminho.É possível provar convergência quadrática para esse método, seconsideramos que os dois sistemas lineares constituem umaiteração.Este método poderia ser chamado Método de Newton Perturbado (µ)Modificado ((x, z) > 0) de ordem 1 (1 correção linear).Este método é a base de todas implementações atuais de pontosinteriores.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 24 / 39

Page 100: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Obs

É necessário resolver dois sistemas lineares por iteração com amesma matriz de coeficientes.O esforço por iteração é maiorNa pratica o número de iterações do método Preditor–Corretor épouco mais que a metade em relação ao método Seguidor deCaminho.É possível provar convergência quadrática para esse método, seconsideramos que os dois sistemas lineares constituem umaiteração.Este método poderia ser chamado Método de Newton Perturbado (µ)Modificado ((x, z) > 0) de ordem 1 (1 correção linear).Este método é a base de todas implementações atuais de pontosinteriores.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 24 / 39

Page 101: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Obs

É necessário resolver dois sistemas lineares por iteração com amesma matriz de coeficientes.O esforço por iteração é maiorNa pratica o número de iterações do método Preditor–Corretor épouco mais que a metade em relação ao método Seguidor deCaminho.É possível provar convergência quadrática para esse método, seconsideramos que os dois sistemas lineares constituem umaiteração.Este método poderia ser chamado Método de Newton Perturbado (µ)Modificado ((x, z) > 0) de ordem 1 (1 correção linear).Este método é a base de todas implementações atuais de pontosinteriores.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 24 / 39

Page 102: Tópicos de Pontos Interiores

Programação Linear Método Preditor-Corretor

Obs

É necessário resolver dois sistemas lineares por iteração com amesma matriz de coeficientes.O esforço por iteração é maiorNa pratica o número de iterações do método Preditor–Corretor épouco mais que a metade em relação ao método Seguidor deCaminho.É possível provar convergência quadrática para esse método, seconsideramos que os dois sistemas lineares constituem umaiteração.Este método poderia ser chamado Método de Newton Perturbado (µ)Modificado ((x, z) > 0) de ordem 1 (1 correção linear).Este método é a base de todas implementações atuais de pontosinteriores.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 24 / 39

Page 103: Tópicos de Pontos Interiores

Solução de Sistemas no MPI Métodos diretos e iterativos

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 25 / 39

Page 104: Tópicos de Pontos Interiores

Solução de Sistemas no MPI Métodos diretos e iterativos

Propriedades dos Sistemas

Qual sistema resolver?

Equação Normal Sistema Aumentado

ADATdy = r(−D−1 AT

A 0

)(dxdy

)=

(r1r2

) (12)

Equações Normais Sistema AumentadoDefinida Positiva IndefinidaSimétrica Simétricaposto m posto m + nPerda da estrutura esparsa Utiliza matrizes originaisSomente D altera na matriz Somente D altera na matrizMuito mais mal-condicionado mal-condicionadoCholesky (Precondicionado) Bunch–ParletGradientes Conjugados (Prec.) Varios Métodos iterativos

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 26 / 39

Page 105: Tópicos de Pontos Interiores

Solução de Sistemas no MPI Métodos diretos e iterativos

Propriedades dos Sistemas

Qual sistema resolver?

Equação Normal Sistema Aumentado

ADATdy = r(−D−1 AT

A 0

)(dxdy

)=

(r1r2

) (12)

Equações Normais Sistema AumentadoDefinida Positiva IndefinidaSimétrica Simétricaposto m posto m + nPerda da estrutura esparsa Utiliza matrizes originaisSomente D altera na matriz Somente D altera na matrizMuito mais mal-condicionado mal-condicionadoCholesky (Precondicionado) Bunch–ParletGradientes Conjugados (Prec.) Varios Métodos iterativos

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 26 / 39

Page 106: Tópicos de Pontos Interiores

Solução de Sistemas no MPI Métodos diretos e iterativos

Decomposição de Cholesky para matrizes esparsas

B = ADAT, Bij =

n∑k=1

DkkAikATkj =

n∑k=1

DkkAikAjk

Enchimento∗ ∗ ∗ ∗ ∗∗ ∗ . . .∗ . ∗ . .∗ . . ∗ .∗ . . . ∗

⇒ L =

∗ ∗ ∗ ∗ ∗. ∗ ∗ ∗ ∗. . ∗ ∗ ∗. . . ∗ ∗. . . . ∗

Reordenado

∗ . . . ∗. ∗ . . ∗. . ∗ . ∗. . . ∗ ∗∗ ∗ ∗ ∗ ∗

⇒ L =

∗ . . . ∗. ∗ . . ∗. . ∗ . ∗. . . ∗ ∗. . . . ∗

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 27 / 39

Page 107: Tópicos de Pontos Interiores

Solução de Sistemas no MPI Métodos diretos e iterativos

Decomposição de Cholesky para matrizes esparsas

B = ADAT, Bij =

n∑k=1

DkkAikATkj =

n∑k=1

DkkAikAjk

Enchimento∗ ∗ ∗ ∗ ∗∗ ∗ . . .∗ . ∗ . .∗ . . ∗ .∗ . . . ∗

⇒ L =

∗ ∗ ∗ ∗ ∗. ∗ ∗ ∗ ∗. . ∗ ∗ ∗. . . ∗ ∗. . . . ∗

Reordenado

∗ . . . ∗. ∗ . . ∗. . ∗ . ∗. . . ∗ ∗∗ ∗ ∗ ∗ ∗

⇒ L =

∗ . . . ∗. ∗ . . ∗. . ∗ . ∗. . . ∗ ∗. . . . ∗

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 27 / 39

Page 108: Tópicos de Pontos Interiores

Solução de Sistemas no MPI Métodos diretos e iterativos

Decomposição de Cholesky para matrizes esparsas

B = ADAT, Bij =

n∑k=1

DkkAikATkj =

n∑k=1

DkkAikAjk

Enchimento∗ ∗ ∗ ∗ ∗∗ ∗ . . .∗ . ∗ . .∗ . . ∗ .∗ . . . ∗

⇒ L =

∗ ∗ ∗ ∗ ∗. ∗ ∗ ∗ ∗. . ∗ ∗ ∗. . . ∗ ∗. . . . ∗

Reordenado

∗ . . . ∗. ∗ . . ∗. . ∗ . ∗. . . ∗ ∗∗ ∗ ∗ ∗ ∗

⇒ L =

∗ . . . ∗. ∗ . . ∗. . ∗ . ∗. . . ∗ ∗. . . . ∗

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 27 / 39

Page 109: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 28 / 39

Page 110: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

PL Penalizado

Problema PL canalizado misto

(P) Min cTxs.a. Ax = b (13)

Ex + v = u(x, v) ≥ 0

Sub-Problema, ρ parâmetro de penalização

(Pρ) Min cTx +ρ

2

(‖b− Ax‖2 + ‖u− Ex− v‖2

)s.a. (x, v) ≥ 0 (14)

Função de penalização P(x, v) =ρ

2

(‖b− Ax‖2 + ‖u− Ex− v‖2

)Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 29 / 39

Page 111: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

PL Penalizado

Problema PL canalizado misto

(P) Min cTxs.a. Ax = b (13)

Ex + v = u(x, v) ≥ 0

Sub-Problema, ρ parâmetro de penalização

(Pρ) Min cTx +ρ

2

(‖b− Ax‖2 + ‖u− Ex− v‖2

)s.a. (x, v) ≥ 0 (14)

Função de penalização P(x, v) =ρ

2

(‖b− Ax‖2 + ‖u− Ex− v‖2

)Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 29 / 39

Page 112: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

KKT

Sistema KKT perturbado

Ax + δy = bEx + v− δw = u

ATy + z− ETw = c (15)XZe = µe

VWe = µe

Sistema Newton

Adx + δdy = rp,Edx + dv− δdw = ru,

ATdy + dz− ETdw = rd,Zdx + Xdz = rs,

Wdv + Vdw = rr,

rp = b− Ax− δyru = u− Ex− v + δwrd = c− ATy− z + ETwrs = −XZe + µerr = −VWe + µe

(16)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 30 / 39

Page 113: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

KKT

Sistema KKT perturbado

Ax + δy = bEx + v− δw = u

ATy + z− ETw = c (15)XZe = µe

VWe = µe

Sistema Newton

Adx + δdy = rp,Edx + dv− δdw = ru,

ATdy + dz− ETdw = rd,Zdx + Xdz = rs,

Wdv + Vdw = rr,

rp = b− Ax− δyru = u− Ex− v + δwrd = c− ATy− z + ETwrs = −XZe + µerr = −VWe + µe

(16)

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 30 / 39

Page 114: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

Sistema Aumentado e Normal

D = (X−1Z + ETS−1WE)−1 e r1 = rd−X−1rs + ETS−1rr−ETS−1Wru(−D−1 AT

A δI

)(dxdy

)=

(r1rp

)(17)

Sistema Normal

(ADAT+δI)dy = rp+AD(rd−X−1rs+ETS−1rr−ETS−1Wru) = rp+ADr1(18)

Equivalência a Sub-Problema

(Pδ) Min cTx +δ

2yTy +

δ

2wTw

s.a. Ax + δy = bEx + v− δw = u(x, v) ≥ 0, y livre, w ≥ 0

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 31 / 39

Page 115: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

Sistema Aumentado e Normal

D = (X−1Z + ETS−1WE)−1 e r1 = rd−X−1rs + ETS−1rr−ETS−1Wru(−D−1 AT

A δI

)(dxdy

)=

(r1rp

)(17)

Sistema Normal

(ADAT+δI)dy = rp+AD(rd−X−1rs+ETS−1rr−ETS−1Wru) = rp+ADr1(18)

Equivalência a Sub-Problema

(Pδ) Min cTx +δ

2yTy +

δ

2wTw

s.a. Ax + δy = bEx + v− δw = u(x, v) ≥ 0, y livre, w ≥ 0

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 31 / 39

Page 116: Tópicos de Pontos Interiores

Problema PL penalizado Parâmetro de penalização

Sistema Aumentado e Normal

D = (X−1Z + ETS−1WE)−1 e r1 = rd−X−1rs + ETS−1rr−ETS−1Wru(−D−1 AT

A δI

)(dxdy

)=

(r1rp

)(17)

Sistema Normal

(ADAT+δI)dy = rp+AD(rd−X−1rs+ETS−1rr−ETS−1Wru) = rp+ADr1(18)

Equivalência a Sub-Problema

(Pδ) Min cTx +δ

2yTy +

δ

2wTw

s.a. Ax + δy = bEx + v− δw = u(x, v) ≥ 0, y livre, w ≥ 0

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 31 / 39

Page 117: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Conteúdo:

1 Programação LinearRegião FactívelPontos InterioresPrecondicionadoresMétodo de Pontos InterioresMétodo Preditor-Corretor

2 Solução de Sistemas no MPI

Métodos diretos e iterativos3 Problema PL penalizado

Parâmetro de penalização4 Resultados Numéricos

PCx5 Conclusões6 Bibliografia7 Agradecimento

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 32 / 39

Page 118: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Nova abordagem

Aurélio: Base por fatoração LU rectangular de APorfirio: Base por fatoração LU rectangular de AT

Melhor condicionamento da BaseNome do LUret LUstdProblema Número de Condição Número de Condiçãoafiro 118.9738 33.3923fit1p 5.0716e+03 4.0253e+03fit2p 2.2670e+04 5.9354e+03grow22 1.9056e+17* 653.0329israel 1.7269e+07* 2.9008e+04kb2 2.8085e+03 2.8085e+03Maros-r7 4.1548e+06* 187.3688

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 33 / 39

Page 119: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Nova abordagem

Aurélio: Base por fatoração LU rectangular de APorfirio: Base por fatoração LU rectangular de AT

Melhor condicionamento da BaseNome do LUret LUstdProblema Número de Condição Número de Condiçãoafiro 118.9738 33.3923fit1p 5.0716e+03 4.0253e+03fit2p 2.2670e+04 5.9354e+03grow22 1.9056e+17* 653.0329israel 1.7269e+07* 2.9008e+04kb2 2.8085e+03 2.8085e+03Maros-r7 4.1548e+06* 187.3688

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 33 / 39

Page 120: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Nova abordagem

Aurélio: Base por fatoração LU rectangular de APorfirio: Base por fatoração LU rectangular de AT

Melhor condicionamento da BaseNome do LUret LUstdProblema Número de Condição Número de Condiçãoafiro 118.9738 33.3923fit1p 5.0716e+03 4.0253e+03fit2p 2.2670e+04 5.9354e+03grow22 1.9056e+17* 653.0329israel 1.7269e+07* 2.9008e+04kb2 2.8085e+03 2.8085e+03Maros-r7 4.1548e+06* 187.3688

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 33 / 39

Page 121: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Implementação UMFPACK e AMDLUstd LUret

Problemas abordados 179 179Problemas resolvidos 141 115Só por cada método 32 6Não resolvidos 38 64Prob. c/outro erro 1 16Resolvidos Luret e Lustd 109 109Tempo total dos 109 problemas 4563.98 4497.81

Enquanto a tempos não existe uma diferença significativa a favorde um dos métodosLUstd é mais robusto que LUret, embora que LUstd resolvióquase todos os problemas de fort#, (não são problemas grandes)16 problemas com LUret falharam por outras razões como WrongBranch, falha de segmentação no Linux, etc.LUstd tem problemas de fatoração para problemas maiores comokra30a, ste36a. precisa melhorar algoritmo LUstd.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 34 / 39

Page 122: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Implementação UMFPACK e AMDLUstd LUret

Problemas abordados 179 179Problemas resolvidos 141 115Só por cada método 32 6Não resolvidos 38 64Prob. c/outro erro 1 16Resolvidos Luret e Lustd 109 109Tempo total dos 109 problemas 4563.98 4497.81

Enquanto a tempos não existe uma diferença significativa a favorde um dos métodosLUstd é mais robusto que LUret, embora que LUstd resolvióquase todos os problemas de fort#, (não são problemas grandes)16 problemas com LUret falharam por outras razões como WrongBranch, falha de segmentação no Linux, etc.LUstd tem problemas de fatoração para problemas maiores comokra30a, ste36a. precisa melhorar algoritmo LUstd.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 34 / 39

Page 123: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Implementação UMFPACK e AMDLUstd LUret

Problemas abordados 179 179Problemas resolvidos 141 115Só por cada método 32 6Não resolvidos 38 64Prob. c/outro erro 1 16Resolvidos Luret e Lustd 109 109Tempo total dos 109 problemas 4563.98 4497.81

Enquanto a tempos não existe uma diferença significativa a favorde um dos métodosLUstd é mais robusto que LUret, embora que LUstd resolvióquase todos os problemas de fort#, (não são problemas grandes)16 problemas com LUret falharam por outras razões como WrongBranch, falha de segmentação no Linux, etc.LUstd tem problemas de fatoração para problemas maiores comokra30a, ste36a. precisa melhorar algoritmo LUstd.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 34 / 39

Page 124: Tópicos de Pontos Interiores

Resultados Numéricos PCx

Implementação UMFPACK e AMDLUstd LUret

Problemas abordados 179 179Problemas resolvidos 141 115Só por cada método 32 6Não resolvidos 38 64Prob. c/outro erro 1 16Resolvidos Luret e Lustd 109 109Tempo total dos 109 problemas 4563.98 4497.81

Enquanto a tempos não existe uma diferença significativa a favorde um dos métodosLUstd é mais robusto que LUret, embora que LUstd resolvióquase todos os problemas de fort#, (não são problemas grandes)16 problemas com LUret falharam por outras razões como WrongBranch, falha de segmentação no Linux, etc.LUstd tem problemas de fatoração para problemas maiores comokra30a, ste36a. precisa melhorar algoritmo LUstd.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 34 / 39

Page 125: Tópicos de Pontos Interiores

Conclusões

Problema

Acabou memoria de meu computador para problemas maiores a 130mil variáveis!!!!

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 35 / 39

Page 126: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Hall J. Al-Jeiroudi G., Gondzio J., Precontioning indefite system ininterior point methods for large scale linear optimization, OptimizationMethods and Software 23 (2008), 345–363.

Luca Bergamaschi, Jacek Gondzio, and Giovanni Zilli,Preconditioning indefinite systems in interior point methods foroptimization, Computational Optimization and Applications 28(2004), no. 2, 149–171.

Zilli G. Bergamaschi L., Gonszio J., Precontioning indefite system ininterior point methods for optimization, Computational Optimizationand Application 28 (2004), 149–171, Kluwer Academic Publishers –Netherlands.

Toh K. Chai J., Preconditioning and iterative solution of symetricindefinite linear system arising from interior point methods for linearprogramming, Computational Optimization and Applications 36(2007), 221–247.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 36 / 39

Page 127: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Hall J. Al-Jeiroudi G., Gondzio J., Precontioning indefite system ininterior point methods for large scale linear optimization, OptimizationMethods and Software 23 (2008), 345–363.

Luca Bergamaschi, Jacek Gondzio, and Giovanni Zilli,Preconditioning indefinite systems in interior point methods foroptimization, Computational Optimization and Applications 28(2004), no. 2, 149–171.

Zilli G. Bergamaschi L., Gonszio J., Precontioning indefite system ininterior point methods for optimization, Computational Optimizationand Application 28 (2004), 149–171, Kluwer Academic Publishers –Netherlands.

Toh K. Chai J., Preconditioning and iterative solution of symetricindefinite linear system arising from interior point methods for linearprogramming, Computational Optimization and Applications 36(2007), 221–247.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 36 / 39

Page 128: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Hall J. Al-Jeiroudi G., Gondzio J., Precontioning indefite system ininterior point methods for large scale linear optimization, OptimizationMethods and Software 23 (2008), 345–363.

Luca Bergamaschi, Jacek Gondzio, and Giovanni Zilli,Preconditioning indefinite systems in interior point methods foroptimization, Computational Optimization and Applications 28(2004), no. 2, 149–171.

Zilli G. Bergamaschi L., Gonszio J., Precontioning indefite system ininterior point methods for optimization, Computational Optimizationand Application 28 (2004), 149–171, Kluwer Academic Publishers –Netherlands.

Toh K. Chai J., Preconditioning and iterative solution of symetricindefinite linear system arising from interior point methods for linearprogramming, Computational Optimization and Applications 36(2007), 221–247.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 36 / 39

Page 129: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Hall J. Al-Jeiroudi G., Gondzio J., Precontioning indefite system ininterior point methods for large scale linear optimization, OptimizationMethods and Software 23 (2008), 345–363.

Luca Bergamaschi, Jacek Gondzio, and Giovanni Zilli,Preconditioning indefinite systems in interior point methods foroptimization, Computational Optimization and Applications 28(2004), no. 2, 149–171.

Zilli G. Bergamaschi L., Gonszio J., Precontioning indefite system ininterior point methods for optimization, Computational Optimizationand Application 28 (2004), 149–171, Kluwer Academic Publishers –Netherlands.

Toh K. Chai J., Preconditioning and iterative solution of symetricindefinite linear system arising from interior point methods for linearprogramming, Computational Optimization and Applications 36(2007), 221–247.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 36 / 39

Page 130: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Timothy A Davis and Iain S Duff, An unsymmetric-patternmultifrontal method for sparse lu factorization, SIAM Journal onMatrix Analysis and Applications 18 (1997), no. 1, 140–158.

Luenberger David G., Linear and nonlinear programming, 2nd ed.,Springer, Standford University USA, 2005.

Gondzio J., Interior point method 25 year later, European Journal ofOperational Research (2011), 12–34, Elsevier doi10.1016/j.ejor.2011.09.017 http://maths.ed.ac.uk/∼gondzio.

Oliveira Aurelio R. L., Mt503: Programação linear, Aulas dePósgraduação em Matemática Aplicada no IMECC–UNICAMP,Ago-Dez 2011.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 37 / 39

Page 131: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Timothy A Davis and Iain S Duff, An unsymmetric-patternmultifrontal method for sparse lu factorization, SIAM Journal onMatrix Analysis and Applications 18 (1997), no. 1, 140–158.

Luenberger David G., Linear and nonlinear programming, 2nd ed.,Springer, Standford University USA, 2005.

Gondzio J., Interior point method 25 year later, European Journal ofOperational Research (2011), 12–34, Elsevier doi10.1016/j.ejor.2011.09.017 http://maths.ed.ac.uk/∼gondzio.

Oliveira Aurelio R. L., Mt503: Programação linear, Aulas dePósgraduação em Matemática Aplicada no IMECC–UNICAMP,Ago-Dez 2011.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 37 / 39

Page 132: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Timothy A Davis and Iain S Duff, An unsymmetric-patternmultifrontal method for sparse lu factorization, SIAM Journal onMatrix Analysis and Applications 18 (1997), no. 1, 140–158.

Luenberger David G., Linear and nonlinear programming, 2nd ed.,Springer, Standford University USA, 2005.

Gondzio J., Interior point method 25 year later, European Journal ofOperational Research (2011), 12–34, Elsevier doi10.1016/j.ejor.2011.09.017 http://maths.ed.ac.uk/∼gondzio.

Oliveira Aurelio R. L., Mt503: Programação linear, Aulas dePósgraduação em Matemática Aplicada no IMECC–UNICAMP,Ago-Dez 2011.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 37 / 39

Page 133: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

Timothy A Davis and Iain S Duff, An unsymmetric-patternmultifrontal method for sparse lu factorization, SIAM Journal onMatrix Analysis and Applications 18 (1997), no. 1, 140–158.

Luenberger David G., Linear and nonlinear programming, 2nd ed.,Springer, Standford University USA, 2005.

Gondzio J., Interior point method 25 year later, European Journal ofOperational Research (2011), 12–34, Elsevier doi10.1016/j.ejor.2011.09.017 http://maths.ed.ac.uk/∼gondzio.

Oliveira Aurelio R. L., Mt503: Programação linear, Aulas dePósgraduação em Matemática Aplicada no IMECC–UNICAMP,Ago-Dez 2011.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 37 / 39

Page 134: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

S. Mehrotra, On the implementation of a primal-dual interior pointmethod, SIAM Journal on Optimization 2 (1992), 575–601.

Sorensen D. C. Oliveira A. R. L., A new class of preconditioners forlarge-scale linear systems from interior point methods for linearprogramming, Linear Algebra and its Applications 394 (2005), 1–24,England http://www.ime.unicamp.br/∼aurelio/artigos/cor.pdf.

Mehrotra S., Asymptotic convergence in ageneralized-predictor-corrector method, Manuscript, Dept. ofIndustrial Engineering and Management Sciences, 1992,Northwestern University, Evanston, IL 60208, USA.

Bocanegra Silvana, Algoritmos de newton-krylov precondicionadospara métodos de pontos interiores, Impresso, Universidade Federal deMinas Gerais, Belo Horizonte, Dezembro 2005.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 38 / 39

Page 135: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

S. Mehrotra, On the implementation of a primal-dual interior pointmethod, SIAM Journal on Optimization 2 (1992), 575–601.

Sorensen D. C. Oliveira A. R. L., A new class of preconditioners forlarge-scale linear systems from interior point methods for linearprogramming, Linear Algebra and its Applications 394 (2005), 1–24,England http://www.ime.unicamp.br/∼aurelio/artigos/cor.pdf.

Mehrotra S., Asymptotic convergence in ageneralized-predictor-corrector method, Manuscript, Dept. ofIndustrial Engineering and Management Sciences, 1992,Northwestern University, Evanston, IL 60208, USA.

Bocanegra Silvana, Algoritmos de newton-krylov precondicionadospara métodos de pontos interiores, Impresso, Universidade Federal deMinas Gerais, Belo Horizonte, Dezembro 2005.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 38 / 39

Page 136: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

S. Mehrotra, On the implementation of a primal-dual interior pointmethod, SIAM Journal on Optimization 2 (1992), 575–601.

Sorensen D. C. Oliveira A. R. L., A new class of preconditioners forlarge-scale linear systems from interior point methods for linearprogramming, Linear Algebra and its Applications 394 (2005), 1–24,England http://www.ime.unicamp.br/∼aurelio/artigos/cor.pdf.

Mehrotra S., Asymptotic convergence in ageneralized-predictor-corrector method, Manuscript, Dept. ofIndustrial Engineering and Management Sciences, 1992,Northwestern University, Evanston, IL 60208, USA.

Bocanegra Silvana, Algoritmos de newton-krylov precondicionadospara métodos de pontos interiores, Impresso, Universidade Federal deMinas Gerais, Belo Horizonte, Dezembro 2005.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 38 / 39

Page 137: Tópicos de Pontos Interiores

Bibliografia

Bibliografia

S. Mehrotra, On the implementation of a primal-dual interior pointmethod, SIAM Journal on Optimization 2 (1992), 575–601.

Sorensen D. C. Oliveira A. R. L., A new class of preconditioners forlarge-scale linear systems from interior point methods for linearprogramming, Linear Algebra and its Applications 394 (2005), 1–24,England http://www.ime.unicamp.br/∼aurelio/artigos/cor.pdf.

Mehrotra S., Asymptotic convergence in ageneralized-predictor-corrector method, Manuscript, Dept. ofIndustrial Engineering and Management Sciences, 1992,Northwestern University, Evanston, IL 60208, USA.

Bocanegra Silvana, Algoritmos de newton-krylov precondicionadospara métodos de pontos interiores, Impresso, Universidade Federal deMinas Gerais, Belo Horizonte, Dezembro 2005.

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 38 / 39

Page 138: Tópicos de Pontos Interiores

Agradecimento

Agradecimento

O B R I G A D OPela sua Atenção

Porfirio Suñagua Salgado

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 39 / 39

Page 139: Tópicos de Pontos Interiores

Agradecimento

Agradecimento

O B R I G A D OPela sua Atenção

Porfirio Suñagua Salgado

Porfirio Suñagua S. (IMECC) Pontos Interiores Campinas - 2013 39 / 39