Oy gevalt!  Add (2009) to this; I thought this was new and was waiting for the punchline, but it was just talking about the original breakthrough that provided there are polynomial-time algorithms, but known ones are impractical.<p>Great explanation of HE though!