半数集问题