易混 2023 年江西预赛 · P006719
二元属性编码成状态后,不能只凭“按顺序”就采用只看相邻末项的计数。下一步需要记住多少历史,应由原条件决定:不重复取物要记已访问集合,任意前后指标的禁配则可能强迫整段结构。
前题三位属性的一位变化给立方体边,抽取不放回要求对子集和末点递推;后题约束作用于所有前后位置,须用特殊状态的首次、末次出现位置证明整体分块,不能只查相邻对。
(本题满分 分)给定整数 ()。对于一个 元有序数组
若 的每个分量均为 或 ,且对任意 (),均有
则称 为“有趣数组”。求有趣数组的个数。
这是解答题,请在纸上写出完整过程。写完后对照解答给自己评分。
每个二元组只有四种状态,而两条禁配都围绕状态 展开;第一条约束其后,第二条约束其前,指标方向不能颠倒。
按是否出现 分类,再以它首次、末次出现的位置刻画整个数组。
把每个二元组 记作一个字母,其中
原题的两条条件分别等价于:某位置出现 时,它后面的每一项均须满足 ,它前面的每一项均须满足 。
若数组中没有 ,两条禁配都不会发生,每个位置可独立取 ,共有 个。
若至少出现一个 ,设首次、末次出现位置为 ,其中 。 由第 个位置是 ,其后每项 ;由第 个位置是 ,其前每项 。 因此在 之前的项有 且不是 ,只能为 ;在 之后的项有 且不是 ,只能为 ;介于 之间的每项同时满足 ,只能为 。 故数组必为
反之,上述数组中任意一个 的前面均有 、后面均有 ,所以确实满足两条条件。 这样 与含 的有趣数组一一对应,其个数为
合并两类,答案为 。
对应只有一个 , 或 对应一侧空块,均包含在计数中。按原两条三元组条件直接枚举 ,得到 ,与公式一致。
多组二进制变量的禁配条件可先按成对状态编码;若某状态对前后都有强制限制,就用首次、末次出现位置夹出全局结构,再证明结构条件充分,避免仅数出必要形式。
识别两条禁配围绕同一二元状态分别限制前后是核心转换,以首末出现位置夹定中段后计数为标准位置组合。
易混 2023 年江西预赛 · P006719
二元属性编码成状态后,不能只凭“按顺序”就采用只看相邻末项的计数。下一步需要记住多少历史,应由原条件决定:不重复取物要记已访问集合,任意前后指标的禁配则可能强迫整段结构。
前题三位属性的一位变化给立方体边,抽取不放回要求对子集和末点递推;后题约束作用于所有前后位置,须用特殊状态的首次、末次出现位置证明整体分块,不能只查相邻对。
已记下,谢谢!