符集问题