Combinatorics workbench · 可行集实验台

拟阵交换性质与权重贪心实验

一个“能加就加”的选择过程何时可靠？先检验可行集合系统的两条结构规则，再让贪心结果与暴力最优当场对照。

SYSTEM

当前集合系统

图拟阵案例的小图四个顶点与四条带标签的边，可行边集是不含环的边集。 ABCD e1e2e3e4

CHECK

结构检验

交换性质：若 A、B 可行且 |A| < |B|，则存在 x ∈ B∖A，使 A∪{x} 仍可行。

RUN

权重贪心

按权重从大到小检查元素；加入后仍可行就保留，否则跳过。相同权重按元素名称排序。

VERIFY

暴力最优对照

    EDIT

    编辑小型系统

    支持 3–6 个元素。可行子集每行一个，用英文逗号分隔；空集写 ∅。