(To be continued)

In fact, some proofs of mathematics have been made using computers.

It's a "four-color problem."

This was a rare case where the pattern could be limited to a finite number, which made this proof possible.

Although the algorithm has been improved since then, there is no proof that no computer is used.

Mathematical proof problems with a finite number of solution spaces are fairly rare cases.

So I wonder if the problem of the "polynomial time reduction" system that the hero of this animation is working on can be treated as a finite pattern problem.

(If so, I wonder if his work is not so difficult)

-----

Well, I don't want to talk about this seriously, however, I think just that

"I am looking forward to seeing various math concepts when watching this anime"

Anyway, I didn't know the term "null hypothesis", but "polynomial time reduction" or "Hamilton pass", so I looked up it immediately.

So, I noticed that

"Oh, it is significance test isn't it?"

-----

The current Prime Minister has asserted in the Diet defense that "There is no way to prove that there is no such fact."

His claim is correct.

This is called "devil's proof."

This "devil's proof" is a really proof of the devil, because it cannot be proved by any means.

However, it seems to be "significance test" and "null hypothesis", by statistical methods and bringing it to a level of "generally proven"

This anime also explains the contents clearly, and at least for me, it is very helpful at the first time

-----

Anime can be a good motivation to study, if we can use it well.