// ===== REFERENCES ===== [n17p_ 席]
// [1] duck.ac 用户 **saffah_codex_6a_agg3**,提交 **#123491** <https://duck.ac/submission/123491>
// (判题机 Time = **19.902740 ms = 本题现 T**,Memory 14172 KB,2026-10-03 12:31:21,榜位 #1)。
// —— 本文件正文 = **该提交正文的逐字节副本 + 本席一处改动**(见「思路」)。
// 其自带的完整血统引用头(#123439 / #120319 / #120211 / #112463)**原样保留在下方,一字未删**。
// [2] duck.ac 用户 **saffah_cc_v41_260924**,提交 **#123439** <https://duck.ac/submission/123439>
// (20.230 ms)—— #123491 引用头第 1 行声明的 packed-query / grouped-row / compact-value
// 队列引擎来源;本文件经 [1] 间接沿用(本席未直接改动该件)。
// [3] duck.ac 用户 **saffah_codex_6a_agg3** 提交 **#120319**、账号 **saffah_cc_v41_agg1** 提交
// **#120211** / **#112463** —— 上游联合 SIMD 解析器与编译期十进制表来源(见 [1] 引用头)。
// 合规:duck.ac 题目页明示"你提交的代码将会被公开,所有人都可见"⇒ 公开提交正文可取用;
// 上述原提交正文均无独立许可证声明。除本引用头与「思路」所述**一处改动**外,正文一字未改 ✓
//
// ===== 思路 ===== [n17p_ 席 · 单刀:把词级计数数组改成"向量内维护的存活包含前缀和"]
// 机理(判题机同进程三臂定价,本席实测):列选择 `kth_alive_cum` 的**最后一级** `sel8w()` 每查询都要
// 把 8 个 u8「已删计数」还原成存活数(`64 - wc[i]`)、再用 **pf16 三步移位加**(`slli_si128` 2/4/8
// 连续相加,6 拍依赖链)现算一遍 8 车道的包含前缀和,最后才做 `min/cmpeq/movemask/tzcnt` 选路。
// 而**这个前缀和只在"删除"时变化一位**(删第 i 个词 ⇒ 该 8 车道向量内 lanes ≥ i 全部 −1),
// 却被每条查询重算一次 ⇒ 纯冗余的 6 拍依赖链落在列选择关键路径上。
// ★ 关键观察:[1] 在 block(`bc`)与 group(`gs`)两级已经用了"存包含前缀和"的写法(其注释
// `n17f7_rv: store the GROUP and BLOCK levels as inclusive prefixes`),**唯独词级仍走 pf16**
// —— 本刀就是把同一条已在其自己代码里成立的变换**补到第三级(词级)**。
// 改动(唯一变量,逐位等价):
// (1) `wc` 由 **u8 / 存"已删计数"** 改为 **u16 / 存"该 8 词向量内的存活包含前缀和"**
// (每向量总量 ≤ 8×64 = 512,u16 精确);读端 `sel8w(...)` 换成同文件既有的 `sel8(...)`
// (两者语义完全相同:都是读"已存包含前缀和"),**pf16 整段消失**。
// (2) 删除时 `wc[w]++` 换成 `lvl_dec(wc + (w & ~7u), w & 7u)`(同文件既有的掩码 16 B 读改写 +
// `MSK8[8][8]` 常量表,lanes ≥ i 减 1)。★ 该 RMW **不在关键路径上**:列选择的关键路径是
// `j → 地址 → 下一级 load → 比较`,与 sub 路径等长(在册 combo P5「去栈转发 ≈ 0」的成因)。
// (3) 布局/初始化同步:u16 区按**整 8 词向量**取整(`o2` 与 `ka_need` 同步改,避免 16 B RMW
// 越界写进 `bc`);初值 = 常量结构直写(每词 64、末词 `hi`、补齐 0),再逐 8 车道求前缀,
// **无 memset/memcpy**(遵文件顶部禁令:本 artifact 覆盖 `__libc_start_main`,glibc 的
// IFUNC memset 不可用)。
// 等价性闸门(本机,确定性、全逐字节同 md5):**6/6 形状输出与 [1] 原件逐字节相同** ——
// · `rand n=m=q=300000`(官方形,GROUPMODE=0,打列选择主路);
// · `x∈1..20, m=q=300000` 与 `n=300000, m=3, q=300000`(每行 c ≈ 1.5e4~1e5 ⇒ **必然进大行路径**,
// 即 `kth_row_fast` / `big_del` / 词级 u16 的**第二类调用者确实被执行**);
// · `n=m=1000, q=5000`;`n=m=3, q=5`;`n=m=q=1`(边界)。
// 判题机侧同进程三臂篮(`tools/probe.py C++17`,立即体验免费通道,best-of-6)四臂 FNV 校验全同 ✓。
// 判题机定价(同进程、同窗口、best-of-6,base 与候选同源 ⇒ 窗口漂移自动抵消):
// base(=#123491 原件)**66,953,030 拍** · 本件(+本刀)**65,253,714 拍** ⇒ **−2.540%**;
// (对照第三臂 k2「把 group+block 两级合成一次 64 车道比较」= 70,520,372 拍 = **+5.33% ✗ 判负**,
// 故本发**不含**该刀。)
// 目的:本窗真靶 = 严支 `0.99·T + 1µs = 19.704713 ms`(现 mine #123106 = 20.303254 ms,缺 0.598541 ms
// = 2.948%)。本发把"词级 pf16"这条**逐位等价**的冗余依赖链兑现成判题机读数:按 −2.54%×19.902740
// ≈ −0.506 ms ⇒ 预期 ≈ **19.40 ms** ≤ 19.704713 ✓;即便只有一半兑现(−1.27% ⇒ 19.65 ms)亦达标。
// =====
/* References:
- saffah_cc_v41_260924 https://duck.ac/submission/123439: copied its accepted
packed-query, grouped-row and compact-value queue engine, preserving its notes.
- saffah_codex_6a_agg3 https://duck.ac/submission/120319: reused our joint SIMD
query parser, signed-narrow multiply reduction and constexpr four-digit table.
- saffah_cc_v41_agg1 https://duck.ac/submission/120211 and
https://duck.ac/submission/112463: original queue/parser and compile-time
decimal-table ideas cited in our earlier implementation.
No independent licenses are declared for these public sources.
Idea: Combine the new compact queue layout with our single-vector two-number
parser and compile-time digit table. Specialize the column values to 40 bits
using n*m<=9e10, remove unused profiling reads, and bound parser loads against
the original input end before consuming the header.
Purpose: Recover the new queue layout's gains without its separate digit
conversions, runtime decimal table generation or profiling overhead. */
// n17fd-f17d batch4 z11 (footprint cut on the y3 winner)
#pragma GCC target("avx2,bmi,bmi2,popcnt,lzcnt")
#include <emmintrin.h>
#include <smmintrin.h>
#include <tmmintrin.h>
#include <immintrin.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;
// ===================== n17f4 v2: DIRECT-s ROW SELECT =====================
// Every supergroup holds at most A = 8*8*8*64 = 32768 elements, so with
// z[j] := A*j - Q(j-1) (Q = inclusive alive prefix; z[0] = 0)
// the true supergroup index s is ALWAYS >= t := (rem-1)>>15, and
// Q(t) >= rem <=> z[t+1] <= A*(t+1) - rem, rem' = rem - (A*s - z[s]).
// z is u16 and stays exact while padding + deletions <= 65535, so the fast path is enabled
// only when nsup <= 15 and the row's total query count c <= 32768.
static const u16 ZMASK[16][16] __attribute__((aligned(32))) = {
{0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u,0u}
};
#define PZ(bp) ((u16 *)(size_t)(bp)->pad[0])
static const u8 *gip;
static u8 *gob;
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_madd_epi16(_mm_packs_epi32(d,d),_mm_set1_epi32(0x00012710));
*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)));
struct D4Table {u32 a[10000];constexpr D4Table():a{} {for(u32 i=0;i<10000;i++) a[i]=(48+i/1000)|((48+(i/100)%10)<<8)|((48+(i/10)%10)<<16)|((48+i%10)<<24);}};
static constexpr D4Table D4C;
#define T4 (D4C.a)
// // 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() {
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_));
}
// n17f7_rv: masked decrement tables for the stored inclusive prefixes.
// MSK8[l] has 0xFFFF in every lane >= l (a deletion in lane l removes one alive from
// lane l and from every later lane of the same parent unit).
static const u16 MSK8[8][8] __attribute__((aligned(16))) = {
{0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0xFFFFu,0xFFFFu},
{0u,0u,0u,0u,0u,0u,0u,0xFFFFu}
};
static inline void lvl_dec(u16 *base8, u32 lane) { // base8 = the 8-lane unit, lane = 0..7
__m128i v = _mm_loadu_si128((const __m128i *)(const void *)base8);
__m128i m = _mm_load_si128((const __m128i *)(const void *)MSK8[lane]);
// cmpgt masks are 0xFFFF (-1): ADD is the decrement.
_mm_storeu_si128((__m128i *)(void *)base8, _mm_add_epi16(v, m));
}
// 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 = _mm_loadu_si128((const __m128i *)p); // STORED inclusive prefix
__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 nsup_of(u32 V) {
u32 nwords = (V + 63) >> 6, nblk = (nwords + 7) >> 3, ngrp = (nblk + 7) >> 3;
return (ngrp + 7) >> 3;
}
static inline u32 kth_row_fast(u64 *del, u16 *wc, u16 *bc, u16 *gs, const u16 *z, u32 k) {
u32 rem = k;
u32 s = (rem - 1) >> 15; // every super sums to <= 32768 => s >= t
u32 acc = (((s + 1) << 15) - rem); // A*(s+1) - rem
while ((u32)z[s + 1] > acc) { ++s; acc -= 32768u; }
rem -= (s << 15) - (u32)z[s]; // rem - Q(s-1)
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 = sel8((const u16 *)(const void *)(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;
lvl_dec(wc + (w & ~7u), w & 7u); lvl_dec(bc + (b & ~7u), b & 7u); lvl_dec(gs + (g & ~7u), g & 7u);
{ __m256i vz = _mm256_loadu_si256((const __m256i *)z);
__m256i vm = _mm256_load_si256((const __m256i *)ZMASK[s]);
_mm256_storeu_si256((__m256i *)z, _mm256_sub_epi16(vz, vm)); }
return ((b << 9) + (wi << 6)) + bit + 1;
}
static inline u32 kth_alive_del(u64 *del, u16 *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 = sel8((const u16 *)(const void *)(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;
lvl_dec(wc + (w & ~7u), w & 7u); lvl_dec(bc + (b & ~7u), b & 7u); lvl_dec(gs + (g & ~7u), g & 7u); sg[s]--;
return ((b << 9) + (wi << 6)) + bit + 1;
}
static inline u32 kth_alive(const u64 *del, const u16 *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 = sel8((const u16 *)(const void *)(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, u16 *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);
lvl_dec(wc + (w & ~7u), w & 7u); lvl_dec(bc + (b & ~7u), b & 7u); lvl_dec(gs + (g & ~7u), g & 7u); 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) + ((((unsigned long)nwords + 7UL) & ~7UL) << 1) + 15;
need &= ~15UL; 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 u16 ZARR[65536][16] __attribute__((aligned(32)));
static inline unsigned long big_init(u8 *mem, u32 V, u64 **pdel, u16 **pwc,
u16 **pbc, u16 **pgs, u16 **psg, u16 *zp, u32 cq, u64 *ppz) {
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 + ((((unsigned long)nwords + 7UL) & ~7UL) << 1) + 15) & ~15UL;
unsigned long o3 = (o2 + (((unsigned long)nbp) << 1) + 1) & ~1UL;
unsigned long o4 = (o3 + (((unsigned long)ngp) << 1) + 1) & ~1UL;
u64 *del = (u64 *)mem;
u16 *wc = (u16 *)(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);
if (hi) del[nwords - 1] = ~0ULL << hi;
// n17p K1: `wc` = ALIVE INCLUSIVE PREFIX inside the 8-word vector, u16.
{ u32 w_ = 0;
for (; w_ < nwords; w_++) wc[w_] = 64u;
if (hi) wc[nwords - 1] = (u16)hi;
for (u32 w2_ = (nwords + 7u) & ~7u; w_ < w2_; w_++) wc[w_] = 0u;
for (u32 j_ = 0; j_ < nblk; j_++) {
u16 *p_ = wc + (j_ << 3); u32 c_ = 0;
for (u32 t_ = 0; t_ < 8u; t_++) { c_ += (u32)p_[t_]; p_[t_] = (u16)c_; }
} }
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;
}
// n17f7_rv: store the GROUP and BLOCK levels as inclusive prefixes (each unit sums
// to <= 32768 / <= 4096, so u16 holds them exactly). sel8 then reads the prefix
// directly instead of rebuilding it with three dependent shuffle+add stages.
for (u32 j = 0; j < ngrp; j++) {
u16 *p = bc + (j << 3); u32 c = 0;
for (u32 t = 0; t < 8u; t++) { c += (u32)p[t]; p[t] = (u16)c; }
}
for (u32 j = 0; j < nsup; j++) {
u16 *p = gs + (j << 3); u32 c = 0;
for (u32 t = 0; t < 8u; t++) { c += (u32)p[t]; p[t] = (u16)c; }
}
*pdel = del; *pwc = wc; *pbc = bc; *pgs = gs; *psg = sg;
// ---- n17f4 v2: z[] for the direct-s select ----
u16 *z = zp;
*ppz = 0;
if (nsup <= 15u && cq <= 32768u) {
z[0] = 0;
for (u32 j = 1; j < 16u; j++) {
unsigned long aj = (unsigned long)j << 15;
z[j] = (u16)((j <= nsup && aj > (unsigned long)V) ? (aj - (unsigned long)V) : 0ul);
}
*ppz = (u64)(size_t)z;
}
return ka_need(V);
}
// 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 u64 QXY[PN]; // n17fd z9: x<<42 | y<<21 | li
// 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 ----
#define LI_M 0x1FFFFFu // 21-bit fields: x<<42 | y<<21 | li (needs n,m,li < 2^21)
static u32 LI[PN]; // row-local query index (UNUSED once packed; .bss is free)
static u8 PR5[PN * 5 + 16]; // 40-bit packed (pc<<20 | rs); pc < 2^20 (<= n+q), rs < 2^20 (<= PN)
// query order, so the 3-byte overflow lands on a LATER slot
static inline u64 PR_RD(size_t j) { u64 w; __builtin_memcpy(&w, PR5 + (size_t)j * 5, 8); return w & 0xFFFFFFFFFFULL; }
static inline void PR_WR(size_t j, u64 v) { u64 w = v; __builtin_memcpy(PR5 + (size_t)j * 5, &w, 8); }
static u32 YGRP[PN]; // per rowslot: y (then overwritten by pp)
static u64 TAILV[PN]; // per rowslot: appended value
static u8 CVAL5[PN * 5 + 32]; // 40-bit packed: value < (n+q)*m < 2^40
static inline u64 CVAL_RD(size_t j) { u64 w; __builtin_memcpy(&w, CVAL5 + (size_t)j * 5, 8); return w & 0xFFFFFFFFFFULL; }
static inline void CVAL_WR(size_t j, u64 v) { u64 w = v; __builtin_memcpy(CVAL5 + (size_t)j * 5, &w, 8); }
static u32 SDEL[PN]; // small rows: deleted position per rowslot
static u32 RCNT[PN]; // per row: total query count (rows with state)
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; u16 *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 u8 *n17f7_SHARED;
static u64 *CDEL; static u16 *CWC; static u16 *CBC; static u16 *CGS; static u16 *CSG;
// ================= n17f7_rv: BRANCHLESS TOP-LEVEL SCAN (column) =================
// CCUM[j] = alive in supers 0..j-1. 20 supers max (V <= 32*32768 = 1048576 > 600000).
static u32 CCUM[32] __attribute__((aligned(64)));
static inline u32 scan_cum(const u32 *cum, u32 rem) {
const __m256i rm1 = _mm256_set1_epi32((int)(rem - 1u));
__m256i v0 = _mm256_load_si256((const __m256i *)(const void *)(cum));
__m256i v1 = _mm256_load_si256((const __m256i *)(const void *)(cum + 8));
__m256i v2 = _mm256_load_si256((const __m256i *)(const void *)(cum + 16));
u32 m0 = (u32)_mm256_movemask_ps(_mm256_castsi256_ps(_mm256_cmpgt_epi32(v0, rm1)));
u32 m1 = (u32)_mm256_movemask_ps(_mm256_castsi256_ps(_mm256_cmpgt_epi32(v1, rm1)));
u32 m2 = (u32)_mm256_movemask_ps(_mm256_castsi256_ps(_mm256_cmpgt_epi32(v2, rm1)));
u32 m = m0 | (m1 << 8) | (m2 << 16);
return (u32)__builtin_ctz(m) - 1u; // first j with cum[j] >= rem -> s = j-1
}
static inline void cum_down(u32 *cum, u32 s) { // deletion in super s
const __m256i sv = _mm256_set1_epi32((int)s);
__m256i m0 = _mm256_cmpgt_epi32(_mm256_setr_epi32(0, 1, 2, 3, 4, 5, 6, 7), sv);
__m256i m1 = _mm256_cmpgt_epi32(_mm256_setr_epi32(8, 9, 10, 11, 12, 13, 14, 15), sv);
__m256i m2 = _mm256_cmpgt_epi32(_mm256_setr_epi32(16, 17, 18, 19, 20, 21, 22, 23), sv);
__m256i d0 = _mm256_load_si256((const __m256i *)(const void *)(cum));
__m256i d1 = _mm256_load_si256((const __m256i *)(const void *)(cum + 8));
__m256i d2 = _mm256_load_si256((const __m256i *)(const void *)(cum + 16));
// cmpgt gives 0xFFFFFFFF (-1) for true: ADD is the decrement.
_mm256_store_si256((__m256i *)(void *)(cum), _mm256_add_epi32(d0, m0));
_mm256_store_si256((__m256i *)(void *)(cum + 8), _mm256_add_epi32(d1, m1));
_mm256_store_si256((__m256i *)(void *)(cum + 16), _mm256_add_epi32(d2, m2));
}
static inline u32 kth_alive_cum(u64 *del, u16 *wc, u16 *bc, u16 *gs, u32 *cum, u32 k) {
u32 rem = k;
u32 s = scan_cum(cum, rem);
rem -= cum[s]; // rank within super s (cum[s] = alive before 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 = sel8((const u16 *)(const void *)(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;
lvl_dec(wc + (w & ~7u), w & 7u); lvl_dec(bc + (b & ~7u), b & 7u); lvl_dec(gs + (g & ~7u), g & 7u);
cum_down(cum, s);
return ((b << 9) + (wi << 6)) + bit + 1;
}
static void solve() {
PTICK();
writer_init();
const u8 *gLim=gip+gSN;
u32 n = rd(), m = rd(), q = rd();
u32 mm1 = m - 1;
CAPP5on = 1;
// ---- phase 1 ----
for (u32 i = 0; i < q; i++) {
u32 x, y;
if (gip + 16 <= gLim && winparse(&x, &y)) { } else { x = rd(); y = rd(); }
u32 cc = 0u;
if (y < m) { cc = RC[x]; RC[x] = cc + 1u; }
QXY[i] = ((u64)x << 42) | ((u64)y << 21) | (u64)cc;
}
for (u32 k = 1; k < q; k++) XSW += (u32)(QXY[k] >> 42) != (u32)(QXY[k-1] >> 42);
PTICK();
// ---- phase 2 ----
NBIG = 0;
u32 off = 0;
u32 RR_off = 0;
unsigned long asz = 0;
u32 maxc = 0; u32 stateq = 0; u32 nbig = 0;
// ---- n17f7_rv: PRE-PASS (no mutation) -- big-row count and the largest big V ----
u32 nbig_pre = 0; u64 maxbigV = 0;
for (u32 r = 1; r <= n; r++) {
u32 c = RC[r];
if (c < 2u) continue;
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) { nbig_pre++; if (V > maxbigV) maxbigV = V; }
}
u32 ARENA_REUSE = (nbig_pre >= 8u) && ((u64)XSW * 4u >= (u64)q);
unsigned long shared_need = ARENA_REUSE ? ka_need((u32)maxbigV) : 0ul;
for (u32 r = 1; r <= n; r++) {
u32 c = RC[r];
if (!c) continue;
if (c == 1) { RC[r] = 0; continue; } /* must zero: phase 1 left the count */
if (c > maxc) maxc = c;
stateq += c;
RCNT[r] = c;
RC[r] = off + 1; /* nonzero => has row state */
RR_off = 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 = ARENA_REUSE ? 0ul : ka_need((u32)V); (void)nw; (void)nb;
if (asz + need <= ARENASZ - (1u << 20)) {
nbig++;
u32 bi = NBIG++;
if (bi < PB) { BIGID[r]=(u16)bi; BT[bi].off=RR_off; BT[bi].cnt=0; }
if (!ARENA_REUSE) {
u64 *pdel; u16 *pwc; u16 *pbc; u16 *pgs; u16 *psg; u64 ppz;
big_init(ARENA + asz, (u32)V, &pdel, &pwc, &pbc, &pgs, &psg, ZARR[bi], c, &ppz);
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].pad[0]=ppz; }
}
RC[r] = (RR_off + 1) | 0x80000000u; // bit31 = big row
asz += need;
continue;
}
}
}
PTICK();
// ---- column ----
n17f7_SHARED = ARENA + asz; // one buffer, reused by every row in the row pass
asz += shared_need;
{
u64 *pdel; u16 *pwc; u16 *pbc; u16 *pgs; u16 *psg;
u64 ppz; unsigned long need = big_init(ARENA + asz, n + q, &pdel, &pwc, &pbc, &pgs, &psg, ZARR[65535], 0u, &ppz);
asz += need;
CDEL = pdel; CWC = pwc; CBC = pbc; CGS = pgs; CSG = psg;
{ u32 nsup_ = nsup_of((u32)(n + q)); CCUM[0] = 0;
for (u32 j_ = 1; j_ <= nsup_; j_++) CCUM[j_] = CCUM[j_-1] + (u32)psg[j_-1];
/* lanes ABOVE the last super are padding: cum_down decrements every lane > s, so a
zero pad would wrap to 0xFFFFFFFF and be selected. A huge pad stays huge. */
for (u32 j_ = nsup_ + 1u; j_ < 32u; j_++) CCUM[j_] = 0x3FFFFFFFu; }
}
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++) {
u64 w_ = QXY[i]; u32 x = (u32)(w_ >> 42), y = (u32)((w_ >> 21) & LI_M), li_ = (u32)(w_ & LI_M);
u32 pc = kth_alive_cum(CDEL, CWC, CBC, CGS, CCUM, x);
u32 rs = 0;
if (y < m) {
u32 rcls = RC[x];
if (rcls) { rs = (rcls & RC_MASK) + li_; YGRP[rs - 1u] = y; }
}
PR_WR(i, ((u64)pc << 20) | (u64)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[r];
u32 *yp = YGRP + base;
if (rcls & 0x80000000u) {
BRec *bp = &BT[BIGID[r]];
u64 *pdel; u16 *pwc; u16 *pbc; u16 *pgs; u16 *psg; u64 ppz_;
const u16 *pz;
if (ARENA_REUSE) {
big_init(n17f7_SHARED, (u32)((u64)mm1 + c), &pdel, &pwc, &pbc, &pgs, &psg, ZARR[BIGID[r]], c, &ppz_);
pz = (const u16 *)(size_t)ppz_;
} else {
pdel = bp->del; pwc = bp->wc; pbc = bp->bc; pgs = bp->gs; psg = bp->sg;
pz = PZ(bp);
}
if (pz) {
for (u32 j = 0; j < c; j++) yp[j] = kth_row_fast(pdel, pwc, pbc, pgs, pz, yp[j]);
} else
for (u32 j = 0; j < c; j++) yp[j] = kth_alive_del(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++) {
u64 w_ = QXY[i]; u32 x = (u32)(w_ >> 42), y = (u32)((w_ >> 21) & LI_M), li_ = (u32)(w_ & LI_M);
u64 pr_ = PR_RD(i); u32 pc = (u32)(pr_ >> 20);
u64 cval;
if (pc <= n) cval = (u64)pc * m;
else cval = CVAL_RD(pc - n - 1u);
u64 val;
u32 rs = (u32)(pr_ & 0xFFFFFu);
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_) + (pp - m)];
TAILV[rs - 1u] = cval;
}
CVAL_WR(i, val);
o = (i + 1 == q) ? wr_safe(o, val) : wr(o, val);
}
} else {
u32 cappn = 0;
for (u32 i = 0; i < q; i++) {
u64 w_ = QXY[i]; u32 x = (u32)(w_ >> 42), y = (u32)((w_ >> 21) & LI_M);
if (y < m) { __builtin_prefetch(&RC[x], 0, 3); }
u32 pc = kth_alive_cum(CDEL, CWC, CBC, CGS, CCUM, 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; u16 *pwc = bp->wc; u16 *pbc = bp->bc; u16 *pgs = bp->gs; u16 *psg = bp->sg;
u32 bof = bp->off, bcn = bp->cnt;
u32 pp = PZ(bp) ? kth_row_fast(pdel, pwc, pbc, pgs, PZ(bp), y)
: kth_alive_del(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++;
}
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 | 117.58 us | 56 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #2 | 112.44 us | 56 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #3 | 113.24 us | 56 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #4 | 115.63 us | 56 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #5 | 114.81 us | 56 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #6 | 118.03 us | 56 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #7 | 201.07 us | 264 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #8 | 198.61 us | 264 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #9 | 207.74 us | 292 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #10 | 196.89 us | 268 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #11 | 5.527 ms | 2 MB + 232 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #12 | 5.497 ms | 2 MB + 220 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #13 | 18.319 ms | 6 MB + 904 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #14 | 17.263 ms | 6 MB + 512 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #15 | 17.899 ms | 7 MB + 60 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #16 | 18.952 ms | 7 MB + 420 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #17 | 7.463 ms | 4 MB + 556 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #18 | 7.331 ms | 4 MB + 412 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #19 | 19.021 ms | 13 MB + 768 KB | Accepted | Score: 5 | 显示更多 |
| Testcase #20 | 19.158 ms | 13 MB + 876 KB | Accepted | Score: 5 | 显示更多 |