建议麦当劳
建议麦当劳。
最近经常说这句话。发现,在很多时候麦当劳都是几个人聚餐的最优解:
- 可能有回民
- 可能有人不吃辣、醋
- 可能有人不吃鱼羊海鲜
绝大部分情况下,麦当劳都覆盖了至少一部分一个人爱吃的东西。因此,本站的
建议麦当劳。
最近经常说这句话。发现,在很多时候麦当劳都是几个人聚餐的最优解:
绝大部分情况下,麦当劳都覆盖了至少一部分一个人爱吃的东西。因此,本站的
最近在校内部署了我们开发的EduOJ以供数据结构与算法课程使用。#include</dev/random>
能卡死编译器,以及某段很短的代码能产生数
上线后不久,很多同学反映说
1 | while (head->next != nullptr) { |
可以看到,他在delete p
后还访问了p->next
。
1 | template<typename T> bool ArrayList<T>::append(T const& value) { |
会输出SIZE 0 CAP 2000 The List is overflow!
。
看到这里,你可能已经急了。明明size
是0
,cap
是2000
,为什么if
里的size >= cap
会成立呢?先别急,接着看下面的代码:
1 | #include <iostream> |
但是,强大的
1 | $ clang++ a.cpp -Wall --std=c++17 -fsanitize=undefined |
会发现这个代码访问了数组里下标为-1
的地方。
上面的几段代码有什么共同点呢?为什么在平台上的执行结果就和本地不一样呢?为什么这几段代码表现出来好像“平台不好用了”呢?要回答这个问题,首先要理解“未定义行为”的概念。
在我们学习编程的过程中,可能都知道一些行为是“非法”的,是“错误”的,比如:
但是,我们也仅仅知道这些行为是“错误”的,并不会知道这些行为为什么错误,会造成哪些后果。这些行为在
控制流出有返回值的函数(除了
main )的结尾而不经过return 语句是未定义行为。
翻译成人话就是,除了
标准中也明确给出了未定义行为的解释:
甚至:
翻译成人话就是,如果发生未定义行为,编译器可以把这段代码编译为任何内容,包括但不限于删除你的所有文件,帮你定一杯咖啡,或者时间旅行。
不理解上面那段话什么意思?没关系,我们回过来看之前的那段代码:
1 | template<typename T> bool ArrayList<T>::append(T const& value) { |
这段代码中实现了一个顺序表的value
放到elem
里,并size++
。但是,上面说了,这段代码的运行结果是if
内条件永远成立,即使后面输出的时候size
为0
,cap
为2000
。为什么会这样呢?这是不是编译器的
其实并不是。可能你已经注意到了:这个函数最后缺少return
。因此,if
内条件不成立的行为未定义。编译器发现了这一点,认为程序员会保证每次调用的时候if
内条件都成立(否则就会出现未定义行为if
,把代码编译成了大概这个样子:
1 | template<typename T> bool ArrayList<T>::append(T const& value) { |
重新回顾这个优化的过程中编译器的思路:
if
内条件不成立的话,行为未定义。if
内条件均成立。if
。可以发现,整个优化过程中编译器严格的遵守了
if
内条件成立,这样的执行结果自然是正确的if
内条件不成立,那么行为未定义。既然行为未定义,那任何行为都是正确的,因此我执行if
内条件成立的代码也是正确的行为。因此,错的不是编译器,是整个世界你。编译器没那么多
当然,
因此,到现在你应该知道了什么是未定义行为。任何包括未定义行为的代码运行结果恰好符合你的预期都是巧合。任何时候不应该写有未定义行为的代码。未定义行为会导致代码在不同平台不同编译器上运行结果不一致。
未定义行为对于代码的危害上面已经说的差不多了。你可能会觉得:顶多代码运行结果是错的,又会怎么样呢?**NAIVE!
编译器可以把这段代码编译为任何内容,包括但不限于删除你的所有文件,帮你定一杯咖啡,或者时间旅行。这些都是严格符合
C++ 语言标准的。
不要以为“删除你的所有文件”是危言耸听:有人发现在
这段代码首先定义了一个函数f1
。在这个函数中,i
会不断累加,直到溢出。有符号数溢出是未定义行为。于是,编译器没有给f1
生成任何代码,只生成了一个
从右侧的汇编可以看到,f1
f2
函数,这个函数会格式化你的硬盘(在这个例子并没有真的格式化,注释掉了f1
内没有任何代码,所以调用f1
会执行你本来不想执行的f2
函数。BOOM!你的硬盘被格式化了。
在
This means UB is a potential safety/security problem, and we really should do something about it.
还有一部分人认为不应该:
All sorts of UB manifests in lots of security issues, right? Buffer overruns and the like (I guess this is a buffer overrun, of sorts).
同时,有些人认为应该修复,理由是为了
It’s not generally that simple - deciding where/how to “recover” from UB would be pretty difficult.
The Clang-advised way to deal with this would be to compile with -fsanitize=undefined
example.cpp:4:29: runtime error: signed integer overflow: 2147483647 + 1 cannot be represented in type ‘int’
SUMMARY: UndefinedBehaviorSanitizer: undefined-behavior example.cpp:4:29 in
大意是已经有足够强大的未定义行为检测器了,为了方便
总之,不要写未定义行为,以及当你以为编译器错了,你错了。我的
个人题解,和比赛官方无关,仅供参考
Mr. Leo is a famous computer scientist, he invited you and your classmates to go on a vacation in his new house in the mountains. After a day of playing, many of you felt comfortable and sighed: “It’s quite nice to live in the mountains!”. Mr. Leo agreed with that, and he decided to play a game with you, to make the travel even more interesting.
There is an unmaintained lawn next to Mr. Leo’s house, he let you design a pattern for this lawn, and submit the pattern with a computer program. The lawn is 5 meters wide and 12 meters long, you are supposed to take one square meter as one unit, use “g” to indicate grass, and use “.” to indicate bare ground. For example, an unmaintained lawn can be described as the following:
1 | .gggg |
You had no idea about the pattern. However, your friend classmate T came to encourage and team up with you. “No matter what difficulties we meet, don’t be afraid, face it with a smile!” classmate T said, “Because the best way to overcome fear is to face it. Come on!”. After listening to the encouraging speech, you felt confident and asked him what could you do to help him. Classmate T explains that he had always believed that nobody knows pattern design better than him, however, he knew nothing about computer science. So he needed you to write his program to output his wonderful design.
You accepted the task at once, and ask him when can you get the final design. classmate T said that good designs need time to perfect, and he needs to find a great way to inform the Chinese character element in his design. Just like he always says: “Normal pretty design, not ok. Pretty design with Chinese character element, ok!”. After a night of work, classmate T finally gave you his design, please write a program to output it.
classmate T’s design:
1 | .g.g. |
There isn’t any input for this problem.
Output classmate T’s design.
逗比题,直接输出即可。
用草字拼个草。
1 | #include <iostream> |
上完体育课之后,
所幸,
但对于大部分
现在,为了能尽快的完成程序课作业,
第一行,三个整数
而后
而后
共一行,用空格隔开的
对于
Input
1 | 5 3 4 |
Output
1 | 3 4 INF 9 1 |
可以把
分析时间复杂度:
1 | #include <iostream> |
个人题解,和比赛官方无关,仅供参考
第一行为空格分隔的
第二行为空格分隔的
HH:MM
格式的
输出一个整数表示你一共需要对
1 | 5 3 30 |
1 | 3 |
暴力查询的时间复杂度为
RMQ 是英文Range Maximum/Minimum Query 的缩写,表示区间最大(最小)值。
可以使用线段树、
ST 表是用于解决 可重复贡献问题 的数据结构。可重复贡献问题 是指对于运算 ,满足 ,则对应的区间询问就是一个可重复贡献问题。例如,最大值有 ,
gcd 有 ,所以RMQ 和区间GCD 就是一个可重复贡献问题。像区间和就不具有这个性质,如果求区间和的时候采用的预处理区间重叠了,则会导致重叠部分被计算两次,这是我们所不愿意看到的。另外, 还必须满足结合律才能使用ST 表求解。
ST 表基于 倍增 思想,可以做到预处理, 回答每个询问。但是不支持修改操作。 基于倍增思想,我们考虑如何求出区间最大值。可以发现,如果按照一般的倍增流程,每次跳
步的话,询问时的复杂度仍旧是 ,并没有比线段树更优,反而预处理一步还比线段树慢。 我们发现
,也就是说,区间最大值是一个具有“可重复贡献”性质的问题。即使用来求解的预处理区间有重叠部分,只要这些区间的并是所求的区间,最终计算出的答案就是正确的。 如果手动模拟一下,可以发现我们能使用至多两个预处理过的区间来覆盖询问区间,也就是说询问时的时间复杂度可以被降至
,在处理有大量询问的题目时十分有效。 具体实现如下:
令
表示区间 的最大值。 显然
。 根据定义式,第二维就相当于倍增的时候“跳了
步”,依据倍增的思路,写出状态转移方程: 。
以上就是预处理部分。而对于查询,可以简单实现如下:
对于每个询问
,我们把它分成两部分: 与 。 其中
。 根据上面对于“可重复贡献问题”的论证,由于最大值是“可重复贡献问题”,重叠并不会对区间最大值产生影响。又因为这两个区间完全覆盖了
,可以保证答案的正确性。 以上内容以 CC BY-SA 4.0 协议和 SATA 协议提供在 OI-WIKI。
贡献者:orzAtalod, Henry-ZHR, leoleoasd, Chrogeek, H-J-Granger, ouuan
1 | #include <iostream> |
个人题解,和比赛官方无关,仅供参考
迫于忘了选体育课
学生被要求玩一个奇怪的游戏
把球从起点传输至筒中
之后老师会根据完成小组完成任务的时间的排名来赋予平时分
他想知道需要卷到什么程度
想要问问你另一个组需要多久来完成任务
一个轨道可以视为一个
1 | - |
-
表示一个横着摆放的轨道/
和 \
分别表示 上升V
表示目标球桶为了模拟球的行为
不同摆放的轨道会对于球的速度有如下影响
-
: v -= 3\
: v += 10/
: v -= 15在运球过程中
我们定义球的一次移动为球的横坐标加一的过程
\
\
/
-
V
-
\
/
-
V
/
\
/
-
V
为了简化问题
V
球的初始坐标为-
V
保证每列只有一个不是空格的字符/
\
-
V
一个整数
如果不能完成任务-1
1 | - |
1 | 80 |
通过每一格的速度分别为
4 1 11 21 18 15 12 9 6 16 26 23 8 5 2
所需时间分别为
7 30 2 1 1 2 2 3 5 1 1 1 3 6 15
大模拟题,暴力模拟即可,考察细节。
1 | #include <iostream> |