算法竞赛的魅力是乱搞还是严密的逻辑推导？

可能标题不是很清楚。

乱搞指：不知道题目为什么这么做，反正这么做就行了。典型是：板子全靠背；结论全靠猜；

严密的逻辑推导：虽然我觉得这个解法可能对，但是我不能证明，我就不写。或者说当我想到一种做法，但不觉得它对，就认为它错。

算法竞赛的魅力是，可以靠前者吊打后者的快感，还是后者推导过程的愉悦？

最近的几场 $\text{CF}$，我作为偏向后者，已经被偏向前者的人狠狠吊打了。