- ベストアンサー
四色問題
現在、四色問題に興味を持っています。 実際にこれが人間の頭で解けるような問題ではないことは承知済みです。何か関連性のある問題で(ex.五色問題など・・これの証明もなかなか理解できないのですが・・・)分かりやすい問題・定理の証明などございませんでしょうか?自分にはまだグラフ理論などの知識は全くありません。高校生に説明しても何とか分かる程度の問題だとありがたいです。
- みんなの回答 (2)
- 専門家の回答
関連するQ&A
- グラフの最長経路問題
グラフにおいて,最長経路を求める問題があります. 最*短*経路問題なら,「一番早くたどり着ける道順を探す」ということで理解できるのですが,最長の経路を求めて何かメリットがあるのでしょうか? 応用が分かりません. そこに何か利点があるのでしょうか? 理論的な興味だけなのでしょうか?
- ベストアンサー
- 数学・算数
- 【グラフ理論】証明問題が分かりません。【難問】
テストに向けてグラフ理論の勉強をしているのですが・・・ 下記の証明問題で行き詰まってしまいました。 『uv ∉ E(G) → uw ∉ E(G)というグラフは完全K部グラフしか存在しない事を証明せよ。』 当方、証明問題に滅法弱く、どう解けば良いのか方針すら分かりません。 方針や証明の過程など詳しくご教授して頂ければ幸いです。 何卒宜しくお願い致します。
- 締切済み
- 数学・算数
- グラフ理論の問題についての質問です
大学のグラフ理論の問題でわからないものがあったので質問させていただきます。 ****************** 問題: グラフGが位数|V(G)|=nでk個の連結成分を持つグラフの時、辺数|E(G)|が n-k≦|E(G)|≦1/2(n-k+1)(n-k) をみたすことを示しなさい。 ******************* 以上の問題を帰納法をつかって証明しようとしたのですが、詰まってしまいました。 よろしければこの問題の証明方法を教えてください。 よろしくお願いします。
- 締切済み
- 数学・算数
- この問題、どのように解けばよいですか?
中心極限定理のシュミレーションとして出された問題なのですが、乱数表(00から99まで)から無作為に数を抽出し、その数が00から49なら1、50から79なら2.80から99なら3に変換して、数の抽出を25回行い、変換した数25個の平均値を出すという作業を50回繰り返したものをグラフにするという問題なのですが、どのように解けばよいでしょうか?プログラムを使って作るようにいわれたのですが、プログラムに関してはほとんど知識はないので、(FORTRAN77ならかろうじて学校でやっているので少しはわかるのですが、もしできればFORTRAN77を使ったプログラムでお願いします)できるだけ丁寧に教えてください
- ベストアンサー
- 数学・算数
- ゲーデル「不完全性定理」が分かりやすく理解できる本
ゲーデル「不完全性定理」が分かりやすく理解できる本 通学中の電車内に有る「1991年、科学によって神が存在しないことが証明された!」という謳い文句に興味を持ち、一体、その照明方法がどういった手順を踏んだものなのかを調べ初めて早2時間・・・・・。なんつーものに興味を持ってしまったのだろうと若干後悔の渦が・・・・・。 どうにか、この「1991年、科学によって」が、ゲーデルの「不完全性定理」を指しているの・・・・かな?というところまで辿り着きました。という訳で、「じゃあゲーデルの不完全定理を理解すれば、あの宣伝の謳い文句が分かるのかー」と、その定理に関連するサイトを読みかけ・・・・、そんな簡単に理解できるものじゃないコトを認識しました。 気にしなければ、そんなこと知らなくても全く日常生活に支障はないので、忘れてしまえば良いのですが、折角、「不完全性定理」というものの存在を知り、且つ、興味全開なので、出来る事ならば表面上だけでも、齧りだけでも良いので理解してみたいと思っています。 ゲーデルの「不完全性定理」を調べていくうちに、公理・ヒルベルト・公理系・無矛盾性・完全性・パラドクス・・・・・など随所の単語につまづき、その都度、その単語の意味が書いて有る別のページに飛び・・・・・を繰り返し続けているうちに、「これはちゃんとした本で理解した方がいいんじゃないか・・・・」と思ったので質問させてください。 私は一介の高校生なので、ちょっとした専門用語にすら「?」が浮かんでしまいます。不完全性定理を導く過程で必要な用語を解説しつつ、根気と気力が有れば、まあ有る程度理解できるくらいの易しさで書いてある本を紹介してください。また、その定理が生まれるに至った経緯なども豆知識程度に書いて有れば尚嬉しいです。(こちらのページhttp://detail.chiebukuro.yahoo.co.jp/qa/question_detail/q1410933224 のpistis_sophia_00さんの回答の様な感じ) 来る夏休み中に読み終えられるような入門的なもので構いませんので、是非よろしくお願いします。 長文・乱文しつれい致しました。
- ベストアンサー
- 数学・算数
- 数学の、美しい証明や興味深い証明など、
数学の、美しい証明や興味深い証明など、 面白い・意外と思えるようなものを、知っていたら教えてください。 自分は、フェルマーの最終定理は問題自体は簡単なのに、 証明されるまでに3世紀以上もかかった、という経緯が興味深くて好きです。 (証明自体はまったく理解できませんが…) こういうものも教えていただければ嬉しいです。 http://cos.cocolog-nifty.com/cosmos/2006/05/post_5231.html
- ベストアンサー
- 数学・算数
- ユークリッド幾何学にまつわる不完全性定理的理解について
ユークリッド幾何学にまつわる不完全性定理的理解について ゲーデルの不完全性定理の対象となる数学は『公理系Nが無矛盾である』が前提です。ユークリッド幾何学は 一階述語論理で表されることが出来る自然数の部分集合であって、ゲーデルの不完全性定理の対象である 公理Nの無矛盾である 論理の対象になってないとなり それ以上のユークリッド幾何学の論理的理解が進みません。そこでゲーデル理解を拡張して『公理系Nが無矛盾ではない』として不完全性定理を理解すると(須田隆良氏、中西章氏など) (1)ゲーデルの第一不完全性定理の解釈==>公理系Nが無矛盾であろうがなかろうが 公理系Nにおいて、「公理系Nにおいて命題は証明可能である。」という命題も、「公理系Nにおいて命題は証明不可能である。」という命題も証明不可能である (2)第2不完全性定理の解釈==>公理系Nが無矛盾であろうがなかろうが その無矛盾性を証明できない となります。これらはゲーデル不完全性対象から外れておりますが、対象外のユークリッド幾何学を理解するには都合がよい と思うのです。 (2)によりユークリッド幾何学の公理の無矛盾性は証明できない。 (1)によりユークリッド幾何学の未定義領域(非ユークリッド幾何学、虚数、無限遠点とか)は 公理系Nにふくまれ 多くの証明できない命題があることになります。もちろん 公理定義内では完全性理論は保証されています。 なぜ このようなユークリッド幾何学に こだわる かと申しますと 世の中の 論理(数学、哲学、論理を用いた論文 など)は ユークリッド幾何学的なものが 圧倒的に多いと思うのです。これら論文は ほとんどは一階述語理論で表され かつ ゲーデル不完全性定理 対象論理ではないのです。それら論文の特に(2)に関わる自己証明は出来ない ということは重要であると思うのです。もちろん 自己証明が出来ないと言って間違いとはなりません が 常に 冷静に謙虚に 主張理論の原点を見直すことに 繋がっていると思うのです。勿論、論理構成が出来ていないシロモノは 論外であります。 以上のように理解しているのですが、ユークリッド幾何学にまつわるゲーデル不完全性定理の場外理解は問題ないでしょうか。諸先生のコメント頂けましたら幸甚です。
- ベストアンサー
- 数学・算数
- 洋書(グラフ理論)の読破
現在, 大学2回生です 興味のある分野を読み進めていくうちに洋書を読んだほうがより高い知識を得られると考え, 洋書の購入を考えています。 興味のある分野は「グラフ理論(大きくみれば離散数学)」なんですが 洋書ってどうも苦手意識があるというか・・・ 要領よく読み進めていくにはなにかコツのようなものはあるのでしょうか? あと、出来ればグラフ理論の良書も教えてください
- ベストアンサー
- 数学・算数
- 筆王の住所録をプリントアウトできない問題について質問があります。アドバイスをお願いします。
- 使用しているバージョンやOSの情報が不明ですが、筆王の住所録をプリントアウトする方法について教えてください。
- ソースネクスト株式会社の製品である筆王の住所録のプリントアウトに関する問題が発生しています。どなたかアドバイスをお願いいたします。
お礼
ありがとうございました。大変興味深かったです。