カテゴリー: Diophantine equation

Decrypt history, Encrypt future™

ディオファントス方程式は複素変換したとしても効率的なアルゴリズムを見つけることはできない

整数のみを扱う方程式であるディオファントス方程式は効率的な解の探索汎用アルゴリズムがない。これはチューリングマシンと同義である。一方、複素方程式には効率的に解を再現するアルゴリズムがある。 ディオファントス方程式(整数係…
Read more

DPRM theorem

「ディオファントス方程式の解を(しらみつぶしに)手探りで探す行為」は、「チューリングマシン(プログラム)を実行して、それが終わるのをじっと待つ行為」と完全に同義(本質的に同じこと)になる。 チューリング(1936)が「プ…
Read more