UVA 11892 - ENimEN
题目链接
题意：给定n堆石头，两人轮流取，每次只能取1堆的1到多个，如果上一个人取了一堆没取完，那么下一个人必须继续取这堆，取到最后一个石头的赢，问谁赢
思路：简单推理一下，后手只可能在堆数偶数并且都是1的情况下才可能赢
代码：
#include
#include
const int N = 20005;
int t, n,...
分类：
其他好文 时间：
2014-07-18 22:35:48
阅读次数：
197
UVA 12293 - Box Game
题目链接
题意：两个盒子，一开始一个盒子有n个球，一个只有1个球，每次把球少的盒子中球消掉，把多的拿一些球给这个盒子，最后不能操作的输（球不能少于1个），Alice先手，问谁赢
思路：博弈，题目其实可以转化为，给定一个n，每次把减少1到n/2的数字，最后谁是1谁就输了，那么可以去递推前几项找个规律，或者推理，都可以发现只要是2^i - 1...
分类：
其他好文 时间：
2014-07-18 21:27:44
阅读次数：
186
GENI的核心 -- 推理机（2）流程控制
1、细说fail、“!”与回溯
与其他语言相比，Prolog最大的特点，是它的回溯机制。
回溯机制，主要手段有2个，一是用谓词fail引发回溯，二是用特别谓词“!”（读作cut）取消回溯。
Prolog运用fail引发回溯，实现程序的循环，并运用“!”对回溯进行控制。
看一个典型示例：
FACTS
f(integer)
PREDICATES...
分类：
Web程序 时间：
2014-07-18 21:22:49
阅读次数：
243
UVA 10294 - Arif in Dhaka (First Love Part 2)
题目链接
题意：给定n个珠子，t种颜色， 问能组成几个项链和手镯（手镯能翻转，项链不能）
思路：利用Burnside求解，推理出旋转的循环个数是gcd(i, n)，翻转的分为奇偶情况考虑
代码：
#include
#include
const int N = 30;
in...
分类：
其他好文 时间：
2014-07-18 15:12:41
阅读次数：
215
GENI的核心 -- 推理机（3）一些谓词
为了集中注意力，较好地分析GENI推理机核心程序，应该做些准备工作，弄明白一些起辅助作用的谓词功能。
is_htmlfile(Rulexpl)
is_htmlfile(FILE):-
filenameext(File,_Name,Mask),
Mask = ".htm",!.
is_htmlfile(FILE):-
f...
分类：
Web程序 时间：
2014-07-18 13:33:16
阅读次数：
293
GENI的核心 -- 推理机（1）知识表示
GOAL段最后一句是子句infer()，它的含意是“推理”。
由此，进入GENI的核心，察看推理机的运行。
infer()
infer():-
topic(Maingoal,_),
go([],MainGoal,""),!.
infer():-
errorexit.
topic(Maingoal,_)
topic现存于事实...
分类：
Web程序 时间：
2014-07-14 18:19:52
阅读次数：
303
保存用户对询问的回答结果，作为进一步推理的条件
还是从GOAL段开始。起始句是write_startform()
write_startform():-
write("\n").
注意！上一句应为write("\n").
GENI虚拟主机没有“cgi-bin”这个子目录。
在GOAL中，紧跟上一句的是assert_conditions(ParmList1)
assert_conditions(...
分类：
Web程序 时间：
2014-07-11 00:18:19
阅读次数：
226
深入探究WEB GENI源程序
折腾WEB GENI的目的，是为了摸清它的构造设计、运行机制，为山寨出自己的专家系统外壳，积累经验，启发灵感。
为此，必须深入细致地研读源程序代码。
WEBGENI包括2个模块：geni.pro和cgitools.pro。前者是主程序，负责推理、生成网页等；后者负责相对底层的CGI数据处理。本文探究的对象，主要是geni.pro。
Visual Prol...
分类：
Web程序 时间：
2014-07-09 12:57:04
阅读次数：
249
HDU 4850 Wow! Such String!
题目链接
题意：求50W内的字符串，要求长度大于等于4的子串，只出现一次
思路：需要推理，考虑4个字母的字符串，一共有26^4种，这些由这些字符串，如果一个字符串末尾加上一个字符，可以变成另一个字符串的话，就当作这有一条边，每多一个字符多一个结点，那么对于这道题目，一共就能有26^4 + 3条边，在加上尾巴可以多放3个，一共是...
分类：
其他好文 时间：
2014-07-09 09:53:06
阅读次数：
180
【原题】
P1106侦探推理
Accepted
标签：[显示标签]
描述
明明同学最近迷上了侦探漫画《柯南》并沉醉于推理游戏之中，于是他召集了一群同学玩推理游戏。游戏的内容是这样的，明明的同学们先商量好由其中的一个人充当罪犯（在明明不知情的情况下），明明的任务就是找出这个罪犯。接着，明明逐个询问每一个同学，被询问者可...
分类：
其他好文 时间：
2014-07-06 08:08:20
阅读次数：
885
