KAM Theorem of Symplectic Algorithms