四色定理の証明
■ このスレッドは過去ログ倉庫に格納されています
0001帰納と類比
2009/07/15(水) 05:42:03１９７６年７月から２００７年１１月まで掛かりました。
0002１３２人目の素数さん
2009/07/15(水) 05:44:35このスレ終了
0003帰納と類比
2009/07/15(水) 05:50:39Ａ４用紙 ２～１０枚です。
欲しければ、郵送します。
0004１３２人目の素数さん
2009/07/15(水) 05:51:280005帰納と類比
2009/07/15(水) 06:02:19４色定理 ８０％信頼
今だ４色定理は証明されていないというのが実態。
0006にょにょ ◆yxpks8XH5Y
2009/07/15(水) 06:39:140007１３２人目の素数さん
2009/07/15(水) 07:19:490008１３２人目の素数さん
2009/07/15(水) 07:44:52東京は開けましたよ
0009１３２人目の素数さん
2009/07/15(水) 08:03:380010１３２人目の素数さん
2009/07/15(水) 08:10:050011１３２人目の素数さん
2009/07/15(水) 08:15:140012１３２人目の素数さん
2009/07/15(水) 08:50:30まずは１に何が四色なのか訊いてみようじゃないか。
0013１３２人目の素数さん
2009/07/15(水) 10:47:380014１３２人目の素数さん
2009/07/15(水) 14:53:45http://arxiv.org
に投稿してください。
0015１３２人目の素数さん
2009/07/15(水) 17:13:27日本語で投稿できる？
0016１３２人目の素数さん
2009/07/15(水) 18:53:560017帰納と類比
2009/07/15(水) 20:36:58４色問題の解ができました。とゆうこと。
１９７６年当時はパソコンで全ての不可壁集合を可約配置だと証明したと新聞に出てました。
次にアッペルとハーケンが証明できたと勘違いした論文をだしました。
私も勘違いした論文を出した？とは全然思っていません。パーフェクトです。
>>9 反例はありえません。ただし配色のアルゴリズムはないので、その反例の配色は時間が掛かるだけです。
うＰは、図が書けないので難しい。
球面上の絵は４色で塗り分けられる。飛び地で一国などは当然除外します。
簡略うＰ
５集点は不可壁集合である。Ｎ点まで４色で塗られたら、Ｎ－１点でも４色で塗られる。
Ｎ＋１点をＮ-１点に加工して、５色が必要だと矛盾を出して、Ｎ＋１点が４色で塗れる。
で証明終わり。
アッペルとハーケンはいいところまで行ったんだが。チェーンの概念は使わしてもらった。
難易度はピタゴラスの定理並み。高校生でも理解できる。
0018１３２人目の素数さん
2009/07/15(水) 20:41:14このスレ終了
0019１３２人目の素数さん
2009/07/15(水) 20:44:37スキャナ無いのか？
0020帰納と類比
2009/07/15(水) 20:55:140021１３２人目の素数さん
2009/07/15(水) 21:54:530022１３２人目の素数さん
2009/07/15(水) 22:18:36既に解決された問題を未解決だと言い張るパターンもあるのか。
電波はネタに事欠かないな。うらやましいことだ。
0023帰納と類比
2009/07/15(水) 23:05:01デジカメは載らないでしょう。
必要条件 ４色は簡単
十分条件 ４色は困難 ← 証明した
Ａ
P1
。
／ ＼
／ ＼
P2 。 ● 。95
Ｂ ＼ P(N+1) ／Ｃ
＼ ／
。＿ 。
P3 P4
Ｃ Ｄ
上記図のＰ(N+1)点をＡ，Ｂ，Ｃ，Ｄのいずれか１色で塗る事に成功した。
図が正確でなく、見苦しくてすまそ。
0024１３２人目の素数さん
2009/07/15(水) 23:22:46うぷろーだ知らんのか？
0025１３２人目の素数さん
2009/07/15(水) 23:49:56結構お年みたいだし
0026帰納と類比
2009/07/16(木) 00:16:36とにかく、まだ証明されてない。
証明あれば、ｕｒｌを貼ってください
0027１３２人目の素数さん
2009/07/16(木) 01:09:110028帰納と類比
2009/07/16(木) 02:29:01アメリカ合衆国の海の色塗って見なさい。５色になるから。
最近出版の本：ロビン・ウイルソン著 新潮社出版 茂木健一郎訳 2002年5月
で序文でこう書いている。『数学者の間では、・・・問題が解決されたと考えてよいのかとゆう点をめぐって、今日もなお論争が続いている。
それで、プリンターでうｐろーだできませんかね？
0029１３２人目の素数さん
2009/07/16(木) 02:40:25http://up2.viploader.net/pic/indexm.html
0030１３２人目の素数さん
2009/07/16(木) 02:43:17そりゃアメリカを塗る場合の例なんだから塗ってないんでしょ
塗り方変えれば海もちゃんと塗れますよ
ケチ付けるんならちゃんと証明にケチ付けようね
0031１３２人目の素数さん
2009/07/16(木) 06:24:30＞2002年5月
そうか、齢数百歳になるような仙人さまであらせられたか。
それでは、プログラムによる証明など理解できなくてもしかたあるまい。
まだほんの数十年の出来事だからな。
0032１３２人目の素数さん
2009/07/16(木) 14:21:21http://lovestube.com/up/src/up10793.jpg
http://lovestube.com/up/src/up10794.jpg
http://lovestube.com/up/src/up10795.jpg
１ページにまとめられなくてすまそ
0033１３２人目の素数さん
2009/07/16(木) 15:40:380034１３２人目の素数さん
2009/07/16(木) 16:02:07接合ってなんぞ
0035１３２人目の素数さん
2009/07/16(木) 18:02:00もし接合が「まとめて１つの点にすること（縮約）」を言ってるなら
２ページ目最後の「ＡＣチェーンとＡＤチェーンが繋がってる場合は
Ｂを分断してＡとＣを接合させると５色必要になる」の部分が駄目ね
0036帰納と類比
2009/07/17(金) 00:37:06接合とは、配色拘束もった点どうしが合わさって１点になること。
0038１３２人目の素数さん
2009/07/17(金) 00:42:140039１３２人目の素数さん
2009/07/17(金) 00:43:0227～は職業はどんな分野か？
0041１３２人目の素数さん
2009/07/17(金) 00:50:26いつ死ぬの？
0044１３２人目の素数さん
2009/07/17(金) 03:10:15分断っていうか君の言葉を借りれば分離だっけ？
どちらにせよ同じことだよ
0045１３２人目の素数さん
2009/07/17(金) 07:40:38ネタ師ならプレゼンの方法を考えてからスレを立てような
0046１３２人目の素数さん
2009/07/17(金) 12:03:190047帰納と類比
2009/07/17(金) 23:26:35>>44
その縮約でもＡＣチェーンが繋がっていれば、５色になるのではないか
Ａ，Ｃ色以外＆Ｂ，Ｄ色以外でね
新たなうＰろーだ必要ですか
0048１３２人目の素数さん
2009/07/17(金) 23:51:52だから「五色になる」って何やねん。
矛盾させるためには「配色に五色必要な図形になる」こと言わなあかんでしょ。
で、それを証明した形跡が全然無い。
ろだは同じとこにもっかい上げときゃえーよ
0049帰納と類比
2009/07/18(土) 00:12:12http://uproda.2ch-library.com/149526lut/lib149526.jpg
http://uproda.2ch-library.com/149527WV4/lib149527.jpg
http://uproda.2ch-library.com/149529Itv/lib149529.jpg
３日くらいは見れます。
0050１３２人目の素数さん
2009/07/18(土) 00:17:200051１３２人目の素数さん
2009/07/18(土) 00:27:310052１３２人目の素数さん
2009/07/18(土) 00:34:11http://nagamochi.info/upload.html
でもこっちの方が長持ち
http://www1.axfc.net/uploader/Img/
0053ハギヨシ (咲 -Saki-)
2009/07/18(土) 01:47:59／／:/:::::::::/::;ｨ::::|::::::::|::::::::::::|::iﾞ､::ﾞ､::::ﾞ､::::::::::ﾞ､
///::::/:::/::::/::::ﾊ::/|::::::::|::::::::::::ﾊ:::|＼ﾞ､::::|:::::::::::::ﾞ､
///::://:::/::::/:|:::| |;ハ::::::::ﾞ､::::|:::| _ﾞ､:|__＼:::|::::::::::::::ﾞ､
//|:::|::|:::::|:::::|::|:::|┼--ﾞ､::::::ﾞ､:|:::| ＿ ﾞ､ ｀l::|::::::::::::::::ﾞ､
/ |:::|::|::::|::::::|l::|ﾞ､| ＿=|＼:::::|::/ ,-ｧ=〒､_|:|::|:::::::::::::::|
|:::|:::|:::|::i:::|:|::| <´}._ol冫 Ｖ人_ ｰ゜ " |:i::|;､:::::::::::::|
. |::|:::|:::|::|:::|:ﾄヽ /' ＼ﾞ､ /.|:/,ﾍﾞ､::::::::|
ﾞ､Ｎ|:::|:|ﾞ､N iﾞ､ /l // }::::i:/
ﾞ､ ﾞ､|:ハ:ﾞ､ | ｀ // /::::/ﾘ
ﾞ､| ﾞ､:ﾞ､| ＿__ |/.__／;ｨ/
ﾞ､ ﾞ､ﾞ'ﾞ､ ｀ｰ=' ,/::::::/'/
＼ ／|:::::/ 先生
｀i ､ _／ |;;/ 長持ちするロダと、よく飛ぶロダ
,| ｀ ｰ- ´ _,'ﾞ}､_ どっちを選んだらええんや？
／|ゝ､_ __, -‐ｧ' ,!:.:.:.＼
／:.:.:/ヾ_／￥>､_／‐'_´,|:.:.:.:.:.:｀r､_
,..-‐／:.:.::.:/ ｀＞<_/｀ <￣ |:.:.:.:.:.:.:.:ﾞ､:.｀ｰ-､__
_,..-‐:.´:.:.:/:.:.:.:.:.:/ ,イ ハ i ﾞ､ |:.:.:.:.:.:.:.:.:.:ﾞ､:.:.:.:.:.:.:.｀ｰ-､_
:.´:.:.:.:.:.:.::／:.:.:.:.:.:./ / / / | ｜ ｜ |:.:.:.:.:.:.:.:.:.:.:.:ﾞ､:.:.:.:.:.:.:.:.:.:.:.:.｀ｰ-､
0054原村和 (咲 -Saki-)
2009/07/18(土) 01:58:16!:::::::/ / /. : / /: : .:| ::｜: : :;: : : :|: . : : :. ヽ::::::::::};}:::::::|
l:::::/ / / . :/ /: : /｜ ::| : : :|: : : :ﾄ､:｜:|: : }´:::::::|ト__:/
{:::/ /.: ; . :/ /: : ::{: :| ::｜: : :!、: : | |: j､:|: : l:::::::ｨ´ヾ:::ヽ、
l_:l ｲ: : :|: :|: :ﾄ{､: :ﾊ｜: :| : : :|: ヽ :| }厶イ､ |丁/::::::::}:::::::〉、
/:| ﾊ: :｜ |: :l | ｀ﾄ､}lヽ: :'、: :ﾄ､斗匕/ l | |｜| l::r‐く|ヽ/{´
ヽl |_l: : |: :|: :|rﾃ干示ﾄ'＼lヽl´::rf苡圷¨} |/-|: ￣:|: :l ｜
ﾚ ＼ﾄ､ ＼ヽ 弋:ツ : : ::. ::. ゞ夕 ノ/ ´|: : : :|: :| |
ｲl| |＼}l｀.:xwx:. , .:xwx::. ＿ﾉ; ::｜ | |
/ j｜! ﾊ /／ | : :|:l: : :｜
/ .ｲ j｜l介 ､ ／´ ! : :!:l: : : |
/ /｜ |｜l｜{ ､ ´ ｀ イ＿ | : :l l: : 八 そんなこと、どうでもいいじゃない
/ / l| ｜l｜|｜ __」￣ {､:::::ヽ､ | : :| !: : : ∧
/ // l| ｜|厶斗‐::´:r‐! ／::::::::::::｀::| : :ト､: : : : ﾊ
l / /| ｜::::::::::::::::::/-､ ｧ´:::::::::::::::::::::八 . : }>､＼: : :ﾍ
| 〃 ∧! ﾄ､::::::::::::::::l￣￣ ７::::::::::::::::::::::::/ . :j ヽ }: : :ﾍ
l// }/'| 八::＼::::::::::| /:::::::::,.-‐::´:::// . ::/ ／´∨: : : :ﾍ
// ∨ / ﾊ:.:.＼::＼::::l ／-‐::´:_,..:.:￣// . ∨〃 }ヾ: : : :ﾍ
{ｲ / / / l ヽ:.:.:}＞-::!./-‐＜:.:.:.:.:.:.:.:.:ｲ/ ∨ｲ Vヽ ､: : }{
|ﾊ }ｧ'./ { ｀ー-ゝ､ﾚ_∠≠=- ´ ／ . :/ l| ﾄ:l | l: :ﾊ|
0055竹井 久、原村 和 (咲 -Saki-)
2009/07/18(土) 01:59:28:::::::::／: : : : : :,: : : :ヽ/::::::::::::::＼ ／::::::::::| ,.‐' : :.｀ﾞ ､
:::／: : : : : :／: : : : : :}:::::::::::::::::::「.|::::::::::::::ﾄ､ .／: : : : : : : ＼
/: : ‐--: :/: : : : : : : :|::::::::::::: ＞!ﾉ_:::::::::::/ ', ./ : : : : : : _,.::‐: : : : : : :. ヽ
: : : : : : ::,': : : : ＼: : :!::::::::_／/|:＼:::::::::::〉 : :', / : : ／: : : : :,,.-: :､: : : : . '
: : : : : : :.:: : : : : : : : : 7￣::: :ｨ .}::::::＼／. ! /: : : : : : ,ｨﾞ: : :__::／／ ｿﾉﾘヽ .: :'
: : : : : :,': : : : :: : : : ∠ｨ､:::::::::| :|:::::::::}/: // ﾘ |: : : : : : :|: :"´:／ ｀ _,,..._ ',: 小
: : : : :.:|: : : : : : : : : : : / ＼_| :|／^ﾘ／// / |: : : : : : :{: ,ｨ示ﾊ`ヾ. ,,..._ `/| :.} !
:.:: : : : |: : : : : : : : : : / : : : :| : : |:／／/／ l: : : : : : ::Ⅵ､tj::ﾘ んﾘ｀i/: |: :|
,: : : : :.',: : :,,,＿: : : :〃 : : : : | : :!￣ / |: :!: : : : : ::＼ｰ". {::ﾂ 〃:,.': /
ﾄ､￣´: ',:.: : : : : : : :/ : :/: : | ! ; ∨: : : : : : : :ﾉﾞﾞﾞ ､ ~.../: /／
: :＼: : : ヽ: : : : : : / :./: : :.| | / . 〉: : |: : :ｉ／ r‐‐-, /: : !
: ||: :＼: : : : : : : :/ : /: ::|: i| | ／ /: : /|: : :ﾄ､＼ ` " ,. ィΧ.､{ その投げやりなところが
: ||: : : :＼／＼:/ : /: : /!: i|ﾞ |′ .ｆﾞ/／ｰ{: ､:.＼ , ‐.≦ｲ ／"／＼ たまらんなぁ～
: ||: : : : .ﾘ / : /: : //!:.:i|. | ｒ=≦＝ ､＼: :.:.:ﾄ､ {＼:::::∨| ／_. !
: ||: : : ::/＿_./ : /: : //=!:.:.|. | / .＼ヽソ::::＼-ヽ:::ﾘ:! i´∪
0056１３２人目の素数さん
2009/07/18(土) 02:00:54麻雀 ＿j＿┌─┐ /‐┐ ｢ ７ ｢ ７
分かんない～ ﾉ| | / ヽ.} L/ L/
／ ｣ _ノ _ノ o o
,. ォ
／ /ﾉ ｎ_, = ､
r┴= ､つ r‐く. ／´
|::::::::::::ﾉ ,.ィ,三三ミ.､ |:::::::::::`7
|:::::::::::{/:ム､_,､/--ミ¨ヽ. /:::::::::: /
|::::::: / : | , ､＿ヽ: :＼{::::::::::::}
|:::::: ′: {￣´ ﾄ: :ヽ}:::::/::/
∨: | : : :|,.≦ r=ミ }、: :!:::/::::!
{::::从: : !つ ＿_ (こハ: :|:/::::::{
ヽ:: ∧ :| {ー '} 爪:}:ﾉ::::::::/
} :::: ヽﾄ . ー_' .ィ:ヽ:/ .:::::::/
V:::::: {ト､:下､_/｜:/:::{::::::::{
V:::::::}::::〉:! / ＼:ヽ:::＼:::|
∨::i:::〈::::|{ {!ヽV 〉|::::::::＼
∨:::: ＼乂､ ﾄくV:o::::::::: ＼
}:::::::::::::l | { ヽ〉::::::::::::::::::ヽ
|::::::::::::::l ヽ〉 ヽ:o:::::::::::/:＼
|:::::::::::::::l o ヽ::::::::〈::::::: ヽ
ト---:､:::l }o::::::ヽ:::::::::〉
|::::::::::::l:: | o |::::::::::::::::, く__
ヽ:::::::::|:: | ﾄ､ }::::::::／:ヽ: : :}
0057１３２人目の素数さん
2009/07/19(日) 01:29:060058帰納と類比
2009/07/19(日) 01:53:38他の人は見る気←０
で、私は正解と思っている。
数学先生が５名、間違いとカキコがあれば、逃走します。
麻生太郎の様に２０％の支持率でも頑張っておられる。
私もあやかりたいものだ。
0059１３２人目の素数さん
2009/07/19(日) 03:03:54というか仮にも数学やってるつもりなら多数決じゃなくて反論ぐらいしようよ・・・
0060帰納と類比
2009/07/19(日) 03:54:10同様にＣをＡに変えられない
そこに接続してるＢとＤにはかえられない
よってＡ，Ｂ，Ｃ，Ｄ，に縮約できず、第５色Ｅが必要になる。
Ｎ－２点の相対グラフでは４色で十分であるから、矛盾を生じる。
よってＮ－１点で５集点は３色となり、Ｎ点のグラフは平面状で４色で塗ることができる。
ゆえに平面上のグラフは４色で塗り分けることができる。
0061１３２人目の素数さん
2009/07/19(日) 09:51:51何で「チェーンで４色にできない」なら「５色必要」になるんだよ
「５色必要」ってのは「ある手順では４色にできない」ことではなく
「どんな手順でも４色にできない」ことだっていうの分かってるのか？
0062１３２人目の素数さん
2009/07/19(日) 11:49:10コンピュータによる力ずくの証明しかないんだっけ
単純そうなのに意外と複雑な事情を孕んでいるようだ
組み合わせ的な方法の限界があるんじゃないかと推測
0063帰納と類比
2009/07/19(日) 16:04:39４つのパターンを示したうえで、２つのパターンが残ってＡＣチェーンが繋がっていると
縮約不能か５色目が必要になる、と書いてるだけ
ＡＣチェーンを切ればＮ－２とＮ-１点で３色になる
どこが間違っているのだろう。
0064１３２人目の素数さん
2009/07/19(日) 16:38:430065帰納と類比
2009/07/19(日) 23:17:59となりに接続されてるＢとＤには変えられず、Ｂ，Ｄ以外で
ＡとＣ以外になるので、第５色のＥが必要になる。
これはＮ－２点で４色で塗れることに反する。
よってＡＣチェーンは繋がってなくて３色で塗れる。
これが飛躍ですか？
0066１３２人目の素数さん
2009/07/20(月) 00:41:41ていうか毎回４行目を付け加えてるけどそこはどうでもいい。
飛躍は３行目の「ケンペの方法では４色で塗れないので、第５色のＥが必要になる」の所。
ケンペの方法で４色で塗れないことは５色目が必要なことの根拠にはならない。
というか何で今になってアッペルハーケンどころかケンペのやったことをなぞらにゃならんのだ。
この程度のこと君が読んでた本にも載ってただろうに。
0067帰納と類比
2009/07/20(月) 04:13:28まわりの５点を３色で塗れた
チェーンが絡むとＮＧでまわりの点を４色までしか、配色を落とせない
５色定理Ｎｏ．２ になるかな
Ｎ－１点までは４色配置ができると仮定していたのに、Ｎ－２点では
５色必要になるグラフが存在する。
証明の前提でＮ－１点までは４色で塗れると仮定していたことに矛盾する。
これが ケンペの証明をなぞったことになるのか
そうだとすれば、お手上げ
しばし、休憩。
うＰローダは２１日～２２日までみれます。
0068１３２人目の素数さん
2009/07/20(月) 10:17:14君がやってるのは「チェーンが絡むとＮＧでまわりの点を４色までしか、配色を落とせない」
→「よってチェーンが絡むとまわりの点を塗るには５色必要」と同じようなこと
0069１３２人目の素数さん
2009/07/20(月) 11:46:55君がやってるのは「チェーンが絡むとＮＧでまわりの点を４色までしか、配色を落とせない」
→「よってチェーンが絡むとまわりの点を塗るには４色必要」と同じようなこと
実際には３色で塗れる場合もある
0070帰納と類比
2009/08/02(日) 23:31:07ケンペのチェーンで４色が必要だから５色が必要と言っている訳ではない。
Ｎ－２点で５色になる と 矛盾する。と言ってる。
>>66
『ケンペの方法で４色で塗れないことは５色目が必要なことの根拠にはならない。』
どうして？ 縮約と接合の差があるかもしれない。
時間 １０日くらい経ったから、１人くらい解った人いないかな～？
0071１３２人目の素数さん
2009/08/02(日) 23:45:41何を話しても無駄だよね。
0072１３２人目の素数さん
2009/08/02(日) 23:51:45「やっぱり自分は正しいはず」という信念だけはよみがえるのか
恐ろしいのう
>>70
>縮約と接合の差があるかもしれない。
「かもしれない」ってなんだ、かもしれないって
差があると主張するなら、そのことを示さないと話に
ならないでしょ？
0073１３２人目の素数さん
2009/08/02(日) 23:53:520074帰納と類比
2009/08/03(月) 20:46:32もうすぐ４～５人になるな。
縮約の定義を教えてください。宿が付いてるから、同色の接合を意味してるのかな？
接合は異色の接合は周りの全ての色で塗り分けできないとき１色増えること。
あとは>>60 に書いた通り。
梅雨明けのように反論者さん、理解してくれない？
0075１３２人目の素数さん
2009/08/03(月) 21:04:59まずは日本語から勉強し直してこい
0076帰納と類比
2009/08/03(月) 22:26:53Ｍ色（４色）ができないときＭ＋１色（５色）こともある相対グラフ
0077帰納と類比
2009/08/03(月) 22:35:530078１３２人目の素数さん
2009/08/03(月) 23:09:190079１３２人目の素数さん
2009/08/03(月) 23:20:41＞Ｍ＋１色（５色）こともある
だから日本語勉強し直してこいってｗｗｗｗｗ
君に数学はまだ早いよｗ
0080帰納と類比
2009/08/04(火) 20:52:09縮約は配色数増えていいの？
同数または減少することと考えていた。
>>79
こともある←がおかしいのか ：普通の表現だと思うが
ＡＣチェーンで縮約すると５色になる ということ
最終学歴で国語は９０点、数学は５０点で普通だから出直した。
0081１３２人目の素数さん
2009/08/04(火) 21:12:25縮約は二つの国の国境を無くし一つの国とみなすこと
0082帰納と類比
2009/08/05(水) 03:07:56ＡＣチェーンでＡ国とＣ国を縮約するとチェーンが繋がっている場合
Ａ国とすることもできないしＣ国とすることもできない
Ａ国の周りのＢ国と、Ｃ国の周りのＢ国、Ｄ国とすることができない。
したがってＡ国とＣ国の縮約はＥ国となって、Ｎ－２国で５色の配色となる。
Ｎ－１国以下は４色で配色できることに反する。
よってＡＣチェーンが切れているかＡＤチェーンが切れていることになる。
従ってＡ国はＡＣチェーンが切れているか、ＡＤチェーンが切れていることになる。
Ａ国はＣ国になるか、Ｄ国にならざるおえない。
Ｎ－２国で３色で配色でき（対象の５点で）、Ｎ－１国で３色で配色でき（対象の５点）
よってＮ国で４色で配色できる。
ゆえに平面上の国は４色で配色できる。
相対グラフで説明した方が簡単な気がする。
これは、５集点が不可壁集合であるから、それを可約配置にしたことになる。
0083１３２人目の素数さん
2009/08/05(水) 03:39:250084１３２人目の素数さん
2009/08/05(水) 09:59:25同じことを前から指摘している人(>>61 氏とか)がいて、
それであなたは全く言い分を変えないので無駄だとは思うけど。
たとえ話: ４国 (b,c,d,e) と国境を接している a国がある。
"事前に" b,c,d,e国はそれぞれ異なる色(つまり4色)で塗られている。
さて a 国に色を塗ろう。 接しているから b,c,d,e どの国の色も使えない。
つまり a 国を塗るには5色目が必要だ！なんと4色問題の"反例"を見つけてしまった。
もちろん間違い。塗り方がヘタなだけ。
「a国を塗る前に b～e国に塗ってあった塗り方」を忘れて、
a～e国を新たに塗りなおせば4色で塗れる。
あなたの間違いも同じこと。
「縮約前の配色」に小細工して4色で塗れないからといって
「縮約後の塗り分けに5色が必要」という結論はでない。
まったく別の塗り方で4色で塗れるかもしれないから。
0085１３２人目の素数さん
2009/08/05(水) 12:31:180086帰納と類比
2009/08/05(水) 23:06:23>>84
ケンペの手法は配色の全てを網羅してると思うが、これが間違っていれば
あなたの主張は正しい。
反例ではなく、矛盾（仮定に）あり、ということ。もちろん矛盾でなければ反例となる。
このあたりは、別の数学者に聞いてみたいものだ。
0087１３２人目の素数さん
2009/08/05(水) 23:49:27本人だけ何のことだか分かっていないというのもなんだかなぁ
0088１３２人目の素数さん
2009/08/07(金) 03:10:280089帰納と類比
2009/08/08(土) 01:36:11よく覚えてないが、３００点くらいまで４色で塗れるとヘーシュはいっている
から正しいとおもわれる。
縮約したＮ－２点のグラフでも４色以下で配色できれば矛盾はない。
しかし、ケンペの手法でＡＣチェーン、ＡＤチェーンが繋がっていれば、
第５色が必要になる。←ここが問題だと主張される。
もしあなたが５色必要なく、４色で十分だと主張されればその縮約を示して
もらいたい。
>>88さん、 そこはどこですか？
0090１３２人目の素数さん
2009/08/08(土) 03:07:12＞よく覚えてないが、３００点くらいまで４色で塗れるとヘーシュはいっている
＞から正しいとおもわれる。
これ本気で言ってるんだろうか
0091帰納と類比
2009/08/08(土) 20:57:05勘違いですみません
ストロムキストは５１点のすべての配置に４色で十分と証明している。
Ｎ－１点は５１点に変更します。
0092１３２人目の素数さん
2009/08/08(土) 21:36:530093帰納と類比
2009/08/09(日) 04:44:20飛躍があると言われても、その意図することが解らない。
このままｓａｇｅ進行でいきますか？
それともＵＰろだにのせますか？
0094森宮依人 (sola)
2009/08/09(日) 05:31:58/ ／ // ／ l // / | ヽ ヽ､ヽ
/.// // ／// | // /| || ヽ ヽヽl
／'// l/／ //| | |'ﾅ7￣"'/ｰ.|l_| || l､ | l ヽ
// / r-j /:| | |/|:'| /ｧ-ｷ､|7 /|| l| | ,| .| l
／l | l //.|/ | | |l | | ./ヽo/| // ./ .|./||| /| |
| /| l , | | || |/ ヽ､'j //,／ // || | / |
|/ || ＼ヽ__| | | '／´ヽ､_ | |/
|' ||| ヽ__,| | ／
|ヽ | | .| ＿ r'
＼ | ||､ ヽ',r'
ヽ |/ ＂ヽ､ / 先生
l / | ヽ､ ./ このままsage進行でいくのと
| ／ | r-- ､＿_/ それともＵＰろだ にのせる
|/ | / どっちを選んだらええんや？
i ￣ ｰ ､_／ | |
r--､ _／ ヽ､ /＿
, ' ヽ､ ＼ /＼_ヽ､
／ ヽ ､ ＼＿ l ヽ＼ヽｰ-､
r-,──--､ ヽ ヽ ヽ ＼ ヽ ＼＼
0095神河繭子 (sola)
2009/08/09(日) 05:33:12／ : : : : _ ,,.:.:.:／ /／ ＼
,-‐ﾉ＾‐-ｯ,, _ /.:.:.:.:/ l ⌒ ‐ _ ',ヽ
rﾙnﾉﾆｭ／-ノr＼.:.:.:l ', ', ＼ ＼l ヽ
ヽ＾ ｀＾｀=r_ ', ヽ ＼ i / / .l
/ i i i .i ＼; ＼ ‐-／ヽ l
.i l l. l l |! l |!｀ ‐-‐ ´ ヽ/
l l l l l ,,l |!゛´l |! l´ヽ |::| 丶
.|i .! !l .l l゛ ,ｨ|ｮ;=ｯl |! .! lゝﾉ.l::l|| ＼ ヽ
! l| ! .! !l lヽ ｀ﾏｯ, |! ﾘ l / l::l |l ＼ ＼
l| l| V l´ l:l !| ＼ 丶
ﾉ ´ ! l/ |lﾍ ＼ ヽ
｀ ヽ__ ／ {.!ﾍ ヽ＼ ヽ ＼ そんなこと、どうでもいいじゃない
／/:::/｀丶／ﾑ＼／ { ! ﾍ ＼ ＼ ＼
/｀/｀v:::/ 八〈< ＼ニ‐ 、 ヽ
/ 〈 ∨.} (｀／/::::〉rZ/-ﾉz＼ヽ ヽ 丶 ）
ﾊ 〈_ r::⌒ヽ (｀| /ﾚ:ﾚ|〈l.:.:.:.:::::::::::::) ） ） ﾉ ／
〈J r八.:.:.:./ ＾〉 ! ノ´./:.:.:.ﾚ〈::ノ.:.:.:::::::://:::＼ ノ ／ ／
ノ〉＼.:.:〉へｒへ(.:.:.:.:l:.:.:.:.／.:.:.:.:.:.:.:::（〈:::|:::::::）／ ／
＼_:::r（.:.:.:.:.:.:.∧ ﾍ::|:.:（.:.:.:.:.:.:.::::::::::::｀:::', く ＼
〈::〈::::.:.:.:.:.:.:.:.:.:＼.::l:::::＼／ ﾍ:::::::::::::::l:::::::）) ）
＼!＼:::::.:.:.:.:.:.:.:.:＼::::::/.:.:.:.:.::ﾍ:::::::／::／ 丿 ／
0096神河繭子、水口ちさと (sola)
2009/08/09(日) 05:34:17,r､_,r‐ｧフ￣ 'ー| |. ﾉ >ｧ
￣￣ｔ. ／／ ー'￣”"ヽ､
／ ヽY／ ／ ／ ／ ヽ
, ─´ ヽ :: // / / / ヽ
／ｨ ヽ ヽヽl!|. / / /i. /./! i l
/' ./! ｉ :: |＼ ::ｌ＼l/!' | .l| /_ハ/ .| /././ l !
/ .| ::| :: | ｌ ｌ ／ , ‐V'|. /V｀'ナ‐| /!/ //.| ｨ ! l ! l
| | ..::::::|ヽ.:ヽ ｊ/ ｲ/ ∨￣｀ヽ ∨ |'｀V､_|_!_/ !. /./ |
| |､ ..:::::::|-‐チ !::::::::::::: ＿＿|'|/! / /./ / |
ヽ.ヽ!､.::::::::ﾄ､/￣ ､ r─（ l ::::::::::: ヽ !/／!/ / .ハ
Y| ヽ､|V ∧ イ ! .〉､ ::::::::::::: "! | )' ∧ その投げやりなところが
/ :: | ||ｲ ::ハ.r‐ｭ､ ｀ー' , ' ト､ ,./ / ＼ たまらんなぁ～
／ ::.l |!.| ::| |／弋ァｭ-く＿ l _､＞ｭ──‐ｪ彡/__/ i ｀ー─ｧ
/ ::/ |! ＼!／ Xヽ. ヽ ´ ヽ ／￣ 7ヽ_! l く
. / ::/ |!＞´ ∨} ｀ー---'/ ￣!_| l l
. 彑_ ::＞´ ,.ィ─ ）| ＿_＿／ | 从 |
/ ,／ ‐ ､ .≦´>＼. 孑'´ r Y ＿ j/ | |
7´. ￣￣￣￣￣￣. r､ヽヽ! | ,,ィ ハ /
ゝ､ ＿＿＿_,／l l l. ｌ. ｌ.Ｕ ,≠"ﾉ, ／ ＼. i !. /|/
─ / ／. Ｕ ＵＵ ,,≠" ,' ＼_ ／ ＼|＼|!/
/ ,,≠" {. ￣ ／ |
ｌ. ,,≠"l ', ／ !
0097１３２人目の素数さん
2009/08/09(日) 16:37:35>このままｓａｇｅ進行でいきますか？
>それともＵＰろだにのせますか？
自分の「証明」がナンセンスだったと認めて
スレ終了、というのはどう？
0098１３２人目の素数さん
2009/08/10(月) 13:34:2051点までは正しいが常に正しいとはわからない、という証明でしかない
いいかげんあきらめろ
0099帰納と類比
2009/08/11(火) 00:12:18数え上げの公式の最低点から出発しよう。
ナンセンスと言われても、理解できないだけ。
そのうち解る人が出てくることにしよう。
http://nagamochi.info/src/up28233.jpg.html
http://nagamochi.info/src/up28234.jpg.html
http://nagamochi.info/src/up28236.jpg.html
またうｐろだに上げたから、気になる人は見てください。
0100１３２人目の素数さん
2009/08/11(火) 00:20:21論理的な証明とは何なのかを理解していない人にそれじゃ駄目だってどうやって説明していいか
0101帰納と類比
2009/08/11(火) 00:51:23http://nagamochi.info/upload.html
上記の画面を開き コメントの 1/3,2/3,3/3を探してください。
証明の内容が載ってます。
up28233
up28234
up28236
です。
0103１３２人目の素数さん
2009/08/13(木) 02:03:050104マルボロ浮き輪 ◆xcpYmMaS26
2009/08/13(木) 02:34:100105帰納と類比
2009/08/13(木) 20:32:50ＡＣチェーンのＣを縮約前にＣをＡに塗れるはず。
その手順を反論者は示さず、無効にしている。
その手順を示してもらいたいものだ。
0106１３２人目の素数さん
2009/08/13(木) 21:43:34あなたが言っているのは、ある定理を積極的に正しいと証明できていないのに
「反例がないのだから正しい」といっているのと同じだよ。
そういう主張をする人と数学的な議論はできんわな。
0107１３２人目の素数さん
2009/08/14(金) 01:56:510108１３２人目の素数さん
2009/08/14(金) 03:12:10３行で頼む
0109帰納と類比
2009/08/14(金) 04:08:17ＣをＡに塗れることが必要である。
このときＮ－１点で３色で塗れることになる。
よってＮ点は４色でぬることができる。
また飛躍と言われそうだな。
0110１３２人目の素数さん
2009/08/14(金) 09:59:51＞ また飛躍と言われそうだな。
論理的に証明を完成させていれば有り得ない感想だな。
0111１３２人目の素数さん
2009/08/16(日) 00:12:47>縮約後に４色で塗れるということは
>ＡＣチェーンのＣを縮約前にＣをＡに塗れるはず。
どうしてそんな必要があるの？「縮約後に4色で塗れる」の意味は、縮約後の地図が
(縮約前にどう塗ってあったかを無視してでも)とにかく4色で塗れればいいってことだよ。
そしてあなたの論理が走るためには何もかもチャラにして塗りなおしても5色必要に
なることが言えないとダメなんだよ？
0112帰納と類比
2009/08/20(木) 21:34:44>ケンペの方法で４色で塗れないことは５色目が必要なことの根拠にはならない。
そのとおりです。
この場合、ケンペのチェーンの概念を使っているだけ。
>>111
縮約して、４色で塗れたたとしよう。
Ａを展開して、縮約前のグラフに戻してみよう。Ｃ色がＡ色で塗られているではないか。
ＡＣチェーンが切断できたことになる。
そしてみごとＮ－１点は３色で塗れることになる。しかしこれは間違い。
縮約前のＡＣチェーンは切断できなか、あるいは切断できる。
ここで縮約を再度こころみれば切断できないときは５色必要、切断できるときは３色で済む。
そしてＮ-1点で５色必要であることは、仮定に矛盾する。
よってＮ点は４色で塗れる。
これはどんな塗り方をしても、チェーンの概念から外れる塗り方は無いということ。
0113１３２人目の素数さん
2009/08/21(金) 02:53:17＞ＡＣチェーンが切断できたことになる。
論理的に証明を完成させていれば有り得ない
0114帰納と類比
2009/08/29(土) 05:57:20ＡＣチェーンが切断できなければ、ＢＤチェーンが切断できることになり
Ａ，Ｂ、ＤでまたはＡ，Ｂ，ＣでＮ－１点を３色で塗れることになり、Ｎ点では４色で塗れることになる。
やっと理解者が現れた。
縮約の後に展開すればすぐ解ることだ。
0115１３２人目の素数さん
2009/08/29(土) 14:09:560116名無しさん＠そうだ選挙に行こう
2009/08/30(日) 13:10:250117帰納と類比
2009/09/07(月) 20:25:38どうしてチャラにしなければならないのか
反論者は相対グラフを理解してないのか
どうしても４色で塗れると確信しているようだが、その証明はなされてない
アッペルとハーケンも人が理解していない程度の証明
0118１３２人目の素数さん
2009/09/07(月) 20:54:450119１３２人目の素数さん
2009/09/07(月) 21:22:480120１３２人目の素数さん
2009/09/08(火) 23:13:120121１３２人目の素数さん
2009/09/08(火) 23:16:410122１３２人目の素数さん
2009/09/09(水) 00:35:23線をまたがらせない限りは繋げない、ということを説明するのが難しい
0123１３２人目の素数さん
2009/09/11(金) 17:15:17DNAの構成塩基はATCTの4つのみ
遺伝子がATCTの羅列だから
この4つで地球上の全てのDNAをもつ生物を表せる
そう考えると四色問題って生物進化の究極だろ
0124１３２人目の素数さん
2009/09/11(金) 17:17:420125１３２人目の素数さん
2009/09/11(金) 17:36:43四色問題には相補性さえないのに
0126１３２人目の素数さん
2009/09/11(金) 17:42:154つで初めて無限大の遺伝子を作れるってことじゃん
それに塩基の羅列を遺伝子マップて言うじゃん
0127１３２人目の素数さん
2009/09/12(土) 02:02:54無限大？塩基の配列は24通りしかないよ？
0128１３２人目の素数さん
2009/09/12(土) 12:33:49単に無限大の遺伝子を作るというだけだったら二つで可能だよな。
■ このスレッドは過去ログ倉庫に格納されています