从概率向量和有限 PMF 建立 DiscreteAliasUrn，保留完整绘图及二项分布示例，解释 domain 两种含义、归一化和 urn_factor 成本。