锘??xml version="1.0" encoding="utf-8" standalone="yes"?> 閭d箞涓轟粈涔堟湁浜哄涔?fàn)鎴惥l╁ソ鍛紝瀵逛簬浠諱綍浜嬫儏鎬繪槸鑳借姳璐瑰緢灝戠殑鍔沖姩鑰屾妸浜嬫儏鍔炲ソ鍛紝榪欑粷瀵逛笉鏄敓鐗╂剰涔変笂鐨勬櫤鍟嗛棶棰樸傝繖鏄竴縐嶆濈淮涔?fàn)鎯笂鐨勯棶棰樺Q屽緢澶氫漢浠庡皬灝卞吇鎴愪簡涓嶈壇鐨勬濈淮涔?fàn)鎯Q屽鑷翠簡宸紓鎬с傛湁浜鴻鎴戝皬瀛﹀涔堣仾鏄庯紙褰撶劧浠呬粎浠庝綘鑰冭瘯鑳藉姏涓婃潵姣旇緝錛変絾鏄殢鐫楂樹腑鍒板ぇ瀛︼紝瓚婃潵瓚婄浜嗐傚皬瀛︾殑闂閮藉緢綆鍗曪紝鐩存帴鎸夐『搴忔濊冨氨琛屼簡錛屼箙鑰屼箙涔嬪氨鍏繪垚浜嗚繖縐嶆濈淮涔?fàn)鎯Q屼笉鏄榪欑鎬濈淮涔?fàn)鎯笉濂藉Q岃繖鏄竴縐嶉潪甯告甯哥殑鎬濊冮昏緫銆備絾鏄粠灝忓寮濮嬪氨涓嶆柇鍗曚竴鐨勫己鍖栬繖縐嶆濈淮鏂瑰紡錛屾垜浠氨鍙樼殑鍍忎織璇濊鐨勪竴鏍圭瓔錛屾嫄涓嶄簡寮傚湪楂樹腑澶у棰樼洰鐨勫鏉傚害涓婂崌錛岃繖縐嶆濈淮鐨勫紛绔氨閫愭笎寮濮嬫毚闇層傛瘮濡傛湁浜涢閫氳繃鍙嶈瘉娉曞彲浠ヨ交鏉捐В鍐籌紝浣嗘槸鐢變簬涔?fàn)鎯Q屾垜浠『鐫鎬濊冿紝榪欏皢甯︽潵寰堝ぇ鐨勯毦搴︺備粠鍗曠函鐨勮搴︽潵璇翠綘鎬濊冪殑娣卞害姣旈偅浜涚敤鍙嶈瘉娉曠殑浜哄己澶氫簡錛屼綘姣斾粬浠竴瀹氱▼搴︿笂鏄仾鏄庣殑錛屼絾寰堜笉騫革紝浣犲仛鍑洪鐩殑姒傜巼姣斾粬浠皬浜嗭紝榪欏鑷翠簡浣犲涔?fàn)鎴惥l╁樊錛屽鑷翠綘鏄釜宸敓銆備竴鏃︿綘浠庡績鐞嗕笂鎺ュ彈浜嗚繖縐嶈鑹詫紝浠庢浣犲氨鐪熸鐨勫樊鐢熶簡錛屽緢闅劇炕韜?/p>
甯稿惉鏌愭煇璇翠漢鐢熸潵灝卞喅瀹氫簡浣犳槸鑱槑鐨勮繕鏄鐨勶紝榪欏氨鎴愪負(fù)浠栦滑姣忔澶辮觸鐨勭悊鐢便傝繖縐嶅績鎬侀潪甯鎬嬌鎴戝弽鎰熴傛垜鍚戞潵璁や負(fù)澶у鏄竴鏍風(fēng)殑錛屼笉鍚岀殑鏄濈淮涔?fàn)鎯拰鏂规硶銆備篃鍜屼漢璇磋繃鎴戣繖鏍風(fēng)殑鎯蟲硶錛屼粬浠篃鎵胯鏄繖涓師鍥狅紝浣嗕粬璁や負(fù)榪欏氨鏄厛澶╃殑鍟婏紝榪欑涓嶈壇鐨勬濈淮涔?fàn)鎯槸灏忓鏁欒偛鐨勬?zhèn)插搥銆備絾騫朵笉鏄笉鍙互鏀瑰彉鐨勩傞毦浠ユ敼鍙樹笉搴旇鎴愪負(fù)鎴戜滑鍋鋒噿鐨勭悊鐢便?/p>
鍏跺疄榪欎釜閬撶悊涓鐩村湪鎴戜滑韜竟錛岃屾湁浜涗漢鍗磋鍚﹁銆備婦涓畝鍗曠殑渚嬪瓙錛屼綘鎷夸簡闂鍘婚棶浣犵殑鑰佸笀錛岄偅鏄綘鎬濊冧簡寰堝澶╅兘娌¤В鍐崇殑闂錛岃繖鏃惰佸笀鍑犲彞璇濅綘灝辯獊鐒舵槑鐧戒簡錛屼綘榪樻槸闈犱綘鑷繁鐨勬濊冩妸闂瑙e喅鐨勶紝閭d箞浣犳墍宸殑灝辨槸鑰佸笀閭e嚑鍙ヨ瘽緇欑殑鎬濊冩柟鍚戙傝繖縐嶆柟鍚戞槸濡備綍寰楁潵鐨勫憿錛屾棤闈炲氨鏄袱涓師鍥狅紝涓涓槸緇忛獙錛屼竴涓槸鎬濈淮鐨勭┖闂淬備綘寰楀浼?xì)鑷纷兓庡彟澶栦竴涓搴︽濊冿紝榪欐牱灝變笉闇瑕佽佸笀榪欎釜瑙掕壊浜嗐傚緢澶氫紭縐鐨勪漢閮芥槸鍠勪簬浠庝笉鍚岃搴︽濊冮棶棰樼殑錛屼粬浠笉浼?xì)鎶辨d湪涓媯墊爲(wèi)涓娿?/p>
鎵浠ユ垜璁や負(fù)鍔姏鎬濊冨惂錛屾鍚戠殑閫嗗悜鐨勶紝鍙戞暎鐨勶紝鎶借薄鐨勶紝褰㈣薄鐨勬濈淮鏂瑰紡閮借涓嶆柇鐨勫皾璇曘傚鐪嬬湅鍝插瀹剁殑鏂囩珷錛屾垜璇寸殑涓嶆槸綰補(bǔ)鍝插錛屾垜璁や負(fù)鐪熸鐨勫摬瀛︽槸鐞嗘х殑鍝插錛屾瘮濡傜瑳鍗″効鐨勫摬瀛︼紝浠栫殑鏂規(guī)硶閮芥槸鎶借薄浜庢暟瀛︼紝鍥犱負(fù)鍞湁鏁板鐪熸鏄簿紜殑錛屾紜殑銆?/p>
縐戠洰 鍥藉唴涔︾睄 鍥藉涔︾睄 鍥藉唴浣滆?/span> 鍥藉浣滆?/span> 楂樼瓑鏁板 鏁板鍒嗘瀽鏂拌 寰Н鍒嗗鏁欑▼ 寮犵瓚鐢?/span> 鑿茶但閲戝摜灝?dāng)鑼?/span> 鏁板鍒嗘瀽 澶嶆棪澶у 楂樼瓑浠f暟 楂樼瓑浠f暟 鏋楁垚媯?/span>/鐩涙澗鏌?/span> 浠f暟瀛?/span> 鑾畻鍧?/span> 姒傜巼璁轟笌鏁扮悊緇?/span> 璁$畻鏂規(guī)硶瀛?/span> 璁$畻鏂規(guī)硶錛?/span>Computational Methods錛?/span> 鍗庝腑鐞嗗伐澶у鏁板緋?/span> 紱繪暎鏁板 鍩虹闆嗗悎璁?/span> 鍖楀笀澶?/span> 闈㈠悜璁$畻鏈虹瀛︾殑鏁扮悊閫昏緫 闄嗛挓涓?/span> 鍥捐鍙?qiáng)鍏督帡娉?/span> 鍥捐鍙?qiáng)鍏跺簲鐢?/span> 鐜嬫爲(wèi)紱?/span> Bondy & Murty 鍏蜂綋鏁板 Graham鍜?/span>Knuth 鍒濈瓑鏁拌 Introduction to Algorithmic Number Theory 娼樻皬鍏勫紵钁?/span> Bach 鏁拌瀵煎紩 鍗庣綏搴?/span> 褰㈠紡璇█涓庤嚜鍔ㄦ満 姹囩紪璇█鍜屽井鏈哄師鐞?/span> 璁$畻鏈虹粍鎴愪笌緇撴瀯 鐜嬬埍鑻?/span> IBM鈥?/span>PC姹囩紪璇█紼嬪簭璁捐 娌堢編鏄?/span> 鏁板瓧閫昏緫 鏁板瓧閫昏緫 鍒樿嫳濞?/span> 璁$畻鏈虹郴緇熺粨鏋?/span> 鎿嶄綔緋葷粺鐨勫唴鏍歌璁′笌瀹炵幇 鐜頒唬鎿嶄綔緋葷粺 鎿?/span> 浣滅郴緇?/span> 寮犲哀瀛?/span> Windows 鎿嶄綔緋葷粺鍘熺悊 寮犲哀瀛?/span> 緙栬瘧鍘熺悊 緙栬瘧鍘熺悊鍙?qiáng)瀹炶?/span> Kenneth C.Louden 鏁版嵁搴?/span> 鏁版嵁浠撳簱 Database System Concepts" Abraham Silberschatz 浜哄伐鏅鴻兘 浜哄伐楸尖旇綆楁満鍔ㄧ敾鐨勪漢宸ョ敓鍛芥柟娉?/span> 娑傛檽濯?/span> 緗戠粶鍗忚 璁$畻鏈虹綉緇滄暀紼?/span> 璋㈠笇浠?/span>
2.瑙夊緱鏈夌煡p,瑙夊緱鏃犵煡np
閭d箞榪欏彞璇濆氨鏄?鑻鍒檔p錛岄嗗惁鍛介鏄?鑻鍒檔q 灝辨槸璇?瓚婅寰楁湁鐭ュ氨瓚婃棤鐭?br>
閭d箞浣滀負(fù)涓涓煡閬撹繖鍙ヨ瘽鐨勪竴涓悊鎬т漢錛屽亣璁句綘瀛︾殑寰堝錛屽氨鍙互寰楀埌浣犺嚜宸卞彉鐨勬洿鏈夌煡鐨勭粨璁恒傞偅涔堢煡閬撶殑瓚婂浣犲氨瓚婃湁鐭ワ紝灝卞簲璇ヨ寰楄嚜宸辨湁鐭ワ紙鐞嗘х殑鍒嗘瀽錛夛紝鏄垚绔嬬殑 灝辨槸鑻鍒檖
緇煎悎涓婅堪鎴戜滑寰楀埌璁ゅ彲鐨勪笁鏉$畝鍗曡〃榪版槸錛?br>1. q --> np
2. p --> nq(based on 1,we know 1 is true)
3. q -->p
鎵浠ュ氨鏈?q --> p -->nq ,鍝囧錛岀煕鐩懼嚭鐜頒簡錛?br>
鏂囧瓧琛ㄨ堪灝辨槸 浣犺秺鏄湁鐭ラ偅涔堜綘灝辮秺鏄棤鐭ワ紙娉ㄦ剰榪欓噷娌℃湁“瑙夊緱”涓?#8220;瑙夊緱”浜嗭級
鎵浠ヤ粠浠婁互鍚庢垜浠彲浠ラ嶉仴浜嗭紝鑰訛紒涓嶇敤璇諱功鍜紒鍝堬紝鏄庡ぉ鍑哄幓搴嗙涓涓嬶紒
鎴栬呯敤闆嗗悎鐨勮鐐圭湅錛屽亣璁懼瓨鍦ㄨ繖鏍風(fēng)殑璇存槑錛?br>闆嗗悎P鏄棤鐭ワ紙鏃犵煡鏄湁鐭ョ殑涓縐嶇姸鎬侊紝鍙互璇存湁鐭ヨ秼浜庢棤絀峰皬錛夛紝闆嗗悎Q鏄嫇灞曞悗鐨勭煡璇嗗嵆鏈夌煡錛岄泦鍚圲鏄畤瀹欑煡璇嗛泦鍚堛?br>閭d箞鏄劇劧鏈塒<Q<U
鎴戜滑灝卞彲浠ユ兂璞′竴涓枃姘忓浘錛屽彲浠ョ敤鍛ㄩ暱L琛ㄧず鎰熻鏃犵煡鐨勭▼搴︼紝鐢ㄩ潰縐〃紺篠琛ㄧず鏈夌煡紼嬪害錛岄偅涔堝氨鏈夎繖鏍風(fēng)殑琛ㄨ堪
S(P)<S(Q)<S(U)錛屽懙鍛碉紝鐢變簬鍖呭惈鍏崇郴榪欐槸鏄劇劧鐨勶紝璇存槑瀛︾殑瓚婂灝辮秺鏈夌煡
浣嗘槸鎰熻鏈夌煡鏃犵煡鍗翠笉鑳界畝鍗曠殑璇碙(P)<L(Q)<L(U),鍥犱負(fù)铏界劧鏄寘鍚叧緋諱絾鍛ㄩ暱璇翠笉瀹氭槸灝忕殑闀匡紝褰㈢姸涓嶅悓鍢涖?br>鐢辨鎴戜滑鏈夎繖鏍風(fēng)殑緇撹錛氬嵆鎰熻榪欎釜涓滆タ姣旇緝澶嶆潅錛岃窡鐭ヨ瘑鐨勫灝戝彲鑳芥湁涓瀹氬叧緋伙紝浣嗚嚦灝戜笌鐭ヨ瘑鐨勬瀯鎴愶紙褰㈢姸錛夎偗瀹氭湁鍏崇郴銆?br>