paper 653f task cf

CF1864C Divisor Chain 题解

## 题意 给定一个整数 $x$,定义一个操作: > 选择一个 $x$ 的因数 $d$,把 $x$ 修改为 $x-d$。 限制相同的 $d$ 值不能选择超过 $2$ 次,需要在最多 $1000$ 次操作内把 $x$ 操作至 $1$,求操作序列。 ($1 \le x \le 10^9$)。 ## 题解 ......
题解 Divisor 1864C Chain 1864

CF1864B 题解

# CF1864B Swap and Reverse 题解 ## Links [洛谷](https://www.luogu.com.cn/problem/CF1864B) [Codeforces](https://codeforces.com/problemset/problem/1864/B) # ......
题解 1864B 1864 CF

CF1864B Swap and Reverse 题解

## 题意 给定一个长度为 $n$ 的字符串 $s$ 和一个正整数 $k$,每次可以进行如下两种操作当中的一种(字符串下标从 $1$ 开始标号): - 选择 $i \in \left[1, n - 2\right]$ 并交换 $s_i$ 和 $s_{i + 2}$; - 选择 $i \in \lef ......
题解 Reverse 1864B 1864 Swap

CF1178G The Awesomest Vertex

> 给定一棵树与两个序列 $a\set{n}$ 与 $b\set{n}$,定义 $R\left(u\right)$ 为节点 $u$ 的祖先集合,节点 $u$ 的权值定义如下: > > $$\left| \sum_{i \in R\left(u\right)} a_i \right| \times \ ......
Awesomest Vertex 1178G 1178 The

CF1833D Flipper 题解

赛场上思路出来了但是代码没调出来。 首先考虑右端点,很明显,要让操作后的序列字典序尽量地大,那么就要使操作后的序列第一个数尽量地大,考虑 $n$ 或 $n-1$,如果 $n$ 在原序列的第一个位置,那么此时无论怎么调整都无法使得它在新序列的第一个位置,此时就要考虑让 $n-1$ 在新序列的第一个位置 ......
题解 Flipper 1833D 1833 CF

CF1864D Matrix Cascade 题解

首先把式子拆一下,可以知道 $x-i \ge |y-j|$ 等价于 $x-y \ge i-j$ 和 $x+y \ge i+j$,注意到每次操作 $(i,j)$,影响到的点 $(x,y)$ 均要满足 $x>i$,那么我们每次就必须要按照从上往下的顺序进行,否则上面的点无法影响到,即从第一行开始操作。 ......
题解 Cascade Matrix 1864D 1864

CF1864B Swap and Reverse 题解

注意到交换操作,无法改变下标的奇偶性,因此只能通过考虑翻转操作改变。注意到如果 $i$ 是奇数,那么要令 $i+k-1$ 为偶数的话 $k$ 必须为偶数,若 $i$ 是偶数,要令 $i+k-1$ 是奇数的话,$k$ 也应为偶数,而 $k$ 为奇数的情况翻转了也无法改变奇偶性。 因此通过 $k$ 的奇 ......
题解 Reverse 1864B 1864 Swap

CF1862E Kolya and Movie Theatre 题解

先注意到我们娱乐值损耗的多少只与最后一场电影有关系,所以假设最后一场电影看的下标为 $k$,那么最后就要减去 $d \times k$。 得出这个性质之后开个小根堆反悔贪心即可,首先 $a_i0$ 的,如果还没到 $m$ 场电影,我们就直接往里塞就可以,如果到了,我们就进行反悔操作,取出已选的贡献最 ......
题解 Theatre 1862E Kolya Movie

CF1839C Insert Zero and Invert Prefix 题解

首先考虑无解的情况,很明显 $a_n$ 必须为 $0$,否则没有解,因为如果最后一位为 $1$ 那么必须有 $n$ 这个数存在于 $b$ 序列中,而这种情况时不符合题意的。 然后考虑如何求解,先考虑一种比较特殊的情况,就是若干个 $1$ 后面接着一个 $0$,这里假设 $1$ 的数量有 $k$ 个, ......
题解 Insert Invert Prefix 1839C

[CF1518D] XOR Counting

[XOR Counting](https://www.luogu.com.cn/problem/CF1815D) 由于 a 可以为非负整数并且不关心 a 的具体数值,所以 m 大了后填很多 0 即可。 分类讨论。 m=1 时直接输出 n 即可。 m>=3 时,注意到 xor 运算与加运算同奇偶,所以 ......
Counting 1518D 1518 XOR CF

Proj CDeepFuzz Paper Reading: Aries: Efficient Testing of Deep Neural Networks via Labeling-Free Accuracy Estimation

## Abstract 背景: 1. the de facto standard to assess the quality of DNNs in the industry is to check their performance (accuracy) on a collected set of ......

CF1823E

[原题](https://codeforces.com/contest/1823/problem/E) [翻译](https://www.luogu.com.cn/problem/CF1823E) 前置知识:[SG函数](https://zhuanlan.zhihu.com/p/562117547) ......
1823E 1823 CF

Proj CDeepFuzz Paper Reading: An Extensive Study on Pre-trained Models for Program Understanding and Generation

## Abstract ## 1. Intro ## 2. Background ### 2.1 Program Understanding and Generation Tasks ### 2.2 NL-PL Pre-Trained Models ![](https://img2023.cnblo ......

CF1823D

[原题](https://codeforces.com/contest/1823/problem/D) [翻译](https://www.luogu.com.cn/problem/CF1823D) 首先我们发现$c_i \leq x_i$一定有解,否则一定无解 因为我们考虑如果以$s_i$结尾出现了 ......
1823D 1823 CF

CF1774 题解

## A 考虑在所有 $0$ 前添加正号,在 $1$ 前轮流添加正负号即可。 ## B 首先根据抽屉原理,我们可以取出最多的颜色,个数记为 $mx$,然后其余颜色可以填在 $mx$ 的两两中间,最少要有 $(mx-1)(k-1)$ 个空位。 但是只是必要的,而不是充分的。考虑有多个最大值的情况,发现 ......
题解 1774 CF

Proj CDeepFuzz Paper Reading: SyRust: automatic testing of Rust libraries with semantic-aware program synthesis

## Abstract 背景: 1. unsafe能够绕开rust type system 2. rust libraries中常有许多unsafe keyword 本文:SyRust Task: fuzz Rust library APIs Challenge: synthesize well-t ......

CF1103C

任取一颗 $\text{DFS}$ 树。 如果最大深度 $\geq\frac{n}{k}$,则找到了一条路径。 对于剩下的情况,我们按环去处理。钦定一个合法环中的“代表点”为 $k$ 个环中只出现过一次的点。 考虑让叶子作为环的代表点。我们寻找到了一些性质:由于树高 $ 点击查看代码 ``` #in ......
1103C 1103 CF

Proj CDeepFuzz Paper Reading: Deepxplore: Automated whitebox testing of deep learning systems

## Abstract 背景:现有的深度学习测试在很⼤程度上依赖于⼿动标记的数据,因此通常⽆法暴露罕⻅输⼊的错误⾏为。 本文:DeepXplore Task: a white-box framework to test DL Models 方法: 1. neuron coverage 2. diff ......

CF1864C Divisor Chain

## 思路 刚拿到题,想了一些方法但都被推翻了,在这里列举出来,并给出反例: - 每次减去最小的因数,反例:$1024$ 等形如 $a^k$ 的数,每次都会减去 $a$ 导致 $a$ 的出现次数超过 $2$ 次。 - 每次减去大于等于 $\sqrt x$ 的因子,$x$ 为目前的数,并特判指数的情况 ......
Divisor 1864C Chain 1864 CF

CF1864D Matrix Cascade

## 思路 第一时间想到的是暴力,因为同一行的互不影响,所以第一行的 $1$ 一定都需要操作,然后把后续的状态更新,再操作第二行的所有的 $1$,但是很可惜是 $O(n^4)$ 的复杂度,必然会 TLE。 所以思考其他的办法,考虑到可以统计有多少操作更改了这个位置的状态,所以可以使用一个类似前缀和的 ......
Cascade Matrix 1864D 1864 CF

CF1864A Increasing and Decreasing

## 思路 首先,给定了一个序列的首项 $a_1$ 和末项 $a_n$ 以及项数 $n$,要求构造一个严格递增,且差严格递减的序列。 因为是构造题,所以可以随便造,考虑差严格递减,所以从后往前构造比较合理。 因为严格递增,所以差至少为 $1$,所以 $a_{n-1}$ 就构造成 $a_n-1$,$a ......
Increasing Decreasing 1864A 1864 and

CF1864B Swap and Reverse

## 思路 刚看懂题意时感觉很难,但是观察样例后,大胆猜测,$k$ 为偶数时,直接排序;$k$ 为奇数时,分奇偶位排序。 快速了写了程序,一交果然 AC。 其实很简单,这里给出证明: 首先,操作 $1$ 保证了奇数位和偶数位上的字符可以任意变动顺序。 然后,操作 $2$ 当 $k$ 为偶数时,可以改 ......
Reverse 1864B 1864 Swap and

CF840E In a Trap

# CF840E In a Trap ## 题意 有一颗以1为根的树,每个点上有一个点权ai,每次询问路径u到v上最大的 $ai \bigoplus dist(i,v) $,保证u为v的祖先 ## 题解 有意思的题,之前考过一道类似的,那题场切了,这题不会。 首先我们将值域折半,将 $dis$ 产生 ......
840E Trap 840 CF In

CF1817A

[原题](https://codeforces.com/contest/1817/problem/A) [翻译](https://www.luogu.com.cn/problem/CF1817A) 降智题 用一个前缀和数组$s_i$记录前缀中满足$a_{i-2} \geq a_{i-1} \geq ......
1817A 1817 CF

CF1826F

[原题](https://codeforces.com/contest/1826/problem/F) [翻译](https://www.luogu.com.cn/problem/CF1826F) 一道很~~难想~~巧妙的交互题 首先如果他给出点的顺序是有序的,那我们显然可以问一个与$x$轴平行的和 ......
1826F 1826 CF

【拆贡献】CF1422F Boring Queries

考虑质因数分解,我们求区间的 $lcm$ 就是 $\prod a_i$ 除以一些东西。 不难发现如果算 $x^k \in lcm$ 那么我们只能算一次,那么我们直接把这个东西挂在前一个出现的位置即可。 使用主席树维护即可。这个题,很难。 ```cpp // LUOGU_RID: 123092767 ......
贡献 Queries Boring 1422F 1422

CF1826E

[原题](https://codeforces.com/contest/1826/problem/E) [翻译](https://www.luogu.com.cn/problem/CF1826E) ~~傻卵~~$bitset$题 高位偏序,直接套CDQ分治显然不可行 但是解决高维偏序还有一种常见的 ......
1826E 1826 CF

CF1826D

[原题](https://codeforces.com/contest/1826/problem/D) [翻译](https://www.luogu.com.cn/problem/CF1826D) 这题乍一看不太好做,当时还想了单调栈或改变枚举顺序之类的做法,但都不可做 但仔细一想,我们发现答案的$ ......
1826D 1826 CF

CF1851F - Lisa and the Martians

## 题目描述 Lisa was kidnapped by martians! It okay, because she has watched a lot of TV shows about aliens, so she knows what awaits her. Let's call inte ......
Martians 1851F 1851 Lisa and

CF1586 f1,f2 Korney Korneevich and XOR 思维+dp

## CF1586 f1 f2 Korney Korneevich and XOR 思维+dp ### [题目链接](https://codeforces.com/problemset/problem/1582/F2) ### 题意: 给出长度为n的数组a,对于数组的严格递增子序列,计其异或和为xo ......
Korneevich 思维 Korney 1586 and