最小径集是保证顶上事件不发生的必要条件。