Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révisionLes deux révisions suivantes | ||
fr:projet_p2p_electric_energy_meter [2020/07/26 20:55] – [Modélisation de la problématique] fraggle | fr:projet_p2p_electric_energy_meter [2024/04/22 15:50] – fraggle | ||
---|---|---|---|
Ligne 91: | Ligne 91: | ||
$$ \begin{array}{lrcl} | $$ \begin{array}{lrcl} | ||
f: & \mathcal{N} & \longrightarrow & \{0,1\} \\ | f: & \mathcal{N} & \longrightarrow & \{0,1\} \\ | ||
- | & a_{k} & \stackrel{f}{\longmapsto} & f(a_{k}) = \left\{ | + | |
| | ||
1 & \quad si\, | 1 & \quad si\, | ||
| | ||
- | \right | + | \right |
| | ||
Ligne 107: | Ligne 107: | ||
1 & \quad si\, | 1 & \quad si\, | ||
| | ||
- | \right | + | \right |
\end{array} $$ \\ $ \mathcal{N} $ est en bijection avec $ \{1, | \end{array} $$ \\ $ \mathcal{N} $ est en bijection avec $ \{1, | ||
| | ||
Définissons deux partitionnements de $ G $ : | Définissons deux partitionnements de $ G $ : | ||
- | - Soit $ \mathcal{P}_{1} = \{a_{k} | \, f(a_{k}) = 0 \land 1 \leq k \leq n(t) \} \subset \mathcal{N} $ et $ \mathcal{C}_{1} = \{c_{ij}(t) = (a_{i}, a_{j})| \, a_{i} \in \mathcal{C}_{1} \land a_{j} \in \mathcal{C}_{1} \} \subset \mathcal{C} $, $ G_{1} = (\mathcal{P}_{1}, | + | - Soit $ \mathcal{P}_{1} = \{a_{k} | \, f(a_{k}) = 0 \land 1 \leq k \leq n(t) \} \subset \mathcal{N} $ et $ \mathcal{C}_{1} = \{c_{ij}(t) = (a_{i}, a_{j})| \, a_{i} \in \mathcal{P}_{1} \land a_{j} \in \mathcal{P}_{1} \} \subset \mathcal{C} $, $ G_{1} = (\mathcal{P}_{1}, |
- Soit $ \mathcal{P}_{2} = \{a_{k} | \, f(a_{k}) = 1 \land 1 \leq k \leq n(t) \} \subset \mathcal{N} $ et $ \mathcal{C}_{2} = \{c_{ij}(t) = (a_{i}, a_{j})| \, a_{i} \in \mathcal{C}_{2} \land a_{j} \in \mathcal{C}_{2} \} \subset \mathcal{C} $, $ G_{2} = (\mathcal{P}_{2}, | - Soit $ \mathcal{P}_{2} = \{a_{k} | \, f(a_{k}) = 1 \land 1 \leq k \leq n(t) \} \subset \mathcal{N} $ et $ \mathcal{C}_{2} = \{c_{ij}(t) = (a_{i}, a_{j})| \, a_{i} \in \mathcal{C}_{2} \land a_{j} \in \mathcal{C}_{2} \} \subset \mathcal{C} $, $ G_{2} = (\mathcal{P}_{2}, | ||
- On en déduit trivialement que $ \mathcal{P}_{1} \cap \mathcal{P}_{2} = \emptyset $ | - On en déduit trivialement que $ \mathcal{P}_{1} \cap \mathcal{P}_{2} = \emptyset $ |