離散数学で使われる解決方法
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/06/27 13:17 UTC 版)
「離散数学」の記事における「離散数学で使われる解決方法」の解説
離散数学でよく使われる共通の問題解決法がある。それはアルゴリズムによる解決法である。問題の構造をアルゴリズムに置換え、分析することで問題を解決する。アルゴリズムの理論は帰納的な考えを含む。つまり、アルゴリズムの理論自体も離散数学の一角を成しているといえる。アルゴリズムの理論の対照を成すのが実証論である。実証論は整数論やトポロジーなどの伝統的な数学の顕著な特徴を持っている。数学的には実証論的な証明の方が綺麗だといわれる。
※この「離散数学で使われる解決方法」の解説は、「離散数学」の解説の一部です。
「離散数学で使われる解決方法」を含む「離散数学」の記事については、「離散数学」の概要を参照ください。
- 離散数学で使われる解決方法のページへのリンク