事故树最小径集是什么