[過去ログ]  ☆四色問題の簡単な証明その3☆  (779レス)
1-

このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
1
(8): 帰納と類比 2011/02/26(土) 23:20:22.98 AAS
過去ログ
外部リンク:unkar.org
四色問題の証明は簡単にできる。過去ログのNO.29を参照してください。
ブログ作ったのでコメントしてください。
外部リンク[html]:blog.livedoor.jp
この板のこのスレでも、どちらでもいいので分からないところを聞いてください。
証明は過去のものと同じです。清書すると費用が掛かるので改善しませんでした。
申し訳ない。
contract=接合と考えていいですが、接合は5色以上必要になる可能性を持っています。
過去ログで議論したことはなるべく出さないでください。
ブログを立ち上げたのは、image(証明3ページ)が消えてもいいためです。
では反論でも感想でもいいですので、気兼ねなく尋ねてください。
よろしくお願い致します。
2
(1): 2011/02/26(土) 23:30:16.68 AAS
幼稚園の子供に塗り絵をさせて4色で塗れたら証明完了
3
(1): 2011/03/02(水) 18:41:52.45 AAS
> 過去ログで議論したことはなるべく出さないでください。

お前が言うな
4
(2): 帰納と類比 2011/03/02(水) 21:50:17.12 AAS
>>1
幼稚園の子供に「蜂の巣状の6辺国」を塗らせてみたらどうでしょう。
子供だからある法則に気が付かなければかなり時間が掛かるでしょう。
これで子供は証明完了?

>>2
過去ログに関係なく自由に議論しましょう。(訂正)
過去ログは参考までに見といてください。
5
(4): ∴猫は多重精神病 ◆MuKUnGPXAY [age] 2011/03/02(水) 22:47:45.58 AAS


>724 名前:132人目の素数さん :2011/03/02(水) 22:28:23.32
> >>KuzuNOSeihanzaish
> 数学に捨てられ「た」性犯罪者でしょうか?
> 社会の屑の印象をどうしても受けます。
>
6
(4): 帰納と類比 2011/03/14(月) 20:03:05.91 AAS
過去ログいちいち見るのめんどくさいんで、証明は下記UPロダに載せました。

画像リンク

画像リンク

画像リンク


上記証明を見て分からないところを質問してください。感想・反論・理解でもいいです。

接合とはグラフにおいて、色拘束された点と異なる色拘束された点を合わせて1点にすることで
5色以上の色になる可能性を持った点の重なりを言う。

字が汚くて申し訳ない。ささいな質問でも回答します。ぜひ読んでみてください。
7
(2): 2011/03/14(月) 20:07:44.89 AAS
Docode Error
8: 帰納と類比 2011/03/14(月) 20:53:37.53 AAS
>>7
「Docode Error」

はどうゆう意味ですか?
分からないので簡単に説明して頂けませんか。
9: 帰納と類比 2011/03/14(月) 20:57:26.78 AAS
<<7 Docode Error はどうゆう意味ですか?
10
(1): 2011/03/14(月) 21:04:01.91 AAS
Decode Error のスペルミスなんだろうが…
スレ主は何故粘着してるんだろうか
11
(1): 2011/03/15(火) 05:56:14.22 AAS
稀に見る糞スレ
12
(1): 帰納と類比 2011/03/18(金) 22:58:41.26 AAS
>>10
確かにブログは Decode Errorです。うPロダを参照してください。
>>11
稀に見る糞スレではありません。
ダイヤモンドの原石の様な証明です。
大学の数学科の助手以上の才能がないと理解出来ないかもしれません。
この板の住人には、四色問題を手がけた人いませんか。
居られるならば理解出来るでしょう。そうゆう人に出会いたいものだ。
13
(3): 2011/03/19(土) 07:48:19.84 AAS
5枝点が可約だという結論を導いていることだけでも嘘ってわかるじゃん。
14
(1): 2011/03/19(土) 15:16:20.53 AAS
>>12
頭悪いな
15: 帰納と類比 2011/03/19(土) 16:17:51.89 AAS
>>13
5集点が可約であると証明しました。5集点が可約ではないとゆう証明はあるのでしょうか。
あったら教えてください。ソースまたは著作物を教えてください。
>>14
「頭悪いな」ということは当たらないと思います。数学には自信があります。
大学のときの成績はtop10に入るほど頭は良かったです。現在は老化しており、
頭の良さは高校生並みです。1976年夏に四色問題に出会ってから34年経ってますから。
どんなふうに頭悪いのかな?
16: 2011/03/19(土) 17:08:04.23 AAS
可約では無いだろうという予想は知ってるが、俺も証明されたとは知らないから、証明があったらマジ知りたい。おせーて。
17: 2011/03/19(土) 17:35:48.07 AAS
>>13 はD可約性、C可約性と、ただの可約性を混同してるんじゃないか?
18
(1): 2011/03/19(土) 17:37:50.30 AAS
>>13
こんな所に書き込んでいる時点でw
19: 帰納と類比 2011/03/19(土) 17:52:30.60 AAS
>>18
正式に数学論文として大学から出す手段がないので、こんな所に書き込んでます。
本当は英文でハーバード大学から出したいと思ってますが、つてもなく英語も苦手だから
出せません。誰か英文で論文出してくれないかな。証明が正しいと思ったら。
20: 2011/03/19(土) 19:35:57.40 AAS
誰のためでもなく、自分のために見てみるよ。
とりあえず、証明が見れない事を何とかしろ。

再UPでもしてくれ。
21: 2011/03/19(土) 19:37:42.65 AAS
あ、ブログの方にあるのね。理解しづらい所は後で質問するからよろしく。
22
(2): 2011/03/19(土) 20:33:53.00 AAS
先生!>>6では、「接合」の意味がわかりません!
もっと詳しく教えてください。

簡単のために、4色の色を@ABCとします。
P0を除いて4色で配色した時、

Case I )
A@, BA, C@, DB, EC
となった場合、具体的にどのような操作をすることを言うのでしょうか?

Case II)
A@, BA, C@, DA, EB
となった場合、具体的にどのような操作をすることを言うのでしょうか?
23
(3): 帰納と類比 2011/03/19(土) 22:48:34.87 AAS
>>22
CaseT)
BAとDBを結合してBDとする。
BAとECを結合してBDとする。
CaseU)
@ABの3色なので接合する必要はない。P0を戻してCとすると4色で配色できる。
A@とC@を結合してA@とする。
BAとDAを結合してBAとする。

接合はどの点でも色拘束を持って結合することを言う。
隣り合う接触した点と点は接合とは言わない。
接触しない点と点を色拘束を持ったまま結合(重ねる)することを接合と言う。

この説明で分かりますか。
24
(2): 2011/03/19(土) 23:31:37.14 AAS
>>23
Case II ) については、確かに考えなくていいですね。
失礼しました。

で、Case I ) についてですが、
BDとする。ということは、(一時的にでも)5色目を使うってことでしょうか?

あと一つ。
BAとDBを結合して、証明の2枚目の、P2みたいにする、
と言う理解でよろしいですか?
25
(2): 2011/03/19(土) 23:42:27.23 AAS
あ、原文でうは、4色をA,B,C,Dで表しているのですね。
混乱させてしまっては悪いので、記号を証明の原文に合わせて、再度質問しなおします。
(>>22,24 は無視して下さい)
―――――――――――――――――――
P0を除いた、庁点数が N-1 のグラフを4色で塗り分けた時、
(P1, P2, P3, P4, P5) の色が、(A, B, A, C, D)だった場合、接合とは、
@具体的に、P1〜P5 を、2枚目のP1〜P4にどう対応させるのですか?
A接合後の、(P1, P2, P3, P4)の色を教えてください。

以上、2点お願いします。
26
(1): 帰納と類比 2011/03/20(日) 00:00:51.71 AAS
>>24
>BDとする。ということは、(一時的にでも)5色目を使うってことでしょうか?
そうゆうことです。色拘束があるため5色目を使わなければならないのです。

>BAとDBを結合して、証明の2枚目の、P2みたいにする
接合の場合、色拘束があるので、P2の様にはいきません。
あくまでもBDとなります。ただし、N−2点のグラフは四色で塗れるので
BDは仮定に矛盾します。よってBDチェーンかBEチェーンのいずれか一方は切れてることになります。
27
(1): 2011/03/20(日) 00:23:05.26 AAS
>>26
えーと、まず、接合の理解から。
――――――――――――――――
>>25で言えば、
接合前の状態が(P1,P2,P3,P4,P5):(A, B, A, C, D)だった場合、

@(P1, P2, P3, P4, P5) ⇒接合⇒(P1, P2, P3, P4, P2)

A接合後の(P1, P2, P3, P4):(A, E, A, C)

という理解でよろしいでしょうか。
1-
あと 752 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ

ぬこの手 ぬこTOP 0.020s