We expose different methods of regularizations of subsolutions in the context of discrete weak
$\text{KAM}$ theory that allow us to prove the existence and the density of
${{C}^{1,1}}$ subsolutions. Moreover, these subsolutions can be made strict and smooth outside of the Aubry set.