Bovmelo's blog

What are the most used “proof words” in CP?
By Bovmelo, history, 12 months ago, In English

Let me start with “note that”.

  • Vote: I like it
  • +92
  • Vote: I do not like it

Comments Comments (39)
| Write comment?
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

Auto comment: topic has been updated by Bovmelo (previous revision, new revision, compare).

→ Reply
»
12 months ago, # |
  Vote: I like it +8 Vote: I do not like it

"consider"

→ Reply
»
12 months ago, # |
  Vote: I like it +818 Vote: I do not like it

→ Reply
»
12 months ago, # |
  Vote: I like it +73 Vote: I do not like it

"It can be shown that"

→ Reply
»
12 months ago, # |
  Vote: I like it +122 Vote: I do not like it

It is obvious that

→ Reply
»
12 months ago, # |
  Vote: I like it +183 Vote: I do not like it

Trust me bro

→ Reply
  • »
    »
    12 months ago, # ^ |
      Vote: I like it +15 Vote: I do not like it

    I literally wrote this on a blog after the most crucial claim and no one questioned it

    Thanks cf

    → Reply
»
12 months ago, # |
  Vote: I like it +4 Vote: I do not like it

Let's assume

→ Reply
»
12 months ago, # |
  Vote: I like it +111 Vote: I do not like it

I hate it when they use "it is easy to see that"

→ Reply
  • »
    »
    12 months ago, # ^ |
      Vote: I like it +71 Vote: I do not like it

    Me too.. and whenever this is written its always hard to see that

    → Reply
»
12 months ago, # |
  Vote: I like it +1 Vote: I do not like it

We can notice that

→ Reply
»
12 months ago, # |
  Vote: I like it +101 Vote: I do not like it

“bitset”

→ Reply
»
12 months ago, # |
  Vote: I like it +319 Vote: I do not like it

well known trick in china!

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

Hence Proved !

→ Reply
»
12 months ago, # |
  Vote: I like it +1 Vote: I do not like it

We can achieve this by. ..

→ Reply
»
12 months ago, # |
  Vote: I like it +141 Vote: I do not like it

" We don't have the strict proof, but we have faith and stress."

→ Reply
»
12 months ago, # |
  Vote: I like it +123 Vote: I do not like it

The proof is left as an exercise to the reader.

→ Reply
  • »
    »
    12 months ago, # ^ |
      Vote: I like it 0 Vote: I do not like it

    It would be thoroughly appreciated if lazy editorials put this rather than a low-effort explanation that clears up nothing.

    → Reply
»
12 months ago, # |
  Vote: I like it +8 Vote: I do not like it

Without loss of generality

→ Reply
»
12 months ago, # |
  Vote: I like it +21 Vote: I do not like it

This is a well-known fact that

→ Reply
»
12 months ago, # |
  Vote: I like it +8 Vote: I do not like it

I "Claim"

→ Reply
»
12 months ago, # |
  Vote: I like it +9 Vote: I do not like it

"Observation:"

→ Reply
»
12 months ago, # |
  Vote: I like it +15 Vote: I do not like it

from "someoldname" 's theorem it's obvious that...

→ Reply
»
12 months ago, # |
  Vote: I like it +5 Vote: I do not like it

"There are other approaches..."

→ Reply
»
12 months ago, # |
  Vote: I like it +1 Vote: I do not like it

We can prove by induction that ...

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

"from the following observations"

→ Reply
»
12 months ago, # |
  Vote: I like it +5 Vote: I do not like it

If you actually want to prove something: "Assume that"

Once you realize that you don't know how to prove something: "It's obvious that"

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

The proof is left as homework.

Source : https://codeforces.net/blog/entry/9070 (word "homework" written in tutorial of 351C + 351D)

→ Reply
  • »
    »
    12 months ago, # ^ |
      Vote: I like it +13 Vote: I do not like it

    And sometimes "homework" is harder than the actual problem, so we just "prove it by AC"

    → Reply
»
12 months ago, # |
← Rev. 2   Vote: I like it +3 Vote: I do not like it

"Time complexity: O( )"

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

It can be proven that

→ Reply
»
12 months ago, # |
  Vote: I like it +1 Vote: I do not like it

We can use (smth) to optimize $$$\mathcal{O}(n^2)$$$ to $$$\mathcal{O}(n \log n)$$$ due to monge property

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

"First of all"

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

Let's start with a naive solution

→ Reply
»
12 months ago, # |
  Vote: I like it +1 Vote: I do not like it

"We are programmers not mathematicians"

→ Reply
»
12 months ago, # |
  Vote: I like it 0 Vote: I do not like it

It was revealed to me in a dream

→ Reply