（愚人节玩笑）史上最牛充分条件分析器测试版发布
icon2 Design of Design | icon4 2009-04-01 1:19| icon357 Comments | 本文内容遵从CC版权协议 转载请注明出自matrix67.com

    在数学研究中，我们经常需要寻找一个命题的充分条件。有时候，我们在解题过程中会不自觉地思考结论的充分条件。例如，等底等高便是两个三角形面积相等的充分条件，这就为我们证明三角形面积相等指明了一条道路，接下来我们只需要说明那两个三角形的确是等底等高的就行了。又如，“任意顶点的度数大于等于n/2”是“无向图存在Hamilton回路”的充分条件，它经常被用来说明一个图有Hamilton回路。不过，与寻找必要条件不同的是，寻找一个命题“可以由什么推出来”是一个逆向思维，构造一个充分条件并不容易。有没有一种寻找充分条件的系统方法呢？我最近几天加班加点地研究，终于完成了一个充分条件分析器。你可以在输入框中属于一个与变量x相关的命题，系统将自动给出一个命题的充分条件。这个系统虽然是测试版，但它已经十分强大了。它不仅支持三角函数、对数函数、指数函数、阶乘等各类函数，还支持极限、微分、积分运算，甚至能够处理包括中文在内的自然语言。如果你不知道该输入什么，你可以先点击下面的几个样例试一试。

Example 1   Example 2   Example 3   Example 4   Example 5

Posted in Design of Design
Tags: , ,
Trackback: http://www.matrix67.com/blog/archives/1657/trackback
我猜您可能还喜欢：

57 条回复

  • 楼层: 沙发 | 2009-04-01 1:29 | 大音希声 说：

    大牛！原理？

  • 楼层: 板凳 | 2009-04-01 1:45 | ywpg 说：

    目前不论输入啥都显示 |x|<0

  • 楼层: 地毯 | 2009-04-01 1:46 | ywpg 说：

    哦，我忘了考虑时间因素了么。。

  • 楼层: 地板 | 2009-04-01 3:38 | pingz 说：

    我承认，时间是个重要的因素…… ^_^ ，看到 |x| < 0 就应该想到……

  • 楼层: 地下室 | 2009-04-01 3:40 | pingz 说：

    js 文件的标题……
    http://www.matrix67.com/data/scripts/fool.js

  • 楼层: 地基 | 2009-04-01 4:52 | co 说：

    哈哈 时间 很强大啊

  • 楼层: 地壳 | 2009-04-01 5:41 | Mgccl 说：

    - -
    刚看到以为是April Fools
    现在这个程序是真的...

  • 楼层: 地幔 | 2009-04-01 6:06 | Fox 说：

    ...被忽悠了...Matrix大人愚人节快乐
    |x|<0果然是万能充分条件。。。谁让推出是not ... or ...呢……

  • 楼层: 地核 | 2009-04-01 6:11 | birdwee 说：

    M大人愚人节快乐！

  • 楼层: 10楼 | 2009-04-01 8:02 | azuis 说：

    http://www.azuis.cn/blog/article/Internet/101.htm
    一个好玩的Flash解谜游戏

  • 楼层: 11楼 | 2009-04-01 8:16 | lolo 说：

    Example 4.= =..

  • 楼层: 12楼 | 2009-04-01 8:18 | HicroKee 说：

    被骗到了 愚人节快乐

  • 楼层: 12a楼 | 2009-04-01 8:49 | flowergod 说：

    |x|<0 呃。。。
    愚人节？

  • 楼层: 14楼 | 2009-04-01 9:22 | skycool 说：

    好吧，我承认，我被愚了

  • 楼层: 15楼 | 2009-04-01 9:24 | manson 说：

    (
    26757406659821805140785264680010372274498430542512150820986648726614825442628080
    91409263288326737142002148749934726109139254900116220406265850072136111512929830
    65198618746106622253544881885933434709673389867009228596678085502285308023374893
    02467012686745009109518058010479088391269648165236867504012711060969236304159220
    71430558979067304851331649552552467178281406985568026629647622220237594738159148
    00043191525971232658406595766680914087737164113947666256743185572811766528273340
    62674869564505398843317850004262057083707748113800290144472528953749231157766083
    95401756248064445708944314033786607241345125837072843335201510179715179534760872
    93128456693004621117531158137808348506442099496907211820280291824213378453221921
    87763943541340276023617482914643980442283423755891918053237014787270701049209222
    35075019215005156242424587588786599596477679714166845958342737936156469253351183
    75093257232442272644125485043803053470811646595876045708111150554646694314437317
    13347415735904949662684655124330034465272628173401723704326212964152602007685240
    12178436851567696760403249281106823787338807719381042519556157268766917912043271
    34895113831354288868858048316351171656992495726941884432586669961554383173727113
    37747500144985002838787294776710705120216755777942955788797078395886026540711795
    4162686093144623,

    26761730098282716803947593724260480255296034114187936403361247608951058184769844
    60420976780905654792098662517637350299686500668308633704296523790793770843468344
    20599038793437354280614428269764521820856869592028199317487734329415322057391948
    49848606740400086083242607437880096786781347948737402572364911534937526957718260
    30923982416821271366747779961821976063472798970713731648885890849905286876921929
    76216599291230543157159901441920715195645671598342007979769036670028375467322902
    31140789945467286971777977741826583850863700015059770083184119798302136430032350
    00106306154961428942292398561494099317556431148398780181448921052476051415642488
    71108619084861816219619176179712787196080135857392743061351805539054944065099162
    37625184190100394708740095790423456493572281774573812955348444075379236208868477
    61498994659548002628172403011686078081883295161114666757195730464535315824733031
    84636364271726528464982352061238813706702831738765327394196974529586011943780616
    44472101748670599333668387455579091574038012339752343697462915067355856631141857
    07781168215431652936089940154093316976341655197768193613282526291356914854067698
    14995717041606308592709248905451534737560186226678687871137639010679123992586406
    61809452218895617192485271227366919107611356527661932203497851014861529835200408
    1683209185728255,

    26784777783315257955569644447676409747215608969744276840107858657123815776249338
    43686946157865123055266174513730298261198246882551030216647013919677418859378636
    08329535747542129312286593424140038189055792635256013059196877415895651031975729
    29109464228448287734340370821208692638033867373210677115808231521091420386248501
    30220424586379921508186305868632421589829901476305649417244389963551163693372648
    20937886061801469477823760810485575487668158022125290329209872105147770033623623
    82505113501091838109263667231APRIL.FOOL!0479905083037813070526884513291104499500
    96457982569706735378040161385942949385065869492641856190152837721401091093923455
    58669712627971546688194013886085678610396700539278434453320045174082158548613661
    11587496580214554520403476566807032038430089287258781339813590240511874399148567
    46444071338703609505017025243109413770825805271369738718371414879405345006534898
    18253915297691249763821775693158297518260620049867590096585369171568726812598119
    90133751945268337613143003129593014812524495909490835034044823851300118037035889
    14526990039773990863235526120105895868749988107895047450007297249939007063598914
    51604253602524109179174240201396699819278177375598746896239386135879516490344339
    17468727128717841400047373319344925109958154680265165309222845689371671299515993
    26240065141385210961890495070585915837982265498697910594053796674661962946943778
    45689080502901556509272617407136165053510739697236930805745912184085270273178866
    7709596078031262
    )

  • 楼层: 16楼 | 2009-04-01 9:50 | 羊头居士的鸟窝 说：

    史上最牛充分条件分析器测试版发布...

    本文来自Matrix67大牛……表示一下膜拜……在数学研究中，我们经常需要寻找一个命题的充分条件。有时候，我们在解题过程中会不自觉地思考结论的充分条件。例如，等底等高便是两个三角...

  • 楼层: 17楼 | 2009-04-01 9:58 | abcx 说：

    好吧，我也承认我被愚了。。。

  • 楼层: 18楼 | 2009-04-01 10:17 | hplonline 说：

    果然是过节。。。*_*。。。

  • 楼层: 19楼 | 2009-04-01 10:21 | sdyy1990_2 说：

    |x|<0 ⇒ x大于你今天点击“Compute!”按钮的次数

  • 楼层: 20楼 | 2009-04-01 10:45 | NULL 说：

    April Fools day!

  • 楼层: 21楼 | 2009-04-01 10:50 | Chain 说：

    又是一年...april fool!

  • 楼层: 22楼 | 2009-04-01 11:22 | blackball 说：

    我得到了结果是:"|x| Fuck U"
    ....

  • 楼层: 23楼 | 2009-04-01 12:20 | Magician 说：

    |x|0
    这好像不对啊

  • 楼层: 24楼 | 2009-04-01 12:37 | J 说：

    果然是节日礼物~~

  • 楼层: 25楼 | 2009-04-01 12:56 | fool 说：

    栽了！

  • 楼层: 26楼 | 2009-04-01 13:02 | wing_of-wind 说：

    没骗到！

  • 楼层: 27楼 | 2009-04-01 13:23 | You Xu 说：

    这个 joke 比我今年设计的要好玩.

  • 楼层: 28楼 | 2009-04-01 15:11 | pongba 说：

    相当有创意，赞！:D

  • 楼层: 29楼 | 2009-04-01 15:14 | 笑笑 说：

    真狠啊

  • 楼层: 30楼 | 2009-04-01 16:45 | jx 说：

    同乐同乐~

  • 楼层: 31楼 | 2009-04-01 18:05 | gnaggnoyil 说：

    囧...

  • 楼层: 32楼 | 2009-04-01 18:14 | looby 说：

    被骗了。。。。

  • 楼层: 33楼 | 2009-04-01 21:19 | wcj 说：

    - -愚人节快乐

  • 楼层: 34楼 | 2009-04-01 21:20 | ForEverLeeR 说：

    好吧，我承认没想到时间因素......

  • 楼层: 35楼 | 2009-04-01 21:41 | menie 说：

    哈！盼了一天了晚上能来上会网，就为了来看这个！

  • 楼层: 36楼 | 2009-04-01 21:43 | DearL 说：

    今天第二次被愚到。。。。

  • 楼层: 37楼 | 2009-04-01 22:01 | multiple1902 说：

    好吧……我上当了……

  • 楼层: 38楼 | 2009-04-01 22:22 | LouisEver 说：

    april fool
    Compute==>>
    |x|<0 ⇒ april fool

    .................

  • 楼层: 39楼 | 2009-04-01 23:13 | TZ the Killer 说：

    |x|0
    这个好像不对了吧？

  • 楼层: 40楼 | 2009-04-01 23:14 | TZ the Killer 说：

    如果填的是绝对值x大于0，就好像不对了吧

  • 楼层: 41楼 | 2009-04-02 13:17 | 影棋魂 说：

    fooled

  • 楼层: Answer to Life, the Universe, and Everything | 2009-04-02 17:22 | ynifbs215 说：

    幸好 我学过数理逻辑啊~~

  • 楼层: 43楼 | 2009-04-02 21:59 | multiple1902 说：

    @TZ the Killer
    很可惜，既便如此它也对。这就是集合的“蕴含”概念的理解。

  • 楼层: 44楼 | 2009-04-04 8:48 | Richardyi 说：

    |x|<0 ⇒ 此分析器是有意义的

  • 楼层: 45楼 | 2009-04-04 12:31 | SiN 说：

    |x|<0 ⇒ matrix...

  • 楼层: 46楼 | 2009-04-04 19:51 | 苯 说：

    我不懂,为什么|x|<0就可以 呢?
    牛人解释下

  • 楼层: 47楼 | 2009-04-05 22:05 | Velicue 说：

    |x|0

  • 楼层: 48楼 | 2009-04-06 17:57 | zfaustk 说：

    晕，加班加点想出愚人节的礼物了...

  • 楼层: 49楼 | 2009-04-09 19:45 | Rayad 说：

    |X|<0 真够强的 愣是过了一天后才明白过来 数理逻辑原来这么强大 -_-|

  • 楼层: 50楼 | 2009-04-18 12:33 | Richardyi 说：

    一个错误的前提可以推出一切结论...

  • 楼层: 51楼 | 2009-05-17 18:55 | maa04 说：

    我囧，被忽悠到了……

  • 楼层: 52楼 | 2009-06-25 21:11 | 股票行情 说：

    好

  • 楼层: 53楼 | 2009-10-15 15:22 | Medyc 说：

    |x| Matri(x)67

  • 楼层: 54楼 | 2009-12-20 11:20 | qyjubriskxp 说：

    我看了example1后直接输入April Fool，输出竟然是|x|<0，当场明白了，看来有意整一整规则还是很能帮我们发现问题的

  • 楼层: 55楼 | 2011-07-04 11:44 | |x| 说：

    |x|<0 ⇒ Matrix67不是***的所有可能条件

  • 楼层: 56楼 | 2011-10-06 19:14 | wty 说：

    竟然隐约猜到了...

  • 楼层: 57楼 | 2012-02-02 12:28 | 啃制石器 说：

    |x|0

    嗯……

您也随便说几句吧：

您可以在 Gravatar 设置您的头像。