人工智能知识表示方法谓词逻辑

人工智能ArtificialIntelligence(AI)曲维光wgqu@南京师范大学计算机学院第2章知识表示方法2.1谓词逻辑法2.2状态空间法2.3问题归约法2.1谓词逻辑法数理逻辑（符号逻辑）是用数学方法研究形式逻辑的一个分支。它通过符号系统来表达客观对象以及相关的逻辑推理。常用的是命题逻辑和谓词逻辑谓飘词姐逻败辑是耀数拆理盈逻医辑阁的颜基脾本注形或式订，恼是忘基剃于勉谓肃词惩分响析永的马一快种撞形烂式痕化止（粱数球学婆）们语共言人嗓工丑智趁能泥中仰的异谓潮词很逻耗辑讨法是档指疏用楼一紫阶核谓价词答来滩描蝴述史问舰题料求鹿解弱和电定坑理侍证松明穴（限钞于艰本薯课专程）2畅.1固.任0命然题昆逻迁辑丢的犯复桃习1目、命床题各逻染辑苍的横基威本析概梨念命冒题是允能迎够命判溜断真陆或梢假的陈复述辛句通积常丝式用大柿写狼字猜母来粗表恐示歼，井如A汤,堪B赛,鼓P始,妹Q等命午题嗓的草真垫假真值悄一未般舌用T或F来约表择示例：雪延是妨白培的奶。霉（言陈极述叛句碰，T走）雪久是候可达蓝篮的嚷。迈（厚陈天述厉句溪，F朝）雪歪是括黑害的南。点（框陈重述会句畅，F涛）他是猎学把生拘。捉（询陈撞述政句嗽，闷他壁泛趁指胜，桌无热法粪判牛断翁真让假意）你课今吼天壁上雀课资没妄有醋？介（珍疑凉问这句相）请市坐迫校街车稍！载（矿祈污使颤句荷）命葡题举逻尺辑是词研鉴究辆命眠题贺及午命纺题早之恰间婆关筋系害的先符种号漠逻菜辑蜻系杠统炼。在搜命篇题嗓逻滩辑月中闻，雨表凉示礼单竟一抬意此义桨的乌命诉题吐，止称滴之隆为原浩子籍命患题。原碎子缺命庆题陷通许过无“联鸽结煮词”遍构页成复届合槐命薯题。五贩个替联坏结勺词：①“助～伯”谁表监示贞“非”复舰合层命若题级～P为来真污，渐当掘且貌仅拿当P为慨假诞。②“胖∧猎”冠表血示袭“合吸取”复莫合丢命雕题净“P∧Q剃”为暴真驴，烈当盒且铜仅介当P和Q都轿为矮真灶。④“”舒表彻示舰“蕴邮含”复企合园命绑题趟“PQ种”为含假帐，添当厨且柏仅悔当P为环真梯且Q为果假米。③“傅∨旋”群表拣示物“析熟取”复恐合促命压题血“P∨Q”为榨真陈，拌当俯且佣仅警当P、Q两紫者市之句一酿为段真乌。⑤“”惨表押示刘“等给价”复览合勇命篮题索“PQ”为科真跃，井当赚且按仅贪当P、Q同宁时教为关真碎、裙或雹者扣同阀时棍为鹿假释。联教接贴词办的优款先慨顺刑序：非～、合间取∧、析洋取∨、蕴申含、等灰价注：旷可糕以播用逼括舅号练表牛示麻优肆先门级真范值谷表PQ～PP∧QP∨QPQPQFFTFFTTFTTFTTFTFFFTFFTTFTTTT命臂题文变榨元：老用仁符千号P、Q等造表保示按的额不四具橡有行固票定担、短具素体搭含蹄义饰的臭命耳题适。纠它省可努以述表析示镰具雀有斜“烫真沃”型、高“倘假验”绩含义义秤的植各权种旷命孔题粉。命金题铁变奏元擦可幕以盯利胜用息联俘结稀词均构滚成摄所奥谓驼的合他适桶公奥式。合口适比公悦式司的终定势义①若P为唇原秋子桑命劝题升，崖则P为似合亡适东公夹式极，盟称仆为夺原龄子舒公尺式院。②若P是循合恨适趟公苗式气，帆则膝～P也检是暑一识个阳合扰适编公坚式悲。③若P和Q是敬合蛛适食公举式注，目则P誓∧予Q泛、趣P撕∨还Q盆、雾PQ予、曲PQ都胁是梯合娇适荐公户式倡。④经谅过道有害限量次蚀使杯用眉规亏则双1携、竟2姥、犹3锤，剑得梅到科的刚由暑原毒子骡公本式以、患联挖结获词皆和朋园疾括软号坟所源组卫成爷的历符得号雁串伯，礼也绳是犹合减适馅公岛式突。对礼于使合乡丰适准公眯式榴，誓规胸定躲下婚列运汽算晴优坛先艰级：①逻粪辑血联篇结劝词昼的赌运丸算润优澡先猾次悄序详为扫：～游、匀∧份、爬∨希、、②同兴级基联秋结荷词方按粉出帜现故顺妻序删优板先插运舍算在阔命似题蔽逻小辑漫中串，斑主落要哄研鼻究规推主理旨的吸有趟效品性往。即施：判能僵否殖根株据读一退些买合辟适蹈公农式君（前押提）咽推病导净出瘦新摇的左合卷适浇公罚式局（结敌论）车。一捡些滑合叮适穴公屠式（珍前吨提绸条程件父）合例适今公拆式（阳结粱论打）？在云命爆题库逻劳辑蛋中批，岩最怕基泡本串的胀单乳元杠是卫命商题贡，圣它辉是则作矩为温一咱个槽不拴可倦分仗割棍的吐整恼体拖。例降如报：雪趟是灯黑武的命搜题滑逻皆辑朴具摆有战较挂大禁的舒局柔限拌性散，甲不驴合芬适珍于任表纹达浑比预较颜复耻杂墨的渐问遭题劳。例：所副有骨科脊学验都沙是诱有惹用危的（资假逢设银1午）。数籍理古逻布辑怒是印科叛学（填假蜻设竞2俱）。所颗以疼，生数恢理字逻毒辑慰是很有包用防的（量结敌论堪）。很福明胀显蒸，乓我怕们扔无尚法栏用两若个膀假曾设推霸断抢出结纯论。谓巨词疫逻粒辑是弹命劣题映逻侨辑企的容扩蚕充数和而发盲展门。鉴它桑将盯一腔个回原基子群命稳题倒分援解让成客环体和谓晒词两盆个猫组搂成围部誉分困。例抵如阵：雪是鹿黑恼的客冬体度谓厚词本湖课渣程样主够要徒介勾绍柔一轨阶如谓崇词替逻颤辑泊。2肝.1绕.每1谓柜词忆演薯算1形、椅语悔法脾与孩语楚义谓足词园逻阔辑益的牌基染本夜组嗓成破部鲜分谓罪词变饼量函呜数常掏量圆灰括粗号、堵方摧括疲号暂、胶花坊括荐号号和赢逗登号例“食机荒器奇人脊（R剥o扯b芹o剃t苗）在狠第岗一握个眠房趴间拜（r章1芹）内怎”传，累可饰以护表陆示初为铺：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鸽1是常搜量谓臭词是背指犁个堤体乔（妻客平体钻）克所侵具烂有传的性邀质或狮者销若驴干倚个除体甘之亏间焰的关握系。界用大蹦写脾字饿母来胞表耗示伟。个侍体是疏可羡以枕具阶体糕的院（滥如蔑，留小凡张疮、3、5）汇也观可讯以韵是腹抽延象廉的削（钉如场，x系,踢y）配。例：小敏明遵是大学赏生值，A表跃示狐是获“授是趴学妄生废”暗，x表谋示镰“锁小去明猪”宴，贡记肝作A尤(梅x搬)蝴。x大平于y，G表裁示抬“剧大盾于膛”嘴，伶记广作G（x妻,辱y）轻。论拐域：闲由慢个译体单组青成社的掩集迹合饿。（个姑体）变狱量：手定骡义前在滚某鬼一舱个倍论造域挡上拿的锈变私量冶。析用x灰,蜻y搏,漠z来含表已示脆。函皱数（调或草函馅词因）：制以买个亭体版为胁变倾量姿，掉以纳个助体劈燕为孟值励的艘函谷数傅。判一阴般太用共小慰写云字吴母且来执表啊示鸭，户例省如f护(偶x禾)膀,恶f括(滑x逮,紫a凯)肠。如削果射谓旱词匀有n个圾变魂量明，哈称析之碰为n元衡谓拥词仪，碰并记约愤定0元豪谓偏词遍就旺是粱命伐题肤（虽谓足词帝的顽特补例愈）斥。如淹果周函刮数厅有n个衰个帜体廊，诸称源之启为n元博函镇数衫，虫并俯约余定0元壮函两数螺就渠是浪常霜量谋。劝常红量星习辅惯庙上差用勾小骄写寸字央母睛来顺表嫂示摘，拴如a神,缓b所,炊c。项的袜定补义鸭：①乞常收量为是许项②椒变呼量败是拔项③牙如遣果f是n元榨函辜数毫，饼且t1,些…侨,族tn(n≥宵1延)是师项退，哈则f(t1,至…讨,谨tn)也碰是闸项④丘所秧有摇的先项坟都手必饲须响是卖有绿限测次厦应劲用岂上持述抗规慎则愧产次生章的项艺的遵例筹子：常谅量池：a变更量唱：x函夕数截：f趣(艰x免,望a万)g礼(雾f拨(旨x象,滨a已)适)原挣子免（邮谓佛词稻）劳公援式的夸（泳递门归持）建定奖义蛙：①虫原合子务命戴题稿是滔原晌子黄公堡式②伪如展果t1,激…们,仰tn(n≥偿1覆)是睬项工，P是主谓加词辩，炎则P表(t1,孙…可,捷tn)是判原陷子材公剖式③充其超它队表亦达稍式外都丙不租是等原佳子敢公别式原离子抬公同式狭的写例绑子1帐、迟原混子筝公兴式岔：P院（原志子泛命拴题乎）2溜、劲项叹：x仰,魔a捎,问f禽(滩x顿,滥a鲁)冶，谓忽词即：P原秒子卵公秋式凝：P急(盒x视,贯a贼,洪f趟(痒x镜,狼a阀)延)2、亿连积词峰和皇量奖词联煮结抵词迹（肉连吃词云）就耕是端命明题纤逻蜜辑喘中品的豪五改个唇，倾它堡们插的吐含毁义忠也饿是摆一逝样故的昼。两通个戴量凳词：①全鼓称寒量暗词，监记轮作裤“x”洁,含徒义火是观“对绕每勇一华个x”或跨“对副一士切x”饭。②存青在瞎量昏词，鉴记睬作的“x”餐，含可义初是钉“存大在住某田个x”煤、蹲“有浮一购个x”或秀者斤“某斥些x”。例蜜1：蔽“所载有扛的证机伏器能人佣都顾是销灰耽色圆的”笼，炕用渔谓纸词懒逻甚辑灰可赶以钟表炮示武成树：（x）复[罪R杆O圈B侮O哥T联(x)C称O眯L努O递R乓(x，g逼r惨a邪y)早]例舍2：如“一宴号米房秆间精里茫有蠢一蹦个事物插体”姿，机可狂以群表闻示旋成（x）I胶N忌R痰O躺O差M（x,术r灶1）我膏们演称x是部被债量素化卸了紧的因变山量湿，落称叨为约屑束阵变慨量。声否挖则码称嘴之叉为自曾由貌变论量。一续阶填谓记词：蹈只愚允沉许领对变柜量施顷加量强词，滥不理允病许劫对打谓知词侄和依函糊数蔬施锄加误量顽词斜。2涉.1烫.薯2谓柴词孤公苦式1、谓胶词谱公孝式坡的胜定笼义利链用授连阶词熔和塔量烂词倦可愚以涌将劲原岂子主（见谓膝词响）奴公辞式摄组钢成春复黄合场谓布词闯公职式里，写称鼻之济为偶分事子耍谓柴词诉公脾式伸、夫谓胁词盖合兴适堆公团式设、谓小词迈公折式、杜合恩适卖公巴式。（挨谓四词呼）合随适很公皇式的单（振递响归捆）饰定侦义秘：①原愁子转（雨谓今词钱）违公壮式猾是挽合耐适咐公危式阴。②若A是盟合犁适晴公揭式覆，境则～A也涌是降合津适款公欠式探。③若A和B是哨合阅适活公阶式唤，软则A箭∧奇B、A那∨庆B、AB、AB也霜是防合靠适宅公缺式罢。④若A是惹合亏适欢公矛式谈，x为A的核自桨由胳变我元膜（蚀变介量佳）通，烤则（x唉）鲜A和（x蚀）爱A都聪是扁合目适祖公刚式饿。⑤只皱有翅按无上苹述鹊规造则欣求肌得败的头公蚂式房诚才似是沃合见适低公棒式头。例过：冻任卸何棋整减数驶或班者钟为椅正蒜或它者槽为幻玉负国。数亮学粥表载达：锁对津于砌所残有绪的x，如垫果x是修整盏数洽，服则x或顺者台为榜正踏、拣或训者谎为比负笔。记叨作：I痰(易x觉)吧：始“x是皂整巡寿数港”霉。P畏(茎x钓)驻：肃“x是校正蓬数梳”克。N爪(吉x技)乓：困“x是椒负欣数免”载。谓蜓词厌公押式：（x）疼（I告(x)(除P闹(x)∨N傻(x)晃)）2、氏合跑适惠公忽式裙的岭性煤质如拨果P和Q是环合厨适剪公筛式咸，逮则坊由榆这食两游个队合哭适宋公段式袍构秒成高的纯合吃适彻公烂式同的真遵值亩表与功前俭面世介烈绍猾的真港值毯表相诊同左。如蓬果耽两丢个虹合翅适包公孙式役的脊真沈值默表约相杆同嗽，沃则妈我鼻们柜称槽这两植个杆合象适择公泼式铜是赛等浑价橡的，以可站以醒用旋“”菠来挺表移示陕。对掠于持命嘴题怠合累适抛公斧式践和耕谓蜘词缓合兽适射公肉式让有当下寺列梨等荒价苏关桨系是：①否涂定跑之爬否艳定：～楚（耳～P骗）等腰价州于P②P冶∨婚Q等吧价崇于～PQ③狄阔.毛摩兔根恋定总律～仅（P圣∨抛Q埋）等棉价唉于～P津∧应～冬Q～联（登P授∧科Q捏）等拍价猛于～权P肚∨铃～捧Q④蚊分速配少律P森∧段(蜻Q茄∨爪R误)等宗价授于(P甜∧长Q做)番∨琴(帽P熟∧政R没)P律∨贵(灭Q缝∧罪R逝)等侄价晓于(友P抓∨械Q离)攻∧转(萝P痰∨四R赖)⑤交融换戴律P痕∧材Q等葵价范于Q餐∧村PP摇∨传Q等剖价紫于Q春∨第P⑥结某合宾律(P吉∧远Q猴)雷∧勉R等借价骂于P滴∧遇(钞Q记∧膀R倡)(存P锄∨矩Q缸)华∨耗R等燥价揪于P倘∨笑(令Q痰∨景R戒)⑦逆抵否书律PQ等秒价粉于～绕Q～堪P说骆明：上姿述散等叶价抬关签系她对颈命马题红合呢适采公躲式露、肉谓姨词宵合欺适狮公货式太都程成嘴立具。对鞭于桶谓植词提合祝适孟公畅式排有净下愿列洒等跑价撒关斜系笋：⑧～偿(x敬)乞P掠(伪x条)等仪价狗于(x奖)抖[酷～练P吉(圣x谜)语]～紧(x挖)仆P锹(耕x捷)等气价兄于(x索)轨[亿～匠P苏(拥x伏)宋]⑨(x坛)售[灾P柴(速x圾)轰∧东Q狐(德x睛)骑]等腾价列于(x谢)爸P趣(途x由)循∧蕉(x元)府Q豪(穿x咸)(x真)身[石P框(淋x静)债∨促Q苏(唉x培)催]等华价雹于(x然)段P闲(棚x塔)疫∨党(x内)促Q呜(皆x温)⑩(x趟)躲P弊(扛x惕)等驳价字于(y傍)区P降(绪y枝)(x毅)营P奥(四x久)等得价洲于(y垂)透P锤(格y畜)注葬释：这准两失个撇关撤系寒说慨明横，宇在翠一耕个番量吐化纪的救表啦达菌式狱中陈的敏约秤束领变是量王是秘一贼类恳虚剥元贯，呢它府们变可昏以祥用般任系何劣不扩在伯表扣达坦式怒中拾出置现赤的叶其倾它率变弯量挣来烈代巴替础。2畅.1歪.逐3置王换谁与伶合婚一1、怒置执换置呆换表的待定输义：胸形葬如{t1/v1,睁…读,爽tn/vn}的侨集场合牙，拴称画为奴一遵个迫置崇换揉，秃其哈中vi是贵不腾同绞的疏变腥量锅，ti是裙与vi不抵同眉的室项减。例狡或篮例壳子失的魔定朴义：设θ＝{t1/薪v1,玻…控,贿tn/誉vn}为群一刃个述置药换昏，E是普一止个皱原持子梦谓浮词凡公盐式谱。鸣则Eθ表愚示肺将E中休的vi同蜡时沃用ti（i=住1常,陕…禾,n）代桌入豪后境所诸得秩到否的蛛结斤果桂，Eθ称西为E的据一遵个例插子。例：梦表溪达底式同（最原柿子扁谓注词唐公断式夜）P务[迁x麦,凉f灶(脚y燥)旧,诞B瓶]的制四巡寿个习置邮换拌及哑其载对双应病的按四利个帮例立子奴（B是用常各量）s1=源{钻z窜/侨x拨,星w迅/昂y定}s2=刷{降A炭/婚y答}s3=走{传q持(啄z魂)华/岗x鞭,轻A迟/配y由}s4=机{丘c茅/据x灵,命A伤/秀y坟}P研[x,读f傻(y)仍,阳B行]析s1=酸P机[脸z喜,苹f激(衡w帽)叮,万B忽]P脊[历x狭,撒f甜(y)坡,通B有]唱s2=预P最[斯x互,殃f而(葛A窜)趴,便B植]P华[x,火f现(y)肌,虎B渠]害s3=恒P睡[瓦q穷(姐z惑)桃,切f允(缎A脊)辛,榴B贡]P粱[x,码f冬(y)守,兽B端]牌s4=药P猛[齿c劣,和f理(洪A镰)眉,码B限]P初[励x收,送f脖(呜y公)侨,估B沈]置励换鲜的堆合网成：锤设θ＝贱{t1/饶x1,语…既,导tn/脂xn}和λ＝滔{s1/氏y1,摔…仆,涌sm/克ym}是避两著个胸置手换猜，聋则θ和λ的怠合哀成烈是球如跌下失置俗换垂：{t1λ役/原x1,夫…类,磨tiλ泼/暮xi,掉…砍,训tnλ辉/狐xn,s1/抹y1,旁…绞,剩sn/叼ym}其危中救，yj是忙{x1,念…滤,挺xn}之泡一传者咳消劲去铺，臂对汪于守任损何tjλ纺=赠xj者隙消弊去恩，袖并贯记罪成θ胀λ。如程何佣求tiλ偿:λ＝偶{s1/某y1,供…姿,驴sm/检ym}如充果ti出伞现{肢y1,尺…近.伞,使ym}中墓的昨变扬量yi，串则扮用贞其说对比应钓的州项si来枝代积替伸。例扭：θ脚=药{愿t1/压x1,校t2/用x2}裂＝妹{汉f艇(早y国)现/垃x粮,献z武/母y见}λ冠=浮{拌s1/级y1,猎s2/既y2,巴s3/肿y3}蒸=彩{项a耐/漆x惕,择b闭/档y州,挤y折/筋z涉}θ校λ捏=灰{爪t1λ咱/觉x1,昨t2λ命/仇x2,s1/闻y1,颠s2/汉y2,替s3/笋y3}=絮{丢f液(乎b花)钩/筐x溜,y度/赢y,a疲/x,租b订/y,迟y苗/逃z}=凉{披f锁(当b屈)要/拳x远,说y诞/钱z米}注族意：置即换墙的羽合铁成作满氧足收结叶合影律饼，怖不烂满膛足岔交惕换内律半。(s1s2)孙s3=诸s1(却s2s3)(满韵足结杆合落律）s1s2≠s2s1（不满狐足交席换可律）例：s1=欲{葵z她/步x朝,率w扁/煤y母}差s2=闭{休A间/士y单}s1s2=泪{膀z近/柿x育,米w膊/幅y赞,即A敬/y}萍=逐{鼻z蔽/障x巷,岩w密/咱y限}s2s1=蜂{菌A哭/赵y你,移z铜/差x薄,鹿w英/y}槐=讨{候A纠/肥y艺,更z口/各x挑}2、画合耽一当炸某洒一裙个符置鬼换s作患用许于膜表激达通式倘集蚁合{Ei}的倘每怎一疮个矿元沟素姐，遍此摇时鸦我由们颜用{Ei}市s来唇表京示迷置餐换参例瞒子略的品集来合世。矛如蛾果骡存妻在扫一投个宽置冤换s，使弦得E1s=E2s=…=Eis=…则王我巡寿们秧称文表秋达止式红集隙合{Ei}是视可黄合讽一大的奥，姨并漏称s为{Ei}的守合胡一驼者仓。悲原腊因畜是教它拉的睁作柜用极是叼使执集若合{Ei}成辉为嘴单符一筒形公式重。庆其愁中炊，Ei是律原堡子眨谓缘瑞词梨公盒式江。例：表倘达名式宜集萍合驶{P摘[缸x健,培f寄(数y耕)钓,踏B门],P苗[乌x踢,屈f夺(趟B隶)蔑,陈B密]}的卷合彩一渐者垂为捷是s跟=悟{蜂A碧/许x毫,英B禽/户y念}P中[末x搜,凝f茧(抽y师)丹,磁B帮]s眼=筛P素[罪A洒,神f盗(爷B蛇)无,顶B婚]P哲[混x律,逝f爷(狐B躲)盈,滔B那]s中=事P浮[狱A陶,星f膀(加B族)随,状B沫]如动果s是{Ei}的任充意一今个族合煎一莲者载，般又递存危在紫某烘一刑个s售’，使卖得s趁=双g罩s僻’或皱者{Ei}严s愉={Ei}考g玩s场’则席称g是{Ei}的仅最票通恭用姜（雾最员一衫般梢）悉的贩合猴一滚者庙，顿记诊作m站g菠u。例：s皱=树{浴A桃/决x爱,量B堪/抄y局}是馆表赏达穷式派集心合{P杰[政x然,蛙f您(暖y吃)辱,雹B汪]蜻,察P产[吗x甚,湖f须(杨B伐)换,煌B法]炸}的雾一域个淹合谷一馒者嘉，滋该岗集隙合踢的最婚一易般玻的炼合樱一紧者是艘：g亩=凤{条B灾/博y造}3、援合药一惨算运法分自歧壤集腊（够或度不本一酬致福集铺合撒）屋的席定擦义。设橡有乞一每非肢空签有陆限怀公则式烤集尾合F曾=疲{闷F1,锻…崖,合Fn}，从F中册各割个屠公猫式显的基第座一江个油符凝号删同诵时旧向闷右使比忌较门，逝直种到悔发醋现扬第述一好个堵彼胸此萌不门尽凯相肤同选的波符潜号馆为烦止侍，姨从F中膊的能各碑个瓣公岛式软中抽取山出悼那秘些闸以擦第初一丝式个霞不禁一评致绵符劈燕号技开纯始隶的最没大匹的爷子全表筛达披式为帆元非素堂，友组象成宫一斩个瘦集具合D，称尺为F的晃分蓄歧朽集象（景不伶一沿致耽集靠合捆）签。其饺中么，Fi(i=塞1顽,刚…秩,n)是茅原照子跟谓累词绢公忠式例：俊公跌式蜜集锐：F竟=论{污P像(蚀x偷,喉g走(f凭(甲y塔,碌z婚),锁x胀)剑,染y拣)稍,P话(夫x宿,苏g泪(a,极b解)讲,讯b燃)榜,P低(拖x婚,侧g谅(g僵(混h嚼(急x释)喇,良a叮),苗y炉)淘,姑h主(浙x枣)蓝)培}分江歧船集哄为隐：D误=涂{坝f矿(怪y政,稍z径)平,规a冷,姑g残(抹h腥(骗x乱)烤,症a遵)诱}有糊的缩慧可筛以摇合逼一隐，送有粥的霜则槽不根能草。设F为桨非粉空配有羽限色表逗达溜式殿集加合泪，箭则啦可轧以效按收下站列凉步价骤讯求葬出m阅g洽u：①置k却=子0，Fk=胜F,σk=痒ε(空劳置邀换蛋，会即事不甚含艇元鄙素帽的俘置芦换哄)桂。②若Fk只叶有席一绕个我表蔑达泼式陕，扭则援算离法计终凳止漏，贵其泄中σk就过是要苗求窗的m受g菜u。③找点出Fk的赠分苍歧课集Dk。合秋一转算看法：④若Dk中桶存巷在耽元页素ak和tk，其珍中ak是剂变骨元哪，tk是靠项站，旋且ak不国在tk中俘出侄现烘，产则怎置危：σk+舍1=胁σk{而tk/惰ak}Fk+晓1=尸Fk{捏tk/酷ak}k略=慌k基+滔1然剖后鼓转斧向②。汇否锯则头，其继罩续疤。⑤算王法不终郊止详，F的m垒g手u不臣存厅在信。合碍一残算急法店的肤流先程胶图k技=钩0息,坚Fk=窜F利,醋σk=数ε|捉Fk|＝困1乌？求阳得m锣g杏u违、结江束求搭出粗不译一闻致达集峡合有已置窝换毁？求荐出照新扮置辅换母；糖更透新留公巩式呢集外合斜与理旧形置赔换冷，k称+昨+无违解裂、狼结待束说夸明：1、放合洞一仓算牧法握是宋消票解相原旱理晋的脆基研础捎。2、合孝一痒算天法办中培的津公雁式鹿集拢就杠是插从腿谓缝词尼合裤适鸟公筋式底化娘成辰的米子共句蝴集将。例：呆求F雁=始{梯P补(艺a教,畜x出,皮f劈燕(浅g民(障y抖)粮)院)黎,P翻(渐z奋,捏h沫(魔z懒,碎u沃)转,由f楼(妹u巡寿)炉)栗}的领最控一剩般粘的齐合倦一档者赶。解：捎我察们茎根咏据劣合犹一签算惰法替一烟步业一羡步蜓地伍求存出m唐g还u急。第虹一以步：k娃=刻0嘴,束F0=翻F珠,炸σ0=俱εF0的解分锐歧写集店合D0=送{贞a爷,搏z茶}置匹换：{a促/门z密}σ1=惠σ0{制a烘/标z森}辆=雹{责a渗/摊z腹}F1=轨F0{衰a渔/痕z冲}遮=匹{蜘P晶(揭a精,瓦x截,亦f盾(渔g药(虾y棚)形)拖)扶,P努(身a腾,拦h永(榜a丽,信u豪)烛,奥f铅(熄u择)胳)悟}k省=略1F1不事是蠢单方一便表嫩达土式F尚=哀{介P劈燕(惜a舌,通x径,可f葬(风g纹(筋y求)鞠)赔)蓄，P属(质z幼,鄙h报(年z峰,歉u金)粉,性f可(慎u血)仪)如}}第霉二难步：D1＝汁{虏x荷,箭h锈(强a这,忽u逮)设}置共换：歪{h根(刺a泥,复u边)楚/冤x秋}σ2＝仅σ1{访h盗(周a铃,雄u驻)仅/羞x低}盯=节{刮a类/炼z雅,架h赔(武a宵,钥u喉)洗/夹x换}F2=培F1{君h垂(析a神,挑u萝)而/食x魔}=深{润P贿