离散数学两个问题 离散数学图的两个问题
\u79bb\u6563\u6570\u5b66 \u6811\u7684\u95ee\u9898\u7b54\u6848\u662fA
\u4e00\u4e2ak\u5c42\u7684\u5b8c\u5168\u4e8c\u53c9\u6811\u7684\u8282\u70b9\u51712\u7684k\u6b21\u65b9\u51cf\u4e00\u4e2a\u8282\u70b9\u3002
\u7b2ck\u5c42\u5168\u662f\u53f6\u8282\u70b9\uff0c\u4e00\u51712\u7684(k-1)\u65b9\u4e2a\u53f6\u8282\u70b9\u3002
\u8ba1\u7b97\u89c4\u5f8b\uff1a\u7b2c\u4e00\u5c421\u4e2a\uff0c\u7b2c\u4e8c\u5c422\u4e2a\uff0c\u7b2c\u4e09\u5c424\u4e2a\uff0c\u3002\u3002\u3002\u3002\u7b2ck\u5c422\u7684(k-1)\u65b9\u4e2a
\u7528\u6269\u5927\u8def\u5f84\u6cd5\uff0c\u968f\u610f\u9009\u53d6\u4e00\u4e2a\u70b9\uff0c\u6bcf\u9700\u548c\u5176\u4ed6\u4e00\u4e2a\u70b9\u8fde\u63a5\u9700\u8981\u81f3\u5c11\u4e00\u6761\u8fb9\uff0c\u56e0\u4e3a\u4ed6\u662f\u8fde\u901a\u56fe\uff0c\u6240\u4ee5\u81f3\u5c11\u6709N-1\u6761\u8fb9\uff0c\u53ea\u6709N-1\u6761\u8fb9\u7684\u65f6\u5019\u6bcf\u6761\u8fb9\u90fd\u662f\u6865\u6240\u4ee5\u53ef\u77e5\u4ed6\u5c31\u662f\u4e00\u68f5\u6811
计算理论可以追溯到1900年，当时著名的大数学家希尔伯特在世纪之交的数学家大会上给国际数学界提出了著名的23个数学问题。其中第十问题是这样的：存在不存在一种有限的、
机械的步骤能够判断“丢番图方程”是否存在解？这里就提出来了有限的、机械的证明步骤
的问题，用今天的话说就是算法。但在当时，人们还不知道“算法”是什么。实际上，当时
数学领域中已经有很多问题都是跟“算法”密切相关的，因而，科学的 “算法” 定义呼之
欲出。之后到了30年代的时候，终于有两个人分别提出了精确定义算法的方法，一个人是
图灵，一个人是丘奇。而其中图灵提出来的图灵机模型直观形象，于是很快得到了大家的普
遍接受。
不知道你是否听说过图灵这个名字。可能有些人知道牛顿，知道爱因斯坦，甚至知道冯
诺依曼，但不知道图灵。然而图灵的贡献绝对不亚于这些科学大师。图灵最大的贡献就是把
算法这样一个基本的、深刻的概念用他的图灵机模型讲清楚了。正是因为图灵奠定的理论基
础，人们才有可能发明20世纪以来甚至是人类有史以来最伟大的发明：计算机。因此人们
称图灵为：计算机理论之父。
图灵生活的年代经历了第二次世界大战。在二战期间他曾经为英国政府效力成功破译了
德国的密码，因而为英国做出了突出贡献。其实也正是因为二战，英国政府才肯掏钱让图灵
制造最原始的计算机，当然这种计算机是专门用来破译密码用的，而不是我们现在用的通用
计算机。（有一部片子叫《密码迷情》英文名是《enigma》就是根据图灵当时破译德国密码
的故事改编的，大家有兴趣可以去找一找。）
图灵这个人很古怪，只喜欢自己一个人闷头研究，不喜欢与别人交流。并且据说他还是
一个同性恋者。要知道在当时的英国，同性恋行为可是大逆不道的。最后，在他事业刚刚达
到顶风的时候，他自杀了。为了纪念这个伟大的学者，计算机界设立了最高荣誉奖：ACM
图灵奖。
图灵机的产生一方面奠定了现代数字计算机的基础（要知道后来冯诺依曼就是根据图灵
的设想才设计出第一台计算机的）。另一方面，根据图灵机这一基本简洁的概念，我们还可
以看到可计算的极限是什么。也就是说实际上计算机的本领从原则上讲是有限制的。请注意，
这里说到计算机的极限并不是说它不能吃饭、扫地等硬件方面的极限，而是仅仅就从信息处
理这个角度，计算机也仍然存在着极限。这就是图灵机的停机问题。这个问题在图灵看来更
加重要，在他当年的论文中，其实他是为了论证图灵停机问题才“捎带手”提出了图灵机模
型的。
提到了图灵停机问题，我不禁又要提一提哥德尔定理、罗素悖论、康托尔的集合论等
等一系列大事儿。早在19世纪末的时候，康托尔为集合论做了奠基性的研究。要知道，数
学虽然五花八门，但是人们发现，运用集合这个概念可以概括所有的数学，也就是说集合是
一切数学的基础。因而如果为集合论奠定了公理化的基础，也就等于为数学奠定了基础。康
托尔就是做了这方面的贡献。另外，他为了证明实数的个数比自然数多这个结论，发明了一
种被称为“对角线删除”的证明方法。没想到的是，这个方法影响非常深广，直到后来的图
灵停机问题、哥德尔定理其实都是该方法的不同延伸。
19世纪末的人们忙于为基于集合论的数学建立公理体系大厦。然而就当这座大厦即将
完工的时候，一件可怕的事情发生了，罗素提出来的罗素悖论粉碎了数学家的梦想。关于罗
素悖论的一个通俗化版本是：“村子里有一个理发师，他给自己定了一条规矩：‘不给那些所
有给自己理发的人理发’。现在就要问，这个理发师该不该给自己理发？”。如果你尝试回答
这个问题就会发现奇怪的事情：这个问题本身似乎是不可能的！正是因为这种奇怪的逻辑，
哲学家罗素才颠覆了整个数学大厦的基础！
以上回答你满意么？
第一题 定义域取为R，第一个的P为，x>y， 第二个的P为：x^2+y^<0
第二个问题： 由于两个命题刚好互为逆否命题，故两命题的真假性一样！
OK？
绛旓細鍥犳鎵鏈夐《鐐圭殑搴︽暟鍜宒锛坴锛= x *1 + 2*3 + (10-x)*5 = 24 瑙ｆ柟绋嬪緱x=8 12銆佸叿鏈 n 涓《鐐圭殑杩為氬浘鑷冲皯鏈塤__鏉¤竟銆傝В锛氬叿鏈塶涓《鐐圭殑杩為氬浘鑷冲皯鏈塶-1鏉¤竟銆傝繖鏄竴涓笌鐢熸垚鏍戠浉鍏崇殑闂銆傜敓鎴愭爲鏄竴涓繛閫氬浘锛屽畠鍏锋湁鑳藉杩為氬浘涓换浣涓や釜椤剁偣鐨勬渶灏忚竟闆嗭紝浠讳綍涓涓敓鎴愭爲閮藉叿鏈塶...
绛旓細2 4涓厓绱犻泦鍚堢殑婊″皠锛屽嵆鏄4涓厓绱犻泦鍚堢殑鍙屽皠涓暟 鏄剧劧鍙屽皠鏈4锛=24涓 3 x涓湁3涓厓绱狅紝璁剧瓑浠峰叧绯讳负R 绛変环鍏崇郴鏄嚜鍙嶏紝瀵圭О锛屼紶閫 鎵浠ュ浠绘剰鐨刟鈭圶,閮藉睘浜庤繖涓瓑浠峰叧绯籖 瀵圭О闇瑕佹弧瓒冲浜庝换鎰忕殑a,b ,鑻ュ睘浜嶳,鍒欏睘浜嶳 浼犻掗渶瑕佹弧瓒冲浜庝换鎰忕殑a,b,c 鑻,灞炰簬R, 鍒欏睘浜嶳 鍙渶瑕佽绠桼...
绛旓細S:灏忔潕鍠滄鐗╃悊锛屽皬寮犲枩娆鏁板 鑻ュ皬寮犲枩娆㈡暟瀛︼紝鍒欏皬鏉庢垨灏忚档涔熷枩娆㈡暟瀛︼紝绗﹀彿鍖栦负P鈫扱鈭≧ 鑻ュ皬鏉庡枩娆㈡暟瀛︼紝浠栦篃鍠滄鐗╃悊锛岀鍙峰寲涓篞鈫扴,灏忔潕涓嶅枩娆㈢墿鐞嗭紝绗﹀彿鍖栦负闈濻 鍓嶆彁P鈫扱鈭≧, Q鈫扴,,P, 闈濻锛岀粨璁篟 鏋勯犳帹鐞嗗涓嬶細锛1锛塓鈫扴 P 锛2锛夐潪S P 锛3锛夐潪Q T 锛1)锛2锛夛紙4...
绛旓細涓ら閮介堿.1)渚嬪f(x)=-x.2)鐢ㄥ崟灏勭殑瀹氫箟銆
绛旓細鍦ㄨ繖绉嶆儏鍐典笅锛屽浘G涓悇鐐圭殑搴︽暟鍙彲鑳芥槸1锛2锛屸︼紝n-1锛屽叡鏈塶-1绉嶏紝鑰屽浘G浠呮湁n涓《鐐癸紝鎵浠ョ敱楦芥礊鍘熺悊鍙煡锛庡浘G涓繀鏈涓や釜椤剁偣鐨勫害鏁版槸鐩稿悓鐨勩傚綋鍥綠涓病鏈変竴涓《鐐圭殑搴︽暟涓簄-1鏃讹紝鍒欏浘涓悇椤剁偣鐨勫害鏁板彧鍙兘鏄0锛1锛屸︼紝n-2锛屽叡鏈塶-1绉嶏紝鍚屾牱鐢遍附娲炲師鐞嗗彲鐭ワ紝鍥綠涓繀鏈変袱涓《鐐...
绛旓細鏃犱氦鎹㈠緥,濡2*3=8,3*2=9 鏃犲崟浣嶅厓(鏈夊彸鍗曚綅鍏).2.濡備綍浠庤繍绠楄〃涓婄湅鍑哄叾杩愮畻鍏锋湁鍙氦鎹㈡ц川锛熷浣曟壘鍒板崟浣嶅厓锛熷浣曟壘鍒颁竴涓厓绱犵殑閫嗗厓绱狅紙濡傛灉鏈夌殑璇濓級锛熻В:鑻ヨ繍绠楄〃瀵圭О,鍒欏彲浜ゆ崲.鑻ヤ竴涓厓绱犳墍鍦ㄨ鍒椾笌琛ㄥご琛屽垪涓鑷达紝鍒欒鍏冪礌涓哄崟浣嶅厓銆傝嫢涓や釜鍏冪礌鎵鍦ㄨ鍒椾氦浼氬鍧囦负鍗曚綅鍏冿紝鍒欒涓や釜鍏冪礌浜...
绛旓細S(x):x鏄紭绉瀛︾敓 a:灏忓己 杩欓噷鈥滀换鎰忕殑鈥濅笉濂藉啓锛屾垜灏卞啓鎴怉锛屼綘鑷繁鍊掕繃鏉ャ傗滃瓨鍦ㄤ竴涓濅篃鏄紝鎴戝氨鍐欐垚E锛屼綘鑷繁鍊掕繃鏉 (Ax)(P(x)鈫(鈹怮(x)鈫扲(x))),(Ex)(P(x)鈭(x)),鈹怰(a)鈭(a)=>P(a)鈫扱(a)锛1锛(Ax)(P(x)鈫(鈹怮(x)鈫扲(x))) P瑙勫垯 锛2锛塒(a)鈫...
绛旓細涓浜屻亄x}锛屼腑鍙湁涓涓厓绱爔锛岃寋{x}}涓篃鍙湁涓涓厓绱爗x}锛岀涓涓槸x锛岃岀浜屼釜闆嗗悎涓殑鍏冪礌鏄竴涓泦鍚坽x}锛涓や釜闆嗗悎娌℃湁浜ら泦锛屼篃灏辨槸璇磠x}-{{x}}={x}锛屾樉鐒朵竴浜屾槸瀵圭殑銆備笁鐨勮瘽锛寈<(鍖呭惈绗﹀彿涓嶄細鎵擄紝锛屽氨鐢ㄨ繖涓簡锛墄锛岄偅涔堟樉鐒秞<x鈭獅x}銆傛棦鐒剁敤浜嗗寘鍚鍙凤紝涔熷氨璇存槑x鏄泦鍚...
绛旓細2. 鑻涓哄疄鏁伴泦锛屽垯娌℃湁骞哄厓锛屼篃娌℃湁闆跺厓銆3. 鑻(A)涓洪潪绌洪泦鍚圓鐨勫箓闆嗭紝鍒欎腑杩愮畻鈭╂湁骞哄厓锛屽畠鏄┖闆嗭紱娌℃湁闆跺厓銆備笁锛庢眰涓妫靛甫鏉冧负1锛3锛6锛9鐨勬渶浼樹簩鍙夋爲锛庤В锛 19 | | 9 10 | | 4 6 | | 1 3 鍥涳紟璇佹槑灏忎簬30鏉¤竟鐨勭畝鍗曡繛閫氬钩闈㈠浘鏈変竴涓粨鐐圭殑搴︽暟灏忎簬绛変簬4銆傝В锛...
绛旓細1.20锛岀锛1锛夐 (¬P鈭¬Q)鈫(P↔¬Q)⇔ ¬(¬P鈭¬Q)鈭(P↔¬Q) 鍙樻垚 鍚堝彇鏋愬彇 ⇔ ¬(¬P鈭¬Q)鈭((P鈫¬Q)鈭(¬Q鈫扨)) 鍙樻垚 鍚堝彇鏋愬彇 ⇔ ¬(¬P鈭¬Q)鈭...
