提交记录 105511


用户 题目 状态 得分 用时 内存 语言 代码长度
saffah_cc_v41_agg1 noi17a. 【NOI2017】整数 Accepted 100 25.252 ms 5284 KB C++17 41.60 KB
提交时间 评测时间
2026-09-28 09:40:45 2026-09-28 09:40:53
// ===== REFERENCES =====
// [1] duck.ac 用户 saffah_cc_v41_260924, 提交 #102084 <https://duck.ac/submission/102084>(noi17a)
// [1b] duck.ac 用户 saffah_cc_v41_260924, 提交 #102108 <https://duck.ac/submission/102108>(noi17a)
//     用途:该提交(25.672 ms,比其 #102084 快 0.65%)相对 #102084 **只改了两处**,本次移植其中一处:
//           `if (w & (1ULL<<31)) subAt else addAt` → `if (!(w & (1ULL<<31))) addAt else subAt`
//           (他自称 E_REV2:让更常见的 ADD 侧成为 fall-through,改善分支预测)。
//           另一处是编译选项(去掉 `peel-loops`),本提交**未采用**以保持单变量。
//     用途:**移植了该提交(对手 21:48 的当前最好,25.839 ms)相对其上一代 #99422 的两处新增**
//           (1) `incBlock()/decBlock()`:把进位链里的 `setBlock(e, getBlock(e)±1)` 融成一次
//               read-modify-write(两个半段对同一个 word w 各读一次 lcc/lww/nf0/ne0、各调一次
//               pushChunk;调用点已由 findNonFull/findNonEmpty 保证 e 非满/非空,故融合后只需
//               一对掩码 load/store);
//           (2) "A3":`valarr[q]`/`valarr[q+1]` 是相邻的两个 u32 ⇒ 用**一条无条件 8 字节存**
//               取代两条带谓词的 4 字节存。
//           两处都是**语义等价**改写(本次已逐字节验证输出)。
// [2] duck.ac 用户 saffah_cc_v41_260924, 提交 #99422 <https://duck.ac/submission/99422>(noi17a)
//     用途:其 `eqbN()` 文本镜像对消检测触发了本文件的镜像快路径(见思路 3)。
// [3] 本账号 saffah_cc_v41_agg1, 提交 #99450 <https://duck.ac/submission/99450>(noi17a)
//     用途:本文件的**基线正文**(= work/na_combo4.cpp,本题上一版最好,25.664 ms = rank 1)。
//           本提交 = 该正文 + 上面 [1] 的两处移植。
// [4] 本账号 saffah_cc_v41_agg1, 提交 #97756 / #98821 / #99280 <https://duck.ac/submission/99280>
//     用途:本文件正文里 parse 期对消、nloff32 行尾掩码、镜像快路径三刀的来源。
// ======================
// ===== 思路 =====
// ★★ 本次提交(w17a_,2026-09-28):**单变量 = 只改编译指示**。
//    本文件正文与上一版最好件 `work/n17_v2.cpp`(#102174,25.329050 ms)**逐字节相同**,
//    只有开头的 pragma 从 `#pragma GCC optimize("O3","unroll-loops","rename-registers")`
//    换成 `#pragma GCC optimize("O2")`(target 两版相同,均为 `arch=skylake`)。
//
//    依据(三条独立证据):
//    (a) **判题机零提交定价**(工具 `tools/tryrun.py`:真判题机、gcc 9.3、n=4600 合规输入、
//        4 轮交替配对):ctrl mean = 170170 ns,O2 臂 mean = 167613 ns ⇒ **−1.50%**,
//        且 **4/4 轮**全部低于同期配对对照(同批 7 个 pragma 变体里唯一同向的)。
//    (b) 本题历史(`problems/noi17a/notes.md` 第一~四轮,**判题机正式提交定价**)在**旧正文**上
//        独立得到过同一结论:O3 → +0.6%、`unroll-loops` → +1.2%、Os → +34%,
//        即"编译选项的谷底就是纯 O2 + arch=skylake"。本提交把该结论搬回**新正文**。
//    (c) 姊妹题 `noi17f` 的 pragma 交互矩阵(`noi17f/work/` 实测):`target` 打开时
//        **两个向量化器 + `unroll-loops` 全部为负**,其中 `unroll-loops` 是该族最大的单 flag
//        惩罚(+5.77%)。本文件此前一直沿用随对手血统(REFERENCES [1])带进来的
//        `O3,unroll-loops,rename-registers`,**从未在新正文上重新定价过**。
//
//    预期:正文零改动,只去掉 O3 独有 pass 与 `unroll-loops`。
//    本次为定价提交(单变量),不是最终形态。
// 正式提交(非试验性)。**单变量**:正文与 #99450 逐字节相同,只加入 [1] 的两处。
// 0) 背景:我方 25.664 ms 是榜单 rank 1,对手 #102084 = 25.839 ms **仍慢于我们**,但按
//    `thr = 0.99·T`(BRIEF §2.18.527)口径,T=25844 ⇒ thr≈25586.6,我方仍缺 77 μs / 0.30%。
//    我方比对手快 ⇒ **抄对手收益为 0**,必须自造刀。
// 1) 判据(BRIEF §2.18.532 姊妹题移植法):对手 #99422 → #102084 这 15 小时里**只改了 4 处**
//    (见 [1] 的两处 + nfh/neh 提前取数 + 编译选项),而 tc25 从 26316 掉到 25839(**-1.81%**)。
//    这 4 处里 nfh/neh 提前取数本文件#99450 已有 ⇒ **剩下两处就是这 -1.81% 的全部来源**。
//    缺口只有 0.30%,所以本移植的期望收益(≈1%)**远超缺口**,是第一顺位动作。
// 2) 为什么可搬(§2.18.348 的机械判据):这两处都作用在**我方与对手共有的同一段正文**上 ——
//    `addAt/subAt` 的写回段与进位链调用点,两侧逐行同形;且 `setBlock(e,getBlock(e)±1)` 的
//    语义已被调用点的前置条件(findNonFull/findNonEmpty)钉死,融合式与拆开式**逐位等价**。
// 3) 移植时**只动热路径(off != 63)的调用点**:对手也只在热路径融合(1/64 的 off==63 跨界
//    路径两边都保留原样)—— 保持与其一致,避免引入未经定过价的分支。
// 4) 语义等价的证明(供复核):
//    * incBlock:调用前 `assignBlocks(q+2, e, ST_E)` ⇒ 块 e 已被置 0、且由 findNonFull 保证
//      e 是非满块 ⇒ v ≠ BLK ⇒ v+1 ≠ 0;故 `nv==BLK` 分支只能来自 v=BLK-1,写回掩码
//      `nf&=~bit, ne|=bit` 与 setBlock(v=BLK) 完全一致;`nv≠BLK` 分支(含 nv==0 不可能)与
//      setBlock(v=nv) 一致。decBlock 对称(findNonEmpty 保证 v≠0 ⇒ v-1≠BLK)。
//    * A3:被省掉的两条谓词存只在 `nv∈{0,BLK}` 时**不写**,而这两种状态下该块的
//      nf0/ne0 掩码位已被置成"取不到 valarr"(nf0 位清零 ⇒ getBlock 返回 BLK;ne0 位清零 ⇒
//      返回 0),所以 valarr 里的陈旧值永远不可达 ⇒ 无条件存(写入的正是 nv 本身)等价。
//    * 8 字节存落在 valarr[q..q+1],q+1 ≤ n+1 < n+4(valarr 有 NBMAX=n+8 项)⇒ 不越界;
//      q 与 q+1 同属 word w(off≠63),同 chunk,故不会跨 pushChunk 边界。
// 5) ⚠ 正确性验证时发现的两件事(本条对本仓库的本地测试方法有影响,务必读):
//    (a) **本目录此前的本地数据是"越界契约"的**:`work/a5eb_gen.py` 生成抵消对时把两行的先后
//        顺序随机化,于是 `1 -A b` 常常出现在 `1 +A b` 之前 ⇒ x 中途跌到 0 以下。而题面(
//        statement.txt:8)明确"保证在任何时候,x >= 0" ⇒ 那份合成数据处于本题的契约之外,
//        在其上做的任何本地 A/B 都不可作为语义依据(且 30bit 块 + N/E/F/M 位图引擎本身就只
//        对非负 x 有定义)。**本次已另写合规生成器 `work/n17_gen_valid.py`(成对时 +A 在前、
//        单价减法只在更高位有未抵消的正贡献时才发)保证 x >= 0。**
//    (b) **本文件与 #99450 在合规数据上逐字节一致,并由独立预言机背书**:
//        `work/n17_brute.cpp` 是本题的独立暴力实现(64 位 limb 数组 + 进位/借位链 + 单比特
//        查询,无 30bit 分块、无位图、无任何对消启发式)。在 n=200000 与 n=1000000 两份合规
//        输入上:**预言机 == #99450 == 本提交,输出逐字节相同**(858992 字节)。
//    (c) 在"越界契约"的老数据上,本提交与 #99450 恰有 **1 个答案位**不同(378172 个答案里
//        1 个);把对手 #102084 本体在本地编译后跑同一输入,**它与本提交逐字节相同、与 #99450
//        差的也正是那一位** ⇒ 该差异属于 x<0 这一契约外regime(两边的"结果"在该 regime 下
//        都无定义),**不是本移植的语义错误**。
// ======================

// [1] duck.ac 用户 saffah_cc_v41_260924, 提交 #98754 <https://duck.ac/submission/98754>(noi17a)
//     用途:**直接复制**了该提交的全部实现(它是本题当前榜首,26.838 ms = T)作为本文件基线:
//           SIMD(pshufb/maddubs/madd) 版 swar8b 解析器 + AVX2 fillU8 + markRange 融合
//           + `+A*2^b / query k<b / -A*2^b` 三元组快路径 + 其编译选项
//           `#pragma GCC optimize("O3","unroll-loops","rename-registers")` + `target("arch=skylake")`。
// [2] duck.ac 用户 saffah_cc_v41_260924, 提交 #90575 <https://duck.ac/submission/90575>(noi17a)
//     用途:#98754 的全部血统来源(30bit 分块 + N/E/F/M 位图引擎);本文件保留其
//           apply 循环里「相邻 ±A*2^b 精确对消」前瞻的语义(见思路段)。
// [3] 本账号 saffah_cc_v41_agg1, 提交 #97756 <https://duck.ac/submission/97756>(noi17a)
//     用途:搬用该提交里已验证的一刀 —— 「把对消判定从 apply 循环搬到 parse 循环」。
// ======================
// ===== 思路 =====
// 正式提交(非试验性)。基线 = 当前榜首 #98754(26.838 ms),叠加本账号 #97756 已实测的一刀。
// 1) 基线 #98754 的强项在 **parse 更便宜**(SIMD swar8b),弱项在 apply 要遍历全部 1e6 个 op
//    (对消对虽被一跳略过,仍各占一次循环迭代 + 一次 ob[] 取数)。
// 2) #97756 的强项在 **apply 的 op 更少**:parse 时 A/b/sgn 都还在寄存器里,"当前 op 是否等于上
//    一个 op 的符号取反"只需一条 xor+cmp,判掉的对**两个都不进 ob[]**(实测 -2.2%)。
// 3) 本提交 = 1) + 2):解析用 #98754 的 SIMD 版,对消判定移到 parse 期。两者互补且不冲突 ——
//    parse 期只能消掉**相邻**对,非相邻的 `+A*2^b / query k<b / -A*2^b` 三元组仍由 apply 期
//    #98754 的第三条分支处理(它作用于 ob[] 上相邻的三项,被 parse 丢掉的对净效应为 0,故语义不变)。
//    易错点(已修):改用 `nc = qq - ob` 作为 apply 迭代上界 —— 照抄 #98754 的 `i < lim` 会越界
//    读 ob[](本地实测 segfault)。
// 4) 正确性:work/na_tc25.in(n=1e6 真实结构合成数据)、a5eb_real.in、a5eb_t.in、a5eb_ovc.in、
//    a5eb_cancel{,2}.in 六份输入上与 #97756 和 #98754 的输出**逐字节一致**。
// 5) 本地 rdtsc(BENCHK=1,min-of-3,n=1e6 合成数据):#97756 = 62.7 Mcyc、#98754 = 65.7 Mcyc、
//    #98821 = **59.5 Mcyc**。本机噪声大,最终以判题机为准。
// 6) 本次叠加(对手 #99269 这一代):把 **[4](a) nloff32 行尾掩码** 接到本文件的 parse 循环上 ——
//    只替换**指针推进**(`p = pn`,pn 由行尾偏移直接给出),对消判定照旧用解析出来的 A/b/sgn,
//    因此两刀正交:一个省 parse 的串行延迟,一个省 apply 的迭代次数。同时照搬 [4](b) 的 STU256。
//    保留本账号的越界防护 `nc = qq - ob`,以及 `off < 0`(行长 ≥ 32B)时的回退解析路径。
// 7) 本地(taskset -c 2, BENCHK=3, min-of-5, n=1e6 合成真实结构数据):
//    #98821 = 53.40 Mcyc、本提交 = **52.29 Mcyc(-2.1%)**;不带 STU256 的对照组 = 53.13 Mcyc。
// 8) 另测并否决:把 nloff32 也用到**查询行**(work/na_combo3.cpp)本地反而 +6%(查询行短,
//    多出的 6 条 uop 不划算),不采用。
// 9) 本次叠加(对手 #99422 这一代):**镜像快路径**。`+A*2^b` 与 `-A*2^b` 两行在文本上是
//    逐字节镜像(只有符号位不同、数字串完全相同),用两条 32B 取数 + `cmpeq` + `movemask`
//    比较 `|D|+1` 字节(含行尾 '\n',因此同时校验了两行等长),命中则**第二行完全不做
//    parseNumF**、两个 op 都直接丢弃(与 parse 期对消同语义,`prevop` 置 ~0)。
//    镜像成立 ⇒ 解析出的 A/b 必然相同、符号相反 ⇒ 精确对消(A=0 时 ±0 相等,仍成立)。
//    未命中时只多花 2~3 条字节比较(下一 op 非 add 时立刻退出),**不命中即回落到原有的
//    数值对消判定**,语义与 #99280 完全一致。
// 10) 正确性:在 #99280 的 6 份输入之外,另加 8 份针对性用例(镜像对/非镜像等价对 `1 007 5` vs
//     `1 -7 5`/`±0`/同号同数码不应对消/末行边界/n=1/最大 b),共 **14 份输入与 #99280 逐字节一致**。
// 11) 本地(taskset, BENCHK=2~3, min-of-8, n=1e6 合成真实结构数据):#99280 = 53.04 Mcyc、
//     本提交 = **52.61 Mcyc(-0.8%)**。本机噪声 ±10%,本地只作正负号参考。
// [4] duck.ac 用户 saffah_cc_v41_260924, 提交 #99269 <https://duck.ac/submission/99269>(noi17a)
//     用途:**直接复制**了该提交(他是本题除本账号外的当前榜首,26.442 ms = T)这一代新增的两处:
//           (a) `nloff32()`:32 字节窗口内"高半字节为 0"的字节即 '\n',movemask+ctz 直接得到行尾偏移,
//               于是"下一个 op 的地址"不再依赖 A/b 的位数(把 parse 的串行指针链摘掉);
//           (b) `STU256()`:内联汇编 32 字节存数(fillU8 用)。
// [5] 本账号 saffah_cc_v41_agg1, 提交 #98821 <https://duck.ac/submission/98821>(noi17a)
//     用途:本文件此前的一版(= #98754 正文 + 本账号 parse 期对消),本提交在它之上再叠 [4]。
// ======================
// [6] duck.ac 用户 saffah_cc_v41_260924, 提交 #99422 <https://duck.ac/submission/99422>(noi17a)
//     用途:**参考了思想**(并自行改写为 AVX2 版):该提交用 `eqbN()` 把"对消对的第二行"
//           与第一行做**逐字节镜像**比较(数字串全同、符号相反),从而**整段跳过第二行的数字解析**;
//           他为此还删掉了自己上一代的 `nloff32`(说明镜像比"打断指针链"更值钱)。
//           本提交把它用 32 字节 `vmovdqu + cmpeq + movemask` 实现(一条比较覆盖整行),
//           位置在 add 行的快速路径里,且与本文件的 `nloff32`、parse 期对消**并存**。
// [7] 本账号 saffah_cc_v41_agg1, 提交 #99280 <https://duck.ac/submission/99280>(noi17a)
//     用途:本文件 = 该提交(本题上一版最好,26.064 ms)的正文,本次只叠加上面这一处。
// ======================
// ================
// ===== 本次提交思路(w17b_,正式提交,非试验性)=====
// **单变量(删代码)**:正文 = 本账号 #105324(当前最好,25.234 ms)逐字节相同,
// 只**删掉 parse 期的「数值对消兜底」及其全部 `prevop` 记账**。
// 1) 依据(本目录 notes 第 11 节,多重集差分 = 顺序无关的正文对比):把两边引擎逐行比完之后,
//    **真正的差异里有一条是我方多出来的**:
//      我方 parse 快路径(每条加法行都跑):
//        `u64 prevop = 0;`  … `if (qq > ob && cur == (prevop ^ (1ULL << 31))) { --qq; prevop = ~0ULL; }
//                                 else { *qq++ = cur; prevop = cur; }`
//      对手 #105138 parse 快路径:**没有这一段**,只有镜像检查(命中就整对丢弃),
//      对消完全交给 apply 期的 `j+1` 相邻对消与三元组分支。
//    ⇒ 这一刀是 #97756 当年(**镜像快路径还不存在时**)的命脉(−2.2%),但 #99450 加入
//      字节镜像快路径之后,**它要处理的那类「文本不同、数值相同」的对**已经极少
//      (本机 n=1e6 合规数据上 `PC_pcan = 0`:所有对消对都是逐字节镜像),于是它退化成
//      **每条加法行白付 ~5 条 uop + 一个常驻寄存器 `prevop`**(对手没有这笔开销)。
// 2) 语义(为什么删了仍然正确):对消对不再在 parse 期被吞掉,而是**原样进 ob[]**,
//    由 apply 循环已有的两条快路径接管 ——
//      (a) 相邻对消:`j + 1 < cnt && (w ^ *qq) == (1ULL << 31)` ⇒ 两个 op 一起跳过;
//      (b) 三元组:`j + 2 < cnt && (*qq >> 63) && ((w ^ qq[1]) == (1ULL << 31)) && (k < b)`
//          ⇒ 查询照答、两个 add/sub 跳过。
//    两条路径都在本文件里、且都被本次实测覆盖(见下),所以**输出逐位不变**。
// 3) 验证(16 份输入与本账号 #105324 输出**逐字节一致**):w17b_v65.in(n=1e6 合规数据,
//    由 n17_gen_valid.py 生成)、w17b_pad_{big,small}.in、w17b_small.in、w17b_tg1.in、
//    na_tc25.in、a5eb_real.in、a5eb_t.in、a5eb_ovc.in、a5eb_cancel{,2}.in、
//    na_mt1..8.in(镜像/对消/边界针对性用例)。
//    ★ 其中 a5eb_cancel{,2}.in 与 w17b_v65.in **专门含大量对消对**,正是本次改动的语义边界。
// 4) 期望:parse 占本相位表 37%,每条加法行省 ~5 条 uop 与一个寄存器 ⇒ 若 parse 受
//    uop/寄存器压力影响则为正;若 parse 纯属延迟受限则为平(本轮 #105312/#105393 两次
//    "解析减指令"都测出略负,所以本条也**可能是平或小负** —— 但它是**唯一一条我方能与对手
//    对齐的 parse 侧差异**,必须定价一次)。本机读数不作为依据(本地↔判题机兑现率 ~2%~7%)。
// ==========================================================================
#pragma GCC optimize("O2")
#pragma GCC target("arch=skylake")
// NOI2017 整数 (integer) -- duck.ac noi17a
// MAIN-style.  x is a non-negative big integer (bits up to 30n).
// Ops:  x += a*2^b  (|a| <= 1e9, 0 <= b),  query bit k.
//
// Structure: 30-bit "blocks", 64 blocks per "word", 64 words per "chunk".
//   valarr[b] : block value (only meaningful when the block is mixed)
//   lww[w]    : word state E(0)/F(1)/M(2)  -- F means all 64 blocks are 0x3FFFFFFF
//   nf0[w],ne0[w] : per-block "not full"/"not empty" masks (valid iff lww[w]==M)
//   lcc[c]    : chunk state E/F/M (uniform chunk => all its words are E/F)
//   nfw[c],newc[c] : per-word "not full"/"not empty" masks (valid iff lcc[c]==M)
//   nfx/nex   : bitmaps over chunks
#include <stdint.h>
#include <string.h>
#include <emmintrin.h>
#include <x86intrin.h>


typedef uint8_t u8;
typedef uint32_t u32;
typedef uint64_t u64;
typedef unsigned long ul;
#ifdef TIMING
#include <stdio.h>
static void rep(const char* k, unsigned long long v) { fprintf(stderr, "%s %llu\n", k, v); }
#endif

// ---- 32-byte newline finder(见 REFERENCES [4])----
static inline void STU256(void* p, __m256i v) {
  __asm__ volatile("vmovdqu %0, %1" :: "x"(v), "m"(*(__m256i*)p) : "memory");
}
__attribute__((target("avx2"))) static inline __m256i LDU256p(const void *p)
{ __m256i r; __asm__("vmovdqu %1, %0" : "=x"(r) : "m"(*(const __m256i *)p)); return r; }
static inline int nloff32(const char* p) {
  __m256i v = LDU256p(p);
  __m256i hi0 = _mm256_cmpeq_epi8(_mm256_and_si256(v, _mm256_set1_epi8((char)0xF0)),
                                  _mm256_setzero_si256());
  u32 m = (u32)_mm256_movemask_epi8(hi0);
  return m ? (int)__builtin_ctz(m) : -1;
}

static inline void fillU8(u8* p, u8 v, int n) {
  __m256i y = _mm256_set1_epi8((char)v);
  u64 q;
  while (n >= 128) {
    STU256((p + 0), y);
    STU256((p + 32), y);
    STU256((p + 64), y);
    STU256((p + 96), y);
    p += 128; n -= 128;
  }
  if (n >= 32) {
    int k = n >> 5;
    for (int i = 0; i < k; i++) STU256((p + (i << 5)), y);
    if (n & 31) STU256((p + n - 32), y);
  } else {
  __m128i x = _mm_set1_epi8((char)v);
  while (n >= 64) {
    _mm_storeu_si128((__m128i*)(p + 0), x);
    _mm_storeu_si128((__m128i*)(p + 16), x);
    _mm_storeu_si128((__m128i*)(p + 32), x);
    _mm_storeu_si128((__m128i*)(p + 48), x);
    p += 64; n -= 64;
  }
  if (n >= 16) {
    int k = n >> 4;
    for (int i = 0; i < k; i++) _mm_storeu_si128((__m128i*)(p + (i << 4)), x);
    if (n & 15) _mm_storeu_si128((__m128i*)(p + n - 16), x);   // overlaps backwards, in-bounds
  } else if (n >= 8) {
    q = 0x0101010101010101ULL * v;
    __builtin_memcpy(p, &q, 8); __builtin_memcpy(p + n - 8, &q, 8);
  } else if (n >= 4) {
    u32 w = 0x01010101u * (u32)v;
    __builtin_memcpy(p, &w, 4); __builtin_memcpy(p + n - 4, &w, 4);
  } else if (n >= 2) {
    p[0] = v; p[1] = v; p[n - 2] = v; p[n - 1] = v;
  } else if (n == 1) *p = v;
  }
}


struct DI {
  ul abi; const char* ip; ul is; char* op; ul ol, os; char* ep; ul el, es;
  const char* IBp; ul IBl; char* OBp; ul OBl; ul tsc;
} __attribute__((packed));

#define BLK 0x3FFFFFFFu     // 2^30-1
#define ST_E 0
#define ST_F 1
#define ST_M 2

#define NBMAX 1000008
#define NWMAX ((NBMAX + 63) / 64)
#define NCMAX ((NWMAX + 63) / 64)
#define NFXW ((NCMAX + 63) / 64)
#define NFXW2 (NFXW + 2)


struct DS {
  u32 valarr[NBMAX];
  u64 nf0[NWMAX], ne0[NWMAX];
  // !!!! DO NOT SHRINK THIS TO NWMAX !!!!
  // pushChunk() does fillU8(lww + (c<<6), st, 64) for c up to NCU-1, and the LAST
  // chunk is partial (NWMAX = ceil(NBMAX/64) = 15626 is not a multiple of 64), so it
  // writes 54 bytes PAST the array on purpose-legitimately-reachable input.
  // With +64 those bytes land in dead padding. Without it they land in the NEXT
  // member (nfw -> silently corrupts the search masks -> test 25 WA 96/100, which
  // looks like a correctness bug, not a buffer bug). The +64 is load-bearing.
  u8 lww[NWMAX + 64];
  u64 nfw[NCMAX], newc[NCMAX];
  u8 lcc[NCMAX];
  u64 nfx[NFXW2], nex[NFXW2];
};
static DS D;
#ifdef PROBE
static u64 PC_add, PC_qry, PC_find, PC_assign, PC_units, PC_carry, PC_borrow, PC_blk;
static u64 PC_cy_add, PC_cy_qry, PC_cy_parse, PC_cy_assign, PC_cy_find, PC_qdeep;
static u64 PC_fw, PC_fww, PC_pc, PC_blkcnt;
#endif


static int NWU, NCU;
#define CHOPX 1
#ifndef CHOP
#define CHOP 65536
#endif
static long ocnt;

static inline u64 rangeMask(int lo, int hi) {   // bits [lo,hi), 0<=lo<hi<=64
  u64 m = ~0ULL << lo;
  if (hi < 64) m &= ~0ULL >> (64 - hi);
  return m;
}

static inline void markChunk(int c) {
  u64 bit = 1ULL << (c & 63);
  int cw = c >> 6;
  u64 a = D.nfw[c], b = D.newc[c];
  D.nfx[cw] = (D.nfx[cw] & ~bit) | (bit & (u64)-(long long)(a != 0));
  D.nex[cw] = (D.nex[cw] & ~bit) | (bit & (u64)-(long long)(b != 0));
}

static inline void pushChunk(int c) {
  u8 st = D.lcc[c];
#ifdef PROBE
  PC_pc++;
#endif
  if (st == ST_M) return;
  fillU8(D.lww + (c << 6), st, 64);
  if (st == ST_F) { D.nfw[c] = 0; D.newc[c] = ~0ULL; }
  else            { D.nfw[c] = ~0ULL; D.newc[c] = 0; }
  D.lcc[c] = ST_M;
}

static inline u32 getBlock(int b) {
  int w = b >> 6, c = w >> 6;
  u8 s = D.lcc[c];
  if (s != ST_M) return (s == ST_F) ? BLK : 0u;
  u8 sw = D.lww[w];
  if (sw != ST_M) return (sw == ST_F) ? BLK : 0u;
  u64 bit = 1ULL << (b & 63);
  if (!(D.nf0[w] & bit)) return BLK;
  if (!(D.ne0[w] & bit)) return 0u;
#ifdef PROBE
  PC_qdeep++;
#endif
  return D.valarr[b];
}

static inline void setBlock(int b, u32 v) {
#ifdef PROBE
  PC_blkcnt++;
#endif
  int w = b >> 6, c = w >> 6;
  pushChunk(c);
  u64 bit = 1ULL << (b & 63);
  u8 sw = D.lww[w];
  if (sw == ST_F) { D.nf0[w] = 0; D.ne0[w] = ~0ULL; }
  else if (sw == ST_E) { D.nf0[w] = ~0ULL; D.ne0[w] = 0; }
  if (v == 0) { D.nf0[w] |= bit; D.ne0[w] &= ~bit; }
  else if (v == BLK) { D.nf0[w] &= ~bit; D.ne0[w] |= bit; }
  else { D.nf0[w] |= bit; D.ne0[w] |= bit; D.valarr[b] = v; }
  u8 st = (D.nf0[w] == 0) ? ST_F : ((D.ne0[w] == 0) ? ST_E : ST_M);
  if (st != sw) {
    D.lww[w] = st;
    u64 wbit = 1ULL << (w & 63);
    if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
    if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
    markChunk(c);
  }
}

// ---- fused ripple read-modify-write (rival #102084) ---------------------
// The shipped ripple does setBlock(e, getBlock(e) + 1).  Both halves load
// lcc[c], lww[w], nf0[w] and ne0[w] for the SAME word w, and both call pushChunk.
// The caller guarantees the block is NOT full (findNonFull) resp. NOT empty
// (findNonEmpty), so only one of the three terminal states is reachable and the
// fused form needs ONE mask load/store pair.
static inline void incBlock(int b) {
#ifdef PROBE
  PC_blkcnt++;
#endif
  int w = b >> 6, c = w >> 6;
  pushChunk(c);
  u64 bit = 1ULL << (b & 63);
  u8 sw = D.lww[w];
  u64 nf, ne; u32 v;
  if (sw == ST_M) {
    nf = D.nf0[w]; ne = D.ne0[w];
    v = (nf & bit) ? ((ne & bit) ? D.valarr[b] : 0u) : BLK;
  } else if (sw == ST_F) { nf = 0ULL; ne = ~0ULL; v = BLK; }
  else { nf = ~0ULL; ne = 0ULL; v = 0u; }
  u32 nv = v + 1u;                       // v != BLK by precondition => nv != 0
  if (nv == BLK) { nf &= ~bit; ne |= bit; }
  else           { nf |= bit; ne |= bit; D.valarr[b] = nv; }
  D.nf0[w] = nf; D.ne0[w] = ne;
  u8 st = (nf == 0) ? ST_F : ((ne == 0) ? ST_E : ST_M);
  if (st != sw) {
    D.lww[w] = st;
    u64 wbit = 1ULL << (w & 63);
    if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
    if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
    markChunk(c);
  }
}

static inline void decBlock(int b) {
#ifdef PROBE
  PC_blkcnt++;
#endif
  int w = b >> 6, c = w >> 6;
  pushChunk(c);
  u64 bit = 1ULL << (b & 63);
  u8 sw = D.lww[w];
  u64 nf, ne; u32 v;
  if (sw == ST_M) {
    nf = D.nf0[w]; ne = D.ne0[w];
    v = (nf & bit) ? ((ne & bit) ? D.valarr[b] : 0u) : BLK;
  } else if (sw == ST_F) { nf = 0ULL; ne = ~0ULL; v = BLK; }
  else { nf = ~0ULL; ne = 0ULL; v = 0u; }
  u32 nv = v - 1u;                       // v != 0 by precondition => nv != BLK
  if (nv == 0) { nf |= bit; ne &= ~bit; }
  else         { nf |= bit; ne |= bit; D.valarr[b] = nv; }
  D.nf0[w] = nf; D.ne0[w] = ne;
  u8 st = (nf == 0) ? ST_F : ((ne == 0) ? ST_E : ST_M);
  if (st != sw) {
    D.lww[w] = st;
    u64 wbit = 1ULL << (w & 63);
    if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
    if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
    markChunk(c);
  }
}

static inline int firstChunkBit(const u64* bm, int c2) {
  if (c2 >= NCU) return -1;
  int cw = c2 >> 6;
  u64 m = bm[cw] & (~0ULL << (c2 & 63));
  while (!m) { if (++cw >= NFXW) return -1; m = bm[cw]; }
  return (cw << 6) + __builtin_ctzll(m);
}

// first block >= p that is not all-ones, -1 if none
static inline int findNonFull(int p) {
#ifdef PROBE
  PC_find++;
  u64 _tf = __rdtsc();
#endif
  int w = p >> 6, c = w >> 6;
  u8 s = D.lcc[c];
  if (s == ST_E) return p;
  if (s != ST_F) {
    u64 m = D.nfw[c] & (~0ULL << (w & 63));
    while (m) {
      int W = (c << 6) + __builtin_ctzll(m);
      if (D.lww[W] == ST_E) return (W == w) ? p : (W << 6);
      u64 bits = D.nf0[W];
      if (W == w) bits &= ~0ULL << (p & 63);
      if (bits) return (W << 6) + __builtin_ctzll(bits);
      m &= m - 1;
    }
  }
  int C = firstChunkBit(D.nfx, c + 1);
#ifdef PROBE
  PC_cy_find += __rdtsc() - _tf;
#endif
  if (C < 0) return -1;
  if (D.lcc[C] == ST_E) return C << 12;
  int W = (C << 6) + __builtin_ctzll(D.nfw[C]);
  if (D.lww[W] == ST_E) return W << 6;
  return (W << 6) + __builtin_ctzll(D.nf0[W]);
}

// first block >= p that is not all-zeros, -1 if none
static inline int findNonEmpty(int p) {
  int w = p >> 6, c = w >> 6;
  u8 s = D.lcc[c];
  if (s == ST_F) return p;
  if (s != ST_E) {
    u64 m = D.newc[c] & (~0ULL << (w & 63));
    while (m) {
      int W = (c << 6) + __builtin_ctzll(m);
      if (D.lww[W] == ST_F) return (W == w) ? p : (W << 6);
      u64 bits = D.ne0[W];
      if (W == w) bits &= ~0ULL << (p & 63);
      if (bits) return (W << 6) + __builtin_ctzll(bits);
      m &= m - 1;
    }
  }
  int C = firstChunkBit(D.nex, c + 1);
  if (C < 0) return -1;
  if (D.lcc[C] == ST_F) return C << 12;
  int W = (C << 6) + __builtin_ctzll(D.newc[C]);
  if (D.lww[W] == ST_F) return W << 6;
  return (W << 6) + __builtin_ctzll(D.ne0[W]);
}

static inline void finishWord(int w, int S) {
  int c = w >> 6;
  u8 st = (D.nf0[w] == 0) ? ST_F : ((D.ne0[w] == 0) ? ST_E : ST_M);
  (void)S;
  if (st != D.lww[w]) {
    D.lww[w] = st;
    u64 wbit = 1ULL << (w & 63);
    if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
    if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
    markChunk(c);
  }
}

// assign blocks [64w+lo, 64w+hi) to state S
static inline void assignInWord(int w, int lo, int hi, int S) {
  int c = w >> 6;
  pushChunk(c);
  u8 sw = D.lww[w];
  if (sw == ST_F) { D.nf0[w] = 0; D.ne0[w] = ~0ULL; }
  else if (sw == ST_E) { D.nf0[w] = ~0ULL; D.ne0[w] = 0; }
  u64 mask = rangeMask(lo, hi);
  if (S == ST_F) { D.nf0[w] &= ~mask; D.ne0[w] |= mask; }
  else           { D.nf0[w] |= mask; D.ne0[w] &= ~mask; }
  finishWord(w, S);
}

// assign whole words [64c+lo, 64c+hi) of chunk c to state S
static inline void fillWords(int c, int lo, int hi, int S) {
  if (lo >= hi) return;
  pushChunk(c);
#ifdef PROBE
  PC_fww += (u64)(hi - lo); PC_fw++;
#endif
  fillU8(D.lww + (c << 6) + lo, (u8)S, hi - lo);
  u64 mask = rangeMask(lo, hi);
  if (S == ST_F) { D.nfw[c] &= ~mask; D.newc[c] |= mask; }
  else           { D.nfw[c] |= mask; D.newc[c] &= ~mask; }
  markChunk(c);
}

static inline void setBitRange(u64* bm, int lo, int hi, int val) {
  if (lo >= hi) return;
  int w0 = lo >> 6, w1 = (hi - 1) >> 6;
  if (w0 == w1) {
    u64 mask = rangeMask(lo & 63, ((hi - 1) & 63) + 1);
    if (val) bm[w0] |= mask; else bm[w0] &= ~mask;
    return;
  }
  u64 mask0 = ~0ULL << (lo & 63);
  if (val) bm[w0] |= mask0; else bm[w0] &= ~mask0;
  u64 mask1 = rangeMask(0, ((hi - 1) & 63) + 1);
  if (val) bm[w1] |= mask1; else bm[w1] &= ~mask1;
  for (int j = w0 + 1; j < w1; j++) bm[j] = val ? ~0ULL : 0ULL;
}

static inline void fullChunks(int c1, int c2, int S) {
  if (c1 >= c2) return;
#ifdef PROBE
  PC_units += (u64)(c2 - c1); PC_fw += (u64)(c2 - c1);
#endif
  fillU8(D.lcc + c1, (u8)S, c2 - c1);
  // D.nfw[]/D.newc[] of a uniform chunk are never read (pushChunk re-derives them),
  // so they are deliberately left stale here.  nfx/nex for the whole range is
  // applied once by markRange() at the end of assignBlocks (fused RMW).
}

// ---- fused range assign -------------------------------------------------
// Set the state of one (partial) word: blocks [lo,hi) of word w get S.
// Caller has already pushed chunk c.
static inline void setWordBits(int w, int lo, int hi, int S) {
  int c = w >> 6;
  u8 sw = D.lww[w];
  u64 nf, ne;
  if (sw == ST_M) { nf = D.nf0[w]; ne = D.ne0[w]; }
  else if (sw == ST_F) { nf = 0ULL; ne = ~0ULL; }
  else { nf = ~0ULL; ne = 0ULL; }
  u64 mask = rangeMask(lo, hi);
  if (S == ST_F) { nf &= ~mask; ne |= mask; }
  else           { nf |= mask; ne &= ~mask; }
  D.nf0[w] = nf; D.ne0[w] = ne;
  u8 st = (nf == 0) ? ST_F : ((ne == 0) ? ST_E : ST_M);
  D.lww[w] = st;
  u64 wbit = 1ULL << (w & 63);
  if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
  if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
}

// Whole words [lo,hi) of chunk c get S (uniform), updating lww and the chunk masks.
static inline void setWholeWords(int c, int lo, int hi, int S) {
  if (lo >= hi) return;
  fillU8(D.lww + (c << 6) + lo, (u8)S, hi - lo);
  u64 mask = rangeMask(lo, hi);
  if (S == ST_F) { D.nfw[c] &= ~mask; D.newc[c] |= mask; }
  else           { D.nfw[c] |= mask; D.newc[c] &= ~mask; }
}

// Assign blocks [l, r) to state S, where wl = l>>6 and wr = (r-1)>>6 are in the
// SAME chunk c.  One pushChunk, one markChunk.
static inline void assignInChunk(int c, int l, int r, int S) {
  int wl = l >> 6, wr = (r - 1) >> 6;
  pushChunk(c);
  if (wl == wr) {
    setWordBits(wl, l & 63, ((r - 1) & 63) + 1, S);
  } else {
    setWordBits(wl, l & 63, 64, S);
    setWholeWords(c, (wl & 63) + 1, wr & 63, S);
    setWordBits(wr, 0, ((r - 1) & 63) + 1, S);
  }
  markChunk(c);
}

// Assign blocks [l, end of chunk containing l) to S.
static inline void assignHead(int l, int S) {
  int w = l >> 6, c = w >> 6, lo = l & 63;
  pushChunk(c);
  setWordBits(w, lo, 64, S);
  setWholeWords(c, (w & 63) + 1, 64, S);
}

// Assign blocks [start of chunk containing r-1, r) to S.
static inline void assignTail(int r, int S) {
  int w = (r - 1) >> 6, c = w >> 6, hi = ((r - 1) & 63) + 1;
  pushChunk(c);
  setWholeWords(c, 0, w & 63, S);
  setWordBits(w, 0, hi, S);
}

// One fused nfx/nex update for chunks [cA, cB] inclusive: the uniform middle gets
// `fill`, the two endpoint chunks get their real (nfw,newc) bits.
static inline void markRange(int cA, int cB, int S) {
  u64 fill = (S == ST_E) ? ~0ULL : 0ULL, ifill = ~fill;
  int w0 = cA >> 6, w1 = cB >> 6, bA = cA & 63, bB = cB & 63;
  u64 fbA = (u64)(D.nfw[cA] != 0), ebA = (u64)(D.newc[cA] != 0);
  u64 fbB = (u64)(D.nfw[cB] != 0), ebB = (u64)(D.newc[cB] != 0);
  if (w0 == w1) {
    u64 m = rangeMask(bA, bB + 1);
    u64 nfb = (fill & ~(1ULL << bA)) | (fbA << bA);
    u64 neb = (ifill & ~(1ULL << bA)) | (ebA << bA);
    nfb = (nfb & ~(1ULL << bB)) | (fbB << bB);
    neb = (neb & ~(1ULL << bB)) | (ebB << bB);
    D.nfx[w0] = (D.nfx[w0] & ~m) | (nfb & m);
    D.nex[w0] = (D.nex[w0] & ~m) | (neb & m);
    return;
  }
  { u64 m = ~0ULL << bA;
    u64 nfb = (fill & ~(1ULL << bA)) | (fbA << bA);
    u64 neb = (ifill & ~(1ULL << bA)) | (ebA << bA);
    D.nfx[w0] = (D.nfx[w0] & ~m) | (nfb & m);
    D.nex[w0] = (D.nex[w0] & ~m) | (neb & m); }
  { u64 m = rangeMask(0, bB + 1);
    u64 nfb = (fill & ~(1ULL << bB)) | (fbB << bB);
    u64 neb = (ifill & ~(1ULL << bB)) | (ebB << bB);
    D.nfx[w1] = (D.nfx[w1] & ~m) | (nfb & m);
    D.nex[w1] = (D.nex[w1] & ~m) | (neb & m); }
  for (int j = w0 + 1; j < w1; j++) { D.nfx[j] = fill; D.nex[j] = ifill; }
}

static void assignBlocks(int l, int r, int S) {
  if (l >= r) return;
  int c1 = (l >> 6) >> 6, c2 = (((r - 1) >> 6)) >> 6;
  if (c1 == c2) {                       // one chunk: unchanged path
    int w1 = l >> 6, w2 = (r - 1) >> 6;
    int lo1 = l & 63, hi2 = ((r - 1) & 63) + 1;
    if (w1 == w2) { assignInWord(w1, lo1, hi2, S); return; }
    assignInWord(w1, lo1, 64, S);
    assignInWord(w2, 0, hi2, S);
    int fw1 = w1 + 1, fw2 = w2;
    if (fw1 < fw2) fillWords(c1, fw1 & 63, ((fw2 - 1) & 63) + 1, S);
    return;
  }
  assignHead(l, S);                     // multi-chunk: fused endpoints
  assignTail(r, S);
  fullChunks(c1 + 1, c2, S);
  markRange(c1, c2, S);   // ONE fused bitmap RMW for [c1,c2]
}



// ---- fused add/sub: both touched blocks almost always live in the same word ----
// x += A*2^b with 1 <= A < 2^30
static inline __attribute__((aligned(64))) void addAt(u32 A, u32 b) {
  u32 q = b / 30u, r = b % 30u;
  u64 v = ((u64)A) << r;
  u32 lo = (u32)(v & BLK), hi = (u32)(v >> 30);
  int w = (int)(q >> 6), c = w >> 6, off = (int)(q & 63);
  if (off == 63) {                       // straddles two words: general path
    u32 cur = getBlock((int)q);
    u32 s = cur + lo;
    setBlock((int)q, s & BLK);
    u32 carry = s >> 30;
    cur = getBlock((int)q + 1);
    s = cur + hi + carry;
    setBlock((int)q + 1, s & BLK);
    if (s >> 30) {
      int e = findNonFull((int)q + 2);
      assignBlocks((int)q + 2, e, ST_E);
      setBlock(e, getBlock(e) + 1);
    }
    return;
  }
  u64 nfh = D.nf0[w], neh = D.ne0[w];
  if (D.lcc[c] != ST_M) pushChunk(c);
  u8 sw = D.lww[w];
  u64 bit0 = 1ULL << off, bit1 = bit0 << 1;
  u64 nf, ne;
  u32 v0, v1;
  if (sw == ST_E) { nf = ~0ULL; ne = 0ULL; v0 = 0u; v1 = 0u; }
  else if (sw == ST_F) { nf = 0ULL; ne = ~0ULL; v0 = BLK; v1 = BLK; }
  else {
    nf = nfh; ne = neh;
    v0 = (nf & bit0) ? ((ne & bit0) ? D.valarr[q] : 0u) : BLK;
    v1 = (nf & bit1) ? ((ne & bit1) ? D.valarr[q + 1] : 0u) : BLK;
  }
  u64 s0 = (u64)v0 + lo;
  u32 nv0 = (u32)(s0 & BLK);
  u64 s1 = (u64)v1 + hi + (s0 >> 30);
  u32 nv1 = (u32)(s1 & BLK);
  u64 f0 = (u64)-(long long)(nv0 == BLK), e0 = (u64)-(long long)(nv0 == 0);
  u64 f1 = (u64)-(long long)(nv1 == BLK), e1 = (u64)-(long long)(nv1 == 0);
  nf = ((nf & ~bit0) | (bit0 & ~f0)) & ~bit1 | (bit1 & ~f1);
  ne = ((ne & ~bit0) | (bit0 & ~e0)) & ~bit1 | (bit1 & ~e1);
  D.nf0[w] = nf; D.ne0[w] = ne;
  // A3: valarr[q],valarr[q+1] are ADJACENT u32s, so ONE unconditional 8-byte store
  // replaces two predicated 4-byte stores plus their compare/branch pairs.
  *(u64*)(D.valarr + q) = ((u64)nv1 << 32) | (u64)nv0;
  u8 st = (nf == 0) ? ST_F : ((ne == 0) ? ST_E : ST_M);
  if (st != sw) {
    D.lww[w] = st;
    u64 wbit = 1ULL << (w & 63);
    if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
    if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
    markChunk(c);
  }
  if (s1 >> 30) {
    int e = findNonFull((int)q + 2);
    assignBlocks((int)q + 2, e, ST_E);
    incBlock(e);
  }
}

// x -= A*2^b with 1 <= A < 2^30
static inline __attribute__((aligned(64))) void subAt(u32 A, u32 b) {
  u32 q = b / 30u, r = b % 30u;
  u64 v = ((u64)A) << r;
  u32 lo = (u32)(v & BLK), hi = (u32)(v >> 30);
  int w = (int)(q >> 6), c = w >> 6, off = (int)(q & 63);
  if (off == 63) {
    u32 cur = getBlock((int)q);
    u32 borrow = 0;
    if (cur >= lo) setBlock((int)q, cur - lo);
    else { setBlock((int)q, (u32)((u64)cur + 0x40000000ull - lo)); borrow = 1; }
    cur = getBlock((int)q + 1);
    u32 sub = hi + borrow;
    if (cur >= sub) setBlock((int)q + 1, cur - sub);
    else {
      setBlock((int)q + 1, (u32)((u64)cur + 0x40000000ull - sub));
      int e = findNonEmpty((int)q + 2);
      assignBlocks((int)q + 2, e, ST_F);
      setBlock(e, getBlock(e) - 1);
    }
    return;
  }
  u64 nfh = D.nf0[w], neh = D.ne0[w];
  if (D.lcc[c] != ST_M) pushChunk(c);
  u8 sw = D.lww[w];
  u64 bit0 = 1ULL << off, bit1 = bit0 << 1;
  u64 nf, ne;
  u32 v0, v1;
  if (sw == ST_E) { nf = ~0ULL; ne = 0ULL; v0 = 0u; v1 = 0u; }
  else if (sw == ST_F) { nf = 0ULL; ne = ~0ULL; v0 = BLK; v1 = BLK; }
  else {
    nf = nfh; ne = neh;
    v0 = (nf & bit0) ? ((ne & bit0) ? D.valarr[q] : 0u) : BLK;
    v1 = (nf & bit1) ? ((ne & bit1) ? D.valarr[q + 1] : 0u) : BLK;
  }
  u32 nv0, nv1;
  u64 borrow = 0;
  if (v0 >= lo) nv0 = v0 - lo;
  else { nv0 = (u32)((u64)v0 + 0x40000000ull - lo); borrow = 1; }
  u32 sub1 = hi + (u32)borrow;
  if (v1 >= sub1) nv1 = v1 - sub1;
  else { nv1 = (u32)((u64)v1 + 0x40000000ull - sub1); borrow = 2; }
  u64 f0 = (u64)-(long long)(nv0 == BLK), e0 = (u64)-(long long)(nv0 == 0);
  u64 f1 = (u64)-(long long)(nv1 == BLK), e1 = (u64)-(long long)(nv1 == 0);
  nf = ((nf & ~bit0) | (bit0 & ~f0)) & ~bit1 | (bit1 & ~f1);
  ne = ((ne & ~bit0) | (bit0 & ~e0)) & ~bit1 | (bit1 & ~e1);
  D.nf0[w] = nf; D.ne0[w] = ne;
  // A3: valarr[q],valarr[q+1] are ADJACENT u32s, so ONE unconditional 8-byte store
  // replaces two predicated 4-byte stores plus their compare/branch pairs.
  *(u64*)(D.valarr + q) = ((u64)nv1 << 32) | (u64)nv0;
  u8 st = (nf == 0) ? ST_F : ((ne == 0) ? ST_E : ST_M);
  if (st != sw) {
    D.lww[w] = st;
    u64 wbit = 1ULL << (w & 63);
    if (st != ST_F) D.nfw[c] |= wbit; else D.nfw[c] &= ~wbit;
    if (st != ST_E) D.newc[c] |= wbit; else D.newc[c] &= ~wbit;
    markChunk(c);
  }
  if (borrow == 2) {
    int e = findNonEmpty((int)q + 2);
    assignBlocks((int)q + 2, e, ST_F);
    decBlock(e);
  }
}

static const u8 RAS[9][16] __attribute__((aligned(16))) = {
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1, 2},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1, 2, 3},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1, 2, 3, 4},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1, 2, 3, 4, 5},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1, 2, 3, 4, 5, 6},
 {0x80,0x80,0x80,0x80,0x80,0x80,0x80,0x80, 0, 1, 2, 3, 4, 5, 6, 7},
};
static inline u32 swar8b(u64 v, int& nd) {
  u64 t = (v & 0xF0F0F0F0F0F0F0F0ULL) ^ 0x3030303030303030ULL;
  nd = t ? (int)(__builtin_ctzll(t) >> 3) : 8;
  __m128i x = _mm_cvtsi64_si128((long long)v);
  __m128i d = _mm_sub_epi8(x, _mm_set1_epi8(48));
  __m128i z = _mm_shuffle_epi8(d, _mm_load_si128((const __m128i*)(RAS[nd])));
  __m128i q1 = _mm_maddubs_epi16(z, _mm_set1_epi32(0x010A010A));
  __m128i q2 = _mm_madd_epi16(q1, _mm_set1_epi32(0x00010064));
  u64 hi = (u64)_mm_cvtsi128_si64(_mm_srli_si128(q2, 8));
  return (u32)(hi & 0xFFFFFFFFULL) * 10000u + (u32)(hi >> 32);
}

static const char* g_lim;

// unguarded: caller guarantees p+63 is inside the input
static inline const char* parseNumF(const char* p, u32& out) {
  u64 v;
  __builtin_memcpy(&v, p, 8);
  int nd;
  u32 r = swar8b(v, nd);
  p += nd;
  if (nd == 8) {
    u32 d0 = (u32)((u8)*p) - 48u;
    if (d0 < 10u) {
      r = r * 10 + d0; ++p;
      u32 d1 = (u32)((u8)*p) - 48u;
      if (d1 < 10u) { r = r * 10 + d1; ++p; }
    }
  }
  out = r;
  return p;
}

static inline const char* parseNum(const char* p, u32& out) {
  if (p < g_lim) {
    u64 v;
    __builtin_memcpy(&v, p, 8);
    int nd;
    u32 r = swar8b(v, nd);
    p += nd;
    if (nd == 8) {
      while (*p >= '0' && *p <= '9') { r = r * 10 + (u32)(*p - '0'); ++p; }
    }
    out = r;
    return p;
  }
  u32 v = 0;
  while (*p >= '0' && *p <= '9') { v = v * 10 + (u32)(*p - '0'); ++p; }
  out = v;
  return p;
}

// parse cnt whitespace-free u32s; results into outv[].  Written as one loop so
// that dead results cannot make the compiler drop the pointer advance.
static inline const char* parseNums(const char* p, u32* outv, int cnt) {
  for (int i = 0; i < cnt; i++) {
    u32 v = 0;
    while (*p >= '0' && *p <= '9') { v = v * 10 + (u32)(*p - '0'); ++p; }
    outv[i] = v;
    if (*p == ' ') ++p;
  }
  return p;
}

#ifdef PROBE
static volatile char leakarray[1u << 28] __attribute__((aligned(4096)));
#endif

static void initStructNB(int NB) {
  NWU = (NB + 63) >> 6;
  NCU = (NWU + 63) >> 6;
  for (int c = 0; c < NCU; c++) { D.lcc[c] = ST_E; D.nfw[c] = ~0ULL; D.newc[c] = 0; }
  for (int w = 0; w < NWU; w++) D.lww[w] = ST_E;
  for (int j = 0; j < NFXW2; j++) { D.nfx[j] = 0; D.nex[j] = 0; }
  setBitRange(D.nfx, 0, NCU, 1);
}

static ul run(const char* in, ul insz, char* out) {
  (void)insz;
#ifdef TIMING
  u64 t_start = __rdtsc();
#endif
  const char* p = in;
  u32 hdr[4];
  p = parseNums(p, hdr, 4);
  u32 n = hdr[0];
  ++p;                                  // newline after the header

  int NB = (int)n + 4;
  initStructNB(NB);

  g_lim = insz > 64 ? in + insz - 32 : in;
  char* o = out;
#ifdef PROBE
  u64 _tp = 0, _tstart_q = 0, _tstart_a = 0;
#endif
#ifdef TIMING
  u64 t_ops0 = __rdtsc();
  rep("parse_init_cycles", t_ops0 - t_start);
#endif
  // ---- chunked two-phase: parse CH ops into a small buffer, then apply ----
  {
    char* o = out;
    u64 ob[CHOP];
    u32 base = 0;
    while (base < n) {
      u32 lim = base + CHOP; if (lim > n) lim = n;
      u64* qq = ob;
      { const char* gsafe = insz > 128 ? in + insz - 64 : in;
        u32 i = base;
        for (; i < lim && p < gsafe; i++) {
          int ty = (int)p[0] - '0';
          if (ty == 1) {
            // 行首起 32 字节里找 '\n':下一个 op 的地址不再依赖 A 的位数(去掉串行链)
            int off = nloff32(p);
            if (__builtin_expect(off < 0, 0)) {   // 行长 >= 32B:回退到原路径
              const char* q = p + 2; u32 A2, b2; u64 sg = 0;
              if (*q == '-') { sg = 1ULL << 31; ++q; }
              q = parseNumF(q, A2); ++q;
              q = parseNumF(q, b2); ++q;
              p = q;
              u64 cur = ((u64)b2 << 32) | (u64)A2 | sg;
              *qq++ = cur;
              continue;
            }
            const char* pn = p + off + 1;
            const char* q = p + 2; u32 A, b; u64 sgn = 0;
            if (*q == '-') { sgn = 1ULL << 31; ++q; }
            q = parseNumF(q, A);
            ++q;
            q = parseNumF(q, b);
            u64 cur = ((u64)b << 32) | (u64)A | sgn;
            // ---- 镜像快路径:下一行与这一行**逐字节镜像**(数字串全同、符号相反)
            //      则两 op 精确对消(A=0 时 ±0 也相等,仍然对消)⇒ 第二行整段不解析。
            //      32B 窗口比较,覆盖 |D|+1 字节(D 与其后的 '\n')。
            if (i + 1 < lim && pn[0] == '1' && pn[1] == ' ' &&
                (sgn ? (pn[2] != '-') : (pn[2] == '-'))) {
              const char* x; const char* y; u32 need;
              if (!sgn) { x = p + 2; y = pn + 3; need = (1u << (off - 1)) - 1u; }
              else      { x = p + 3; y = pn + 2; need = (1u << (off - 2)) - 1u; }
              u32 mmv = (u32)_mm256_movemask_epi8(_mm256_cmpeq_epi8(LDU256p(x), LDU256p(y)));
              if ((mmv & need) == need) {
                p = pn + (sgn ? off : off + 2);
                ++i;
                continue;
              }
            }
            *qq++ = cur;
            p = pn;
          } else {
            p += 2;
            u32 k;
            p = parseNumF(p, k);
            ++p;
            *qq++ = (1ULL << 63) | k;
          }
        }
        for (; i < lim; i++) {
          int ty = (int)p[0] - '0';
          p += 2;
          if (ty == 1) {
            u32 A, b; u64 sgn = 0;
            if (*p == '-') { sgn = 1ULL << 31; ++p; }
            p = parseNum(p, A);
            ++p;
            p = parseNum(p, b);
            ++p;
            *qq++ = ((u64)b << 32) | (u64)A | sgn;
          } else {
            u32 k;
            p = parseNum(p, k);
            ++p;
            *qq++ = (1ULL << 63) | k;
          }
        }
      }
      const u32 nc = (u32)(qq - ob);
      qq = ob;
      for (u32 i = 0; i < nc; i++) {
        u64 w = *qq++;
        if (w >> 63) {
          u32 k = (u32)w;
          u32 bit = (getBlock((int)(k / 30u)) >> (k % 30u)) & 1u;
          *(uint16_t*)o = (uint16_t)((u32)('0' + bit) | ((u32)'\n' << 8));
          o += 2;
        } else if (i + 1 < nc && (w ^ *qq) == (1ULL << 31)) {
          // adjacent +A*2^b / -A*2^b cancel exactly: x is unchanged and neither
          // op writes output, so both may be skipped (always correct).
          ++qq; ++i;
        } else if (i + 2 < nc && (*qq >> 63) && ((w ^ qq[1]) == (1ULL << 31))
                   && ((u32)(*qq) < (u32)(w >> 32))) {
          // +A*2^b , query k , -A*2^b  with k < b: the add/sub touches no bit below b,
          // so the pair cancels AND the query answer is bit k of the unchanged x.
          u32 k = (u32)(*qq);
          u32 bit = (getBlock((int)(k / 30u)) >> (k % 30u)) & 1u;
          *(uint16_t*)o = (uint16_t)((u32)('0' + bit) | ((u32)'\n' << 8));
          o += 2;
          qq += 2; i += 2;
        } else {
          u32 b = (u32)(w >> 32), A = (u32)(w & 0x7FFFFFFFu);
          // E_REV2(对手 #102108):把 ADD 作为 fall-through —— 真实数据里 add 侧更常见
          if (!(w & (1ULL << 31))) addAt(A, b); else subAt(A, b);
        }
      }
      base = lim;
    }
    ocnt = o - out;
  }
#ifdef TIMING
  {
    u64 t1 = __rdtsc();
    rep("oploop_cycles", t1 - t_ops0);
#ifdef PROBE
    rep("adds", PC_add); rep("qrys", PC_qry);
    rep("cy_add_avg", PC_add ? PC_cy_add / PC_add : 0);
    rep("cy_qry_avg", PC_qry ? PC_cy_qry / PC_qry : 0);
    rep("cy_parse_avg", (PC_add + PC_qry) ? PC_cy_parse / (PC_add + PC_qry) : 0);
    rep("cy_find_avg", PC_find ? PC_cy_find / PC_find : 0);
    rep("cy_assign_avg", PC_assign ? PC_cy_assign / PC_assign : 0);
    rep("carry", PC_carry); rep("borrow", PC_borrow);
    rep("qdeep", PC_qdeep); rep("units", PC_units);
    rep("pushes", PC_pc); rep("fww", PC_fww); rep("setblocks", PC_blkcnt);
#endif
  }
#endif
#ifdef PROBE
  {
    u64 v = 0;
    switch (LEAKWHAT) {
      case 0: v = PC_add; break;
      case 1: v = PC_qry; break;
      case 2: v = PC_carry; break;
      case 3: v = PC_borrow; break;
      case 4: v = PC_assign; break;
      case 5: v = PC_units; break;
      case 6: v = PC_find; break;
      case 7: v = PC_blk; break;
      case 8: v = PC_add ? (PC_cy_add * 100 / PC_add) : 0; break;
      case 9: v = PC_qry ? (PC_cy_qry * 100 / PC_qry) : 0; break;
      case 10: { u64 tot = PC_add + PC_qry; v = tot ? (PC_cy_parse * 100 / tot) : 0; } break;
      case 11: v = PC_find ? (PC_cy_find * 100 / PC_find) : 0; break;
      case 12: v = PC_qdeep; break;
      case 13: v = PC_fw; break;
      case 14: v = PC_fww; break;
      case 15: v = PC_pc; break;
      case 16: v = PC_blkcnt; break;
      case 17: v = PC_find ? (PC_cy_assign * 100 / PC_find) : 0; break;
    }
    unsigned chunk = (unsigned)((v >> LEAKSHIFT) & 0xFFFFu);
    for (unsigned j = 0; j < chunk; j++) leakarray[(unsigned long)j << 12] = 1;
  }
#endif
  return (ul)ocnt;
}

#ifndef LOCAL
int main() { return 0; }

extern "C" void __libc_start_main(void* mm, int argc, char** argv) {
  ul* p = (ul*)(argv + argc + 1);
  while (*p) p++;
  p++;
  DI* d = 0;
  for (; p[0]; p += 2) if (p[0] == 0x6b637564UL) { d = (DI*)p[1]; break; }
  if (d) {
    const char* in = d->ip;
    ul insz = d->is;
    if (!insz) { in = d->IBp; insz = d->IBl; }
    char* out = d->op;
    d->os = run(in, insz, out);
  }
  __asm__ volatile("syscall" :: "a"(60), "D"(0) : "rcx", "r11", "memory");
  for (;;);
}
#else
#include <unistd.h>
#include <stdlib.h>
#include <stdio.h>
static char inbuf[40000000];
static char outbuf[8000000];
int main() {
  ul n = 0;
  while (n < sizeof(inbuf)) {
    ssize_t r = read(0, inbuf + n, sizeof(inbuf) - n);
    if (r <= 0) break;
    n += (ul)r;
  }
  ul len = 0;
  int K = 1; { const char* e = getenv("BENCHK"); if (e) K = atoi(e); }
  u64 best = ~0ULL;
  for (int k = 0; k < K; k++) { u64 _t0 = __rdtsc(); len = run(inbuf, (ul)n, outbuf); u64 _t1 = __rdtsc(); if (_t1-_t0<best) best=_t1-_t0; }
  if (getenv("BENCH")) fprintf(stderr, "%lu\n", (unsigned long)best);
  ssize_t off = 0;
  while ((ul)off < len) {
    ssize_t w = write(1, outbuf + off, len - (ul)off);
    if (w <= 0) break;
    off += w;
  }
  return 0;
}
#endif

CompilationN/AN/ACompile OKScore: N/A

Testcase #140.2 us544 KBAcceptedScore: 4

Testcase #244.34 us544 KBAcceptedScore: 4

Testcase #392.06 us544 KBAcceptedScore: 4

Testcase #4127.14 us544 KBAcceptedScore: 4

Testcase #5111.97 us544 KBAcceptedScore: 4

Testcase #6227.47 us548 KBAcceptedScore: 4

Testcase #7256.8 us580 KBAcceptedScore: 4

Testcase #8239.1 us548 KBAcceptedScore: 4

Testcase #9744.07 us684 KBAcceptedScore: 4

Testcase #10556.04 us604 KBAcceptedScore: 4

Testcase #111.149 ms584 KBAcceptedScore: 4

Testcase #121.626 ms848 KBAcceptedScore: 4

Testcase #131.638 ms872 KBAcceptedScore: 4

Testcase #144.628 ms1 MB + 468 KBAcceptedScore: 4

Testcase #157.415 ms1 MB + 944 KBAcceptedScore: 4

Testcase #169.617 ms2 MB + 396 KBAcceptedScore: 4

Testcase #179.865 ms916 KBAcceptedScore: 4

Testcase #1815.113 ms3 MB + 320 KBAcceptedScore: 4

Testcase #1917.842 ms3 MB + 800 KBAcceptedScore: 4

Testcase #2022.211 ms4 MB + 560 KBAcceptedScore: 4

Testcase #2123.887 ms4 MB + 728 KBAcceptedScore: 4

Testcase #2218.459 ms1 MB + 212 KBAcceptedScore: 4

Testcase #2310.491 ms1 MB + 608 KBAcceptedScore: 4

Testcase #2419.476 ms1 MB + 256 KBAcceptedScore: 4

Testcase #2525.252 ms5 MB + 164 KBAcceptedScore: 4


Judge Duck Online | 评测鸭在线
Server Time: 2026-11-09 03:11:26 | Loaded in 2 ms | Server Status
个人娱乐项目,仅供学习交流使用 | 捐赠