数学中国

用户名  找回密码
 注册
帖子
热搜: 活动 交友 discuz
查看: 3299|回复: 3

[原创]给luckylucky先生推荐一篇文章

[复制链接]
发表于 2009-11-21 13:29 | 显示全部楼层 |阅读模式
[watermark]?
    4色定理的证明卡在第5点上。你的文章证明没有问题。但你只讨论了一个图,其最小度为3的情况。你可以说你证明的也是极大图。例如你说的一个面有3个点。但是对于新的点,你只讨论了其点在面内的情况。而当点在线上呢?其必然是个度为4的点。当然这种情况可以很简单的被证明可行。,z[Xv&
2009,11,6,对nmgnewsun先生《四色猜想的证明》的评论:
你的思路应该就是,先找到G(n)到G(n-1)的关系。然后再找到已知G(n-1)4色着毕后,如何对n点4色着图使得G(n)可以4色着毕。A ;{,
那么显然存在G(n)到G(n-1)的删除点,其周遍为5个点的情况。而该5个点,顺时针标记为v1,v2,v3,v4,v5时,其原先的色彩标记为c1,c2,c3,c4,c2时(因为你只能说明G(n-1)4色着图。无法确定任意点的具体颜色,因此无法约束任意上述5点一定不是上述着色),如果存在一个双色链v1,v3有c1,c3着色,且双色链v1,v4有c1,c4着色。且该两条链交叉。交点是着色c1的。此时你很难用有限的描述来证明总存在一个方式使得上述5点可以修正为3色着色。>
    采用上述思路,卡就卡在这。tN
2009,11,20,对登子先生《四色猜想的证明》的评论:
呵呵。这个证明思路可以说开头不错。不过后面会有大石头。这个证明和我10年前的证明可以说是完全一样。后来请了一个数学系的教授给予批评。他很快给出了个难以有效证明的反例。如下p^
    即当新着色点周遍存在5个顶点。我们按顺时针方向分别已经被着色为 c1,c2,c3,c4,c2。其对应的顶点不失一般性的定义为v1,v2,v3,v4,v5。那么此时如果从v1到v3存在一条链,其已经且仅被着色为c1,c3的双色。从v1到v4存在一条链,其已经且仅被着色为c1,c4。其上述这两条链存在交叉(显然交叉点的着色是c1),且交叉点不为v1。此时你很难用简单方式来证明。我曾经尝试过反例法证明。发现任何我能列出的证明方式,均存在反例使得不可完整说明问题。而同时这些反例又可以通过扩大证明内容被证明。6, Dg
    关于你的证明,只能遗憾的说,你没有完整证明。e

本帖子中包含更多资源

您需要 登录 才可以下载或查看,没有帐号?注册

x
发表于 2009-11-22 00:40 | 显示全部楼层

[原创]给luckylucky先生推荐一篇文章

呵呵。不好意思。10年前,老教授建议我不要搞这个猜想。我过了几个月理解他的意思。如同静止摩擦力。如果我的力量不够。我推100年也推不动它。与其瞎折腾不如好好练习。所以并非4色定理我证了10年没证出来。另外至于你的“
我提示一下,五个顶点1、2、3、4、5、分别着①②③④②四种颜色,其中心顶点V可以这样来着色,你不是有一个1①3③和1①4④的两条相交叉且交叉顶点除了1①之外还有一个着①色的顶点吗,那么你首先可以从两个交叉顶点中的任何一个着①色的顶点开始进行①②链的交换后,图中不就不再存在交叉链了吗,这时你可以任意使用坎泊的颜色交换法均可以空出已用过的四种颜色之一给V着上,并且是想着那种颜色都是可以的,如图。不管你的图多么复杂,用这种方法一定是可以给V着上4—种颜色之一的。”
这段话。我可以明确的告诉你,这个情况我早就想过。其实还包括这个情况不成立下的情况也有解决方案。
但是如果你认为上述这个情况能解决就算解决了。那建议你再仔细研究一下。
 楼主| 发表于 2009-11-23 13:37 | 显示全部楼层

[原创]给luckylucky先生推荐一篇文章

回复luckylucky先生
luckylucky先生:
看来到现在我们俩人是想到一块去了,那么就是说,你给nmgnewsun和登子提出的问题应该说是已经能解决了的。你说,“我可以明确告诉你,这个情况我早就想过。其实还包括这个情况不成立下的情况也有解决方案。”这里你只是说你早已“想过”,现在的问题是你那时给这样的有交叉链的5—轮中心顶点能不能4—着色的问题,如果你着上了四种颜色之一,那你现在就不应该再向上两位先生提出这样的问题,即然提了就应该把你的解决办法拿来出来,以说明这两位先生错了,可你没有这样做,而是认为“卡就卡在这里”,看来你也认为它是不能4—着色的。你的后一句“其实还包括这个情况不成立下的情况也有解决方案”这句话我是乎觉得有点不太明白你在说什么,那么你还认为有什么情况没有解决的方案,请拿出来我们一起来研究。如果你很忙,我可以一个人研究,能不能解决我一定会给你一个满意的答复。猜测还是要进行证明的,不能因为它证明很难就不证明了。雷明,2009,11 23,长安
发表于 2009-11-23 14:33 | 显示全部楼层

[原创]给luckylucky先生推荐一篇文章

我的《四色猜测的手工证明》一文的主要观点已在陕西省数学会1994年的年会(延安大学)上也作过学术论文报告。
如果你很忙,我可以一个人研究,能不能解决我一定会给你一个满意的答复。猜测还是要进行证明的,不能因为它证明很难就不证明了。雷明,2009,11 23,长安
明雷明雷明2009/11/23
您需要登录后才可以回帖 登录 | 注册

本版积分规则

LaTEX预览输入 教程 符号库 加行内标签 加行间标签 
对应的 LaTEX 效果:

Archiver|手机版|小黑屋|数学中国 ( 京ICP备05040119号 )

GMT+8, 2025-7-5 01:11 , Processed in 0.083404 second(s), 17 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表
\frac{\square}{\square}\sqrt{\square}\square_{\baguet}^{\baguet}\overarc{\square}\ \dot{\baguet}\left(\square\right)\binom{\square}{\square}\begin{cases}\square\\\square\end{cases}\ \begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\to\Rightarrow\mapsto\alpha\ \theta\ \pi\times\div\pm\because\angle\ \infty
\frac{\square}{\square}\sqrt{\square}\sqrt[\baguet]{\square}\square_{\baguet}\square^{\baguet}\square_{\baguet}^{\baguet}\sum_{\baguet}^{\baguet}\prod_{\baguet}^{\baguet}\coprod_{\baguet}^{\baguet}\int_{\baguet}^{\baguet}\lim_{\baguet}\lim_{\baguet}^{\baguet}\bigcup_{\baguet}^{\baguet}\bigcap_{\baguet}^{\baguet}\bigwedge_{\baguet}^{\baguet}\bigvee_{\baguet}^{\baguet}
\underline{\square}\overline{\square}\overrightarrow{\square}\overleftarrow{\square}\overleftrightarrow{\square}\underrightarrow{\square}\underleftarrow{\square}\underleftrightarrow{\square}\dot{\baguet}\hat{\baguet}\vec{\baguet}\tilde{\baguet}
\left(\square\right)\left[\square\right]\left\{\square\right\}\left|\square\right|\left\langle\square\right\rangle\left\lVert\square\right\rVert\left\lfloor\square\right\rfloor\left\lceil\square\right\rceil\binom{\square}{\square}\boxed{\square}
\begin{cases}\square\\\square\end{cases}\begin{matrix}\square&\square\\\square&\square\end{matrix}\begin{pmatrix}\square&\square\\\square&\square\end{pmatrix}\begin{bmatrix}\square&\square\\\square&\square\end{bmatrix}\begin{Bmatrix}\square&\square\\\square&\square\end{Bmatrix}\begin{vmatrix}\square&\square\\\square&\square\end{vmatrix}\begin{Vmatrix}\square&\square\\\square&\square\end{Vmatrix}\begin{array}{l|l}\square&\square\\\hline\square&\square\end{array}
\to\gets\leftrightarrow\nearrow\searrow\downarrow\uparrow\updownarrow\swarrow\nwarrow\Leftarrow\Rightarrow\Leftrightarrow\rightharpoonup\rightharpoondown\impliedby\implies\Longleftrightarrow\leftharpoonup\leftharpoondown\longleftarrow\longrightarrow\longleftrightarrow\Uparrow\Downarrow\Updownarrow\hookleftarrow\hookrightarrow\mapsto
\alpha\beta\gamma\Gamma\delta\Delta\epsilon\varepsilon\zeta\eta\theta\Theta\iota\kappa\varkappa\lambda\Lambda\mu\nu\xi\Xi\pi\Pi\varpi\rho\varrho\sigma\Sigma\tau\upsilon\Upsilon\phi\Phi\varphi\chi\psi\Psi\omega\Omega\digamma\vartheta\varsigma\mathbb{C}\mathbb{H}\mathbb{N}\mathbb{P}\mathbb{Q}\mathbb{R}\mathbb{Z}\Re\Im\aleph\partial\nabla
\times\cdot\ast\div\pm\mp\circ\backslash\oplus\ominus\otimes\odot\bullet\varnothing\neq\equiv\not\equiv\sim\approx\simeq\cong\geq\leq\ll\gg\succ\prec\in\ni\cup\cap\subset\supset\not\subset\not\supset\notin\not\ni\subseteq\supseteq\nsubseteq\nsupseteq\sqsubset\sqsupset\sqsubseteq\sqsupseteq\sqcap\sqcup\wedge\vee\neg\forall\exists\nexists\uplus\bigsqcup\bigodot\bigotimes\bigoplus\biguplus\bigcap\bigcup\bigvee\bigwedge
\because\therefore\angle\parallel\perp\top\nparallel\measuredangle\sphericalangle\diamond\diamondsuit\doteq\propto\infty\bowtie\square\smile\frown\bigtriangledown\triangle\triangleleft\triangleright\bigcirc \wr\amalg\models\preceq\mid\nmid\vdash\dashv\nless\ngtr\ldots\cdots\vdots\ddots\surd\ell\flat\sharp\natural\wp\clubsuit\heartsuit\spadesuit\oint\lfloor\rfloor\lceil\rceil\lbrace\rbrace\lbrack\rbrack\vert\hbar\aleph\dagger\ddagger

MathQuill输入:

Latex代码输入: