5.4.3 BWS子问题