即:1. <math>A</math>中的每个元素<math>A_i</math>都包括若干个<math>s_i</math>;2. <math>A_i</math>和<math>A_j</math>之间没有交集,即每个<math>s_i</math>只能属于一个<math>A_i</math>;3. <math>S</math>中的每个元素都必须属于某个<math>A</math>的元素,即<math>A</math>覆盖了<math>S</math>。 | 即:1. <math>A</math>中的每个元素<math>A_i</math>都包括若干个<math>s_i</math>;2. <math>A_i</math>和<math>A_j</math>之间没有交集,即每个<math>s_i</math>只能属于一个<math>A_i</math>;3. <math>S</math>中的每个元素都必须属于某个<math>A</math>的元素,即<math>A</math>覆盖了<math>S</math>。 |