Access_271's blog

By Access_271, 4 years ago, In English

Given is the following statement.

Given a Problem $$$P$$$, Let $$$T$$$ be the set of all testcases for this problem,

Let $$$t^* \in T$$$ be a test-case such that for a given program $$$S$$$, if $$$S$$$ passes the verdict of $$$t^*$$$, it's guranteed to pass $$$\forall \; t \in T$$$. ( Hence it's a correct solution.)

In simpler terms, Is it always possible to create a test-case for a problem, such that if a solution passes the verdict for that test-case, then it can claimed that the solution is correct.

Prove the existence/non-existence of $$$t^*$$$.

(i.e Prove that it exists, or prove that it doesn't.)

Note : The Given Problem P could be any problem. i.e Prove/Disprove it for all problems that could exist.

Full text and comments »

  • Vote: I like it
  • -7
  • Vote: I do not like it