社区讨论

一个bug

P3368【模板】树状数组 2参与者 2已保存回复 1

讨论操作

快速查看讨论及其快照的属性,并进行相关操作。

当前回复
1 条
当前快照
1 份
快照标识符
@mjjerw6v
此快照首次捕获于
2025/12/24 10:42
2 个月前
此快照最后确认于
2025/12/26 19:30
2 个月前
查看原帖
题面当中提到“保证任意时刻序列中任意元素的绝对值都不大于 2302^{30}”,这个限制应该是用于保证差分数组和树状数组的值域均在 int 范围内的。但是实际上 int 范围是 [231,231)[-2^{31},2^{31}),所以理论上 230(230)=2312^{30}-(-2^{30})=2^{31} 会导致带符号整数溢出的UB。
但是话又说回来了,上面那个东西的实际表现和 mod232\mod 2^{32} 的加法一样导致虽然是 UB 但似乎没法 hack。所以直接开 int 也可以过。
所以:
  • 是否有必要对题面数据范围进行简单改动?
  • 开int的是否可以被hack?
当然也可能是我的分析有问题,如果有锅请指出。

回复

1 条回复,欢迎继续交流。

正在加载回复...