分支必要性