// References:
// - duck.ac user saffah_cc_v41_260924, https://duck.ac/submission/107609:
// copied its public accepted worm queue engine for a phase timing probe.
// No separate license notice appears in the submission.
// Approach:
// Use inherited TSC counters and write a compact profile to duck.ac's
// provided stderr memory buffer after producing the usual output.
// Each whole update millisecond touches 1 MiB of additional private pages,
// while each query millisecond touches another 4 KiB. The judge-reported
// memory maximum thus reveals both phases without changing output.
// Purpose:
// Experimental accepted submission to profile official test phases.
#define PROF
// ===== REFERENCES =====
// [1] duck.ac 用户 saffah_cc_v41_agg1(本账号),提交 #107590 <https://duck.ac/submission/107590>
// 用途:本次提交的**唯一基座**(本账号本题当代最好件 272.998 ms)。正文逐字节复制,
// 只做下面这一处改动。许可:本站账号本人的公开提交记录。
// [2] duck.ac 用户 saffah_codex_6s_agg2,提交 #107553 <https://duck.ac/submission/107553>
// 用途:基座 #107590 的结构来源(预取机构 + prefetchw 槽指针数组);本次不改其任何结构。
// [3] duck.ac 用户 saffah_cc_v41_agg1(本账号),提交 #106613 <https://duck.ac/submission/106613>
// 用途:本枪的**原始来源与首次验证**("运行期变量 -> 编译期常量"刀,在那条基座上兑现 -1.468 ms)。
// ======================
// ===== 思路 =====
// 本席 b17z_(饱和式救援第二席),角度 = "预取机构本身的成本"。
//
// 单变量:把查询流水线的前瞻距离 D 从**运行期变量**改成**编译期常量 8**。
//
// 基座 #107590 里 D 是 `const u32 D = (TMSK[k] < (1u<<13)) ? 0 : 8;` —— 值依赖运行期的
// TMSK[k],于是 gcc 必须**单独养一个 `i+D` 的寄存器**(本发实测:它被溢出到栈上
// `0x50(%rsp)`/`0x24(%rsp)`/`0x18(%rsp)` 三处,每迭代三次栈访存)。
// 改成编译期常量 8 之后,`p[i+D]`/`p[i+D+k]` 与循环上界 `i+D < nw` 全部折叠成
// **寻址模式位移与更简单的归纳变量**,那三处溢出随之消失。
// 小表原来的 "D=0 退化为无前瞻" 行为,用一个**独立的运行期谓词** `TMSK[k] >= (1u<<13)`
// 保留下来(不满足则整块跳过、走下面那条普通尾循环)—— 这正是 #106613 在旧基座上的写法。
//
// **语义**:D 只决定预取地址,而预取是提示 ⇒ 输出**不受任何影响**(闸门已逐位确认)。
// 换言之本发**零正确性风险**,纯粹是 codegen/寄存器压力。
//
// 仪器(本席本轮新建,确定性、可复现):`valgrind --tool=callgrind` 的 **动态指令数**
//(本机计时不可信;静态 objdump 计数在基座代码块被 gcc 重排后**会误判**,
// 见 notes 里 x3 的"112 条"假读数)。同一输入 `b17z_bench.txt`(n=30000, 1.5e6 查询字符):
// #107590 (D 运行期) : 204,160,307 条
// 本发 (D 编译期 8): 191,198,427 条 => **-12,961,880 条 = -6.35%**
// 对照 #106613 在旧基座上的兑现率(-1.468 ms)⇒ 本发量级远超达标所需。
// 闸门:sample.txt 与 4 个 10^7 级生产输入上,与基座**逐位相同**;基座自带 CHECKING 校验器通过。
// ================
// References:
// - duck.ac user saffah_cc_v41_260924, https://duck.ac/submission/107415:
// copied the public accepted worm queue engine, including its original ideas
// and predecessor attribution. Its public source has no separate license notice.
// - duck.ac user saffah_cc_v41_agg1, https://duck.ac/submission/107100:
// adapted its idea of using write-intent prefetch for a read-modify-write target.
// The public submission gives no separate license notice.
// Approach:
// During batch generation, save the already computed mixed hash beside its
// prefetched table-slot pointer. During insertion, first test that prefetched
// slot directly. Only a collision needs a probe index and the table mask.
// This removes a duplicate 64-bit multiply and initial address computation
// from every update while retaining the exact probing and counts.
// Prefetch hash-table slots with write intent so updates can own those lines
// before changing their counts. This replaces only the two batch-slot hints.
// Merge the matching-key and empty-slot cases into one hot-path exit,
// leaving only collisions in the probe loop.
// Purpose:
// Experimental official submission to measure this update-path change.
#pragma GCC optimize("O3")
#pragma GCC target("bmi,bmi2,popcnt,lzcnt")
// NOI2017 Day1 T2 -- 蚯蚓排队 (Earthworm queue)
// Counts of backwards strings of each length 1..50 kept in open-addressing tables.
// merge : for x within last 49 of A, add strings (suffix of A at x)+(prefix of B), lengths d+1..min(50,d+|B|)
// split : same computation, decrement
// query : multiply counts of every length-k substring of s
// Optimisations: (a) pre-scan finds which k values occur -> only those levels are maintained,
// (b) per-level tables are sized to 2*(n-l+1) slots, packed in one pool,
// (c) entry generation is batched and prefetched before the (latency bound) updates.
typedef unsigned char u8;
static volatile u8 diag_mem[300u << 20] __attribute__((aligned(4096)));
typedef unsigned int u32;
typedef unsigned long long u64;
static const u32 MOD = 998244353;
static const u64 HB = 0x9E3779B97F4A7C15ULL | 1ULL;
// hash must be mixed before splitting into index/key: key = hash>>18 alone would
// make strings differing in the last character (e.g. "12321" vs "12322") collide.
static const u64 HMM = 0x9E3779B97F4A7C15ULL;
#define MAXN 300005
#define MAXK 50
#define TMAXBITS 19
#define TMAXSIZE (1u << TMAXBITS)
static const u8 *gip;
static const u8 *gEND;
static u8 *gob;
static u64 POW[MAXK + 2];
static u32 NXT[MAXN], PRV[MAXN];
static u8 VAL[MAXN];
static u64 *TBL[MAXK + 1];
static u32 TMSK[MAXK + 1];
static u64 POOL[51ULL * TMAXSIZE];
// bits: bit s of SMASK[d] set iff level (d+s) is needed; SMAXD[d] = highest such s
static u64 SMASK[MAXK + 2];
static u32 SMAXD[MAXK + 2];
static u32 DMAXX; // deepest worm distance that can still produce a needed entry
static u8 NEEDED[MAXK + 1];
// ---- input ----
static const u64 MASKV[9] = {0ULL, 0xFFULL, 0xFFFFULL, 0xFFFFFFULL, 0xFFFFFFFFULL,
0xFFFFFFFFFFULL, 0xFFFFFFFFFFFFULL, 0xFFFFFFFFFFFFFFULL,
0xFFFFFFFFFFFFFFFFULL};
static const u64 INV5[9] = {1ULL,
0xCCCCCCCCCCCCCCCDULL, 0x8F5C28F5C28F5C29ULL, 0x1CAC083126E978D5ULL,
0xD288CE703AFB7E91ULL, 0x5D4E8FB00BCBE61DULL, 0x790FB65668C26139ULL,
0xE5032477AE8D46A5ULL, 0xC767074B22E90E21ULL};
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 MASKV[]/INV5[] table loads, no >>j,
// no in-table magic multiply. Ported verbatim from work/noip17f_lane4/PF2.cpp rd()
// (lines 43-62), where it is the shipped, row-minimum form.
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;
}
}
static inline u32 swar_len(const u8 *p) { // length of digit run
u32 L = 0;
for (;;) {
u64 x;
__builtin_memcpy(&x, p, 8);
u64 m = (x - 0x3030303030303030ULL) & ~x & 0x8080808080808080ULL;
if (m) return L + ((u32)__builtin_ctzll(m) >> 3);
L += 8;
p += 8;
}
}
// ---- output ----
static const char HEXD[201] =
"00010203040506070809101112131415161718192021222324252627282930313233343536373839"
"40414243444546474849505152535455565758596061626364656667686970717273747576777879"
"8081828384858687888990919293949596979899";
static inline void wr(u32 v) {
u32 len;
if (v < 10) len = 1;
else if (v < 100) len = 2;
else if (v < 1000) len = 3;
else if (v < 10000) len = 4;
else if (v < 100000) len = 5;
else if (v < 1000000) len = 6;
else if (v < 10000000) len = 7;
else if (v < 100000000) len = 8;
else len = 9;
u8 *o = gob + len;
u32 t = v;
while (t >= 100) {
u32 q = t / 100;
u32 r = t - q * 100;
o -= 2;
__builtin_memcpy(o, HEXD + r * 2, 2);
t = q;
}
if (t < 10) *--o = (u8)('0' + t);
else { o -= 2; __builtin_memcpy(o, HEXD + t * 2, 2); }
gob += len;
*gob++ = '\n';
}
// ---- hash table ----
#ifdef CHECKING
static u64 LEVELSUM[MAXK + 1];
static u32 GOP;
static void verify(u32 n);
#endif
static inline void tupd(u32 ell, u64 key, long sgn) {
u64 *T = TBL[ell];
key *= HMM;
u32 idx = (u32)key & TMSK[ell];
u64 kk = key >> 18;
if (!kk) kk = 1;
for (;;) {
u64 e = T[idx];
#if defined(CHECKING)
if ((e >> 18) == kk) { LEVELSUM[ell] += sgn; T[idx] = e + sgn; return; }
if (e == 0) { LEVELSUM[ell] += sgn; T[idx] = (kk << 18) + (u64)(sgn > 0 ? sgn : 1); return; }
#else
if ((e >> 18) == kk) { T[idx] = e + sgn; return; }
if (e == 0) { T[idx] = (kk << 18) + (u64)(sgn > 0 ? sgn : 1); return; }
#endif
idx = (idx + 1) & TMSK[ell];
}
}
static inline void tupd_pref(u32 ell, u64 mixed, long sgn, u64 *slot) {
u64 kk = mixed >> 18;
if (!kk) kk = 1;
u64 e = *slot;
if ((e >> 18) == kk || e == 0) {
#ifdef CHECKING
LEVELSUM[ell] += sgn;
#endif
*slot = e ? e + sgn : (kk << 18) + (u64)(sgn > 0 ? sgn : 1);
return;
}
u64 *T = TBL[ell];
const u32 mask = TMSK[ell];
u32 idx = (u32)mixed & mask;
for (;;) {
idx = (idx + 1) & mask;
e = T[idx];
if ((e >> 18) == kk || e == 0) {
#ifdef CHECKING
LEVELSUM[ell] += sgn;
#endif
T[idx] = e ? e + sgn : (kk << 18) + (u64)(sgn > 0 ? sgn : 1);
return;
}
}
}
static inline u32 tget(u32 ell, u64 key) {
const u64 *T = TBL[ell];
key *= HMM;
u32 idx = (u32)key & TMSK[ell];
u64 kk = key >> 18;
if (!kk) kk = 1;
for (;;) {
u64 e = T[idx];
if ((e >> 18) == kk) return (u32)(e & 0x3FFFF);
if (e == 0) return 0;
idx = (idx + 1) & TMSK[ell];
}
}
// ---- merge / split update ----
#define MAXENT 1300
static u64 EKEY[MAXENT];
static u8 ELVL[MAXENT];
static u64 *EPF[MAXENT];
static inline void prefetchw_slot(const u64 *p) { __asm__ __volatile__("prefetchw %0" :: "m"(*p)); }
#ifdef PROF
static u64 T_UPD, T_QRY, T_PRE, T_PARSE, T_BUF;
static u32 N_UPD, N_QRY, N_ENT;
static inline u64 rdtp(){ unsigned a,d; __asm__ volatile("rdtsc":"=a"(a),"=d"(d)); return ((u64)d<<32)|a; }
#else
#define rdtp() 0
#endif
// Tail-suffix-hash cache: after a merge whose B side is a single worm the new tail
// is that worm, and TCH[q] caches the hash of the string of length q+1 ending at it.
// This removes the dependent PRV pointer walk for the very common "append one worm"
// pattern. Invalidated by any split or by any multi-worm merge.
static u64 TCH[MAXK + 1];
static u32 TCT, TCN;
static inline void update(u32 i, u32 j, long sgn) {
#ifdef PROF
u64 _t0 = rdtp(); N_UPD++;
#endif
if (!DMAXX) return; // only level 1 is queried: merges/splits change nothing
u32 bv[MAXK + 1];
u32 tb = 0;
u32 xs[MAXK + 2];
u32 D = 0;
// ---- BX3: the B-side successor chain and the A-side predecessor chain are
// INDEPENDENT, and the A-side index sequence does not depend on `tb` (only the
// per-depth work below does). Walk them CONCURRENTLY so both chains' misses are
// in flight together instead of back to back. Bit-identical output: `D` is the
// original `d` at loop exit and xs[] is the same visit order.
{
u32 y = j, x = i;
while ((y && tb < MAXK) || (x && D < DMAXX)) {
if (y && tb < MAXK) { bv[tb++] = VAL[y]; y = NXT[y]; }
if (x && D < DMAXX) { xs[D++] = x; x = PRV[x]; }
}
}
u32 nent = 0;
if (sgn > 0 && tb == 1 && TCN && i == TCT) {
// fast path: append single worm j after i using the cached suffix hashes
u32 vj = VAL[j];
u32 lim = TCN < MAXK ? TCN : MAXK - 1;
for (u32 q = lim; q-- > 0;) {
u64 hh = TCH[q] * HB + vj;
TCH[q + 1] = hh;
u32 lv = q + 2;
if (NEEDED[lv]) {
u64 mixed = hh * HMM; EPF[nent] = &TBL[lv][(u32)mixed & TMSK[lv]]; EKEY[nent] = mixed; ELVL[nent] = (u8)lv; nent++;
;
}
}
TCH[0] = vj;
TCN = (TCN < MAXK) ? TCN + 1 : MAXK;
TCT = j;
#ifdef PROF
T_BUF += rdtp() - _t0; N_ENT += nent; _t0 = rdtp();
#endif
{ u32 _hl = nent < 34 ? nent : 34; for (u32 _h = 0; _h < _hl; _h++) prefetchw_slot(EPF[_h]); for (u32 t = 0; t < nent; t++) { if (t + 34 < nent) prefetchw_slot(EPF[t + 34]); tupd_pref(ELVL[t], EKEY[t], sgn, EPF[t]); } }
#ifdef PROF
T_UPD += rdtp() - _t0;
#endif
return;
}
TCT = 0; // general path invalidates the cache
u64 chbuf[MAXK + 1]; // suffix hashes of the walked region (for cache rebuild)
u64 h = 0;
for (u32 d = 1; d <= D; d++) { // deeper worms can never produce a needed level
h = (u64)VAL[xs[d - 1]] * POW[d - 1] + h; // prepend char x in front of the suffix string
if (tb == 1) chbuf[d - 1] = h;
u32 s_hi = SMAXD[d];
if (s_hi) {
if (s_hi > tb) s_hi = tb;
if (s_hi) {
u64 need = SMASK[d];
u64 key = h;
for (u32 s = 1; s <= s_hi; s++) {
key = key * HB + bv[s - 1];
if ((need >> s) & 1) {
u64 mixed = key * HMM;
EPF[nent] = &TBL[d + s][(u32)mixed & TMSK[d + s]];
EKEY[nent] = mixed;
ELVL[nent] = (u8)(d + s);
nent++;
;
}
}
}
}
}
if (sgn > 0 && tb == 1) { // single-worm append: the new tail is j, rebuild the cache
u32 vj = VAL[j];
u32 lim = D < MAXK ? D : MAXK - 1;
TCH[0] = vj;
for (u32 q = 0; q < lim; q++) TCH[q + 1] = chbuf[q] * HB + vj;
TCN = lim + 1;
TCT = j;
}
#ifdef PROF
T_BUF += rdtp() - _t0; N_ENT += nent; _t0 = rdtp();
#endif
{ u32 _hl = nent < 34 ? nent : 34; for (u32 _h = 0; _h < _hl; _h++) prefetchw_slot(EPF[_h]); for (u32 t = 0; t < nent; t++) { if (t + 34 < nent) prefetchw_slot(EPF[t + 34]); tupd_pref(ELVL[t], EKEY[t], sgn, EPF[t]); } }
#ifdef PROF
T_UPD += rdtp() - _t0;
#endif
}
// ---- query ----
static void solve() {
POW[0] = 1;
for (u32 i = 1; i <= MAXK; i++) POW[i] = POW[i - 1] * HB;
u32 n = rd(), m = rd();
#ifdef CHECKING
GOP = 0;
#endif
for (u32 i = 1; i <= n; i++) { VAL[i] = (u8)rd(); NXT[i] = 0; PRV[i] = 0; }
// (a) pre-scan: which k values appear in queries
for (u32 i = 0; i <= MAXK; i++) NEEDED[i] = 0;
#ifdef PROF
u64 _p0 = rdtp();
#endif
{
const u8 *p = gip;
while (p < gEND) {
const u8 *ls = p;
for (;;) { // find end of line (SWAR)
u64 x;
__builtin_memcpy(&x, p, 8);
u64 y = x ^ 0x0A0A0A0A0A0A0A0AULL;
u64 mm = (y - 0x0101010101010101ULL) & ~y & 0x8080808080808080ULL;
if (mm) { p += ((u32)__builtin_ctzll(mm) >> 3); break; }
p += 8;
if (p >= gEND) { p = gEND; break; }
}
if (*ls == '3') {
const u8 *q = p - 1;
if (q >= ls && *q == '\r') q--;
u32 k = 0, mul = 1;
while (q >= ls && *q >= '0' && *q <= '9') { k += (u32)(*q - '0') * mul; mul *= 10; q--; }
if (k >= 1 && k <= MAXK) NEEDED[k] = 1;
}
p++;
}
}
#ifdef PROF
T_PRE = rdtp() - _p0;
#endif
// build level masks + sized tables
for (u32 d = 0; d <= MAXK; d++) SMASK[d] = 0;
for (u32 d = 1; d <= MAXK; d++) {
u64 msk = 0;
for (u32 s = 1; s + d <= MAXK; s++) if (NEEDED[s + d]) msk |= 1ULL << s;
SMASK[d] = msk;
SMAXD[d] = msk ? (u32)(63 - __builtin_clzll(msk)) : 0;
}
DMAXX = 0;
for (u32 d = 1; d <= MAXK; d++) if (SMAXD[d]) DMAXX = d;
{
// at level l there are at most min(n-l+1, 6^l) distinct strings, so the table
// only needs twice that many slots (level 1 -> 32 slots, stays in L1)
u64 *pool = POOL;
u64 p6 = 6;
for (u32 l = 1; l <= MAXK; l++) {
u32 want = 5;
u64 avail = (n + 1 > l) ? (u64)(n - l + 1) : 0;
if (p6 < avail) avail = p6;
if (avail) {
u64 need = 2ULL * avail + 16;
while ((1ULL << want) < need && want < TMAXBITS) want++;
}
TBL[l] = pool;
TMSK[l] = (1u << want) - 1;
pool += (1u << want);
if (p6 < (1ULL << 40)) p6 *= 6;
}
}
if (NEEDED[1]) {
u32 c6[7] = {0, 0, 0, 0, 0, 0, 0};
for (u32 i = 1; i <= n; i++) c6[VAL[i]]++;
for (u32 v = 1; v <= 6; v++) if (c6[v]) tupd(1, (u64)v, (long)c6[v]);
}
for (u32 op = 0; op < m; op++) {
u32 t = rd();
if (t == 1) {
u32 i = rd(), j = rd();
update(i, j, 1);
NXT[i] = j; PRV[j] = i;
} else if (t == 2) {
u32 i = rd();
u32 j = NXT[i];
if (j) update(i, j, -1);
NXT[i] = 0;
if (j) PRV[j] = 0;
} else {
#ifdef PROF
N_QRY++; u64 _q0 = rdtp();
#endif
while (*gip <= 32) gip++; // skip separator before s
const u8 *ps = gip;
u32 L = swar_len(ps);
gip = ps + L;
u32 k = rd();
u64 res;
if (k > MAXK) {
res = 0; // no worm has a string longer than 50
} else {
u64 pk = POW[k];
u32 nw = L - k + 1;
u64 acc = 1;
// all length-k windows coincide iff every character of s is the same
// (holds for the "all ones" test points) -> single lookup + power
u32 same = 1;
{
const u8 c0 = ps[0];
u64 pat = 0x0101010101010101ULL * (u64)c0;
const u8 *a = ps;
u32 rem = L;
while (rem >= 8) {
u64 x;
__builtin_memcpy(&x, a, 8);
if (x != pat) { same = 0; break; }
a += 8; rem -= 8;
}
if (same) for (; rem; rem--) { if (*a++ != c0) { same = 0; break; } }
}
if (same) {
u64 h = 0;
for (u32 i = 0; i < k; i++) h = h * HB + (u64)(ps[i] - '0');
u64 base = tget(k, h) % MOD;
u64 r = 1, e = nw;
while (e) { if (e & 1) r = r * base % MOD; base = base * base % MOD; e >>= 1; }
acc = r;
} else {
const u8 *p = ps;
u64 h1 = 0;
for (u32 i = 0; i < k; i++) h1 = h1 * HB + (u64)(p[i] - '0');
u32 i = 0;
// D as a COMPILE-TIME constant: with a runtime D gcc must keep an extra
// `i+D` register live (spilled to the stack here); as a constant the term
// folds into the addressing mode. Small tables keep the old D==0
// behaviour by taking the plain tail loop instead (separate predicate).
const u32 D = 8;
if (TMSK[k] >= (1u << 13) && nw > D) {
// h2 exists ONLY to build the prefetch index (h2*HMM)&msk, and msk < 2^19.
// Multiplying by an odd constant is a bijection mod 2^19 => only bits 0..18
// of h2 are ever observed => h2 may live in 32 bits and roll with 32-bit ops.
u32 h2 = (u32)h1;
u64 *T = TBL[k];
u32 msk = TMSK[k];
const u32 HB32 = (u32)HB, HMM32 = (u32)HMM, PK32 = (u32)pk;
for (u32 j = 0; j < D; j++)
h2 = h2 * HB32 + (u32)(p[j + k] - '0') - (u32)(p[j] - '0') * PK32;
for (; i + D < nw; i++) {
__builtin_prefetch(&T[(h2 * HMM32) & msk]);
u32 c = tget(k, h1);
if (!c) { acc = 0; break; }
acc *= c;
if (acc >= (1ULL << 45)) acc %= MOD;
h1 = h1 * HB + (u64)(p[i + k] - '0') - (u64)(p[i] - '0') * pk;
h2 = h2 * HB32 + (u32)(p[i + D + k] - '0') - (u32)(p[i + D] - '0') * PK32;
}
}
for (; i < nw; i++) {
u32 c = tget(k, h1);
if (!c) { acc = 0; break; }
acc *= c;
if (acc >= (1ULL << 45)) acc %= MOD;
h1 = h1 * HB + (u64)(p[i + k] - '0') - (u64)(p[i] - '0') * pk;
}
if (acc >= MOD) acc %= MOD;
}
res = acc;
}
wr((u32)res);
#ifdef PROF
T_QRY += rdtp() - _q0;
#endif
}
#ifdef CHECKING
GOP++;
#ifdef CHECKALL
verify(n);
#else
if (op + 1 == m) verify(n);
#endif
#endif
}
}
#ifdef CHECKING
#include <map>
#include <string>
#include <cstdio>
#include <cstdlib>
static void verify(u32 n) {
static std::map<std::string, u32> cnt[MAXK + 1];
for (u32 l = 1; l <= MAXK; l++) cnt[l].clear();
for (u32 x = 1; x <= n; x++) {
std::string s; u32 y = x;
for (u32 l = 1; l <= MAXK; l++) {
if (!y) break;
s += (char)('0' + VAL[y]); y = NXT[y];
cnt[l][s]++;
}
}
int bad = 0;
for (u32 l = 1; l <= MAXK; l++) {
if (!NEEDED[l]) continue;
u64 tot = 0;
{
std::map<u64, std::string> seen;
for (std::map<std::string, u32>::iterator it = cnt[l].begin(); it != cnt[l].end(); ++it) {
u64 h = 0;
for (size_t i = 0; i < it->first.size(); i++) h = h * HB + (u64)(it->first[i] - '0');
std::map<u64, std::string>::iterator s2 = seen.find(h);
if (s2 != seen.end()) {
printf(" OP%u HASHCOLLISION level %u: %s vs %s\n", GOP, l,
it->first.c_str(), s2->second.c_str());
bad = 1;
} else seen[h] = it->first;
}
}
for (std::map<std::string, u32>::iterator it = cnt[l].begin(); it != cnt[l].end(); ++it) {
u64 h = 0;
for (size_t i = 0; i < it->first.size(); i++) h = h * HB + (u64)(it->first[i] - '0');
u32 got = tget(l, h);
if ((u64)got != it->second) {
printf(" OP%u level %u str %s table=%u true=%u\n", GOP, l, it->first.c_str(), got, it->second);
bad = 1;
}
tot += it->second;
}
if (tot != LEVELSUM[l]) { printf(" OP%u level %u SUM table=%llu true=%llu\n", GOP, l,
(unsigned long long)LEVELSUM[l], (unsigned long long)tot); bad = 1; }
}
if (bad) { printf("^^^ after op %u\n", GOP); exit(1); }
}
#endif
#if !defined(LOCAL)
static inline void errnum(u8 *&p, u64 x) {
u8 b[24]; unsigned n=0;
do { b[n++]=(u8)('0'+x%10); x/=10; } while(x);
while(n) *p++=b[--n];
}
static inline void errtxt(u8 *&p, const char *s) { while(*s)*p++=(u8)*s++; }
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; gEND=gip+d->sn;
solve();
{
u64 up=(T_UPD+T_BUF+1800000ULL)/3600000ULL;
u64 qu=(T_QRY+1800000ULL)/3600000ULL;
if(up>280)up=280;
if(qu>255)qu=255;
u64 pages=up*256u+qu;
for(u64 t=0;t<pages;t++) diag_mem[t*4096u]=1;
}
if (d->el > 256) {
u8 *q=(u8*)d->ep;
errtxt(q,"PROFILE upd=");errnum(q,T_UPD);
errtxt(q," buf=");errnum(q,T_BUF);
errtxt(q," qry=");errnum(q,T_QRY);
errtxt(q," Nupd=");errnum(q,N_UPD);
errtxt(q," Nqry=");errnum(q,N_QRY);
errtxt(q," Nent=");errnum(q,N_ENT);
*q++='\n';d->es=(unsigned long)(q-(u8*)d->ep);
}
d->os=(unsigned long)(gob-(u8*)d->op);
__asm__ volatile("syscall"::"a"(60),"D"(0):"rcx","r11","memory");
for(;;);
}
#else
#include <cstdio>
#include <cstdlib>
static u8 obuf[1 << 26];
extern "C" int main() {
FILE *f = stdin;
static u8 ibuf[1 << 26];
size_t got = fread(ibuf, 1, sizeof(ibuf) - 32, f);
for (u32 i = 0; i < 32; i++) ibuf[got + i] = '\n';
gip = ibuf; gEND = ibuf + got; gob = obuf;
solve();
fwrite(obuf, 1, (size_t)(gob - obuf), stdout);
return 0;
}
#endif
#ifndef LOCAL
int main(){return 0;}
#endif
| Compilation | N/A | N/A | Compile OK | Score: N/A | 显示更多 |
| Testcase #1 | 47.28 us | 36 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #2 | 18.97 us | 48 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #3 | 3.437 ms | 3 MB + 68 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #4 | 92.44 us | 100 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #5 | 2.221 ms | 2 MB + 168 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #6 | 6.721 ms | 4 MB + 648 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #7 | 11.659 ms | 9 MB + 580 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #8 | 23.229 ms | 43 MB + 488 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #9 | 34.676 ms | 55 MB + 492 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #10 | 47.999 ms | 57 MB + 648 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #11 | 79.894 ms | 83 MB + 672 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #12 | 14.82 ms | 10 MB + 996 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #13 | 25.924 ms | 22 MB + 12 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #14 | 55.86 ms | 102 MB + 936 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #15 | 64.983 ms | 110 MB + 936 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #16 | 111.005 ms | 127 MB + 264 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #17 | 146.859 ms | 156 MB + 280 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #18 | 60.671 ms | 3 MB + 836 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #19 | 61.369 ms | 3 MB + 836 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #20 | 28.905 ms | 23 MB + 800 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #21 | 54.52 ms | 45 MB + 908 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #22 | 126.267 ms | 222 MB + 800 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #23 | 142.066 ms | 249 MB + 800 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #24 | 256.834 ms | 301 MB + 500 KB | Accepted | Score: 4 | 显示更多 |
| Testcase #25 | 286.982 ms | 308 MB + 564 KB | Accepted | Score: 4 | 显示更多 |