Necessary and sufficient conditions for the existence of the implicit variational inequality problem