On Thursday, December 22, 2011 10:58:29 AM UTC, Andrzej Jarzabek wrote:

> > Problem polega na tym, ze dowolny test robisz dla danych, ktore znasz.
> > Natomiast jezeli masz logiczny dowod, ze implementacja jest poprawna i
> > algorytm jest poprawny, to wiesz ze zadziala dla dowolnych danych
> > akceptowanych przez algorytm.
>
> O ile dowód jest również poprawny.

Dlatego uwazam, ze trzeba robic i to, i to.

RW