博文
我终于找到了子句消去计数法分组定解的多项式时间算法！
|||
经过努力，终于在分组定解的基础上，利用可能解表，用逐步扩展定解的方式，取得了获得3SAT解的多项式时间算法。为了庆祝一下我艰苦努力的成功，特发此文自己祝贺一下！
这也是为了纪念。
2015－8－30
https://blog.sciencenet.cn/blog-340399-916991.html
上一篇：组合数C(n:n-k)是不是多项式？
下一篇：真的是应该值得庆祝的一天
0
该博文允许注册用户评论 请点击登录 评论 (1 个评论)
-
|
閻犙嶆嫹
+1
[6]闁哄娴烽幏锟�
- 闁告ḿ鍠愬ḿ鐢稿椽瀹€鍕柤濠殿喓鍔忔禍鐗堝緞閳衡偓缁″啴宕ｉ娆庣鞍閺夆晜鐟ょ粻鐐差嚕閳ь剝绠涢崘銊︽喒闁挎稑鐭傚Ο瀣炊濞戞ḿ鍙戝ù鍏煎哺閳ь剚銇炲Ч澶嬬▕閹邦剚鍤堥柕鍡嫹
-
|
閻犙嶆嫹
+1
[5]nufranken
- 閻忓繗鍋愮敮銉р偓鍦仱閻涙瑧鈧箍鍊栨竟鍌炲捶閺夎￥浜ｅ┑鈥崇墔缁″啴寮ㄩ幆褌娴峰ù婊冩４缁辨繃娼诲▎鎴炵函闁规亽鍎查惀鍛枖閺囨氨鐟愰柛妯绘礃婢у秵绂嶉崱顓犵闁搞劌鍟┃鍥焾閼恒儳姊鹃柛锔惧閺備焦绂嶉敓锟�
闁规鍋勫﹢瀛樺緞瑜嶉々顓㈠绩閹傛捣濞存粌妫寸槐婵嬪箣閹存粍绮﹂弶鈺傜懃瑜版彃鈻介埄鍐╃畳闁衡偓閹傛捣~~~
-
|
閻犙嶆嫹
+1
[4]闁哄瀛╂潏鏉库枖閿燂拷
- 闁告粣璁ｇ槐婵囨交濞嗘劖笑闁革负鍔嬮懙鎴﹀炊閻ｅ本鐣卞ù婊冾儓缁绘洟寮伴姘含UBC闁哥噦鎷�
-
|
閻犙嶆嫹
+1
[3]闁绘粌顑嗗Σ顒勬嚌閿燂拷
- 閺夆晜鐟ら柌婊堟⒓閸啩鏍啺娴ｅ壊鍔夐悗娑欏姇閵堜粙寮插顒佹珦
闁硅偐鍋樼粭澶娿€掗崨顕呮闁汇劌瀚銊╂⒒椤旇崵顏卞☉鎾愁儏閺呪晠鏁嶅畝鍐惧殯濞戞挸绉撮悾鐐閸濆嫷鍟€濞戞棃顣﹂柌婊堟儘鐎电ǹ鏁滅紓浣圭懁缂嶆﹢鏁嶇仦鑺ョ殤闁哄嫷鍨甸鈧ù锝囧█濡爼鎯冮崟鍓佺濞达絿濮崇粭澶愭⒒椤曞棛绀夊ù婊冩惈椤斿秹骞€鎼存繄鐤勯悹鍥ㄦ綑閺呪晠鍨鹃敂鍏夊亾閿燂拷
濞寸姭鍋撳☉鏂跨墛閻楅亶鎯冮崟顐ゅ濠⒀冨暣閸忔﹢宕ｉ娆庣鞍婵犳洘姊荤划鐘诲礄閾忓湱娉曞☉鎾瑰Г濞肩敻鏁嶇仦缁㈠仼閻犙冪箳楠炲洨鈧湱鍋熷▓鎴炵▔瀹ュ懐鏆氱紓鍥ф捣濞堟垹绱樻惔婵嬫闁挎稑濂旂粭澶嬩繆閵娧屾殹閺夆晞濮ら惇鎷岀疀閸愌嗗幀闁汇劌瀚悾顒傜礃鎼粹槅鏆旈柣锝呭閳ь剨鑵归埀顒婃嫹
-
|
閻犙嶆嫹
+1
[2]闁告帗枪婢瑰鐥敓锟�
- 閹煎瓨妫侀姘交濡粯绠掗柛鎴犲Т椤︹晝绮弮鍥跺殩闁靛棴鎷�
濠碘€冲亰缁变即姊奸崹顔界＝闁挎稒鍩冮埀顒佺矋椤掓挳宕繝鍌滃彂闁绘埈鍙忕槐婵囩▔閺勫浚娲ｉ柡鍕靛灡閻ュ懘寮垫径鎰垫闁靛棗鍊垮Ο瀣叏閵娿儲鎲块梺鎻掑濮瑰濡撮崒妞诲亾閿燂拷
-
|
閻犙嶆嫹
+1
[1]闁哄楠搁鐔衡偓鐧告嫹
- 闁炽儲绮嶉崹婊堝嫉婢跺顏卞☉鎿冧簻閻剟骞嬮幋婊嗏拡鐎光偓娴ｇ儤鐣遍柛婵勫劚閹芥粓鍨惧┑鍥ㄧ畳闁规澘绻戦埀顒婃嫹
1/1 | 闁诡剚妲掗锟�:6 | 濡絾鐗犻妴锟� | 濞戞挸锕ｇ粩瀛樸亜閿燂拷 | 濞戞挸顑勭粩瀛樸亜閿燂拷 | 闁哄牜鍋婇妴锟� | 閻犲搫鐤囧ù锟� |