人工智能及其应用蔡自兴

1第二章知识表示方法2.1状态空间法2.2问题归约法2.3谓词逻辑法2.4语义网络法2.5其他方法2.6小结22.1状态空间法

（StateSpaceRepresentation）问题求解技术主要是两个方面：问题的表示求解的方法状态空间法状态（state）:表示问题解法中每一步问题状况的数据结构算符（operator):把问题从一种状态变换为另一种状态的手段状态空间方法:基于解答空间的问题表示和求解方法，它是以状态和算符为基础来表示和求解问题的32.1.1

问题状态描述定义状态(State)：描述某类不同事物间的差别而引入的一组最少变量q0，q1，…，qn的有序集合。算符(Operate)：使问题从一种状态变化为另一种状态的手段称为操作符或算符。问题的状态空间(StateSpace)：是一个表示该问题全部可能状态及其关系的图，它包含三种说明的集合，即三元状态（S，F，G）。2.1状态空间法4状务态猴空走间扒表棍示街概武念见详日释状逐态当空逼间字法善：市从型某袋个育初申始还状对态去开僵始脸，委每碎次像加鉴一石个我操虹作抹符殊，脾递米增问的净建史立五起惑操扭作版符牵的俯实嗽验嚼序狼列炭，辣直桌到披达泳到婆目腥标疏状影态昌止担。例急如许下挽棋医、方迷充宫妄及勿各伯种种游股戏录。OriginalStateM召i鲁d睡d鉴l筑eS错t房诚a蝇t紧eG铅o袖a而lS饰t惑a叛t励e2者.诸1状跃态匹空围间风法……5例:三攻数湾码滴难羊题秧（3隔p尊u奋z胆z馅l撇e茅p题r根o轰b啄l烘e只m）123123123312312312初庸始糟棋低局目厕标洋棋危局2匙.叙1状天态孝空葵间薪法6有躺向泳图一亭对往节幸点稍用穴弧漠线端连关接亚起宿来她，册从阔一赢个卧节阴点俩指企向淡另薯一哈个球节找点择这相种超图虑叫胡做咽有届向去图痛。路芽径某浆个刘节奶点死序圾列疤（n笋i摄1，n竿i雪2，…，n余i墨k）眨当j起=贝2，3，…，k时龄，攀如朱果仓对笔于支每育一窝个n恐i，j皮-艳1都雁有介一介个请后钟继揪节沉点n晃i，j存默在舍，便那孤么狱就丈把每这盲个体节裕点泊序肚列帜叫乐做类从堂节壁点n蚂i壶1至滴节介点n垫i始k的绩长菊度熄为k的洽路渡径代营价用c（n旗i，n督j）总来咽表淘示会从胃节贷点n良i指良向昆节聪点n赛j的扩那坟段搞弧搭线际的搭代晒价绕。惜两祖点气间汁路辆径爹的省代叹价鄙等执于诱连悼接裙该灾路将径呢上选各行节忠点英的编所脑有泰弧暑线辉代幻玉价葬之辈和.2夏.坊1毯.播2状索态似图劣示缸法2膝.但1状仙态善空滥间辱法AB7图湾的建显惭示胁说仗明对岗于道显蛙式纳说相明夫，浅各急节携点妻及仅其衔具啊有溜代雪价剪的投弧骡线狼由礼一鞭张约表调明冷确障给章出及。葛此膜表凳可蓝能右列扰出内该俭图盈中沈的侨每字一拥节速点烧、洪它霞的晕后拨继料节日点佩以赶及季连佣接坟弧疫线享的氏代血价(举露例怠：邻争接吨表凤，册邻翠接萝矩唇阵)图拆的尿隐喇示忆说债明说堡明绍节揭点振的济无裁限想集谅合梳｛s魔i｝烫作瘦为插起江始航节矿点眉是猎已身知冶的寇。刃后尚继件节催点摧算至符Γ（g静a妇m燃m快a）避也扑是版已盛知网的评，躁它姑能黑作忧用住于勿任摘一欧节椅点蜓以情产络生雁该幕节宾点渡的魔全管部绵后米继烧节刚点因和垒各景连地接聋弧姑线满的喷代按价搜。届（举留例敢：棋渴局药）表间示倍方时法任的释多肾样僻性如何十尚五光数掏码态难沟题捐中规众则1：若移头动管数壁码销（1包5邮X争4条假规棚则小）规桶则2：时移菜动株空短格丸（4条店规击则退）8产杏生戚式居系灯统将搜熄索砌过抗程按描良述产椒生堵式之系话统（p义r前o杜d配u统c晴t香i扛o辣n芹s哥y弯s传t导e转m）一锻个展总熄数顷据近库影：它碍含兼有医与购具彼体残任宿务晒有么关盛的至信堂息景随达着洋应贞用材情暗况藏的响不秒同市，鞠这稼些究数口据长库嫩可参能孟简泛单秤，慈或墓许爪复退杂。一盯套季规俊则饿：它佩对壶数读据窜库爽进逢行使操服作笛运蜓算神。拌每效条筛规故则酷由豪左恼部抗鉴桑别雷规起则蜓的适丙用绝性或称先匆决捎条笑件先以蔬及危右效部腹描泛述章规公则俊应躁用尚时戚所公完更成再的动蝇作。一匪个牙控出制战策损略榜：它堡确地定枝应碰该颜采劣用富哪县一么条点适狠用嗓规岸则絮，竹而还且代当币数妈据矩库赴的窝终仗止徒条钓件忍满巨足钞时培，章就亦停元止奴计俱算盒。2赤.辛1状蹲态痛空饥间侵法9状障态造空鱼间咳表梅示净实白例锄（1）例肾：堂猴舱子需和缸香召蕉挎问斗题2倡.耗1状缴态义空垦间本法1激0解森题激过华程用饱一躬个恐四珠元谁表旺列（W，x，Y，z）来康表畅示础这钉个现问厉题代状乖态.W猴单子迹的俘水不平坡位驱置x当慨猴客子骂在姐箱下子嘉顶牲上屯时彻取x愈=愈1；句否阳则绢取x懂=殖0Y箱辱子浑的贺水对平工位抛置z当朽猴户子释摘血到景香膊蕉截时之取z格=惰1；猫否浪则钟取z扎=灵0这预个免问戴题换的斩操宪作扮（粒算鼠符柄）虏如享下较：g歪o剧t墙o（U）茶表幻玉示猴味子最走删到命水斑平嫌位炸置U或妻者及用牺产折生类式秩规纷则更表找示邪为（W，0，Y，z）g龄o谢t耳o（U）（U，0，Y，z）2泡.钥1状史态阴空父间拆法1绕1p只u漫s辫h歪b凤o候x（V）猴债子昂把隶箱当子扶推桐到免水肤平霜位邀置V，即恋有（W，0，W，z）p州u物s叼h旅b架o猫x（V）（V，0，V，z）应托当孕注庸意辞的姐是妄，墙要汁应饲用士算酬符p斑u午s白h晨b构o让x（V）稍，辅就狡要膜求挥产时生龙式因规扔则陆的译左烂边身，锦猴联子归与痒箱筝子条必察须飘在绞同启一例位办置斗上辛，蜂并拒且州，愧猴下子向不拾是斑箱钩子独顶腊上岂。叨这热种优强求加腊于辣操抛作圾的艺适荡用虹性动条春件线，材叫患做呜产注生毕式龄规享则稻的先墙决未条壁件c腊l蒜i病m直b本b堡o毙x猴陈子醋爬梨上岗箱搬顶衣，错即卖有（W，0，W，z）c庄l辈i旺m续b绸b乓o乒x（W，1，W，z）提染问：妨应侮用苗算柿符c件l互i希m岂b娘b征o六x的资先剪决要条强件胳是病什稿么令？2佣.示1状室态族空泡间加法1叮2g愉r乘a嫁s住p猴禽子机摘埋到晋香阶蕉损，存即是有（c，1，c，0）g姻r该a记s允p（c，1，c，1）令浴初倾始坏状侵态怕为(茂a，0，b，0的)。峡这比时采，g斜o储t寸o择(竟U澡)是最唯厕一翁适撞用盼的忠操葬作邪，系并吹导止致编下胳一陵状丑态(萌U，0，b铜,直0寇)。胃现牧在蹦有3个良适豆用杯的理操也作检，逐即g这o王t钉o够(凯U情)，p版u芹s矮h婆b注o圣x品(堵V怎)和c后l身i源m息b编b剑o兼x历(若U趋=军b枣)。礼把币所贤有己适亡用宽的畅操翅作黑继湾续主应豆用农于恶每运个岭状错态谎，寸我崭们衔就滔能冬够章得柱到接状脊态饰空尿间模图呀，狗如您下葡图赢所言示涉。失从搭图追不阵难速看模出榜，冤把暴该初匹始拨状靠态挺变旋换见为央目潮标枯状买态尸的士操引作坑序绿列为{想g级o浇t班o匪(怎b昨)涉,殃p旅u拿s锁h殖b臣o百x摔(劳c哗)诊,讲c浴l蹦i符m投b佛b撇o挎x蹲,燥g什r社a开s及p教}2皮.放1状扒态礼空证间哈法1纹3(b，1，b，0)（U，0，b，0）（V，0，V，0）（c，1，c，0）（U，0，V，0）（c，1，c，1）（a，0，b，0）目储标滩状身态g贺o夺t碑o（U）g寇o埋t宫o（U）U载=郑b，c锯l宰i把m堡b筛b仿o馋xg浩o居t铸o（U）U场=散bp扩u汽s阀h忆b虹o缺x（V）猴词子烈和裕香架蕉抬问复题河的纽奉状蔬态喇空兼间城图g尚o庙t禁o（U）U当=元V2写.男1状耳态简空保间从法1隆4猴男子鲜和右香牧蕉引问查题顶自阳动拐演雹示治：

猴子香蕉箱子

猴子香蕉箱子

Ha!Ha!2钩.骂1状答态厌空螺间征法1悬5状狠态拥空兴间社表愧示港实笨例砍（2）推缺销击员阀旅捷行竿问翠题一立个罪推浑销殖员笔计菜划尾出音访雅推属销唱产重品戒。漏他招从宿一拦个应城配市(如A莲)出查发,访滨问欠每消个垃城灵市笼一场次,且敲最卵多晋一农次,然赴后A返混回冻城态市A。要饭求领寻滨找怪最考短勿路画线,如免图2奶.柳3所府示个。森为压了妨确伶定水这捕个导问索题,作滑如伴下伯规涝定:(她1飞)总下数肺据纱库卵是嫩到衬目诊前垄为狸止糕所律访归问径过掘的鸣城尽市头表.初舰始双数眯据男库文被竖描辅述烦为勤表(绿A遮)。不姓允语许残目沫录贿表夏中怠任换一数城析市值出轧现鹿多笼于被一房诚次,只毛有灯城服市A例调外,但伟也情只绣有伍当菜所想有页其末他扶城夸市底均它已文出布现渡之冒后,才绸能染再爸次倒出税现A。(笛2早)规目则匆对击应萌于卫决付策:即讨下园一恨步填走柳向烈城飞市A劫;下谋一晓步爹走罪向懒城帮市B斑;…珠…;下淹一玩步胖走有向质城随市E。一鹊条基规管则终除负非胁能沸够方把婶某体个科数钓据洞库谦变桐为史一栋个寇合劫法秒数桌据掘库,否救则杂就馒不愧适载用畏于击这焰个石数斧据括库字。启例节如,应永用"下誉一袭步疾走兼向书城围市A贝"这惜条谣规爸则码就痒不表适矛用烘于盯尚蜻未夜出欢现否所计有奸其阀他遭城兄市束的锡任至一懂数蹲据尾库待。(夕3脉)任休一激以A为将起园点场和扛终制点,并预出绪现刃所励有销其谦他仰城称市倚的夸总班数勾据真库,都芹满鼠足纽奉终亲止候条勾件祝。言可徐以齐使借用下图雁的洗距雀离誓图彩表犯来伸计爽算她任皱一影旅神程伐的东总户距滴离受。蒸提希出神作奋为夺解滥答确的侨任序一沈旅帽程,必脑须敏是幸具即有面最黄短虎距芒离骆的澡旅炎程描。2四.述1状乓态编空财间槽法1春6ABDE(ACDEBA)推销员旅行问题状态空间图(A)起始节点2辉.止1状恭态叠空永间足法1幼72恩.完2问鸟题斧归正约辈法肿（P疮r身o劣b慕l探e朽m肾R堪e全d纤u菜c完t敏i付o累n均R榴e冤p祝r占e挨s瞒e杏n坐t闷a窜t顶i刷o蝇n）问肚题欣归苦约箱法认思竞想先姻把凯问傅题搁分园解叶为抓子袄问勿题湾及腐子-子倡问夺题犁，尸然贸后安解程决艳较昂小迅的床问末题刑。搂对谷该破问塞题越的咱某驶个填具绒体理子中集栋的演解宣答倦就换意司味嫁着砌对讲原粒始折问留题辆的荣一叹个坝解检答子问题1子问题n原始问题子问题集本原问题1开8问滤题假归专约惭表忙示滋的响组纺成荐部虹分腥：（1）仔一眼个辅初再始趟问地题籍描恭述贸；（2）沿一辞套爽把谎问粗题造变分换常为浙子堵问贺题狗的肥操捕作昏符掏；（3）率一驰套雪本训原异问孝题绒描昼述合。问献题飘归离约洗的讽实你质胡：从肝目牺标(要焰解梳决桌的首问命题)出锈发握逆河向秤推竿理撒，殊建肯立悟子扔问霜题包以情及亭子芒问阀题腹的额子杠问膊题焰，恭直举至坐最仰后敬把秆初壮始亭问辣题姑归另约访为纠一驳个孔平究凡擦的少本春原渠问呼题止集与合巡寿。2披.类2问剖题书规泉约杠法1军92围.甲2侧.俯1问瓶题才归群约钥描阔述籍（P研r揭o占b刮l蹈e统m掘R罪e牢d畜u额c挪t总i拍o殃n凭D粘e粮s宅c嫂r舟i之p油t汇i馅o老n）梵厅塔译难栽题123CBA2方.希2问牵题镜规摘约登法思虽考灯：炮用馆状物态执空妥间烧法刻有卡多螺少醒个驴节啄点搏？码为驱什熟么络？2滔0解逝题裁过夫程将顺原买始洒问米题丸归粘约凶为磁一私个顷较厨简御单均问缴题割集然合将袋原慕始死梵宗塔待难巴题汉归惠约槽（喉简惊化蚕）隐为盆下岂列伴子蛇难余题移胜动杀圆竹盘A和B至点柱杰子2的味双私圆西盘搞难隐题移垦动聋圆形盘C至府柱述子3的起单臭圆旷盘雅难羊题移倡动误圆陕盘A和B至嫂柱能子3的荡双桶圆侵盘庙难砍题详蚀细饼过仁程弄参却看五下括图2晋1解线题险过京程进（3个化圆迫盘夸问俘题毫）1231231231231231231232准.顿2问劳题随规毒约爱法1232貌2梵笔塔椅问逮题韵归乐约片图2态.刮2问羊题袜规厉约即法2脆3多评圆掉盘悄梵裙塔辽难遥题移思栋考届？2馋.醒2问纳题段规底约俘法2辨4问渐题泻归腐约徐的悔描尊述问咐题调归艇约伟方回法水应愿用擦算叶符挑把警问叙题掀描遵述猜转坟化管为林子满问绘题搜描割述庄，明可咸以展采千用巾各键种裕数郑据希结崖构丝式：性表妄列莲、值树柴、侨字尸符疲串获、胁矢跳量声、府数川组岁等档；例槐如境梵忧塔双问礼题但的眯表螺示栏：观包车含巴两蛛个顽数补列亩的勒表基列宾：[榜(担1仍1章3董)凤,睬(率3此3裂3族)房诚]也暮可厅以蛾用单状锹态雪空楚间沾表勤示成法京的柏三古元纲组弹（S，F，G）浓表历示似；班其吉子遗问梯题默描叹述覆规宴定稳了落最趣后锐解块答特路禾径摸将谷要杠通偶过召的箱中雅间根状难态辆；可瓣以闪把亭问蝴题墨归属约奋发傻看唇成产比阀状蠢态棍空绳间躬法岸更斧通奋用扮的竭问野题荡求置解叛方昏法净；怪其姻核吴心妙实窜现责是怒不翠断狭简盆化遍问援题悦，猜直鸡至由问害题筋成阀为粉本疤原塞问佣题相（派已摊知怠问虑题诞、客易抖解鞭问起题绞）驻；2速.讲2问塘题网规强约裙法2佩52败.购2玩.条2与罚或功图欧表已示1冲.与腊图游、秋或慌图逝、垃与花或铺图一坊般朝，良我秤们临用适一波个功似款图霜结超构出来星表砌示烤把损问盆题赴归非约坦为墨后岭继故问宇题劣的呆替漏换男集胆合怪，予这往一跟似猜图唉结心构戏叫芳做训问曾题筛归着约刮图吐，母或带叫付与拿或冶图康。杂如丝式下渡所返示2葛.丙2问丢题加规榆约库法ABCD与图ABC或图2稀62编.陶2问变题福规更约歇法BCDEFGAHMBCDEFGAN与蜂或锯图增随加禽附胸加超节品点克后伟的抓规语范部化讲与券或料图灭表鹊示是：2阔72粮.一席些蛙关哄于订与揉或翻图复的就术教语2朝.柄2问伏题串规蔑约娇法HMBCDEFGAN父节点与节点弧线或节点子节点终叶节点2历8一倚些蹦关斧于鸽与或或菌图眠的值术絮语父分节稠点近、哈子驾（纤后退继庄）悲节稻点妙、包弧后线起范始格节亲点终贼叶血节盗点：残对默应括于壁原礼问慌题四的雷本芝原京节潮点或艇节耻点：解只搞要遵解使决四某祖个壮问接题座就百可绵解爪决照其芽父胳辈需问证题执的柳节防点结集挣合围，授如惕（M，N，H）押。与盼节台点：敏只拍有像解柜决底所肌有斑子能问乌题哲，品才怪能牌解休决知其默父体辈境问很题表的秘节轨点炼集蛙合墨，交如宴（B，C）尖和宗（D，E，F）生。逝各肚个纤节领点牧之营间铺用厨一目端膛小当圆裂弧郑连赔接蚀标胶记载。与渣或夫图：辱由司与储节至点晚及宿或辣节原点顶组引成已的胜结刃构驶图泽。2绑.或2问竭题腹规傲约唇法2阁93快.定育义可浪解刚节标点场的驶一辫般连定什义失：终牵叶扰节共点践是捕可拔解患节仰点(因膛为冲它轰们充与遣本掌原扭问婚题糠相誓关劲连)。慢：如舞果矛某陵个垒非财终灯叶陪节停点滔含忽有露或害后农继午节宇点游，世那寄么储只口要只当适其怒后艺继递节达点记至吹少轿有侄一寒个惰是滑可岩解艘的怒时壁，枣此朵非厕终皇叶北节单点况才章是堵可哥解伙的窑。如巩果肢某架个她非疫终寺叶雄节垄点间含岭有熔与振后再继膀节搜点挎，选那押么租只含有室当症其亲后社继剃节坛点驶全予部均为孩可崖解发时暂，鼓此凭非额终染叶蓝节拉点令才煮是污可铜解劈燕的竿。2仅.巴2问烂题罢规近约悉法3奋0不梳可胶解拴节辨点对的胡一尿般翠定杜义厌：没大有阵后银裔素的执非甜终杏叶廉节遭点绣为煤不伙可灿解造节室点意。全爬部司后衫裔礼为纺不朝可曾解易的退非群终活叶塔节坝点笨且眯含炭有亩或清后忌继蓝节般点幕，边此滔非打终见叶真节揪点史才灿是申不俘可判解纺的还。后腿裔常至丸少射有案一鱼个镇为起不梁可掩解倒的著非辞终虏叶偶节辩点放且此含拼有停与挑后柱继腹节冻点足，模此淋非吓终显叶绵节胜点城才线是反不甘可策解鞠的腿。2设.肺2问丈题吧规哀约留法3搏1如律图俊所课示2怎.唯2问绘题狐规滤约长法与旨或臣图鬼例桂子ttttttttt（a）（b）有旺解川节层点无给解桨节称点终脂叶嘴节虹点3扎2与绕或岛图腰构护成箱规旧则（1）敌与赢或戒图淡中愿的固每坦个铃节邀点使代注表亡一券个屡要宰解沾决秋的筝单疲一诸问侧题咐或洽问烟题当集戴合宝。待起言始徐节犬点萍对兔应蜜于嫁原播始柿问加题吩。（2）驴对粮应偶于发本杯原佩问秀题黄的瓣节娃点谦，膊叫揉做哗终仪叶葬节港点（3）常对叔于轧把摸算艺符凑应谨用跳于疏问齐题A的竖每那种雾可阶能项情算况抚，和都艺把光问虎题不变耗换准为催一经个电子础问答题立集映合桐；雅有岛向总弧构线茂自A指凶向拔后遇继牲节僚点皱，诊表敲示骂所扎求什得抗的衔子止问闸题垂集洗合趣，显只舅要阶其火中凝任理意煮一艇个搏有宣解蚂，久问孙题A就秒可渗解视，逮所缸有撑这朵些萝子悔问罚题奔节冰点赵称扁为搂或圈节刚点假；（4）致一臭般屠对舱于吐代帽表雀两揭个底或添两习个忧以稍上驼子螺问暗题丛集肢合透的际每烧个抛节普点灵，捕有滥向递弧陆线啄从末此酸节振点珍指捧向相此麻子窃问船题也集昌合跃中猫的永各粉个膊节望点,只签有旬所左有载子洪问累题右都鸭有肝解钳，丛这芳个篮子垂问差题蛋的违集喂合嫂才兄有懂解慈，纽奉所呜有辅这轿些孔子泛问吧题枝节帖点愁叫熊做绩与滔节悬点更。贺这选些愈具戚有绝共短同松父臂节赴点遇的滑与棵节缠点捕用夫小留圆喂弧济连穗接墓，惩以碗表端示酒与棉或齿节辣点足的戒区闷别抓；（5）红在晨特池殊善情刃况破下储，瓣当条只樱有橡一震个撒算疑符教可嚼应付用剑于蜡问挨题A，维而逝且秒这李个嗓算岁符贪产摧生柄具晕有爽一判个瞧以夕上世子造问介题穴的漆某色个君集拴合建时尾，神由扰上侍述陕规轿则3和狱规随则4所致产迷生企的躺图修可方以依得产到传简悟化鞭。启（扔即创不省增炭加施附横加陷节氧点伪的厉情纱况抢下洗）2叛.抛2问慨题兰规闲约擦法3巡寿3梵黑塔夜问趁题箱归说约愤图（113）（123）

（111）（113）

（123）（122）

（111）（333）

（122）（322）

（111）（122）

（3聪2哄2）圈（3封3潮3）（321）（331）

（322）（321）

（331）（333）

2蓝.乖2问半题伶规背约漆法数孩据刺结奋构投介士绍思远考彻题共：脑四雾圆树盘允问修题3劝42袋.栗3谓辟词婚逻凑辑香法(熔P滴r尊e肥d亲i吸c撕a纱t猪e瞧L挪o吃g董i衬c企)逻碍辑伯语纹句岭：旋一公种疾形齐式裁语沙言轰，巧它颗能帅够爸把播逻醒辑篮论有证胞符慎号胆化新，未并荐用限于睛证座明哄定粪理疗，意求召解款问张题剑。形旷式叨语挡言途：歇严斩格伙地烧按生照散相醋关井领寨域劣的邪特思定策规纺则滩，肉以做数阅学炸符认号部（壳符怪号深串晃）厕形哑式勇描副述饶该考领血域显有控关尿客浮体冠的证表磁达弱式2羞.偏3再.围1谓拘词巷演究算语施法凶与泉语乖义基萌本糕符膛号龄：闸谓郑词筋符泳号狭、捧变拳量福符弹号芹、往函战数手符菊号粘、红常击量评符岩号址、兄括次号哪和瞒逗弊号谓检词伏演坦算萄的锯解挎释斥：谓膝词蒸符版号—鲜—对堤应库关婶系慈，常合量纪符皱号—降—论艘域厨实街体魂，函饭数斤符贞号—千—对疮应古函全数网；3爬5原锡子鸟公喜式冻：融由堂若申干谣谓楚词等符顿号淋和律项淡组源成练的鹊谓扫词形演珠算横。伴原爬子款公使式学是风谓岭词断演俘算竭基仪本毫积亚木柳块肃。灵项愈包次括匠常俩量省符哭号识、求变溪量北符完号蚁、滑函疮数消符刘号漫等会。候定偷义上原慎子结公浴式符为汉真败值跟或剑假夕值往就宋表骂示存了潜某凳种语创义。无荷变赶量觉的薯原谁子摇公耻式达取凳值警确蕉定开，椒包补含吓变换量笛的王原终子舞公个式奇取缩慧值耗不裤定调。例镜如机：I装N卸R蕉O垮O来M（R猪O盗B辉O必T，r痒1）塌为拐真I昌N斥R梢O裕O忠M（R疫O范B肿O隔T，r画2）弃为钱假M疲A五R野R粥I逢E百D湿[葱f呆a绢t蛾h池e嚼r稠(季w灯a汪n脉g寻)烛,丙m兵o锻t活h腐e鲜r候(绒w墓a里n壁g后)剥]2脑.否3谓层词延逻溪辑团法3乡丰6连阔词糕和狂量床词(粮C虚o浑n税n供e则c集t档i寸v姨e改&牢Q蛾u加a均n行t忌i警f泰i枕e估r导s担)连铜词与宅、亚合坑取（c顿o酒n乖j躲u模n病c劫t蜻i邻o跃n申)：用给连摊词域∧嗽把析几便个馆公陡式滔连词接国起驶来浊而墓构朋成沫的倍公振式遵。储合党取玻项暮是畏合池取年式玩的乏每蓬个会组河成呈部资分。例倍：L钥I脱K查E问(饲I，M醋U甩S医I熟C总)神∧摩L须I拾K顺E索(笛I，P铁A京I秋N牲T海I粥N跑G蛙)（别我迎喜令爱僵音眨乐项和描绘太画辛。迹）或蛾、枣析允取（d家i股s硬j小u绑n岁c项t诉i启o惰n）：钥用回连暴词义∨两把把几刘个订公碧式猎连滚接绿起绳来忍而另构碎成适的秘公骑式坐。弱析矿取沾项简是紫析勒取帐式冠的搬每舒个纵组络成押部涌分例垄：P响L刷A乳Y逝S耻(叨L挖I钱L械I，B挽A狂S周K妈E征T沙B未A昼L帐L徒)狮∨枪P意L愉A波Y婆S情(身L自I料L满I，F楼O坊O督T旗B岸A再L包L恰)（享李籍力丈打店篮惨球删或瓣踢锡足醉球掠。详）蕴穗涵（I搞m汉p浸l销i蠢c株a叹t膛i迎o托n）:期“精=孩>枯”表碰示者“公如棋果—那满么渗”办（I丙F蜓—蝴T士H看E此N）抗关景系掏，速其缩慧所撑构状成虫的梳公养式割叫锣做责蕴屋涵灵。非（N皂o锦t）表地示登否很定弯，款～超、—均贪可察表棉示2虹.才3谓即词昌逻便辑啄法3汗7量浊词全科称体量黑词凉（U倡n惰i蚕v牌e恒r值s积a毅l帜Q默u输a衫n们t闲i蛇f田i牲e不r）：熔若行一和个崭原玩子赚公可式P（x）鬼，鞋对判于架所供有破可丑能要变功量x都夹具液有T值丘，则链用（哑x）P（x）钥表馒示例界如:所趁有喝的陷机浑器蹦人书都漂是村灰拒色传的（厦x）[秒R蹦O丙B搭O纹T所(代x朋)认=牧>匙C味O检L纪O景R墙(寺x爸,瓣G巩R厘A袖Y汪)田]约瓦束剧变猾元全障程炮量醉词裁作禁用攻域存是在绝量潮词康（E汤x所i海s鹿t贝e奴n教t欢i缸a斯l杯Q血u描a起n屋t郑i狂f习i胃e文r）若价一惜个怖原冤子副公深式P（x）压，柄至穗少裳有姜一碎个驰变挣元x，拍可极使P（x）导为T值仪，则除用傅（叠x）P（x）样表刻示发。例俩：(楚萄x妹)础I敏N议R就O储O先M歉(姿x奴,黄r杂1些)（1号涂房乱间夫内吊有转个盛物宇体删）3扣82归.蛋3录.西2谓飘词日公尖式原薄子至公巴式染的完的悟定遥义裤：用P切(叛x1，x2，…，xn)表乏示圈一扰个n元勤谓暑词怀公背式傻，捞其乞中P为n元繁谓帐词象，x1,即x2,咏…，xn为黄客码体标变可量堵或跃变对元给。倘通爽常养把P歪(追x1,盟x2,特…猴,按xn)叫涌做璃谓锋词聋演搂算奏的原冒子尤公秒式，转或原慕子病谓掘词歌公刘式。分涉子乐谓远词律公蚀式可摊以撇用娇连编词折把冒原凉子蚂谓喉词突公板式禾组扇成楚复痛合淋谓轮词扎公咐式局，惩并细把汗它河叫勺做分姓子脖谓岂词窝公欧式。2巡寿.太3谓吐词狸逻捎辑劫法3育9合竭式吐公执式（W阵F纹F，w爸e饱l变l巩-宿f露o独r拣m汤e侮d喊f芦o浸r叮m校u由l灾a脑s）合旺式暑公他式育的鸭递吃归庆定绣义(双1辰)原犁子军谓既词育公仍式婚是合茅式公议式灾。(王2突)若A为尼合伯适茄公咳式局，集则灾～A也忙是猪一称个合翠式公避式东。(蛾3拍)若A和B都弊是合保式公意式信，隔则(篇A柏∧升B郑)，(寺A宜∨液B揉)，(构A冬甚B制)和(撕A守←非→酒B送)也棋都灰是合恒式公逆式僚。(康4任)若A是合似式公草式帽，x为A中纲的望自绕由择变环元烧，吗则(严键x群)晓A和(必塞x唉)岂A都做是合衫式公谋式离。(但5目)只亩有瓶按啄上桨述旨规瘦则(招1称)至(砖4辆)求恩得塔的访那死些鞭公跃式掌，鸽才炉是合贪式公谱式晕。例鸦题浪：试申把脚下咸列碎命宵题液表识示鹿为斑谓短词末公得式松：努任微何跪整逢数蛛，攀或冲者孕为饲整皇数婚或距者翻为功负壮数收。2科.仇3谓蓬词锯逻奇辑旁法4瞒0合暮式公腐式谁的棕性标质合针式公生式丘的看真倦值等热价蚀（E葱q咬u饥i著v陵a圣l关e点n耍c症e暑)如银果探两叼个合糟式公撇式辩，体无愁论猎如症何船解冒释忙，扒其仇真货值违表盖都婶是余相由同来的条，宣那负么旁我晶们抢就形称挣此吨两合沃式公忌式剩是蜻等牛价肉的我。T弟F份T解F牵F撑F表2-1真值表PQP∨QP∧QPQ～

PT T T T TFF T T F TTF F F F TT2柏.迅3谓铺词么逻练辑他法4便1等血价辞关削系(葛1志〉逗否廊定击之偿否获定~遇(愿~P汉)等胀价牙于P(雄2等)阁P∨Q等情价保于鸦~P歉=真>壤Q(切3亿)狄拔·尺摩顷根勾定债律~尿(P∨Q伟)等寄价葵于探~P∧~锅Q~宋(寻P∧Q渐)等立价菜于缩慧~P∨~火Q(匠4渐〉分匙配歉律P∧(她Q∨R残)等晌价不于尖(P∧Q崖)∨(波P∧R诊)P∨(邪Q∧R渣)等阵价烟于曲(P∨Q吧)∧(喘P∨R竿)(诊5匀)交秩换登律P∧Q等祥价横于Q∧PP∨Q等觉价居于Q∨P2释.领3谓蛙词非逻急辑乓法4东26芹)炊结运合鸭律(P∧Q层)∧R等无价匹于P∧(爆Q∧R东)(形P∨Q跪)∨R等支价它于P∨(机Q∨R丝式)(吗7钢)逆架否颜律P券=合>低Q等另价擦于朗~Q款=它>愿~宜P(吩8帆)~像(x唐)反P弱(绪x拴)等失价喜于损(x炎)饼[杨~扮P反(伪x锯)脏]~桨(x萍)器P蜡(毁x嫩)等播价楼于难(x向)漂[萌~贺P枕(冲x扬)田](孙9健)(x址)蓝[盯P璃(咐x弹)∧Q爸(魄x喷)盼]等裤价耳于软(x很)壁P搅(依x苍)∧(x膀)谈Q膏(偷x爪)(x团)励[芳P固(读x摘)∨Q址(羞x驳)银]等翠价卡于摘(x米)橡P罚(没x匠)∨(x漆)把Q艰(希x食)(轿1俊0组〉(x糟)嫂P项(西x防〉等勉价汇于嘴(y齐)伞P身(峰y浩)(x踏)渡P贤(贼x枕)等颠价尝于晶(y悲)差P隶(劳y翅)4守32伐.炉3价.布3置饼换卧与壶合锁一谓析词则逻默辑芽的市推疮理将蒙推问理纪规胆则榨应絮用周于颈一谣定俭的挽合彩式利公口式湖（尝集末）伤，翻以甜产价生叔新浇的笛合谁式昼公兽式拘。假功元奇推卧理全清称菌化芝推梅理综瞎合逮推旺理思执考慕：执推咬理泥规完则扩中麻存屡在流项滔的杯变仿换赤与诞同迈一氏问袜题炮，霉如全何谣实裕施察？2吴.明3谓宣词堆逻杂辑戒法W1W1W2W2（x）W（x）W（A）任意变量约束变元(x)[W1(x)W2(x)] W1（A）W2（A）4籍4置慌换(层S礼u扯b蚀s丘t隆i虏t爱u潜t剥i隔o格n浆)：在济表热达筒式抖中捡用使置劫换茄项片置比换障变盒量显，苍例炸如磨用恋项漫（A）牧替虾换搏函璃数刻表阅达视式朴中包的透变腾量禁（x）团。挖一凑个零表视达易式E（E饶x博p蜓r撒e乞s轨s磨i歌o才n）辽用效一矛个叮置形换S（S盟u乡丰b浆s种t退i狸t蜻u屿t饿i萌o驱n）绸而就得舒到圆的视表乡丰达训式直的霸置贴换袋，滨记盛为E婶S。例废题邀：择表搅达搅式E：P装[鼻x肤,盈f担(洞y蚂)袜,踩B但]；抖置字换宫：s蹲1壶=海{量z畏/喝x撑,蔽w耗/采y梳}耳,粘s永2阅=宪{前A迷/忆y捐}植,葬s蛛3处=奋{歉q秀(税z躲)臭/呼x窝,秩A赶/管y派}港,席s章4厨=纯{材c爪/侧x美,打A蛛/陆y泉}S狐o寺l恩u饮t稍i司o绸n咱:E果S驼1晚=辱P五[丛z软,恋f归(滩w彩)胆,尊B弊]翠;前E天S醋2厌=矩P材[泻x证,夕f喊(烘A齿)吴,快B息]荷;E次S愁3何=胶P构[全q孕(灭z念)轨,走f耗(滩A筹)荐,壳B大]模;拾E师S汽4宝=瓜P诱[她c腿,泽f饭(纵A盾)牌,谜B下]立;E哄S边1鲜S绕2灿=候P去[小z磁,辨f孤(华w冶)盟,票B破]储;块E文S花2舞S扮1宇=唇P蹄[拜z省,埋f叫(宅A蓄)姐,蹲B糠]思靠考蒙：(累1鉴)悬E涛S乡丰4睛S季1，E促S某3你S页2？(开2镰)置味换陶的慌运舌算埋规秤则励？2脏.剖3谓掠词中逻逝辑狼法4跪5置奋换东的控性润质可挨结贞合喜律:（L或S秤1）S商2阵=辅L（S糊1扇S词2）（S宴1衬S蛾2）S腾3舱=坛S喜1（S驱2吩S视3）问泳题拐：领请甘举打例牵说牙明智？不弦可栽交乒换葛律:S届1际S赶2驳=票S立2少S辰1问膛题糠：锤请详举角例岁说矮明究？思肯考咬：衣什逐么哲置还换槽是刊谓四词误逻衰辑核推沉理减所出需则要筝的孙？2杆.稠3谓调词箩逻冲辑虚法/4母6合地一塞（U许n脾i晶f歪i小c丑a剧t鼠i框o瓣n架)：合概一捐：寻绑找沿项盾对斗变黄量怜的困置滥换吓，即以肌使盒多劳个晶表贸达庙式杜一缩慧致晶的炕操崇作复称荐为合女一。司如队果状一般个廉置馆换s作颤用帖于外表织达斯式渴集{Ei}的面每影个敌元威素栏，徒则绣我僚们眯用{Ei}s来甩表圾示蛇置母换傻例场的笛集此。可后合按一牌：如导果孩存称在谢置粗换s使确得选表没达貌式通集{Ei}置常换彻后掀有伞：E1S＝E2S＝E3S＝…眠,则免我豆们司称窜表波达际式耽集{Ei}是可晒合桑一址的，s称蜜为{Ei}的合团一挤者。例俗题锋：表务达篮式蚁集{P[x异,虏f飞(饱y缺)肌,B棉],裙P[x消,送f刊(B)众,B名]胃}的谈合欢一乓者岸：s＝{隶A厉/x,悲B倒/y}说坟明脏：P[x,f(y)帜,抢B湾]s＝P[x,f(终B也)剩,雁B袜]s＝P[底A锯,f(孝B舟)书,寺B艰]思排考僻：角还末有轿其池他易合女一调者翻吗啊？2杂.铃3谓布词额逻混辑顺法4库7最娘通虽用弟的丽合碍一绍者搁：如管果漏对猾表恼达量式贼集{Ei}的演任卸一胸合惰一行者s，睡都街存石在该某污一s奸’，搞使雄得{Ei}s＝{Ei}g罩s茶’，仙则祥称g为{Ei}的响最觉通阿用诞合昌一览者秤。问孤题吸：锣上找例蝴题海中雕，弄最样通杏用锯的崖合哭一拳者伸是泄什糠么问？置佛换不与景合物一作的捞作国用币：裤谓粘词摸逻村辑岔推饺理川的筋基半本狠方章法疗，滤就锄是福寻料找疮简培单碧有悦效销置铺换宴合滋一题，吊采怖用备消测解怪原挡理浴利夫用气消姻解漫反馆演夺方敢法次求磨解高问促题傅，钳详钢见胃第相三扣章朱。2锁.故3谓双词竟逻训辑如法4巴82驳.着4语荐义控网祝络项法(S府e变m芹a婶n扎t默i己c徐N拥e槽t哈w邻o昨r圣k悉R尿e侍p剩r陡e岔s翠e食n沉t布a它t华i跟o喂n)语衬义臂网苦络守的食结域构定坏义语驼义疲网中络蜓是哑知拒识悟的法一台种捕图国解映表誉示易，酱它寻由系节缺点熟和肾弧秘线直或粉链势线会组荣成瞒。帽节巡寿点含用主于迫表厌示驻实谎体碍、烘概轰念胆和恋情秘况输等悔，漫弧雕线声用粘于滔表拢示参节搞点怀间轧的勉关闷系兰。组承成挂部悟分词瞒法决哪定般表络示缎词乘汇芹表索中盐允习许次有壮哪享些串符佩号稀，抱它延涉缩慧及果各达个亩节蛇点盐和棕弧晴线轻。结握构叙录述敬符戒号没排束列逢的捞约坚束脉条匠件巾，拒指资定号各爹弧亏线斜连钓接勾的汉节摘点充对过垦程说喝明感访是问课过振程浓，惧这检些丸过鞋程搏能浊用己来懒建池立让和市修灿正钳描津述摔，丑以捉及薄回刊答钞相巩关漏问吗题名。语倡义确叹定益与静描垄述因相寄关澡的(联夫想)意畅义糕的紧方宫法亮即亭确份定坊有极关黎节弯点挽的滔排灯列基及斤其桂占驳有狡物懂和半对用应拦弧轧线追。4伴9语稍义董网嘴络举的傻特火点:(缠1营)能严把张实奇体饼的链结四构乡丰、惑属衬性扔与奖实欢体占间母的喘因拥果鞭关密系变显个式址并维简盲明情地吸表零达弃出卷来津,薯与东实纳体顽相京关增的痕事恳实伴、虚特次征修和片关欲系崖可软以砍通湿过耻相枪应比的仪节谅点竖弧毅线献推耍导滨出较来乖。旗这铸样倾便吼以挤联覆想戒方衰式捷实合现古对递系猜统方的贡解狠释多。(够2互)链由类于英与怪概腊念妖相恳关吩的膏属痛性习和程联谜系倒被仍组跑织棵在解一驳个舰相射应菌的徐节刷点埋中劲,事因什而湾使钩概未念锡易绝于搭受拍访耀和查学朵习抽。(后3）表待现倚问唯题违更恶加过直胶观辫,侨更拉易愿于碍理先解侧,家适林于脸知棒识六工肝程嫁师趟与晌领撒域紫专脑家甩的蕉沟暑通泛。搅语如义峡网阿络步中徐的概继群承伟方棍式毫也奖符共合割人肝类础的形思尊维帮习攻惯晃。(利4鞋)涉语麻义兵网禾络抄结叛构搜的后语秩义炊解敞释凶依肺赖烈于茫该艰结刮构苗的屈推亮理哪过布程棚而竖没有有攀结本构班的丝式约湿定辟,制因弦而欠得圆到增的虏推尸理疗不捧能雕保傻证跃像衰谓促词鬼逻释辑绵法邮那额样彼有荐效遵。(幸5）节饼点诊间警的疮联堪系寄可春能丸是溪线惨状堆、剃树挽状秃或织网刊状危的骨,蛇甚锋至驰是深递麻归及状灭的辞结慢构贿,宁使长相赛应毫的筐知园识存辱储犬和诞检湖索份可阅能荣需捐要识比梨较协复齐杂牲的据过悦程趣。2纲.度4语返义津网旱络妈法5前0表节示验一绸些叮简狂单园事殖实愉，兰如购占拴有丢关粥系殊和须其涉它业情防况漠：各以户节卧点则表上示出实挣体移与臂概翅念僻，福节杆点比间前关担系根以搁有价向貌链兵关秋联求。例逗：办小己燕许是穴一脸只营燕壁子张，稻燕断子瞒是命一盒种它鸟攀，艇鸟规有说翅金膀浮；装巢-假1是位小妨燕乱的元巢摘，想巢-狸1是袋巢禽中膛的程一食个权。问坏题撕：上搬述幕的阴语荷义派网辰络滩为郊二阻元白关煎系症，辞无桶法键表围示医复尼杂烤事盐实徐，凡如胳：删小姑燕女从申春