无“驱动最全PE”之数学证明

pseudo · 发表于 2010-3-23 23:43:57

看到有人提问：

原帖由 vcxzaq1 于 2009-12-11 00:17 发表
请问论坛中谁的XP内核的PE到目前为止磁盘驱动最全呢

遂灌水作答。整理如下：

问：会有驱动最全的PE吗？

答：不会有。证明如下：

[证明] 用反证法。假定有驱动最全的PE，记为NPE，其驱动集记为A。

设Q表示世界上所有驱动的全集。显然A（真）包含于Q而不等于Q，故必存在驱动d属于Q而不属于A。

今将该PE的驱动集A（Drivers目录）连同PE里的txtsetup.sif文件用winrar打包为OEM_SRS.ZIP，置于某盘根目录，将驱动d（.sys文件，可用cab格式压缩为.sy_文件）也置于该目录。

然后，使用独立通用F6模块：http://bbs.wuyou.net/forum.php?mod=viewthread&tid=161394&page=1#pid1913577
或使用0PE，来启动某PE，记被启动PE为1PE（不等于NPE）。

那么1PE可以使用OEM_SRS.ZIP及d作为驱动（包），只需在菜单选择或者键盘输入指定驱动（包）即可。所以1PE的驱动集为A与{d}之并集。

显然A真包含于该并集，即NPE的驱动没有1PE的驱动全（后者至少多个驱动d），这与开始的假定（NPE驱动最全）矛盾。

证毕口

xhj · 发表于 2010-3-23 23:50:53

这，绕口得，看的我迷糊了。

zhaohj · 发表于 2010-3-23 23:56:25

色就是空，空就是色。
用在这里最恰当不过了。
F6模块前途无量！

bank-w3000 · 发表于 2010-3-23 23:57:58

不求最全，但求更全。

tzxinqing · 发表于 2010-3-24 00:01:53

强烈要求p大解答哥德巴赫猜想！

benny3848hk · 发表于 2010-3-24 07:17:46

设Q表示世界上所有驱动的全集。显然A（真）包含于Q而不等于Q，故必存在驱动d属于Q而不属于A。
这句真好

my9823 · 发表于 2010-3-24 07:37:22

妈呀！高等数学

尽善尽美 · 发表于 2010-3-24 07:44:36

最全未必是最好！！一切以短小实用为主！！

adef · 发表于 2010-3-24 08:35:14

呵呵，技术论坛还是少些放炮的好。
好像有个置顶帖就不准用什么“史上最强”的字眼。
google的adwords连最好、最大、best的字眼也不能用（机器判断），虽然这个有时根据上下文有点傻..

[ 本帖最后由 adef 于 2010-3-24 08:37 编辑 ]

adef · 发表于 2010-3-24 08:45:52

呵呵，贴个图灌下水凑字数

junyee · 发表于 2010-3-24 17:18:38

P大是即陈景润之后第一个敢证明1+1=2的人!!!

NicTense · 发表于 2010-3-24 17:48:35

这个帖子疑为P大酒后涂鸦，版主还是移到水版吧

网虫2008 · 发表于 2010-3-24 17:55:15

嘿嘿，P大的这个也不算水贴，，只是借题发挥发挥，介绍下他的 “独立通用F6模块”罢了！！ -_-

aikon · 发表于 2010-3-24 17:55:24

凑个热闹！顶一下！

NicTense · 发表于 2010-3-24 18:10:55

原帖由 网虫2008 于 2010-3-24 17:55 发表
嘿嘿，P大的这个也不算水贴，，只是借题发挥发挥，介绍下他的 “独立通用F6模块”罢了！！ -_-

P大技术高超，但是老是把简单问题复杂化，导致很多人根本无从入门，别说精通了

P大写的说明不是说明，是天书，我看啊看啊就睡着了，貌似很多问题本来没那么复杂的

要是试着把说明写得通俗易懂一点，P大的作品应该会为更多人所接受

shn · 发表于 2010-3-24 18:17:22

算错了吧？d驱动不属于A啊，因为A是假设对的，、那么就不能说d不存在A中。所有的结论由于此处导致的推论过程有错

lxl1638 · 发表于 2010-3-24 18:27:49

不会数学的路过。。。。。。。。

水如我心 · 发表于 2010-3-24 18:33:14

原帖由 NicTense 于 2010-3-24 18:10 发表

P大技术高超，但是老是把简单问题复杂化，导致很多人根本无从入门，别说精通了

P大写的说明不是说明，是天书，我看啊看啊就睡着了，貌似很多问题本来没那么复杂的

要是试着把说明写得通俗易懂一点， ...

下载地址都比别人复杂..........导致很多人地址找不到北,登门入室3 6 9问......
P大数学好,语文成绩不咋地?...呵呵

[ 本帖最后由水如我心于 2010-3-24 19:04 编辑 ]

网虫2008 · 发表于 2010-3-24 18:46:28

原帖由 水如我心 于 2010-3-24 18:33 发表

下载地址都比别人复杂..........
P大数学好,语文成绩不咋地?...呵呵

嗯嗯，同意同意，，，，

要说首页说明，，，大家要向我学习。。。。。。

哎呀！！好痛！！谁扔的鸡蛋......

NicTense · 发表于 2010-3-24 19:05:32

原帖由 网虫2008 于 2010-3-24 18:46 发表

嗯嗯，同意同意，，，，

要说首页说明，，，大家要向我学习。。。。。。

哎呀！！好痛！！谁扔的鸡蛋......

写pecmd的gui要向你学习，无忧的懒人太多，老九生气也不是没理由的，pecmd出现都好几年了，那几个命令不会用就算了，很多人要用了也不看说明，直接就去问说明里面写得清清楚楚的东西

chendx · 发表于 2010-3-24 19:23:42

能吧主流的AHCI都进集成进来就行了

yaojy · 发表于 2010-3-24 19:24:00

原帖由 网虫2008 于 2010-3-24 17:55 发表
嘿嘿，P大的这个也不算水贴，，只是借题发挥发挥，介绍下他的 “独立通用F6模块”罢了！！ -_-

哈哈！说到点子上了。此君习惯于推销自己的东西。

pseudo · 发表于 2010-3-24 19:33:36

原帖由 shn 于 2010-3-24 18:17 发表
算错了吧？d驱动不属于A啊，因为A是假设对的，、那么就不能说d不存在A中。所有的结论由于此处导致的推论过程有错

你不会认为A等于Q吧。

如果A不等于Q，就只能是A真包含于Q，或者说Q-A非空。
那么必定存在驱动d属于Q不属于A（即完全可以说“d不存在A中”）。

可以证明1PE至少比NPE多出一个驱动d。

事实上，有人认为wsw8810的PE驱动不错，0PE将其驱动打包为2.ZIP。据报告确实有些机器只有用驱动包2.ZIP才能找到硬盘。
假定0PE的程序没bug，基本上可以说，wsw8810的PE能找到的硬盘，0PE用2.ZIP也能找到。

基于此，如果说wsw8810的PE驱动最全，那么0PE的驱动岂不更全？

关键在于，0PE建立了方便增加、维护驱动的机制。其它PE的驱动可以很方便“拿来”。

本帖证明过程也是构造性证明，已经介绍了如何构造1PE的驱动。

tzxinqing · 发表于 2010-3-24 20:17:54

原帖由 网虫2008 于 2010-3-24 17:55 发表
嘿嘿，P大的这个也不算水贴，，只是借题发挥发挥，介绍下他的 “独立通用F6模块”罢了！！ -_-

难道说这是传说中的广告贴？

七仙花 · 发表于 2010-3-25 01:08:42

高深的数学广告。

tianzone · 发表于 2010-3-25 19:32:56

念着麻烦太绕口了。。。

x9tian · 发表于 2010-3-25 19:39:22

哈哈哈, 有意思, 没想到P大是孔夫子的卵-------文吊吊

佳佳 · 发表于 2010-3-25 20:42:08

我去补习数学后再来看帖......

ISO · 发表于 2010-4-4 10:22:10

哈哈，这个强大，p大就是强

tianzone · 发表于 2010-4-4 12:03:10

总是数学证明，再弄个论文看看。。。

		自动登录	找回密码
密码			注册

无“驱动最全PE”之数学证明

浏览过的版块