典型应用八皇后问题是应用回溯法求解的典型案例。相关链接ExamplecodeofBacktracking,traversalcoloringofagraph,inC++

基于逻辑的溯因在逻辑中，溯因法通过表示领域的逻辑理论T{\displaystyleT}和观察的集合O{\displaystyleO}进行的。溯因是依据T{\displaystyleT}推导O{\displaystyleO}的解释的集合。E{\displaystyleE}要成为O{\displaystyleO}依据T{\displaystyleT}的解释，它应当满足两个条件：O{\displaystyleO}推导自E{\displaystyleE}和T{\displaystyleT}；E{\displaystyleE}相容于T{\displaystyleT}。在形式逻辑中，O{\displaystyleO}和E{\displaystyleE}被假定为文字的集合。E{\displaystyleE}是O{\displaystyleO}依据理论T{\displaystyleT}的解释的两个条件被形...

田氏溯祖田启义2004年，重修《归德田氏家乘》，再刊十世公作泽《序》，其中有文：“吾田氏，世系出有虞氏。”此提法历史跨越时间长，且背景复杂，于2004年版《归德田氏家乘》（下册）卷十六第86页，有《田氏渊源考》，该“溯祖之言”，虽解文脉络清晰，但总感引证资料不太充分，经典之说不太具体，甚有有费解之处，我欲以《史记》为主线，粗浅解读之。《史记》卷一《五帝本纪》记：“自黄帝至舜、禹，皆同姓而异其国号，以章明德。故黄帝为有熊，帝颛顼为高阳，帝喾为高辛，帝尧为陶唐，帝舜为有虞。”从中知：舜之号为“有虞”；“有虞氏”即指舜帝氏族。《序》中语句――“吾田氏，世系出有虞氏。”之意，即为：田氏出于舜帝氏族。或者说，田氏就是舜帝的后代。卷三十六《陈杞世家》记：“昔舜为庶人时，尧妻之二女，居妫I，其后因为氏姓，姓妫氏。”从文中知，舜为百姓时，尧将两位女儿嫁给舜为妻，居住在妫I的地方，其后代使用“妫”氏姓。该卷...

1111津里北有一座占地近30平方米，高近10米的跨街楼，建于清朝乾隆年间。楼正面有盱眙知县亲书"文昌阁"三个镏金大字。这文昌阁是一个农民和一个秀才捐资共建的。这里有一段传说。1111相传津里西有个鲍村。村上有个勤劳朴实的青年农民鲍重贵，他和镇上一个叫周良清的秀才，自小在一个学堂里读过两年书。后来鲍重贵因家贫交学费，停了学回家放牛去了。但他直相互往来，成人后关系逐步加深，成为知已。1111一年，腊月二十四，周秀才一家上下忙着扫尘。因津里一带兴在腊月二十五过"祭灶节"，紧接着就是忙着迎新年。周家佣人在整理家堂时，顺手将一对银烛台放进香烛篓里，还没来得及放回原处，风风火火跑进一个半大小伙子："娘，嫂子要生孩子了，爹叫你快回去。"佣人丢下手中的活，回家去了。世上也就有这巧的事儿，佣人刚走，鲍重贵拎了两只老母鸡来了，在堂屋转了一圈没见着人，因送的礼轻，没好意思见老朋友周良清，见了又怕他不要或是回赠...