Hello, I am curious to know if you try to prove observations you make for a problem during the ongoing contest or you are like "I think this can be done this way"...??

# | User | Rating |
---|---|---|

1 | tourist | 3778 |

2 | Benq | 3592 |

3 | ecnerwala | 3521 |

4 | Um_nik | 3423 |

5 | jiangly | 3375 |

6 | Petr | 3342 |

7 | Radewoosh | 3337 |

8 | scott_wu | 3313 |

9 | maroonrk | 3265 |

10 | yosupo | 3259 |

# | User | Contrib. |
---|---|---|

1 | Errichto | 201 |

2 | 1-gon | 200 |

3 | rng_58 | 194 |

4 | SecondThread | 193 |

5 | awoo | 187 |

6 | vovuh | 183 |

7 | Um_nik | 182 |

8 | antontrygubO_o | 177 |

9 | Ashishgup | 175 |

10 | -is-this-fft- | 171 |

Hello, I am curious to know if you try to prove observations you make for a problem during the ongoing contest or you are like "I think this can be done this way"...??

↑

↓

Codeforces (c) Copyright 2010-2021 Mike Mirzayanov

The only programming contests Web 2.0 platform

Server time: Jan/23/2021 17:50:56 (i1).

Desktop version, switch to mobile version.

Supported by

User lists

Name |
---|

I always prove in the contests that can only submit once(CNOI mode)

I usually prove it if it's easy and the pernalty affects

I usually prove-by-ac in an IOI-mode contest and the method is easy-coding.

I don't bother with formality and rigor, but I always try to at least

justifyany observations I make.No most of the time. We usually come up with examples* to verify the hypotheses. And rely on gut feeling too. Sounds iffy but solving competitive programming problems doesn't require much rigor. Sure, you should test your submission carefully and make sure not to make silly mistakes during a contest but mathematical proofs sound way over the top.

I have nothing against proofs, though. Proofs are awesome. They're just not that useful during a contest.

* Your brain isn't a good random number generator. It is rather biased. Write a computer program to generate test cases instead. You can work them out by hand, however. A dozen cases or so and you can be very confident that your algorithm is correct.

Also I second what Shisuko said.

Well, as said in this comment:

I think, this somewhat explains, that the

guts feelingis the feeling when you think you have done enough proves that your solution should be correct. So, most of the time,there are some proofsthat are just thereinstinctively, while you are thinking. That's why, it's not really true to say something like:Also in the same blog where the comment above was, this question was asked. You might find something there, too.

Not exactly prove, but I try to convince myself about some observations I made using contradictions and inductions.

I trust in my luck :v

I won't ever use an observation I cannot justify.