设。满足的映射的个数为。
分数写 a/b,根号写 √ 或 sqrt,π 写 pi 也可以。
按一的完整原像作为骨架。
复合恒为一会使这个骨架内的点全部映到一,外部点只能映入骨架但不能再映到一。
由条件可知一属于 的像。任取 ,再用 ,得 。设 ,则 。又全部 必属于 ; 外的点不能映到一,否则它就在 中。 固定 ,选择骨架有 种; 中每点必须映到一,外面 点各有 个像可选。因此总数为
时外部四点没有允许像,贡献零; 时无外部点,空赋值有一种,对应常值一映射。每个所构造映射的 恰为其一的原像,故骨架分类互斥且充分。
复合映射计数可先固定特殊值的完整原像,再把其余值域限制落实为独立选择,避免同一映射用多个骨架重复出现。
须独立发现以1的原像集T描述所有映射,并先证明f(1)=1;再由A外于T的元素映入T去掉1建立可逆计数,后续为常规分类。
已记下,谢谢!