cpper编程论坛

It's Not a Bug, It's a Language Feature!

发表于 4 周前 12:47 AM 作者: bankrock

标题这句话是维护编程语言尊严的常用语，但有时候Language Feature比Bug还要可怕，今天鄙人就被C/C++的一个Language Feature和devc++耍了一把。

首先来看看这段代码：

C++ 代码:

struct SearchItem
{
    SearchItem(int impedanceSegId, int parentImpedSegId, int startingLoadId)
        : impedSegId(impedanceSegId), parImpedSegId(parentImpedSegId), startLoadId(startingLoadId)
    {  }
 
    int impedSegId, parImpedSegId, startLoadId;
};
 
void GetAccImpedAndMtrxStruct(....)
{
    deque<SearchItem>

...

继续阅读...

bankrock

高级会员

发表在未分类

2-CNF-SAT问题图形解法的C++实现

发表于 2008-07-15 03:40 PM 作者: bankrock

2-CNF-SAT问题图形解法的C++实现
CNF(conjunctive normal form)是指由多个子句(clause)通过AND关系连接组成的布尔公式，每个子句由若干个文字(literal)通过OR关系连接而成，每个literal可能是一个布尔变量或者布尔变量取反。2-CNF中每个clause含有2个或两个以下的literal，而2-CNF-SAT(2-conjunctive normal form satisfiability)问题就是找出一个2-CNF公式是否有对布尔变量赋值的方法使2-CNF公式的最终结果为1。例如：

引用:

(x1 OR !x2) AND (x1 OR x2) （这里!表示NOT）

就是一个2-CNF公式，如果取x1 = 1, x2 = 0，它的值为(1 OR 1) AND (1 OR 0) = 1，因此这是一个可以满足2-CNF的变量赋值，这个公式属于2-CNF-SAT集。这里介绍一种图形算法解决2-CNF-SAT问题的方法以及C++实现。...

继续阅读...

bankrock

高级会员

发表在未分类

迷宫问题的非确定性解法

发表于 2008-05-13 09:23 PM 作者: bankrock

非确定性计算这个术语引用自SICP，是指一个表达式可以有多个值，evaluator在含有多个可能值的表达式处依次取值，分支执行后面的程序。如果一个表达式的值无法得出结果，则自动返回上一个分支表达式，执行下一个分支程序。本文提供了在SICP4.3节介绍的非确定性计算Evaluator的基础上解决迷宫问题的算法。

1. 迷宫问题的搜索算法
使用的迷宫例子如下(4*4的方形迷宫)（这个例子是从SICP的教学录像里看到的）：...

继续阅读...

bankrock

高级会员

发表在未分类