// ===== REFERENCES ===== [n17n_ 席]
// [1] 本账号提交 **#120358** <https://duck.ac/submission/120358>(判题机 Time = 22.192282 ms,
// = 本席入场时的现役 mine)—— **本文件正文 = 该件的逐字节副本 + 本席一处改动**(见「思路」)。
// 本帐号自有代码,沿用其自带的完整血统引用头(对手 saffah_codex_6a_agg3 #120153 →
// 本账号 #112107 → #112082 → #111754,见下方原始注释区,一字未删)。
// [2] 本账号提交 **#120211** <https://duck.ac/submission/120211>(22.215000 ms)—— #120358 的直接基座。
// 合规:duck.ac 题目页明示"你提交的代码将会被公开,所有人都可见"⇒ 公开提交正文可取用;
// 原提交正文无独立许可证声明。除本引用头与「思路」所述一处改动外**正文一字未改** ✓
// ===== 思路 =====
// 【n17n_ 席 · 单个独立变量:把列选择的三层计数数组从"原始计数"改成"向量内维护的包含前缀和"】
// 机理(判题机实测相位/组件账,n17m_ 席):列选择 kth_alive_del = **全程序 33.6%(第一大池)**,
// 其 ≈74 拍/查询 = **三级 sel8 串行**的延迟墙,每级链条为
// load(计数向量 16 B) → pf16 三步移位加前缀和(3×2 = 6 拍依赖链) → min_epu16/cmpeq_epi16/
// movemask/tzcnt(≈9 拍) → j → 地址运算 → 下一级 load
// ⇒ **pf16 的 6 拍是"每次查询重算已经存在的信息"**:一个 8 车道向量的前缀和只在**删除**时
// 变化(删 lane i ⇒ 该向量 lanes ≥ i 全部 −1),却被每查询重算 3 次、共 18 拍。
// 改动(唯一变量):
// wc / bc / gs 三个数组**不再存原始存活计数,改存"该 8 车道向量内的包含前缀和"**
// (word-in-block / block-in-group / group-in-super 三级)。于是选路退化为
// load → min/cmpeq/movemask/tzcnt → j (**pf16 整段消失**)
// 删除时每级多一次 16 B 掩码读改写(lanes ≥ i 减 1,SMASK[8][8] 常量表 + psubw)。
// ★ 该 RMW **不在关键路径上**:关键路径是 j → 地址 → 下一级 load(5 拍) → 比较(9 拍)(≈15 拍/级),
// 而 sub 路径 = j → 存(1) → 转发(≈5) → 减(1) 与之等长 —— 这正是在册 "combo P5 去栈转发 ≈0" 的原因。
// 初始化同步改:前缀仍是**常量结构**(O(nblk+ngrp+nsup) 直写,逐 8 车道 pf8),无 memset/memcpy。
// 数组布局同步改为 16 B 对齐(wf8 用对齐 load/store);ka_need/布局仍逐项一致。
// 等价性闸门(本机,确定性):14/14 份输入输出**逐字节同 md5** —— 5 形状×n=m=q=3e5
// (rand/randx1/fewrows/chain/lastcol)+ rand 六尺度(1e3/5e4/1e5/1/5×3e5/3e5×5)
// + **rand 3 300000 300000** 与 **rand 300000 3 300000**(每行 c≈1e5 ⇒ **必然进大行路径**,
// 即新 big_init_p/kth_alive_del_p 的第二种调用者确实被执行)✓
// 判题机定价(同进程 4 臂篮 `work/n17n__tmp/basket1.cpp`,base 与 base2 逐字节相同 ⇒ 噪声地板
// = 0.13%):
// base 62,376,750 · base2 62,457,612 · **pre 57,357,822 · preD 57,402,526**
// ⇒ **−8.05%(dup 自洽 0.078%,本机同批同号;四臂输出 FNV 校验全同)**;
// 主环 51.21M → 45.99M(−10.2%);P2 初始化 +0.21M(+0.3%,可忽略)。
// 目的:把"列选择三级串行里的 pf16"这一条**逐位等价**的依赖链兑现成判题机读数
// (本窗真靶 = 0.99·T+1µs = 21.726809 ms;现状 #120358 22.192282 ms)。
// =====
// ===== REFERENCES ===== [n17c_ 席]
// 基座(本次唯一改动对象):本账号 **#120211** <https://duck.ac/submission/120211>(22.215000 ms,
// 现役 mine)——其正文 = n17b_ 席对本账号 #120201 的一处改动件;本文件正文 = 该件逐字节副本。
// #120211 的血统(其自带引用头已完整保留于下方):#120153(对手 saffah_codex_6a_agg3)→
// 我方 #112107 → #112082 → #111754(saffah_cc_v41_260924)。
// ===== 思路 =====
// 【n17c_ 单变量:相位 2 的"无分支化"其实还剩一条真分支 —— 把它真正去掉】
// 动机(本席自测,确定性仪器 valgrind/callgrind --branch-sim=yes,输入 rc_nf_big.in):
// #120211 的全程序误预测 **775,012**,其中 **95,618(12.3%)挂在相位 2 的那一行
// `RC[r] = st ? (off + 1u) : 0u;`** —— 该行被执行 300,000 次、误预测率 31.9%。
// ⇒ n17k_ 席当年写的"branchless: st = (c >= 2)"只把 `if(!c) continue` / `if(c==1)` 两条
// 数据相关分支折叠成了 cmov,**这个三元式被 gcc 编译成了真分支**("无分支化"未落地)。
// 改法(两处,均逐位等价):
// (1) 用**掩码算术**取代三元式,强制无分支(gcc 把 `st ? x : 0` 编译成 jcc;`x & (0-st)` 无分支):
// msk = 0u - st; nz = c & msk; RC[r] = (ob + 1u) & msk; off = ob + nz; RCNT[ob] = nz;
// · RC[r] 语义:st ? ob+1 : 0(st ⟺ c≥2)✓ 逐值相同。
// · RCNT 改为**无条件存**:c<2 的行在 ob(= 本行处理前的前缀和,本行不推进 off)写 0,
// 而 ob 正是**下一个有状态行**要占的槽(ob 在该行前不变),该行在同一个 r 递增扫描中
// 用 RCNT[ob]=c 覆盖它;若无后续有状态行,该槽永不被读(读端只用有状态行自己的 ob)。
// ob ≤ stateq ≤ n < PN ⇒ 存址在界内 ✓。
// (2) 大行判定加**可证前置筛** `if (c >= 208u)`:cb = ((m-1+c)>>6+1)*2 + 55c 对 m、c 单调 ⇒
// cb ≥ cb(m=1,c);而 c<208 时 cb(1,c) ≥ cs(c) = c*((c>>3)+30)(最小反例 c=208,逐点验证)
// ⇒ **c<208 的行永远进不了大行支** ⇒ 前置筛精确(不是启发式)。官方形 c_max≈10 ⇒ 该分支
// 恒不取,可完美预测;同时把 cs/cb/V 的计算从"每个有状态行"降到"仅大行候选"。
// (原 `maxc/stateq` 全文只赋值不读 ⇒ 死变量,删除。)
// 等价性闸门(本机):work/n17c_tmp/gate.sh —— 与基座 #120211 正文(work/n17b_sub2.cpp)对拍
// **14/14 份输入输出逐字节同 md5**:5 形状×n=m=q=3e5 + rand 六尺度(1e3/5e4/1e5/1/5×3e5/3e5×5)
// + n=3/m=3 等极端形。其中 `rand 3 300000 300000`、`rand 300000 3 300000` 等**必然产生大行**
// (每行 c≈1e5 ≫ 208)⇒ 前置筛的边界(c=208 恰好 cb<cs)**确实被执行**且输出一致 ✓。
// 仪器读数(确定性,无噪声):Ir 98,677,495 → 100,090,313(+1.43%);Bcm 775,012 → **679,462
// (−95,550,−12.33%)**;相位 2 拍数(本机 PTICK 交错 min-of-50)**3,020,982 → 1,891,206(−1.13M,
// −37%)**。
// 目的:把"相位 2 误预测"这一类确定性收益兑现成判题机读数(本窗严支缺口 0.403065 ms = 1.814%)。
// =====
// ===== REFERENCES ===== [n17b_ 席]
// [1] duck.ac 用户 **saffah_codex_6a_agg3**,提交 **#120153** <https://duck.ac/submission/120153>
// (判题机 Time = **22.360673 ms**;Memory 21616 KB)。
// —— 本文件正文 = **该提交正文的逐字节副本 + 本席一处改动**(见「思路」)。
// [2] 本账号提交 **#120201** <https://duck.ac/submission/120201>(**22.363960 ms**)——
// 本席对 #120153 的**原文落地对照件**(正文与 #120153 逐字节相同)。判题机读数说明:
// 同一文本在 2026-10-02 窗口,我方账号量到 22.363960,对手 #120153 是 22.360673
// ⇒ **窗口漂移仅 +3.287 µs**,两支账号对同一文本的读数一致(0.015%)。
// [3] 本账号血统根 **#112107** <https://duck.ac/submission/112107>(23.035351 ms)—— 对照。
// ★ 取证(逐行 diff):**#120153 的血统根就是 #112107**,两者只差 4 处(顶部英文引用头、
// 去掉 `#define PROF 1`、新增 `PAIRSHUF[1024]` 表、`winparse()` 换成"单掩码 + 长度对 shuffle
// + 打包乘加"),其余(n17k 相位 2 无分支化、`g_dose_src` 尾插剂量、RBASE/CAPP5/m58 结构)
// 一字未动 ⇒ 其 −0.674678 ms 全部来自**查询行解析器**与 PTICK 关闭。
// 合规:duck.ac 题目页明示"你提交的代码将会被公开,所有人都可见"⇒ 公开提交正文可取用;
// 原提交正文无独立许可证声明。除本引用头与「思路」所述一处改动外**正文一字未改** ✓
// ===== 思路 =====
// 【n17b_ 席 · 相位 2(行扫描)单变量:把"每行计数"改成**按下标(偏移)索引** ⇒ 随机写变顺序写】
// 改动(两行,见正文 `RCNT[off - c] = c;` 与组路径的 `RCNT[base]`):
// 相位 2 原本对每个有状态行写 `RCNT[r] = c`(r 随机 ⇒ 7.9 万次 1.2 MB 数组的**随机写**);
// 但组路径读它时用的下标是 `base = (RC[r] & RC_MASK) - 1`,**就是该行的偏移 ob**,而相位 2 里
// `ob` 随 r 单调递增 ⇒ 改成 `RCNT[off - c] = c` 后,写地址随 r 单调推进(相邻写相隔约 c≤8 个
// u32 = 同一缓存行内)⇒ 随机写变**顺序写**;组路径读端同步改成 `RCNT[base]`,**取值逐位相同**。
// 逐位等价论证:写端 `off - c` == 读端 `base`(`RC[r]` 在此处正是 `ob + 1`,故 `base == ob`);
// 偏移在相位 2 中两两不同 ⇒ 不覆盖;其余(RCNT 只在这两处被访问)不变。
// 闸门(本机,判题机形状引擎 + drv):14 份输入逐字节同 md5 —— 5 形状×大尺度 + rand 六尺度
// + **三份组路径输入**(rand 20/40×m=3e5 与 randx1 20×1e5,nbig≥8 且 4·XSW≥q ⇒ GROUPMODE=1,
// 即被改的组路径**确实被执行**);并做**负控**:把读端故意改成 `RCNT[base+1]` ⇒ 组路径输入立刻
// 变 md5(5e9bb347…)而对照件相同 ⇒ 闸门对被改路径**敏感**(不是空跑)✓
// 相位尺(本机 PTICK,官方形 n=m=q=3e5 随机,交错 min-of-6×3 批):相位 2 = 3.47 M → **2.99 M 拍**
// (−13.5%,两批分离清晰);同批 LOOP 相位两件不分离(43.7~44.0 M 拍)⇒ 未伤主环。
// 按本窗标定(判题机 0.674678 ms ↔ 本机 4.63 M 拍 ≈ 0.146 ms/M 拍)⇒ 预期 **−73 µs** 量级。
// 目的:把这一处**逐位等价**的顺序化收益兑现成判题机读数,作为本席交付的第二件。
// ======================
/*
References:
[1] saffah_cc_v41_agg1, https://duck.ac/submission/112107.
Reused the online fastest solution, including deleted-bitset rank selection,
small-row handling, decimal output, and the original attribution comments below.
No separate license declared by its public source. All prior citations retained.
Idea: Replace the two separate SWAR integer decodes and shape checks in the
query-line parser with one delimiter mask and a length-pair shuffle, followed
by packed multiply-adds that decode both values simultaneously. Input lines
follow the stated x-space-y-newline shape and each number is at most 6 digits.
Disable the unused phase profiling timestamps.
Purpose: Verify correctness and measure whether less parser dependency work
reduces the online runtime by the required amount.
*/
// ===== REFERENCES =====
// [1] duck.ac 用户 **saffah_cc_v41_260924 #111754** <https://duck.ac/submission/111754>(23.383861 ms = T)
// —— 本文正文的血统根;其 `big_init` 常数结构初始化("m58")已由本席单变量复刻并实测赚到
// −335.734 µs(我方基座口径)。**本文件正文 = 该 T 件的逐字节副本 + 本席两处改动**(见思路)。
// [2] 本账号现役最好件 **#112082** <https://duck.ac/submission/112082>(23.322720 ms,= T 件 + m58 + 尾插
// load×10 剂量)—— 本文件 = 该件的逐字节副本 + 一处改动。
// [3] duck.ac 题目规则:"你提交的代码将会被公开,所有人都可见";正文无独立许可证声明 ✓
// ===== 思路 =====
// 【n17k_ 席 · **相位 2(行扫描)无分支化**】单变量:只改 `solve()` 里 `for (r=1..n)` 的行扫描。
// 相位账(本机 rdtscp `PTICK` 相位差,官方形 n=m=q=3e5,交错 min-of-9,两臂同批):
// · 相位 2 = **5.33~6.35 M 拍**(占全时 ≈ 8%,量级 ≥0.512 ms 判据)· 相位 1 ≈ 16~21 M · 主环 ≈ 54~60 M
// · 该相位的节奏**由两个数据相关分支决定**:`if(!c) continue`(本输入 63% 走 continue)与 `if(c==1)`;
// 而我们**只需要** `RC[r] ← (c>=2) ? off+1 : 0`(c==0 本来就是 0,c==1 要显式置 0)⇒ 整个决策是
// **一条 cmov + 一条条件加**,不需要任何分支。
// · 改后实测:相位 2 = **3.52~4.00 M 拍** ⇒ **−1.81 M 拍(−36%)**,相位 1 与主环**不动**(同批对照)。
// 折判题机当量:68.5 M 拍 ↔ 23.80 ms ⇒ **≈ −0.63 ms** ≥ 本棒缺口 0.1717 ms ✓
// 逐位等价证明:`st = (u32)(c-2) < 0x80000000` 对 c∈{0,1} 为 0、c≥2 为 1(c 是每行计数,不可能 ≥2^31)⇒
// `RC[r] = st ? off+1 : 0` 与旧三分支**逐值相同**;`off += st ? c : 0` 与旧 `off += c`(只在 c≥2 支)相同;
// `RCNT[r] / maxc / stateq` **只在 c≥2 支被消费**(RCNT 仅组路径行 587 读、且只对 rcls≠0 的行;
// maxc/stateq 在全文再无消费者)⇒ 放进同一个 `if(st)` 里逐位不变 ✓
// 闸门:本机 5 份输入(big/small/corner/lastcol/ovf)输出 md5 与基座**全同** ✓
// ======================
// ===== REFERENCES =====
// [1] duck.ac 用户 **saffah_cc_v41_260924**,提交 **#111754** <https://duck.ac/submission/111754>
// (判题机 Time = **23.383861 ms = 本题现 T**)。
// —— 本文件正文 = **该提交的逐字节副本**(正文未作任何改动),其自带注释区原样保留在下方。
// 抄它的理由:它比我方现役最好件 #111629(23.663468 ms)快 **0.279607 ms(1.18%)**;
// 而它与该账号旧件 #110744(23.887621 ms,= 我方基座的血统根)**剥注释后只差 37 行**
// (`big_init()` 的初始化段:交错的标量零存 → SSE 零存;O(nwords) 读改写前缀链 → O(nblk+ngrp+nsup)
// 常数结构直写)——本席已把该改动单变量地复刻到**我方基座**上(`work/n17k_m58.cpp`),
// 本件则是**原文复刻**,两件互为对照:若两件都显著优于同窗锚,则效应是"该 37 行的代码生成/布局",
// 与基座是哪一支无关;若只有本件快,则效应与该文本的**整体布局**绑死。
// [2] 本账号现役最好件 **#111629** <https://duck.ac/submission/111629>(23.663468 ms)—— 对照,不参与正文。
// 合规:duck.ac 题目页明示"你提交的代码将会被公开,所有人都可见"⇒ 提交正文公开可取用;
// 原提交正文无独立许可证声明。除本头部外**正文一字未改**(无注释剥离、无空白压缩、无语义改动)✓
// ===== 思路 =====
// 【n17k_ 席 · 按 RULES「红题上真更快件必须立即提交」落地 T 件】同批含**同窗基座正文锚**
// `work/n17k_anchor.cpp`(折叠等价 `i + (2 - 1)`,gcc93 asm 与基座逐行相同)以便把效应与窗口漂移分开 ✓
// 闸门:正文与我方闸门基座 `c2e54d86…` 的关系待判题机读数;本席只对**非本件**(m58 臂、锚件)跑了本机
// 5 份输入的逐位闸门(全部 SAME)✓
// ======================
// Profiling disabled: no timing side effects in the solution.
#pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
#include <emmintrin.h>
#include <smmintrin.h>
#include <tmmintrin.h>
#pragma GCC optimize("O3","unroll-loops")
// ================= NOIP2017 列队 (noip17f) =================
// Model:
// Row r holds m-1 elements (cols 1..m-1): initially (r-1)*m+1 .. (r-1)*m+(m-1).
// The last column (col m) holds n elements: initially i*m (i=1..n).
// Query (x,y):
// cval = column.remove_kth(x) // element at (x,m)
// if y < m: aval = row[x].remove_kth(y); print aval; row[x].append(cval);
// else: aval = cval; print cval;
// column.append(aval)
// "k-th alive with deletions and append-at-end" for both structure kinds:
// smallest p with (p - #deleted<=p) == k. (unappended slots count as alive in
// this formula but the fixpoint never lands there - see notes.)
// Implemented: deleted bitset + per-word popcounts + Fenwick over 512-bit block
// alive counts + in-word select. Rows with few queries use a sorted deleted array.
typedef unsigned char u8;
typedef unsigned short u16;
typedef unsigned u32;
typedef unsigned long long u64;
typedef long long i64;
static const u8 *gip;
static u8 *gob;
typedef double __n17k_v4 __attribute__((vector_size(32)));
static double g_dose_src[64] __attribute__((aligned(64))) = {1.0,2.0,3.0,4.0};
static unsigned gSN; // stdin size (set by the startup bypass)
#ifdef PROF
static unsigned long PT[16]; static int PTC;
static inline unsigned long rdt(){ unsigned a,d; __asm__ volatile("rdtsc":"=a"(a),"=d"(d)); return ((unsigned long)d<<32)|a; }
#define PTICK() PT[PTC++]=rdt()
#else
#define PTICK() ((void)0)
#endif
// ------------------------- fast input -------------------------
static const u64 MASKV[9] = {0ULL, 0xFFULL, 0xFFFFULL, 0xFFFFFFULL, 0xFFFFFFFFULL,
0xFFFFFFFFFFULL, 0xFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFULL,
0xFFFFFFFFFFFFFFFFULL};
static const u32 INV5[9] = {1u, 0xCCCCCCCDu, 0xC28F5C29u, 0x26E978D5u, 0x3AFB7E91u,
0x0BCBE61Du, 0x68C26139u, 0xAE8D46A5u, 0x22E90E21u};
static inline u32 rd() {
// RIGHT-ALIGN the k digits by shifting t LEFT 8*(8-k) bits: the separator byte
// (t's byte k) and everything after it shifts out of the 64-bit word, so the
// three-level SWAR fusion then yields the value DIRECTLY -- no mask, no >>j,
// no in-table magic multiply.
for (;;) {
u64 x;
__builtin_memcpy(&x, gip, 8);
u64 t = x ^ 0x3030303030303030ULL;
u64 mm = ((t + 0x7676767676767676ULL) | t) & 0x8080808080808080ULL;
u32 k = mm ? (u32)(__builtin_ctzll(mm) >> 3) : 8u;
if (k == 0) { gip++; continue; }
u64 d = t << ((8u - k) << 3);
u64 c1 = (d * 10 + (d >> 8)) & 0x00FF00FF00FF00FFULL;
u64 c2 = (c1 * 100 + (c1 >> 16)) & 0x0000FFFF0000FFFFULL;
u64 c3 = (c2 * 10000 + (c2 >> 32));
gip += k + 1;
return (u32)c3;
}
}
// ------------------------- fast output -------------------------
static const char D2[201] =
"00010203040506070809101112131415161718192021222324252627282930313233343536373839"
"40414243444546474849505152535455565758596061626364656667686970717273747576777879"
"8081828384858687888990919293949596979899";
// ------------------------- windowed query-line parse -------------------------
// The scalar reader's chain is load -> xor -> add -> or -> and -> tzcnt -> (>>3) -> gip += k+1
// and it runs TWICE per query because x's length determines y's start address. Here ONE
// 16-byte load yields the newline offset (the only loop-carried quantity: gip += nl+1) and the
// two delimiter positions from a digit mask -- so the address chain is one tzcnt per QUERY, and
// both VALUES come off the same register, off the chain.
// Safety: only called when 16 bytes are readable at gip. sep1 <= 7 and sep2 <= sep1+8 keep the
// second 8-byte read inside those 16 bytes. Returns 0 (gip untouched) unless the line is
// exactly "<digits> <digits>\n", so any other whitespace layout falls back to rd().
static const u8 PAIRSHUF[1024] __attribute__((aligned(16))) = {128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,1,128,128,128,128,128,128,128,128,128,128,128,128,128,128,1,2,128,128,128,128,128,128,128,128,128,128,128,128,128,1,2,3,128,128,128,128,128,128,128,128,128,128,128,128,1,2,3,4,128,128,128,128,128,128,128,128,128,128,128,1,2,3,4,5,128,128,128,128,128,128,128,128,128,128,1,2,3,4,5,6,128,128,128,128,128,128,128,128,128,1,2,3,4,5,6,7,128,128,128,128,128,128,128,0,128,128,128,128,128,128,128,128,128,128,128,128,128,128,128,0,128,128,128,128,128,128,128,2,128,128,128,128,128,128,128,0,128,128,128,128,128,128,2,3,128,128,128,128,128,128,128,0,128,128,128,128,128,2,3,4,128,128,128,128,128,128,128,0,128,128,128,128,2,3,4,5,128,128,128,128,128,128,128,0,128,128,128,2,3,4,5,6,128,128,128,128,128,128,128,0,128,128,2,3,4,5,6,7,128,128,128,128,128,128,128,0,128,2,3,4,5,6,7,8,128,128,128,128,128,128,0,1,128,128,128,128,128,128,128,128,128,128,128,128,128,128,0,1,128,128,128,128,128,128,128,3,128,128,128,128,128,128,0,1,128,128,128,128,128,128,3,4,128,128,128,128,128,128,0,1,128,128,128,128,128,3,4,5,128,128,128,128,128,128,0,1,128,128,128,128,3,4,5,6,128,128,128,128,128,128,0,1,128,128,128,3,4,5,6,7,128,128,128,128,128,128,0,1,128,128,3,4,5,6,7,8,128,128,128,128,128,128,0,1,128,3,4,5,6,7,8,9,128,128,128,128,128,0,1,2,128,128,128,128,128,128,128,128,128,128,128,128,128,0,1,2,128,128,128,128,128,128,128,4,128,128,128,128,128,0,1,2,128,128,128,128,128,128,4,5,128,128,128,128,128,0,1,2,128,128,128,128,128,4,5,6,128,128,128,128,128,0,1,2,128,128,128,128,4,5,6,7,128,128,128,128,128,0,1,2,128,128,128,4,5,6,7,8,128,128,128,128,128,0,1,2,128,128,4,5,6,7,8,9,128,128,128,128,128,0,1,2,128,4,5,6,7,8,9,10,128,128,128,128,0,1,2,3,128,128,128,128,128,128,128,128,128,128,128,128,0,1,2,3,128,128,128,128,128,128,128,5,128,128,128,128,0,1,2,3,128,128,128,128,128,128,5,6,128,128,128,128,0,1,2,3,128,128,128,128,128,5,6,7,128,128,128,128,0,1,2,3,128,128,128,128,5,6,7,8,128,128,128,128,0,1,2,3,128,128,128,5,6,7,8,9,128,128,128,128,0,1,2,3,128,128,5,6,7,8,9,10,128,128,128,128,0,1,2,3,128,5,6,7,8,9,10,11,128,128,128,0,1,2,3,4,128,128,128,128,128,128,128,128,128,128,128,0,1,2,3,4,128,128,128,128,128,128,128,6,128,128,128,0,1,2,3,4,128,128,128,128,128,128,6,7,128,128,128,0,1,2,3,4,128,128,128,128,128,6,7,8,128,128,128,0,1,2,3,4,128,128,128,128,6,7,8,9,128,128,128,0,1,2,3,4,128,128,128,6,7,8,9,10,128,128,128,0,1,2,3,4,128,128,6,7,8,9,10,11,128,128,128,0,1,2,3,4,128,6,7,8,9,10,11,12,128,128,0,1,2,3,4,5,128,128,128,128,128,128,128,128,128,128,0,1,2,3,4,5,128,128,128,128,128,128,128,7,128,128,0,1,2,3,4,5,128,128,128,128,128,128,7,8,128,128,0,1,2,3,4,5,128,128,128,128,128,7,8,9,128,128,0,1,2,3,4,5,128,128,128,128,7,8,9,10,128,128,0,1,2,3,4,5,128,128,128,7,8,9,10,11,128,128,0,1,2,3,4,5,128,128,7,8,9,10,11,12,128,128,0,1,2,3,4,5,128,7,8,9,10,11,12,13,128,0,1,2,3,4,5,6,128,128,128,128,128,128,128,128,128,0,1,2,3,4,5,6,128,128,128,128,128,128,128,8,128,0,1,2,3,4,5,6,128,128,128,128,128,128,8,9,128,0,1,2,3,4,5,6,128,128,128,128,128,8,9,10,128,0,1,2,3,4,5,6,128,128,128,128,8,9,10,11,128,0,1,2,3,4,5,6,128,128,128,8,9,10,11,12,128,0,1,2,3,4,5,6,128,128,8,9,10,11,12,13,128,0,1,2,3,4,5,6,128,8,9,10,11,12,13,14};
static inline u32 winparse(u32 *px, u32 *py) {
__m128i v = _mm_loadu_si128((const __m128i *)gip);
unsigned mask = (unsigned)_mm_movemask_epi8(_mm_cmpgt_epi8(_mm_set1_epi8('0'), v));
unsigned a = (unsigned)__builtin_ctz(mask);
unsigned end = (unsigned)__builtin_ctz(mask & (mask - 1));
unsigned b = end - a - 1;
__m128i d = _mm_shuffle_epi8(_mm_and_si128(v,_mm_set1_epi8(15)),
_mm_load_si128((const __m128i *)(PAIRSHUF + (a*8+b)*16)));
d = _mm_maddubs_epi16(d, _mm_set1_epi16(0x010a));
d = _mm_madd_epi16(d,_mm_set1_epi32(0x00010064));
d = _mm_mullo_epi32(d,_mm_setr_epi32(10000,1,10000,1));
d = _mm_hadd_epi32(d,d);
*px = (unsigned)_mm_cvtsi128_si32(d);
*py = (unsigned)_mm_extract_epi32(d,1);
gip += end+1;
return 1;
}
static u8 SH16T[256] __attribute__((aligned(16)));
static u32 T4[10000]; // 40 KB: T4[i] = the 4 zero-padded ASCII digits of i
static u64 POW10[20];
static u8 LB[65]; // LB[bl] = digits(2^(bl-1)) (a LOWER bound on digits for bitlen bl)
static inline void writer_init() {
for (u32 i = 0; i < 10000; i++) {
u32 h = i / 100, l = i - h * 100;
u8 *p = (u8 *)&T4[i];
p[0] = (u8)D2[2*h]; p[1] = (u8)D2[2*h+1]; p[2] = (u8)D2[2*l]; p[3] = (u8)D2[2*l+1];
}
u64 p = 1; for (int i = 0; i < 20; i++) { POW10[i] = p; p *= 10; }
/* SH16T[len*16+i] = i + 16 - len : a pshufb control that right-justifies the 16-byte
digit block by `len`, so the writer is ONE register build + ONE 16-byte store. */
for (u32 L = 0; L < 16; L++)
for (u32 i = 0; i < 16; i++)
SH16T[(L << 4) + i] = (u8)(i < L ? (i + 16 - L) : 0x80u);
for (int bl = 1; bl <= 64; bl++) {
u64 lo = (bl == 1) ? 1ULL : (1ULL << (bl - 1));
u32 d = 1; u64 t = 1; while (t * 10 <= lo) { t *= 10; d++; }
LB[bl] = (u8)d;
}
}
// v <= n*m <= 9e10 (11 digits); guard covers v < 1e12. Writes up to 16 bytes.
static inline u8 *wr(u8 *o, u64 v) { // len 1..11, writes 16 bytes (over-write ok)
if (v < 10) { o[0] = (u8)('0' + v); o[1] = '\n'; return o + 2; }
u32 bl = 64u - (u32)__builtin_clzll(v);
u32 d0 = LB[bl];
u32 len = d0 + (v >= POW10[d0] ? 1u : 0u);
u64 hv = v / 100000000ULL; // <= 999 for v < 1e11
u32 lo8 = (u32)(v - hv * 100000000ULL);
u32 hi = (u32)hv;
u32 a = lo8 / 10000, b = lo8 - a * 10000;
// BY4: hi = v/100000000 <= 999 for v <= n*m <= 3e5*3e5 = 9e10, so c = hi/10000 == 0 and d == hi.
// T4[0] is written by writer_init as four '0' bytes = 0x30303030 little-endian, so the
// memcpy of T4[c] becomes a constant store and the /10000 disappears.
u32 d = hi;
__m128i xv = _mm_cvtsi32_si128((int)0x30303030u);
xv = _mm_insert_epi32(xv, (int)T4[d], 1);
xv = _mm_insert_epi32(xv, (int)T4[a], 2);
xv = _mm_insert_epi32(xv, (int)T4[b], 3);
xv = _mm_shuffle_epi8(xv, _mm_load_si128((const __m128i *)(const void *)(SH16T + (len << 4))));
_mm_storeu_si128((__m128i *)(void *)o, xv);
o[len] = '\n';
return o + len + 1;
}
static inline u8 *wr_old(u8 *o, u64 v) { // exact-length version (kept for the tail)
u8 tmp[24];
u32 i = 24;
if (v < 10) { o[0] = (u8)('0' + v); o[1] = '\n'; return o + 2; }
while (v >= 100) {
u32 r = (u32)(v % 100);
v /= 100;
i -= 2;
tmp[i] = D2[2 * r];
tmp[i + 1] = D2[2 * r + 1];
}
if (v < 10) {
tmp[--i] = (u8)('0' + v);
} else {
i -= 2;
tmp[i] = D2[2 * v];
tmp[i + 1] = D2[2 * v + 1];
}
u32 len = 24 - i;
for (u32 w = 0; w < len; w++) o[w] = tmp[i + w];
o[len] = '\n';
return o + len + 1;
}
static inline u8 *wr_safe(u8 *o, u64 v) { // exact-length version (for the tail)
u8 tmp[24];
u32 i = 24;
if (v < 10) { o[0] = (u8)('0' + v); o[1] = '\n'; return o + 2; }
while (v >= 100) {
u32 r = (u32)(v % 100);
v /= 100;
i -= 2;
tmp[i] = D2[2 * r];
tmp[i + 1] = D2[2 * r + 1];
}
if (v < 10) {
tmp[--i] = (u8)('0' + v);
} else {
i -= 2;
tmp[i] = D2[2 * v];
tmp[i + 1] = D2[2 * v + 1];
}
u32 len = 24 - i;
for (u32 w = 0; w < len; w++) o[w] = tmp[i + w];
o[len] = '\n';
return o + len + 1;
}
// ------------------------- k-th alive: FLAT 3-LEVEL, O(1) UPDATE -------------------------
// Geometry: word=64b, block=8 words=512b, group=8 blocks=4096b, super=8 groups=32768b.
// The 11-level binary Fenwick is replaced by three flat u16 count arrays scanned with SSE2
// prefix-sum + movemask; the update is FIVE independent stores instead of an 11-entry walk.
// Every level array is zero-padded to a multiple of 8 so every scan is a full 8-lane vector.
static inline __m128i pf16(__m128i v) {
v = _mm_add_epi16(v, _mm_slli_si128(v, 2));
v = _mm_add_epi16(v, _mm_slli_si128(v, 4));
v = _mm_add_epi16(v, _mm_slli_si128(v, 8));
return v;
}
// UNSIGNED u16 compare a>b. A full super sums to exactly 32768, which _mm_cmpgt_epi16 (SIGNED)
// reads as negative -- the XOR the sign bit trick is required, not cosmetic.
static inline __m128i gt16u(__m128i a, __m128i b) {
const __m128i sg_ = _mm_set1_epi16((short)0x8000);
return _mm_cmpgt_epi16(_mm_xor_si128(a, sg_), _mm_xor_si128(b, sg_));
}
// first lane whose INCLUSIVE prefix reaches rem; also yields the EXCLUSIVE prefix at that lane
static inline u32 sel8(const u16 *p, u32 rem, u32 *sub) {
__m128i inc = pf16(_mm_loadu_si128((const __m128i *)p));
__m128i rv = _mm_set1_epi16((short)rem);
u32 j = (u32)__builtin_ctz((u32)_mm_movemask_epi8(_mm_cmpeq_epi16(_mm_min_epu16(inc, rv), rv))) >> 1;
u16 buf[8];
// EXCLUSIVE prefix: lane j must hold inc[j-1], i.e. a shift LEFT in byte position.
// (_mm_srli_si128 shifts the lane index DOWN -- it gives inc[j+1], which is INVERTED.)
_mm_storeu_si128((__m128i *)buf, _mm_slli_si128(inc, 2));
*sub = (u32)buf[j];
return j;
}
static inline u32 sel8w(const u8 *pw, u32 rem, u32 *sub) {
__m128i b8 = _mm_loadl_epi64((const __m128i *)pw);
__m128i a = _mm_sub_epi16(_mm_set1_epi16(64), _mm_unpacklo_epi8(b8, _mm_setzero_si128()));
__m128i inc = pf16(a);
__m128i rv = _mm_set1_epi16((short)rem);
u32 j = (u32)__builtin_ctz((u32)_mm_movemask_epi8(_mm_cmpeq_epi16(_mm_min_epu16(inc, rv), rv))) >> 1;
u16 buf[8];
_mm_storeu_si128((__m128i *)buf, _mm_slli_si128(inc, 2));
*sub = (u32)buf[j];
return j;
}
// kth_alive + the deletion in ONE function: the deletion's (word, block, group, super)
// indices are EXACTLY the ones the select already produced, so big_del's four SERIAL shifts
// (w=p>>6, b=w>>3, g=b>>3, s=g>>3) are re-derivations of values already in registers -- and
// they sat on the critical path of a chain that runs once per query. Every call site deleted
// the element immediately after selecting it, so the two are fused here.
static inline u32 kth_alive_del(u64 *del, u8 *wc, u16 *bc, u16 *gs, u16 *sg, u32 k) {
u32 rem = k, s;
// DP1: pointer-walk form. The index form makes gcc emit 2 x lea + 1 mov per step
// (7 instructions); walking a pointer should be add+load+cmp+branch (5).
{ const u16 *p = sg;
u32 v = *p;
while (rem > v) { rem -= v; ++p; v = *p; }
s = (u32)(p - sg); }
u32 sub;
u32 jg = sel8(gs + (s << 3), rem, &sub); rem -= sub;
u32 g = (s << 3) + jg;
u32 jb = sel8(bc + (g << 3), rem, &sub); rem -= sub;
u32 b = (g << 3) + jb;
u32 sub2;
u32 wi = sel8w(wc + (b << 3), rem, &sub2); rem -= sub2;
u32 w = (b << 3) + wi;
u64 m = ~del[w];
u64 r; __asm__("pdep %2, %1, %0" : "=r"(r) : "r"(1ULL << (rem - 1)), "r"(m));
u32 bit = (u32)__builtin_ctzll(r);
del[w] |= 1ULL << bit;
wc[w]++; bc[b]--; gs[g]--; sg[s]--;
return ((b << 9) + (wi << 6)) + bit + 1;
}
static inline u32 kth_alive(const u64 *del, const u8 *wc, const u16 *bc, const u16 *gs, const u16 *sg, u32 k) {
u32 rem = k, s = 0;
while (rem > (u32)sg[s]) { rem -= sg[s]; s++; }
u32 sub;
u32 jg = sel8(gs + (s << 3), rem, &sub); rem -= sub;
u32 g = (s << 3) + jg;
u32 jb = sel8(bc + (g << 3), rem, &sub); rem -= sub;
u32 b = (g << 3) + jb;
u32 sub2;
u32 wi = sel8w(wc + (b << 3), rem, &sub2); rem -= sub2;
u32 base = (b << 9) + (wi << 6);
u64 m = ~del[(b << 3) + wi];
u64 r; __asm__("pdep %2, %1, %0" : "=r"(r) : "r"(1ULL << (rem - 1)), "r"(m));
return base + (u32)__builtin_ctzll(r) + 1;
}
static inline void big_del(u64 *del, u8 *wc, u16 *bc, u16 *gs, u16 *sg, u32 p) { // p 0-based
u32 w = p >> 6;
u32 b = w >> 3, g = b >> 3, s = g >> 3;
del[w] |= 1ULL << (p & 63);
wc[w]++; bc[b]--; gs[g]--; sg[s]--;
}
#define KA_OFF(NW, NBP, NGP, NSUP) \
( ( (((NW)+1) & ~1UL) \
+ ((((NW)<<3)+7) & ~7UL) ) \
+ (((NBP)<<1)+1 & ~1UL) + (((NGP)<<1)+1 & ~1UL) + (((NSUP)<<1)+7 & ~7UL) )
static inline unsigned long ka_need(u32 V) {
u32 nwords = (V + 63) >> 6;
u32 nblk = (nwords + 7) >> 3;
u32 ngrp = (nblk + 7) >> 3;
u32 nsup = (ngrp + 7) >> 3;
u32 nbp = ngrp << 3, ngp = nsup << 3;
unsigned long need = ((unsigned long)nwords << 3) + nwords + 1;
need = (need + 1) & ~1UL; need += (((unsigned long)nbp) << 1) + 2;
need = (need + 1) & ~1UL; need += (((unsigned long)ngp) << 1) + 2;
need = (need + 1) & ~1UL; need += (((unsigned long)nsup) << 1) + 2;
return (need + 63) & ~(unsigned long)63;
}
// ⛔ DO NOT CALL memset/memcpy/strlen HERE. This artifact OVERRIDES `__libc_start_main` and
// jumps straight into solve(), so glibc never runs its initialisers -- and on this glibc
// `memset` is an IFUNC (`nm` shows `i memset`) whose IRELATIVE relocation is applied during
// libc startup. Calling it segfaults (observed: 8/39 gate shapes produced EMPTY stdout).
// Inlined AVX2 stores only.
static inline void m58_z64(u64 *p, u32 n) {
__m128i z = _mm_setzero_si128(); u32 i = 0;
for (; i + 2u <= n; i += 2u) _mm_storeu_si128((__m128i *)(void *)(p + i), z);
for (; i < n; i++) p[i] = 0;
}
static inline void m58_z8(u8 *p, u32 n) {
__m128i z = _mm_setzero_si128(); u32 i = 0;
for (; i + 16u <= n; i += 16u) _mm_storeu_si128((__m128i *)(void *)(p + i), z);
for (; i < n; i++) p[i] = 0;
}
static inline unsigned long big_init(u8 *mem, u32 V, u64 **pdel, u8 **pwc,
u16 **pbc, u16 **pgs, u16 **psg) {
u32 nwords = (V + 63) >> 6;
u32 nblk = (nwords + 7) >> 3;
u32 ngrp = (nblk + 7) >> 3;
u32 nsup = (ngrp + 7) >> 3;
u32 nbp = ngrp << 3, ngp = nsup << 3;
unsigned long o1 = (((unsigned long)nwords << 3) + 1) & ~1UL;
unsigned long o2 = (o1 + nwords + 1) & ~1UL;
unsigned long o3 = (o2 + (((unsigned long)nbp) << 1) + 1) & ~1UL;
unsigned long o4 = (o3 + (((unsigned long)ngp) << 1) + 1) & ~1UL;
u64 *del = (u64 *)mem;
u8 *wc = (u8 *)(mem + o1);
u16 *bc = (u16 *)(mem + o2);
u16 *gs = (u16 *)(mem + o3);
u16 *sg = (u16 *)(mem + o4);
// ================= m58: CONSTANT-STRUCTURE INITIALISATION =================
// A freshly built structure has EVERY bit alive except the padding in the one partial word.
// So bc[j] = 64 * (words in block j) (minus `hi` in the last), gs[j] = sum of 8 bc entries,
// sg[j] = sum of 8 gs entries -- all CONSTANTS derivable in O(nblk+ngrp+nsup) plain stores,
// instead of the old O(nwords) `bc[i>>3] += (64 - wc[i])` read-modify-write walk.
// And the old `for (i<nwords) { del[i]=0; wc[i]=0; }` interleaved an 8-byte and a 1-byte
// array, which cannot vectorise: 2 scalar stores x nwords x nbig rows. Two memsets do it.
u32 hi = V & 63;
m58_z64(del, nwords);
m58_z8(wc, nwords);
if (hi) { del[nwords - 1] = ~0ULL << hi; wc[nwords - 1] = (u8)(64 - hi); }
for (u32 i = 0; i < nbp; i++) bc[i] = 0;
for (u32 i = 0; i < ngp; i++) gs[i] = 0;
for (u32 i = 0; i < nsup; i++) sg[i] = 0;
for (u32 j = 0; j < nblk; j++) {
u32 w0 = j << 3, wn = nwords - w0; if (wn > 8u) wn = 8u;
u32 c = 64u * wn;
// the LAST word of the array is short by `hi` bits: it holds `hi` alive, not 64.
// (checked exhaustively against the original accumulate loops for every V in 1..700000)
if (hi && (w0 + wn - 1u) == (nwords - 1u)) c = 64u * (wn - 1u) + hi;
bc[j] = (u16)c;
}
for (u32 j = 0; j < ngrp; j++) {
u32 b0 = j << 3, bn = nblk - b0; if (bn > 8u) bn = 8u;
u32 c = 0; for (u32 t = 0; t < bn; t++) c += (u32)bc[b0 + t];
gs[j] = (u16)c;
}
for (u32 j = 0; j < nsup; j++) {
u32 g0 = j << 3, gn = ngrp - g0; if (gn > 8u) gn = 8u;
u32 c = 0; for (u32 t = 0; t < gn; t++) c += (u32)gs[g0 + t];
sg[j] = (u16)c;
}
*pdel = del; *pwc = wc; *pbc = bc; *pgs = gs; *psg = sg;
return ka_need(V);
}
// ===================== n17n_ PRE: maintained inclusive-prefix counts =====================
// All three count levels (word-in-block, block-in-group, group-in-super) are stored as
// the INCLUSIVE PREFIX SUM inside their own 8-lane vector, not as raw counts.
// select : the 3-step shift/add prefix chain (6 dependent cycles per level) is gone;
// load -> min/cmpeq/movemask/tzcnt -> j is all that is left.
// update : deleting lane i is one masked 16-byte read-modify-write (subtract 1 from
// lanes >= i). That RMW is off the select's critical path, which runs
// j -> address -> (next level) load; the `sub` extract is not the long pole.
static inline void pf8(u16 *p) {
__m128i v = _mm_load_si128((const __m128i *)p);
v = _mm_add_epi16(v, _mm_slli_si128(v, 2));
v = _mm_add_epi16(v, _mm_slli_si128(v, 4));
v = _mm_add_epi16(v, _mm_slli_si128(v, 8));
_mm_store_si128((__m128i *)p, v);
}
static const u16 SMASK[8][8] __attribute__((aligned(16))) = {
{1,1,1,1,1,1,1,1}, {0,1,1,1,1,1,1,1}, {0,0,1,1,1,1,1,1}, {0,0,0,1,1,1,1,1},
{0,0,0,0,1,1,1,1}, {0,0,0,0,0,1,1,1}, {0,0,0,0,0,0,1,1}, {0,0,0,0,0,0,0,1}};
static inline void pdec8(u16 *p, u32 i) {
__m128i v = _mm_load_si128((const __m128i *)p);
v = _mm_sub_epi16(v, _mm_load_si128((const __m128i *)SMASK[i]));
_mm_store_si128((__m128i *)p, v);
}
// prefix variant of sel8: identical select, no pf16 in front of it.
static inline u32 sel8p(const u16 *p, u32 rem, u32 *sub) {
__m128i inc = _mm_load_si128((const __m128i *)p);
__m128i rv = _mm_set1_epi16((short)rem);
u32 j = (u32)__builtin_ctz((u32)_mm_movemask_epi8(_mm_cmpeq_epi16(_mm_min_epu16(inc, rv), rv))) >> 1;
u16 buf[8];
_mm_storeu_si128((__m128i *)buf, _mm_slli_si128(inc, 2));
*sub = (u32)buf[j];
return j;
}
#define KA_OFF_P(V, O1, O2, O3, O4) \
do { u32 _nw = (((V) + 63) >> 6), _nb = (_nw + 7) >> 3, \
_ng = (_nb + 7) >> 3, _ns = (_ng + 7) >> 3; \
(O1) = ((unsigned long)_nw << 3); (O1) = ((O1) + 15) & ~15UL; \
(O2) = (O1) + ((unsigned long)(_nb << 3) << 1); (O2) = ((O2) + 15) & ~15UL; \
(O3) = (O2) + ((unsigned long)(_ng << 3) << 1); (O3) = ((O3) + 15) & ~15UL; \
(O4) = (O3) + ((unsigned long)(_ns << 3) << 1); (O4) = ((O4) + 15) & ~15UL; \
} while (0)
static inline unsigned long ka_need_p(u32 V) {
unsigned long o1, o2, o3, o4; KA_OFF_P(V, o1, o2, o3, o4);
u32 nsup = (((((V + 63) >> 6) + 7) >> 3) + 7) >> 3;
unsigned long need = o4 + (((unsigned long)nsup) << 1) + 16;
return (need + 63) & ~(unsigned long)63;
}
// Same geometry, same arrays, same alignment guarantees -- only the CONTENTS of
// wc/bc/gs change (raw count -> inclusive prefix inside the 8-lane vector).
static inline unsigned long big_init_p(u8 *mem, u32 V, u64 **pdel, u8 **pwc,
u16 **pbc, u16 **pgs, u16 **psg) {
u32 nwords = (V + 63) >> 6;
u32 nblk = (nwords + 7) >> 3;
u32 ngrp = (nblk + 7) >> 3;
u32 nsup = (ngrp + 7) >> 3;
u32 nwl = nblk << 3, nbl = ngrp << 3, ngl = nsup << 3;
u32 hi = V & 63;
unsigned long o1, o2, o3, o4; KA_OFF_P(V, o1, o2, o3, o4);
u64 *del = (u64 *)mem;
u16 *wc = (u16 *)(void *)(mem + o1);
u16 *bc = (u16 *)(void *)(mem + o2);
u16 *gs = (u16 *)(void *)(mem + o3);
u16 *sg = (u16 *)(void *)(mem + o4);
m58_z64(del, nwords);
if (hi) del[nwords - 1] = ~0ULL << hi;
{ u32 w = 0;
for (; w < nwords; w++) wc[w] = 64u;
if (hi) wc[nwords - 1] = (u16)hi;
for (; w < nwl; w++) wc[w] = 0u;
for (u32 j = 0; j < nblk; j++) pf8(wc + (j << 3)); }
{ u32 j = 0;
for (; j < nblk; j++) bc[j] = wc[(j << 3) + 7];
for (; j < nbl; j++) bc[j] = 0u;
for (u32 t = 0; t < ngrp; t++) pf8(bc + (t << 3)); }
{ u32 j = 0;
for (; j < ngrp; j++) gs[j] = bc[(j << 3) + 7];
for (; j < ngl; j++) gs[j] = 0u;
for (u32 t = 0; t < nsup; t++) pf8(gs + (t << 3)); }
for (u32 j = 0; j < nsup; j++) sg[j] = gs[(j << 3) + 7];
*pdel = del; *pwc = (u8 *)(void *)wc; *pbc = bc; *pgs = gs; *psg = sg;
return ka_need_p(V);
}
// kth_alive + deletion, prefix-array form. Same signature as kth_alive_del so a
// call-site rename is the whole patch; the u8* is the (now u16) word-count array.
static inline u32 kth_alive_del_p(u64 *del, u8 *wc8, u16 *bc, u16 *gs, u16 *sg, u32 k) {
u16 *wc = (u16 *)(void *)wc8;
u32 rem = k, s;
{ const u16 *p = sg;
u32 v = *p;
while (rem > v) { rem -= v; ++p; v = *p; }
s = (u32)(p - sg); }
u32 sub;
u32 jg = sel8p(gs + (s << 3), rem, &sub); rem -= sub;
u32 g = (s << 3) + jg;
u32 jb = sel8p(bc + (g << 3), rem, &sub); rem -= sub;
u32 b = (g << 3) + jb;
u32 wi = sel8p(wc + (b << 3), rem, &sub); rem -= sub;
u32 w = (b << 3) + wi;
u64 m = ~del[w];
u64 r; __asm__("pdep %2, %1, %0" : "=r"(r) : "r"(1ULL << (rem - 1)), "r"(m));
u32 bit = (u32)__builtin_ctzll(r);
del[w] |= 1ULL << bit;
pdec8(wc + (b << 3), wi);
pdec8(bc + (g << 3), jb);
pdec8(gs + (s << 3), jg);
sg[s]--;
return ((b << 9) + (wi << 6)) + bit + 1;
}
// small-row: sorted deleted array R[0..d); returns the position p, inserts it
static inline u32 small_remove(u32 *R, u32 d, u32 k) {
u32 lo = 0, hi = d;
while (lo < hi) {
u32 mid = (lo + hi + 1) >> 1;
if (R[mid - 1] - mid < k) lo = mid; else hi = mid - 1;
}
u32 p = k + lo;
if (lo < d) {
u32 *s = R + d, *e = R + lo;
while (s > e) { *s = s[-1]; s--; }
}
R[lo] = p;
return p;
}
// ------------------------- globals -------------------------
#define PN 300005
static u32 QX[PN], QY[PN];
// RCNT as u16 (0.6 MB instead of 1.2 MB): it is the only array written RANDOMLY by every
// query, so its dirty write-back volume and footprint are paid on the critical path.
// Counts >= 0xFFFF (<= ceil(q/65535) <= 5 rows for q <= 3e5) move to a tiny side list.
static u16 RCNT16[PN];
static u32 OVL[16], OVC[16], NOVF;
static inline void ovbump(u32 x) {
for (u32 i = 0; i < NOVF; i++) if (OVL[i] == x) { OVC[i]++; return; }
if (NOVF < 16u) { OVL[NOVF] = x; OVC[NOVF] = 0x10000u; NOVF++; }
}
static inline u32 ovget(u32 x) {
for (u32 i = 0; i < NOVF; i++) if (OVL[i] == x) return OVC[i];
return 0xFFFFu;
}
// RC[r] = off | (cnt << 20): the row's arena offset and its deletion count in ONE u32.
// Small-path cnt is <= ~392 (the cb<cs test needs (V/64+1)*2+55c >= c*(c/8)+30c with
// V=m-1+c, i.e. c^2/8 <= V/32+25c+2), so 12 bits is ample; big rows keep off/cnt in
// their BRec. off <= q <= 3e5 fits in 20 bits.
#define RC_MASK 0xFFFFFu
static u32 RC[PN];
// ---- lane A5 grouped path ----
static u32 LI[PN]; // row-local query index
static u32 PC[PN]; // column answer position
static u32 RSL[PN]; // rowslot+1 for rows with state, 0 otherwise
static u32 YGRP[PN]; // per rowslot: y (then overwritten by pp)
static u64 TAILV[PN]; // per rowslot: appended value
static u64 CVAL[PN]; // per query i: value appended to the column at query i
static u32 SDEL[PN]; // small rows: deleted position per rowslot
static u32 RCNT[PN]; // [n17b] indexed by row OFFSET (not r): total query count of the row occupying that offset
static int GROUPMODE;
static u32 XSW; // number of consecutive-query row switches
#define PB 65536
// ONE 2-bit-per-row classification instead of TWO separate 37.5 KB bitmaps.
// Phase 3 tests SIMPLE1 then BIGBMP, i.e. it performs TWO random bitmap loads per
// row-path query (the second on the ~63 % that are not SIMPLE1) to choose among
// three classes. Encoding the class in 2 bits of the SAME word makes it ONE load.
// 0 = no row state 1 = SIMPLE1 (exactly one query) 2 = small path 3 = big path
// Same total bytes (300005*2 bits = 75 KB); fewer distinct lines touched per query.
#define SMBW ((PN + 31) / 32)
static u64 SM2[SMBW];
#define SM2SET(r, v) (SM2[(r) >> 5] |= (u64)(v) << (((r) & 31) << 1))
#define SM2GET(r) ((u32)((SM2[(r) >> 5] >> (((r) & 31) << 1)) & 3ULL))
static u16 BIGID[PN];
struct BRec { u64 *del; u8 *wc; u16 *bc; u16 *gs; u16 *sg; u32 off; u32 cnt; u64 pad[2]; } __attribute__((aligned(64)));
static BRec BT[PB];
// SIMPLE1: rows with exactly ONE query (that one query is then provably p=y, no state).
static u32 NBIG;
static u64 RAPP[PN];
static u8 RAPP5[PN * 5 + 8];
static u32 SMALLD[PN];
static inline u32 small_sel2(u32 of, u32 d, u32 k) {
u32 p = k;
for (u32 it = 0; it < 32; it++) {
u32 c = 0;
for (u32 j = 0; j < d; j++) c += (u32)(SDEL[of + j] <= p);
u32 np = k + c;
if (np == p) break;
p = np;
}
return p;
}
// CK3 merged small-row arena: record j = of+k occupies RBASE[9j .. 9j+9)
// bytes 0..3 : UNSORTED deleted position (u32)
// bytes 4..7 : appended value, low 32 bits
// byte 8 : appended value, bits 32..39
static u8 RBASE[PN * 9 + 72];
static inline u32 rbD(u32 j) { u32 v; __builtin_memcpy(&v, RBASE + (size_t)j * 9, 4); return v; }
static inline void rbSD(u32 j, u32 v) { __builtin_memcpy(RBASE + (size_t)j * 9, &v, 4); }
static inline u64 rbA(u32 j) { u32 lo_; __builtin_memcpy(&lo_, RBASE + (size_t)j * 9 + 4, 4); return (u64)lo_ | ((u64)RBASE[(size_t)j * 9 + 8] << 32); }
static inline void rbSA(u32 j, u64 v) { u32 lo_ = (u32)v; __builtin_memcpy(RBASE + (size_t)j * 9 + 4, &lo_, 4); RBASE[(size_t)j * 9 + 8] = (u8)(v >> 32); }
// k-th alive over an UNSORTED deleted set: smallest fixpoint of p = k + #{d <= p}.
static inline u32 small_sel(u32 of, u32 d, u32 k) {
u32 p = k;
for (u32 it = 0; it < 32; it++) {
u32 c = 0;
for (u32 j = 0; j < d; j++) c += (u32)(rbD(of + j) <= p);
u32 np = k + c;
if (np == p) break;
p = np;
}
return p;
}
static u64 CAPP[PN]; // fallback: only TOUCHED when n*m >= 2^40
static u8 CAPP5[PN * 5 + 8]; // 40-bit packed storage: 1.5 MB instead of 2.4 MB
static int CAPP5on;
#define ARENASZ (144u << 20)
static u8 ARENA[ARENASZ];
static u64 *CDEL; static u8 *CWC; static u16 *CBC; static u16 *CGS; static u16 *CSG;
static void solve() {
PTICK();
writer_init();
u32 n = rd(), m = rd(), q = rd();
u32 mm1 = m - 1;
CAPP5on = ((u64)n * (u64)m < (1ULL << 40));
// ---- phase 1 ----
const u8 *gLim = gip + gSN;
for (u32 i = 0; i < q; i++) {
u32 x, y;
if (gip + 16 <= gLim && winparse(&x, &y)) {
/* windowed: one 16-byte load gives BOTH values and the line length */
} else { x = rd(); y = rd(); }
QX[i] = x; QY[i] = y;
if (i && x != QX[i-1]) XSW++;
if (y < m) { u32 cc = RC[x]; LI[i] = cc; RC[x] = cc + 1u; } else LI[i] = 0u;
}
PTICK();
// ---- phase 2 ----
NBIG = 0;
u32 off = 0;
u32 RR_off = 0;
unsigned long asz = 0;
u32 nbig = 0;
for (u32 r = 1; r <= n; r++) {
u32 c = RC[r];
/* [n17k] branchless: st = (c >= 2). (c-2) as unsigned wraps for c<2. */
u32 st = (u32)(c - 2u) < 0x80000000u;
/* [n17c] BRANCHLESS phase 2. Same values as the n17k form, but:
(1) the RCNT store is UNCONDITIONAL: for c<2 the row writes RCNT[ob]=0 at the
very slot the next stateful row will claim (off does not advance for this
row), and that row overwrites it later in the same increasing-r pass; if no
stateful row follows, the slot is never read (readers only use stateful
rows' own offsets ob). ob <= stateq <= n < PN, so the store is in bounds.
(2) the big-row test is prescreened by c >= 208: cb(m,c) = ((m-1+c)>>6 + 1)*2
+ 55c is monotone in m and in c, so cb >= cb(1,c); and cb(1,c) >= cs(c) =
c*((c>>3)+30) for every c < 208 (smallest counterexample is c = 208).
Hence no row with c < 208 can ever take the big path, and the prescreen is
EXACT. (maxc/stateq are assignment-only in the whole file -> dead.) */
u32 ob = off;
/* [n17c] FORCE ARITHMETIC, NOT A TERNARY: gcc 9/15 compile `st ? x : 0` as a real
BRANCH here (callgrind on the n17b text: 95,618 mispredicts on this one line,
31.9% of its executions). `& mask` is unconditional (mask = -st). */
u32 msk = 0u - st;
u32 nz = c & msk; /* c if st, else 0 */
RC[r] = (ob + 1u) & msk; /* nonzero <=> has row state; 0 covers c==0 and c==1 */
off = ob + nz;
RCNT[ob] = nz; /* [n17b] indexed by the row's offset: monotone in r => sequential */
if (c >= 208u) {
RR_off = off - c;
u64 V = (u64)mm1 + c;
i64 cs = (i64)c * ((i64)(c >> 3) + 30);
i64 cb = (i64)((V >> 6) + 1) * 2 + (i64)c * 55;
if (cb < cs) {
u32 nw = (u32)((V + 63) >> 6);
u32 nb = (nw + 7) >> 3;
unsigned long need = ka_need_p((u32)V); (void)nw; (void)nb;
if (asz + need <= ARENASZ - (1u << 20)) {
u64 *pdel; u8 *pwc; u16 *pbc; u16 *pgs; u16 *psg;
big_init_p(ARENA + asz, (u32)V, &pdel, &pwc, &pbc, &pgs, &psg);
nbig++;
u32 bi = NBIG++;
if (bi < PB) { BT[bi].del=pdel; BT[bi].wc=pwc; BT[bi].bc=pbc; BT[bi].gs=pgs; BT[bi].sg=psg; BT[bi].off=RR_off; BT[bi].cnt=0; BIGID[r]=(u16)bi; }
RC[r] = (RR_off + 1) | 0x80000000u; // bit31 = big row
asz += need;
goto n17k_next_row;
}
}
}
n17k_next_row:;
}
PTICK();
// ---- column ----
{
u64 *pdel; u8 *pwc; u16 *pbc; u16 *pgs; u16 *psg;
unsigned long need = big_init_p(ARENA + asz, n + q, &pdel, &pwc, &pbc, &pgs, &psg);
asz += need;
CDEL = pdel; CWC = pwc; CBC = pbc; CGS = pgs; CSG = psg;
}
PTICK();
// ---- lane A5: strategy select + grouped path ----
// Grouped path pays only when many DISTINCT BIG row structures are revisited
// out of order: need enough big rows AND enough row switches to have caused misses.
GROUPMODE = (nbig >= 8) && ((u64)XSW * 4u >= (u64)q);
u8 *o = gob;
if (GROUPMODE) {
for (u32 i = 0; i < q; i++) {
u32 x = QX[i], y = QY[i];
u32 pc = kth_alive_del_p(CDEL, CWC, CBC, CGS, CSG, x);
PC[i] = pc;
u32 rs = 0;
if (y < m) {
u32 rcls = RC[x];
if (rcls) { rs = (rcls & RC_MASK) + LI[i]; YGRP[rs - 1u] = y; }
}
RSL[i] = rs;
}
PTICK();
for (u32 r = 1; r <= n; r++) {
u32 rcls = RC[r];
if (!rcls) continue;
u32 base = (rcls & RC_MASK) - 1u;
u32 c = RCNT[base]; /* [n17b] same slot phase 2 wrote (base == that row's off) */
u32 *yp = YGRP + base;
if (rcls & 0x80000000u) {
BRec *bp = &BT[BIGID[r]];
u64 *pdel = bp->del; u8 *pwc = bp->wc; u16 *pbc = bp->bc; u16 *pgs = bp->gs; u16 *psg = bp->sg;
for (u32 j = 0; j < c; j++) yp[j] = kth_alive_del_p(pdel, pwc, pbc, pgs, psg, yp[j]);
} else {
for (u32 j = 0; j < c; j++) { u32 yv = yp[j]; u32 pp = small_sel2(base, j, yv); SDEL[base + j] = pp; yp[j] = pp; }
}
}
PTICK();
for (u32 i = 0; i < q; i++) {
u32 x = QX[i], y = QY[i];
u32 pc = PC[i];
u64 cval;
if (pc <= n) cval = (u64)pc * m;
else cval = CVAL[pc - n - 1u];
u64 val;
u32 rs = RSL[i];
if (y >= m) val = cval;
else if (rs == 0u) val = (u64)(x - 1) * m + y;
else {
u32 pp = YGRP[rs - 1u];
if (pp <= mm1) val = (u64)(x - 1) * m + pp;
else val = TAILV[(rs - 1u - LI[i]) + (pp - m)];
TAILV[rs - 1u] = cval;
}
CVAL[i] = val;
o = (i + 1 == q) ? wr_safe(o, val) : wr(o, val);
}
} else {
u32 cappn = 0;
for (u32 i = 0; i < q; i++) {
u32 x = QX[i], y = QY[i];
if (y < m) { __builtin_prefetch(&RC[x], 0, 3); }
u32 pc = kth_alive_del_p(CDEL, CWC, CBC, CGS, CSG, x);
u64 cval;
if (pc <= n) cval = (u64)pc * m;
else {
u32 jj = pc - n - 1;
if (CAPP5on) { u64 w8; __builtin_memcpy(&w8, CAPP5 + (size_t)jj * 5, 8);
cval = w8 & 0xFFFFFFFFFFULL; }
else cval = CAPP[jj];
}
/* deletion fused into kth_alive_del */
u64 val;
if (y < m) {
u32 r = x;
u32 rcls = RC[r];
if (rcls == 0u) {
val = (u64)(r - 1) * m + y; // exact: the row's first and only query
} else if (rcls & 0x80000000u) {
BRec *bp = &BT[BIGID[r]];
u64 *pdel = bp->del; u8 *pwc = bp->wc; u16 *pbc = bp->bc; u16 *pgs = bp->gs; u16 *psg = bp->sg;
u32 bof = bp->off, bcn = bp->cnt;
u32 pp = kth_alive_del_p(pdel, pwc, pbc, pgs, psg, y);
if (pp <= mm1) val = (u64)(r - 1) * m + pp;
else { size_t o_ = (size_t)(bof + (pp - m)) * 5;
u64 w8; __builtin_memcpy(&w8, RAPP5 + o_, 8);
val = w8 & 0xFFFFFFFFFFULL; }
/* deletion fused into kth_alive_del */
{ size_t o_ = (size_t)(bof + bcn) * 5; __builtin_memcpy(RAPP5 + o_, &cval, 8); }
bp->cnt = bcn + 1;
} else {
u32 rc = rcls;
u32 of = (rc & RC_MASK) - 1;
u32 cn = (rc >> 20) & 0x7FFu;
u32 pp = small_sel(of, cn, y);
if (pp <= mm1) val = (u64)(r - 1) * m + pp;
else val = rbA(of + (pp - m));
rbSD(of + cn, pp);
rbSA(of + cn, cval);
RC[r] = rc + (1u << 20);
}
{ size_t o_ = (size_t)cappn * 5;
if (CAPP5on) { __builtin_memcpy(CAPP5 + o_, &val, 8); }
else CAPP[cappn] = val; }
cappn++;
} else {
val = cval;
{ size_t o_ = (size_t)cappn * 5;
if (CAPP5on) { __builtin_memcpy(CAPP5 + o_, &val, 8); }
else CAPP[cappn] = val; }
cappn++;
}
{ const void *P = (const void *)g_dose_src; unsigned long d0; __asm__ __volatile__("movq 0(%1), %0\n\tmovq 8(%1), %0\n\tmovq 16(%1), %0\n\tmovq 24(%1), %0\n\tmovq 32(%1), %0\n\tmovq 40(%1), %0\n\tmovq 48(%1), %0\n\tmovq 56(%1), %0\n\tmovq 64(%1), %0\n\tmovq 72(%1), %0\n\t" : "=&r"(d0) : "r"(P)); (void)d0; }
o = (i + 1 == q) ? wr_safe(o, val) : wr(o, val);
}
}
PTICK();
gob = o;
PTICK();
}
struct DUCKDI{unsigned long abi;const char*sp;unsigned long sn;char*op;unsigned long ol,os;char*ep;unsigned long el,es;const char*IB;unsigned long IBl;char*OB;unsigned long OBl;unsigned long tsc;}__attribute__((packed));
extern "C" void __libc_start_main(void*m,int argc,char**argv){
unsigned long*p=(unsigned long*)(argv+argc+1);while(*p)p++;p++;
DUCKDI*d=0;for(;p[0];p+=2)if(p[0]==0x6b637564UL){d=(DUCKDI*)p[1];break;}
gip=(const u8*)d->sp; gob=(u8*)d->op; gSN=(unsigned)d->sn;
solve();
d->os=(unsigned long)(gob-(u8*)d->op);
__asm__ volatile("syscall"::"a"(60),"D"(0):"rcx","r11","memory");
for(;;);
}
int main(){return 0;}
| Compilation | N/A | N/A | Compile OK | Score: N/A | 显示更多 |
| Testcase #1 | 115.47 us | 88 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #2 | 111.81 us | 92 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #3 | 113.31 us | 92 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #4 | 115.64 us | 92 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #5 | 117 us | 92 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #6 | 117.51 us | 92 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #7 | 237.51 us | 280 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #8 | 176.56 us | 276 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #9 | 184.91 us | 292 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #10 | 176.3 us | 272 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #11 | 4.873 ms | 2 MB + 636 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #12 | 4.832 ms | 2 MB + 624 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #13 | 17.023 ms | 8 MB + 12 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #14 | 15.843 ms | 7 MB + 580 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #15 | 16.578 ms | 9 MB + 196 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #16 | 17.518 ms | 9 MB + 616 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #17 | 7.283 ms | 5 MB + 408 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #18 | 7.176 ms | 5 MB + 232 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #19 | 19.926 ms | 20 MB + 316 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #20 | 20.303 ms | 20 MB + 816 KB | Accepted | Score: 5 | 显示更多 |