给定长度为 n 的数组 a,定义三元组 (i,j,k)(i<j<k)为和谐的,当且仅当三对数的 gcd 要么全部为 1,要么全部大于 1。
关键观察:Ramsey 定理给出 R(3,3)=6——任意 6 个点的完全图二染色(两种颜色分别代表“gcd=1 的边”和“gcd>1 的边”)中,必然存在一个单色三角形。
对应到本题,当 n ≥ 6 时,不管数组取值如何,前 6 个下标中一定存在一个和谐三元组(三对 gcd 全为 1 或全大于 1)。
据此可将问题大幅简化为常数规模检查:
给定一个长度为 n 的正整数序列 a1,a2,…,an。 定义两个元素的「亲和值」为它们的最大公约数,即 gcd(ai,aj)。 一个三元组 (i,j,k)(1≤i<j<k≤n)被称为和谐的,当且仅当三个亲和值 gcd(ai,aj),gcd(aj,ak),gcd(ai,ak) 要么全部等于 1,要么全部大于 1。
现在将对该序列依次进行 q 次修改操作。每次修改会给出位置 p 和新值 x,表示将 ap 变为 x。请在每次修改后判断序列中是否存在和谐三元组,若存在则需要输出任意一个。
数据范围:
Scan the QR code below with WeChat to sign in
First-time scan will create your account automatically
请使用微信扫描下方二维码完成注册