Three lines proof of the lower bound for the matrix rigidity

Gatis Midrijanis

Published in: CoRR (2005)

Keyphrases

lower bound
upper bound
branch and bound algorithm
hough transform
branch and bound
lower and upper bounds
upper and lower bounds
symmetric matrix
objective function
theorem prover
lower bounding
np hard
line segments
singular value decomposition
worst case
low rank
factorization method
constant factor