What does the $\leq_{\mathrm{P}}$ symbol mean?
It should have been defined wherever you've seen it used. It normally stands for polynomial-time reducibility of one kind or another; usually many-one reducibility.