1
Является ли этот многогранник «упаковки подгрупп» интегральным?
Пусть - конечная абелева группа, а - многогранник в определенный как точки удовлетворяющие следующим неравенствам:P R Γ xΓΓ\GammaппPрΓрΓ\mathbb{R}^\GammaИксИксx Σг∈ GИксг≤ | G |Иксг≥ 0∀ G ≤ Γ∀ г∈ ΓΣг∈гИксг≤|г|∀г≤ΓИксг≥0∀г∈Γ\begin{array}{cl} \sum_{g\in G} x_g \le |G| & \forall G \le \Gamma \\ x_g \ge 0 & \forall g \in \Gamma \end{array} где …