Verification for existence of solutions of linear complementarity problems