正则3-SAT问题的相变现象 (Phase Transition Phenomenon of Regular 3-SAT Problem)