この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方)
出典検索?: "離散数学"
この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。(2024年1月)
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
英語版記事を日本語へ機械翻訳したバージョン(Google翻訳)。
万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。
信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。
履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。
翻訳後、{{翻訳告知|en|Discrete mathematics|…}}をノートに追加することもできます。
Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・指針についての説明があります。
離散数学(りさんすうがく、英: discrete mathematics)とは、原則として離散的な(言い換えると連続でない、とびとびの)対象を扱う数学のことである。有限数学または離散数理と呼ばれることもある。
グラフ理論、組み合わせ理論、最適化問題、計算幾何学、プログラミング、アルゴリズム論が絡む[1]応用分野で、その領域を包括的・抽象的に表現する際に用いられることが多い。また、もちろん離散数学には整数論が含まれるが、初等整数論を超えると解析学などとも関係し(解析的整数論)、離散数学の範疇を超える。 離散数学の中核を成す分野として次の2つが挙げられる。 組合せ論とは「ひたすら数える」数学である。より一般的にいって、それは有限の数(とはいっても、星の数よりもはるかに大きな数のときもあるが)について考えるということである。その考え方の基本は ということである。 グラフ理論は(大まかに言うと)点と線の数学である。頂点(点)とそれらの接続(辺)を調べるという単純な考え方が基本となるが、現在、とても勢いのある分野へとなった。グラフ理論の中の多くの問題は、組合せ論に関係がある。例えば、グラフで2頂点の間の路に関する問題がある。この問題は、 ということになる。他にもグラフの彩色に関する問題など組合せ論との関りは深い。 他に、学校教育の領域で教えられているものには行列、集合、順列・組合せ、論理と証明、帰納法と漸化式、数列などがある。それら以外で、金融経済や産業経済の領域で科学技術として利用されているものにはゲーム理論、マルコフ連鎖、社会選択理論、投票理論、ビンパッキング問題、記号論などがある。 離散数学でよく使われる共通の問題解決法がある。それはアルゴリズムによる解決法である。問題の構造をアルゴリズムに置換え、分析することで問題を解決する。アルゴリズムの理論は帰納的な考えを含む。つまり、アルゴリズムの理論自体も離散数学の一角を成しているといえる。アルゴリズムの理論の対照を成すのが実証論である。実証論は整数論やトポロジーなどの伝統的な数学の顕著な特徴を持っている。
離散数学の内容
組合せ論
グラフ理論
解決法は存在するか?
どれくらいの数の解決法があるか?
最適の解決法があるか?
路は存在するか?
どれくらいの数の路があるか?
最適の路を見つけられるか?
離散数学で使われる解決方法