rt

二项式反演前有这样一个式子：

$g_i=\sum^{min(n,m,l)}_{j=i} C^{i}_{j} \times ans_{j}$

$ans_j$ 表示恰好有 $j$ 个“极大的数”方案数，那么 $g_i$ 的准确定义应当是什么？是至少有 $i$ 个“极大的数”的方案数还是钦定某 $i$ 个点为“极大的数”，其他位置随便填的方案数。

显然这两种定义是不一样的，因为第二种明显可以有重复。

好像题解中有的说是第一种，有的是第二种，但是他们求出的数组是一样的，而且 $g_1$ 基本都超过了 $(nml)!$，那应该是第二种，但是不太确定，也有点奇怪。那是不是好多题解写的不准确啊。

那么抛开这个题，用这个式子反演时 $g$ 的定义到底应该是什么？好像是个基本问题但是看了一些地方感觉写的也不太一样。有点学艺不精。