[過去ログ] ☆四色問題の簡単な証明その3☆ (779レス)
上下前次1-新
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
349(4): 2011/08/29(月) 21:43:36.19 AAS
>>348
P1とP3を接合してできたN-2点のグラフにおいて彩色をおこなう。
P1=P3=A,P2=C,P4=D,P5=BかつCDチェーンとCBチェーンがつながっているように
彩色した場合を考える。この場合も4彩色できているので帰納法の仮定を満たす。
このグラフを展開した場合にN点の全てのグラフで4彩色可能であることは示せない。
350(3): 帰納と類比 2011/08/29(月) 22:24:22.72 AAS
>>1と>>313を詳しく読んでください。>>349の場合も4彩色可能であることが示されています。
351(3): 2011/08/29(月) 22:44:19.48 AAS
>>350
>>313について質問。
>>306で「白地図から塗りなおして」と書いているが
白地図にした段階で、あえてグラフを展開したとすると、
>>313に出てくる接合前のケンペ鎖がどうなっているのか教えてくれ。
352(2): 2011/08/30(火) 20:36:55.15 AAS
>>350
>>351に書いたことを無視しても>>313には誤りがある。以下のことを確認してくれ。
BとCを入れ替えてABチェーンを切った時に新しくCDチェーンがつながることがある。
このCDチェーンがADチェーンと交差しているときにはケンペの証明の誤りと同じで
二つのBをAとCに同時に変えることができない場合がある。
353: 帰納と類比 2011/08/30(火) 21:01:11.80 AAS
>>351
接合前のケンペ鎖は、P1,P2,P3,P4,P5の順でA,B,C,D,Bで
ACチェーンとADチェーンが存在していた。
354: 帰納と類比 2011/08/30(火) 21:02:02.72 AAS
>>351
接合前のケンペ鎖は、P1,P2,P3,P4,P5の順でA,B,C,D,Bで
ACチェーンとADチェーンが存在していた。
355(1): 2011/08/30(火) 22:02:32.22 AAS
ヒーウッドの反例でもそれが成り立つかくらい、自分で検証してから来いや。
356(1): 帰納と類比 2011/08/31(水) 20:00:52.58 AAS
>>352
CDチェーンがADチェーンと交錯していても,ADチェーン内のCBチェーンの入れ替え
には何の問題も無い。
>>355
不勉強ですまん,ヒーウッドの反例とはどんなものか,教えてくれ。
357(1): 2011/08/31(水) 20:35:29.63 AAS
不勉強すぎるだろ、四色問題やってるのにヒーウッドの反例知らんとか。
じゃあケンペの証明がどう間違っていたかも理解してないわけだな?
358(1): 2011/08/31(水) 20:48:34.43 AAS
>>357
不勉強ですまん,ケンペの証明とはどんなものか,教えてくれ。
359(6): 2011/08/31(水) 20:55:00.67 AAS
>>356 >>358 (>>246も参照のこと)
CDチェーンがADチェーンと交錯しているとCDチェーン内でADチェーンのAがP3のBに
ABチェーンでつながっている場合がある。P3のBをAに変えた時にADチェーンが
A→Bになることで切断される。このBとCDチェーンのCが隣接しているときに
P2のCとP5のBがCBチェーンでつながることがある。
ヒーウッドが指摘したケンペの誤りと全く同じこと。
360(1): 2011/08/31(水) 23:01:49.00 AAS
この人は30年間なにやってたんだ…
361(2): 帰納と類比 2011/09/01(木) 21:08:48.19 AAS
>>359
エアコンがなくて暑い室内で思いついた事。ケンペと同じ失敗をしていたとは。
>>313は間違いです。訂正の証明は思いつきません。
>>360
有意義な35年間だった。おかげでジジイになってしまった。
終了にしようかな。みんな終了していいですか。
362(1): 2011/09/02(金) 02:03:26.57 AAS
ル、ループから抜け出した……!?
363(1): 2011/09/02(金) 21:29:04.71 AAS
ぜんぜん抜け出てねーよ
むしろ想定外の不勉強ぶりに俺は呆れてるところだ
364(2): 2011/09/02(金) 22:21:22.49 AAS
それでまたしばらくしたら戻ってくるのがループのループたる所以
365: 2011/09/03(土) 17:01:31.52 AAS
証明が間違いであること認めたんでしょ
ようやく終わったな
366: 2011/09/09(金) 19:12:41.21 AAS
終わり?
367: 2011/09/09(金) 20:10:52.18 AAS
297 名前:可愛い奥様[] 投稿日:2011/09/09(金) 18:00:09.46 ID:PeLUaRHk0
それでも、生きてゆく 9月8日放送
問題の場面
画像リンク
391 名前:可愛い奥様[sage] 投稿日:2011/09/09(金) 17:26:47.43 ID:bD7ojX2t0 [6/8]
JAP18マジだった。。。
>見つけた(パンドラだけど・・・)!27分頃〜見てみ。ゴミ箱に捨てられとる
>外部リンク[ptv]:channel.pandora.tv
983 名前:名無し募集中。。。[] 投稿日:2011/09/09(金) 18:24:42.00 0
>>981
韓国語で「18」は「シッパル」と発音する
これが韓国語で「FUCK YOU」を意味する言葉に発音が似てることから
「18」が罵倒の隠語として用いられる
つまり、「JAP18」は
JAP FUCK YOU
と解釈できる
368: 帰納と類比 2011/10/09(日) 00:56:15.67 AAS
P1,P2,P3,P4,P5が反時計回りに存在し、P1をA,P2をB、P3をC、P4をD、P5をDとする。
このとき、ACチェーンとADチェーンが繋がっているとする。ADチェーンに囲まれた
P5のBをBCチェーンでCに置き換える。このときP1とP3のACチェーンが切れたとする。
切れていなければ、P2をACチェーンのなかでDに置き換えてP1をA、P2をD、P3をC
P4をD、P5をCとして3彩色可能となる。P1のA、P2のB、P3のC、P4のD、P5のCで
P1P3のACチェーンが切ることはできない。ADチェーンのなかでBCチェーンを入れ替えても
ACチェーンに何の影響を及ぼさないからである。よってN−1点で3彩色可能となる。よって中心のP0を戻して
4彩色可能となる。
ヒーウッドの指摘を避けた証明になっていると思われます。
吟味してください。私はこの証明は正しいと思っています。
誤りがあれば、どうぞご指摘ください。
369: 2011/10/09(日) 06:49:12.33 AAS
>ADチェーンのなかでBCチェーンを入れ替えても
>ACチェーンに何の影響を及ぼさないからである。
はい、ここが間違い。
>切れていなければ、P2をACチェーンのなかでDに置き換えて
これも可能とは限らない。
それ以前にそもそも、置き換える〜切れたとする、という論法が
おかしい。その場合、ACチェーンが切れたかどうかだけではなく
P1からP4までの配色に変化がないことが自明ではないから、
それを証明しないことには先に進めない。
370: 帰納と類比 2011/10/10(月) 22:02:09.89 AAS
また、ケンペと同じミスをしました。
この手法では証明不能となりました。
この証明は誤りでした。
お騒がせしました。終了。
371: 2011/10/22(土) 22:12:20.17 AAS
有限N個の国がある地図を4色以下で色塗りする際に、
塗り分けを決定するのに必要な手間はNに対してどの程度のオーダーか?
372: 2011/10/23(日) 15:41:52.79 AAS
たしか、PともNPとも決着してなかったはず
なのでオーダーも分からず
373(1): 2011/10/23(日) 18:57:32.74 AAS
平面地図の塗り分けなら O(N^2) の方法が存在する
374(1): 2011/10/26(水) 09:27:07.47 AAS
>>373
それはどうやるの?
そんなにオーダーが低いのなら、
放電アルゴリズムとか使って苦労しなくても
あっさり不可避集合の色塗りが出来て、
4色問題の証明が楽になりそうだが。
375: 2011/10/29(土) 01:18:22.44 AAS
>>374
外部リンク[html]:people.math.gatech.edu
その塗りわけアルゴリズムが常にうまくいくことの証明に放電法が使われるから、
>>374 の論理は逆転している
376: 2011/11/15(火) 08:23:06.99 AAS
2次元多様体上では何色必要?
377: 2011/11/15(火) 11:42:40.09 AAS
多様体による
378: 2011/11/15(火) 17:31:52.97 AAS
ちょっと考えてみた
平面 C が4色で塗られているなら
球面 C∪{∞} は無限遠点を追加するから5色?
ドーナツの場合はどうなるんだろ
379: 2011/11/15(火) 19:59:10.21 AAS
本気で書いているのか?
380: 2011/11/15(火) 21:08:48.38 AAS
Google Chrome が4色だから
球面はやっぱり4色で塗れるかな
ドーナツはよく分からんなあ
円筒はキャップをすれば球に同相だから4色だが…
381: 2011/11/15(火) 21:14:26.67 AAS
おいおいマジだよ…
ゆとり教育の弊害がここにも…
382: nanashi 2011/11/15(火) 21:52:25.53 AAS
[(7+(1+48*g)^(1/2))/2]
383: 2011/11/15(火) 21:58:05.87 AAS
[(7 + \sqrt{1 + 48g})/2]
スゲー、何だこの式!何で48?
384: 2011/11/18(金) 15:11:51.41 AAS
電波テロ装置の戦争(始)
エンジニアと参加願います公安はサリンオウム信者の子供を40歳まで社会から隔離している
オウム信者が地方で現在も潜伏している
それは新興宗教を配下としている公安の仕事だ
発案で盗聴器を開発したら霊魂が寄って呼ぶ来た
<電波憑依>
スピリチャル全否定なら江原三輪氏、高橋佳子大川隆法氏は、幻聴で強制入院矛盾する日本宗教と精神科
<コードレス盗聴>
2004既に国民20%被害250〜700台数中国工作員3〜7000万円2005ソウルコピー2010ソウルイン医者アカギ絡む<盗聴証拠>
今年5月に日本の警視庁防課は被害者SDカード15分を保持した有る国民に出せ!!<創価幹部>
キタオカ1962年東北生は二十代で2人の女性をレイプ殺害して入信した創価本尊はこれだけで潰せる<<<韓国工作員鸛<<<創価公明党 <テロ装置>>東芝部品)>>ヤクザ<宗教<同和<<公安<<魂複<<官憲>日本終Googl検索
385: 2011/11/18(金) 15:12:23.05 AAS
魂は幾何学
誰か(アメリカ)気づいた
ソウルコピー機器
386: 2011/11/18(金) 17:25:43.99 AAS
g=1 のとき 7 ならば g=0 のとき 4
という方法で証明するのは難しいですか?
387: 2011/11/19(土) 00:12:00.31 AAS
必要と十分が入れ替わるので
388: 2012/01/18(水) 20:41:09.73 AAS
本当になにがあっても5色ってできないの?
389: 2012/01/20(金) 15:16:48.81 AAS
トンネルを認めれば5色もそれ以上の地図も簡単にできる
390: 2012/01/24(火) 21:31:25.77 AAS
アニメも4色で塗り分ければ十分だよね
391: 2012/01/25(水) 01:16:46.93 AAS
塗り分けたいだけならな。
392: 2012/01/26(木) 04:02:32.17 AAS
・・・ケンプ鎖を実装すると、実際問題、エラーを吐くことに遭遇しないので、マジで参る。
エラーに限りなく近いのは、最後に五辺国を2度塗る工程が発生するサッカーボール展開図くらいだ。。。orz
393: 2012/02/07(火) 00:25:54.23 AA×

394: 2012/02/24(金) 02:06:34.47 AA×

395: 2012/03/10(土) 17:00:34.37 AA×

396: 2012/03/10(土) 21:54:18.27 AA×

397: 2012/03/11(日) 16:11:41.90 AA×

398: 2012/03/11(日) 23:10:39.54 AA×

399: 2012/03/11(日) 23:36:04.34 AA×

400: 2012/03/12(月) 22:53:57.53 AA×

401: 2012/03/12(月) 23:41:12.38 AA×

402: 2012/03/12(月) 23:45:07.02 AA×

403: 2012/03/13(火) 02:26:41.94 AAS
猫は?
404: 2012/03/13(火) 06:26:24.97 AAS
グラフの点に順番に番号をつけてモッド4をとって同じ値の点は片方を1足す
を繰り替えしておなじのがないようにするアルゴリズムでいい。あとは点を増やしても
かわらないことを帰納法で証明する。
405: 2012/03/13(火) 06:36:28.68 AAS
点の数が有限なので有限回の操作で終わる。
点が無限の時は4色問題は解けない。
406: 2012/03/13(火) 06:44:42.97 AAS
雪が積もってた。。。。
407: 2012/03/15(木) 07:18:57.43 AA×

408: 2012/03/26(月) 13:25:57.19 AA×

409: 2012/03/26(月) 17:58:41.40 AA×

410: 2012/03/27(火) 00:43:41.12 AA×

411: 2012/03/27(火) 12:59:56.84 AA×

412: 2012/03/27(火) 20:05:48.95 AA×

413: 2012/03/27(火) 23:40:27.52 AA×

414: 2012/03/29(木) 01:39:45.92 AA×

415: 2012/04/08(日) 15:49:40.67 AAS
最近は詩織AAしかカキコないな
416: 2012/04/09(月) 19:19:24.79 AA×

417: 2012/04/10(火) 00:24:57.04 AAS
また、ケンペと同じミスをしました。
この手法では証明不能となりました。
この証明は誤りでした。
お騒がせしました。終了。
418: 猫vs運営 ◆MuKUnGPXAY [age] 2012/04/10(火) 08:26:36.31 AAS
猫
419: 2012/04/26(木) 01:38:16.85 AA×

420: 2012/04/28(土) 15:30:14.70 AA×

421: 2012/04/29(日) 15:22:14.51 AA×

422: 2012/05/19(土) 12:56:30.45 AA×

423: 2012/05/19(土) 18:32:21.48 AA×

424: 2012/05/20(日) 08:48:30.28 AA×

425: 2012/05/23(水) 08:23:15.83 AA×

426: 2012/05/27(日) 07:27:45.90 AA×

427: 2012/05/29(火) 04:43:44.63 AA×

428: 2012/06/03(日) 20:24:05.92 AA×

429: 2012/06/08(金) 07:08:00.75 AA×

430: 2012/06/12(火) 02:48:12.17 AA×

431: 2012/06/12(火) 08:36:55.92 AA×

432: 2012/06/12(火) 11:58:44.06 AA×

433: 2012/06/21(木) 00:40:29.02 AA×

434: 2012/06/30(土) 19:55:45.24 AA×

435: 2012/07/21(土) 18:59:29.51 AAS
最近は詩織AAも来ないのか
436: ご注文なら来てあげるわよ、一回目 2012/07/22(日) 23:15:26.10 AA×

437: 二回目 2012/07/22(日) 23:16:22.72 AA×

438: 詩織の顔も三度 あちらは何回でも OK 2012/07/22(日) 23:18:27.40 AA×

439: 2012/07/31(火) 13:23:47.28 AA×

440: 2012/08/02(木) 17:00:20.46 AAS
実は以前から、pさんに我々フリーをまとめてもらって強国を作ったら楽しいだろうなと考えていました。
でも本音をず〜っと言い出せないうちに、しっかりした人材が集まってステキな国になっていくのをみて、それもまたいいな〜と。
今は、さらに団結力とパワーのある国づくりができることを願って、微力ながら外から応援したいと思っています。
そこでさっそくですが、提案があります。
今回、同盟戦には参加しなかったようですが、このイベントの賞品は
ガチャ1等以上の価値があるカードなので、見逃す手はないと思うのです。
同盟員全員が対人戦の高スキルカードを持ち、かつゼニチケが豊富ならば現在の重課金トップチームに対抗し得ます。
その上、まちがいなくユーザーのほとんどはpさんの国を応援するでしょう。
そんなとってもワクワクする日々が、手を伸ばせば届くところにあるのです。
同盟戦には必勝法があります。
実行すれば、常に1位。稀に同様のことをおこなう国とぶつかって負けても2位。
これについてはまだ時間が充分あるので、時期が来たらお伝えします。
それよりまずは直近の備えを。今回また討伐数で賞品が出るでしょう。その原資を生かすのです。
(当初は物量が多いほど楽できるので。無くてもいけますが念のため)
素性のいいフリー4〜5人に、同盟戦で助っ人してもらうことを条件に
権利日に入国させて賞品を「配る」形をとるのがいいかと思います。
ここまで書いておいてナンですが
私自身はお盆の里帰りで当日のお手伝いはできないと思います。
ですので権利日には、他のフリーを呼び入れてください。
それではまた後日。
441: 2012/08/02(木) 18:32:43.27 AAS
誤爆ゴメン
442: 2012/08/05(日) 09:00:57.67 AAS
本気で取り組んでいる人は数名のようですね
未だサークルにアクセスを試みていない同盟員は、約束違反だから失格でしょう
pさん、どうでしょう
やる気のある人たちとともに、もとの国に戻られたら?
というか、一度どちらも解散して新たに○○公を創設するのが最良かと
妖魔の出が悪い今がその時期ではないでしょうか
前段階で解散同盟をつくり
そこで元の国の方たちと本音で話し合われることをおすすめします
すべてスッキリとはいかなくても
いろんなものを抱えながら国を運営することは、きっとプラスになるはずです
真の同盟国設立の運びになったら、例の同盟戦や妖魔戦の話をしたいと思います
これも今が旬、もし国が設立できないようなら、やむなく他国にもちかけます
フリーの一撃屋たちのゲーム生活(笑)がかかってますから
pさんの気持ちのゆらぎやちょっとした欠点は、たぶんみんな理解してますよ
サブアカなども承知の上で楽しんでるわけですし
あなたの、元ヤンキー的な率先力が国を生き生きさせるのです
考えがまとまりましたらお返事くださると嬉しいです
このヤローウザイなと思ったら放置でかまいませんよ
それでも僕はpさんを嫌いになりませんから(^_^)
443: 2012/08/05(日) 09:01:52.97 AAS
誤爆ゴメン
444: 2012/08/05(日) 17:33:14.80 AA×

445: 帰納と類比 2012/08/16(木) 14:46:51.00 AA×

446: 2012/08/16(木) 15:13:48.10 AA×

447: 2012/08/16(木) 15:15:29.64 AA×

448: 帰納と類比 2012/08/16(木) 17:04:19.43 AAS
>>361は撤回します。
>>313は作業順序をかえれば正しい。
BCチェーンでBとCを入れ替えた直後はADチェーンは繋がっている。
その状態でP5のBCチェーンをBからCに入れ替えれば良い。
P2のBCチェーンとは繋がっていない。
449(1): 2012/08/16(木) 17:21:47.31 AAS
学習能力0
450: 2012/08/16(木) 19:38:01.75 AA×

451(1): 帰納と類比 2012/09/03(月) 02:29:45.26 AAS
学習能力:100%
P3のC P5のBにつき一斉にBCおよびCBチェーンを入れ替える。
このときP1、P4のADチェーンはつながったまま。
P3のBとP1のAが繋がったままだとP1、P3の接合で5色になり矛盾。
切れていればP3をAにして、P1AP2CP3AP4DP5Cになり3色。
>>359にはあたらない。要するにケンぺの失敗にはあたらない。
分かるかな>>449。
452: 2012/09/05(水) 22:29:22.20 AAS
>P3のBとP1のAが繋がったままだとP1、P3の接合で5色になり矛盾。
これって論理の飛躍じゃね?
P1とP3を接合したグラフは、全部塗りなおせって
453: 帰納と類比 2012/09/06(木) 05:26:39.42 AAS
塗りなおしてもいいけど、P1とP3を展開するとP1のA、P3のAが
繋がっていなかった場合があるということ。P1とP3のABチェーンが切れて
いる場合が1つは存在するということになる。
454(1): 2012/09/06(木) 20:44:32.68 AAS
>>451
> 切れていればP3をAにして、P1AP2CP3AP4DP5Cになり3色。
P1とP3のケンペ鎖が切れている別の彩色を採用した場合に、P2とP5を同じ色に
出来る保障はない。P2とP5を異なる色にしても帰納法の仮定を満たす。
>>349の例はP1とP3のケンペ鎖が切れていて、かつ帰納法の仮定を満たす。
あんたは>>350で>>313を読めと書いているが、>>313は>>359により誤り。
455(1): 2012/09/06(木) 21:00:08.28 AAS
何回も同じ間違いを繰り返すし
以前の間違いの指摘をちゃんと消化してないんだよな
456(1): 帰納と類比 2012/09/10(月) 01:16:06.83 AAS
>>454>>455
>>313をよく読め。彩色した後に、チェーンを当てはめることは、
全てのグラフでできる。P1,P3を接合できるばあいのチェーンが
必ず存在する。白地図から塗りなおせなんてことは必要ない。
457: 2012/09/10(月) 02:50:01.77 AAS
人工無脳
458: 2012/09/10(月) 08:22:59.06 AAS
馬鹿すぎる
459: 2012/09/10(月) 13:09:37.44 AAS
>>362-364
一年前の予言的中
460: 2012/09/10(月) 21:34:39.88 AAS
>>456
>>306で
> 接合後のグラフはN-2点なので必ず4彩色できる。白地図から塗りなおして
> 接合した点を元通りに展開すればよい。
と書いているから、>>349の例を挙げたら、
> 白地図から塗りなおせなんてことは必要ない。
ですか。
「チェーンを当てはめる」が意味不明だが、ケンペ鎖の2色の入れ替えを意味する
と仮定すると、この場合も>>349と同様の例は作ることが出来る。
461(3): 2012/09/10(月) 21:40:55.63 AAS
P1=A, P2=B, P3=C, P4=D, P5=Bとして、ACチェーンとADチェーンが交差している
場合からスタートする。
ADチェーン内でACチェーンのCがP5のBにBCチェーンでつながっている場合に
このBCチェーンの入れ替えでP5のBをCに変えると>>359と同様にしてACチェーンが
切れて、P2のBとP4のDがBDチェーンでつながり、かつBDチェーンがADチェーンと
交差していることがある。
この時、BDチェーン内でADチェーンのAがP3のCにACチェーンでつながっている
場合があり、このACチェーンの入れ替えでP3のCをAに変えると>>359と同様にして
ADチェーンが切れて、P2のBとP5のCがBCチェーンでつながり、かつBDチェーンが
BCチェーンと交差していることがある。
つまり、P1=A, P2=B, P3=A, P4=D, P5=Cかつ、BCチェーンとBDチェーンが
交差している状態になる。
明らかにP1とP3のケンペ鎖が切れていて、P1とP3を接合しても帰納法の仮定を満たす。
また、BCチェーンとBDチェーンがあるので、接合後に3色にはできない。
462(1): 2012/09/10(月) 21:46:58.80 AAS
hadたん思い出した
あいつも間違いの指摘をいちいち理解出来ず繰り返すやつだった。
四色問題のアマチュア研究家って要の東西を問わずケンペの証明の誤りすら
踏まえてないやつばっかり
463(1): 帰納と類比 2012/09/16(日) 04:10:21.45 AAS
>>461
>ADチェーン内でACチェーンのCがP5のBにBCチェーンでつながっている場合に
はい、ここが間違い。
交錯していても、ADチェーンは生きている。
>>462 ケンぺの誤りなら知っています。
464(1): 2012/09/16(日) 07:35:34.15 AAS
すべてのてんが4点とつながってるグラフが平面にインベデイッドできたら
塗れない。無限平面は4色では塗れない。
465: 2012/09/16(日) 12:34:48.26 AA×

466: 461 2012/09/16(日) 13:00:03.70 AAS
>>463の指摘は間違い。
交差したACチェーンとADチェーンを曲線で書いて、ADチェーンと交わらないように
P5(=B)からACチェーンに線(BCチェーン)を引けば簡単に確認できる。
P1=A, P2=B, P3=C, P4=D, P5=BかつACチェーンとADチェーンが交差している場合で、
P5のBをCに変えてP1=A, P2=B, P3=C, P4=D, P5=Cとしたとする。
ケンぺの誤りを知っているのなら、その後にP2のBをDに変えて
P1=A, P2=D, P3=C, P4=D, P5=Cにすることが出来ない場合の理由を書いてみてくれ。
(ケンぺは常に出来ると考えて証明したが出来ない場合があり間違った。)
ついでに書いておくと、
「P1のAとP3のCがACチェーンでつながっていると、P1とP3の接合で5色になり矛盾」
というのは間違い。
接合は色の拘束をしているので、2つの頂点の色が異なる場合は接合後の頂点の色
を確定することが出来ない。色の拘束により5色目の色に変えることも出来ない。
接合は2つの頂点の色が同じ場合に限り(意味があるかは別として)可能である。
>>464
外部リンク[html]:mathworld.wolfram.com
外部リンク[html]:mathworld.wolfram.com
467(1): 帰納と類比 2012/09/17(月) 02:01:02.14 AAS
>交差したACチェーンとADチェーンを曲線で書いて、ADチェーンと交わらないように
>P5(=B)からACチェーンに線(BCチェーン)を引けば簡単に確認できる。
はい、ここが間違い。ADチェーンに交わらないようにBCチェーンを引くことはできない。
P2またはP5のBDチェーンをBDチェーンに変えておくことが必要条件で十分条件ではない。
必ず切れるとはいえない。
>ケンぺの誤りを知っているのなら、その後にP2のBをDに変えて
>P1=A, P2=D, P3=C, P4=D, P5=Cにすることが出来ない場合の理由を書いてみてくれ。
ADチェーンが切れる可能性はあっても、切れるとは断定できない。
ここでACチェーンが繋がっているのでAとCの接合で5色は必要になる。
>接合は色の拘束をしているので、2つの頂点の色が異なる場合は接合後の頂点の色
>を確定することが出来ない。色の拘束により5色目の色に変えることも出来ない。
>接合は2つの頂点の色が同じ場合に限り(意味があるかは別として)可能である。
縮約のことを言ってるのか。
468: 2012/09/17(月) 21:06:08.29 AAS
間違いの指摘を間違いというそれ自体が間違いということにどうして気付かないのかな
そしてそれがケンペの間違いをなぞってるのにケンペの誤りは理解してるって言うのも
なんだか…
馬鹿は死ななきゃ治らないのか
469: 2012/09/17(月) 22:30:21.54 AAS
>>467
> ADチェーンに交わらないようにBCチェーンを引くことはできない。
「ACチェーンとADチェーンが交差している場合に、ADチェーンと交わらないように
P5のBからACチェーンにBCチェーンを引くことはできない」ことが言えれば、
接合を使わなくても四色問題が証明できるので、このことをちゃんと証明してみたら
どうですか?
接合して矛盾を導くことと、N-1点のグラフには帰納法の仮定よりP1とP3のケンペ鎖が
切れている彩色が必ず存在することを認めたとして、何らかの操作を施してその彩色にかならず
到達できることは証明されていない。
ケンペ鎖の2色の入れ替えや他の方法で彩色をどんどん変えていったときにある彩色の集合で
ループしだしたら到達できないのでは?
N点の反例が存在したとするとこの場合も接合すると矛盾が生じる。ただし、
ケンペ鎖が切断されることは無いので彩色の変更は必ずループする。
彩色の変更がループした場合にこれらをどのように区別するの?
470(1): 帰納と類比 2012/09/17(月) 23:10:25.69 AAS
>彩色の変更がループした場合にこれらをどのように区別するの?
確かにループする。
ACチェーンとADチェーンが両方切れたときのみ。
片方繋がっていれば、ループしない。接合を使えばいい。
471(1): 2012/09/18(火) 02:00:51.10 AAS
>>470
質問の答えになっていないのだが。
とりあえず、接合を使えばいい。というのを詳しく説明してくれ。
N点のグラフで4彩色可能なものと反例の両方ともACおよびADチェーンが
存在するときに、両者をどうやって区別するのか?
472: 2012/09/18(火) 17:41:34.49 AAS
縁無き衆生は度し難し
473: 2012/09/18(火) 19:52:40.29 AAS
画像リンク
474: 2012/09/19(水) 15:10:06.31 AAS
まだやってるのか。関わるのは時間の無駄だな。
475: 2012/09/19(水) 21:16:46.40 AAS
なんで図ったようにケンペの間違いをなぞるのか
でも本人はケンペの誤りは理解してるって言い張るのが滑稽
上下前次1-新書関写板覧索設栞歴
あと 304 レスあります
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ
ぬこの手 ぬこTOP 1.396s*