11
LU: Failure Cases? Is LU/Gaussian Elimination bulletproof? 72 A Ie Y A Uni O 41 fat 1 0 2 0 2

Is LU/Gaussian Elimination bulletproof?

  • Upload
    others

  • View
    6

  • Download
    0

Embed Size (px)

Citation preview

Page 1: Is LU/Gaussian Elimination bulletproof?

LU: Failure Cases?Is LU/Gaussian Elimination bulletproof?

72

A

Ie Y A

Uni O 41 fat 1 0 2

0 2

Page 2: Is LU/Gaussian Elimination bulletproof?

Saving the LU FactorizationWhat can be done to get something like an LU factorization?

Demo: LU Factorization with Partial Pivoting [cleared]73

PA LU

Same as Gauss elim swaprows to

move Os out of the wayIn particular find argmaxCabs At 17

partial pivoting to n pivot

complet pivoting on

Page 3: Is LU/Gaussian Elimination bulletproof?

More cost concernsWhat’s the cost of solving Ax = b?

What’s the cost of solving Ax = b1,b2, . . . ,bn?

What’s the cost of finding A�1?

74

LU Ocn

och Ocha7 OCR

Lu Ocn

n OCR to na 0h3 On

A A I

ATOcn

Page 4: Is LU/Gaussian Elimination bulletproof?

Cost: Worrying about the Constant, BLASO(n3) really means

↵ · n3 + � · n2 + � · n + �.

All the non-leading and constants terms swept under the rug. But: at leastthe leading constant ultimately matters.

Shrinking the constant: surprisingly hard (even for ’just’ matmul)

Idea: Rely on library implementation: BLAS (Fortran)Level 1 z = ↵x + y vector-vector operations

O(n)?axpy

Level 2 z = Ax + y matrix-vector operationsO(n2)?gemv

Level 3 C = AB + �C matrix-matrix operationsO(n3)?gemm, ?trsm

Show (using perf): numpy matmul calls BLAS dgemm 75

-

-

s d C Z

-

Page 5: Is LU/Gaussian Elimination bulletproof?

LAPACK

LAPACK: Implements ‘higher-end’ things (such as LU) using BLASSpecial matrix formats can also help save const significantly, e.g.I bandedI sparseI symmetricI triangular

Sample routine names:I dgesvd, zgesddI dgetrf, dgetrs

76

ge general matrix

Page 6: Is LU/Gaussian Elimination bulletproof?

LU on Blocks: The Schur Complement

Given a matrix A BC D

�,

can we do ‘block LU’ to get a block triangular matrix?

77

F c'at a I B

IA BO fetish complement

Page 7: Is LU/Gaussian Elimination bulletproof?

LU: Special cases

What happens if we feed a non-invertible matrix to LU?

What happens if we feed LU an m ⇥ n non-square matrices?

78

I L I

II men IIITy man I I

Page 8: Is LU/Gaussian Elimination bulletproof?

Round-off Error in LU without Pivoting

Consider factorization of✏ 11 1

�where ✏ < ✏mach:

79

A

D

this U ELIflea E K L fun Lem 89

Page 9: Is LU/Gaussian Elimination bulletproof?

Round-off Error in LU with Pivoting

Permuting the rows of A in partial pivoting gives PA =

1 1✏ 1

80

a Yu t Id

flea I o

L flu e Ia err 8

err Ya err

Page 10: Is LU/Gaussian Elimination bulletproof?

Changing matricesSeen: LU cheap to re-solve if RHS changes. (Able to keep the expensivebit, the LU factorization) What if the matrix changes?

Demo: Sherman-Morrison [cleared]81

I At UUT

Sherman Morris o formula

Atar A IIY.it

Page 11: Is LU/Gaussian Elimination bulletproof?

In-Class Activity: LU

In-class activity: LU and Cost

82