融合成发展新趋势 中国软件业正在起飞时

原创 2007年05月09日 14:45:00
          昨天看人工智能,几页A*算法的证明过程看了我几个小时,结果后来几句话就可以很直观的证明出来了.

首先是在一个有穷图中,弧必然要>某个正数,其次,对于节点n的估价函数h^(n)必须<=实际的估价函数h(n),

这样就保证了A*的可接纳性,也就是一定可以找到一条最优路径

其次,假设s2是s1的后继,则必须保证一致性(单调的性质),也就是g^(s2) - g^(s1) >= h^(s1) - h^(s2),也就

是F^(s2) >= F^(s1),一致性使得A*在每扩展节点N都可以找到达到N的一条最优秀路径。

对于一致性使得A*在扩展节点N的时候可以找到N的最优秀路径,我的直观的证明是这样的:

1)由于每次A*是取F^(x)最小的点,所以A*总是沿着已经扩展了的F^(x)点集的边缘向外扩展

2) 由于一致性,保证了F^(s2) >= F^(s1),所以在扩展F^(s2)之前,所有可能是s2父节点都将会被扩展(这是因

为s2父节点的F^肯定不大于s2的F^),按照这个推理,直到最顶层的n0(开始节点),他本身就是最小代价路

径了,于是s2所计算的F^自然会是最小值,而且由于可接纳性保证了可以找到最优(最小代价)路径,当扩展

s2的时候,就自然等于找到了s2的最优(最小代价)路径。当然可能有人会说,那如果s2的父亲节点的F^和s2

一样,而却先扩展了s2呢?对于这样的情况,由于一致性,s2父亲节点扩展的节点肯定 >= 他本身,所以s2依

然是最优的。


上面的过程非常不规范,谈不上证明吧,但是对于理解却很有帮助,因为真的比书上的证明过程直观得多了,

呵呵 

创业公司工作一年的感受

已经在深圳一家创业公司工作了一年

M时代

一个新的时代,我们正在汲取它的甘甜。我们也因此创建一个M时代。

我迷茫的IT工作之路(七)儿童智能手表代理软件经理

第六章:儿童智能手表代理软件经理   初入公司做开发,项目经理背黑锅离职   我进入了一家做儿童智能安全手表的,先不管职位高低,那时候的新兴产业,并且做的是儿童安全,和我以前做游戏比起来,这是一份很有...

从校园到工作的路(七)

那些数组与字符串之间的相互转换。 最常见也最简单的莫过于char[]数组与String类型之间的转换。 String类的内部就是用char数组实现的     /** The value is u...

我迷茫的IT工作之路(八)个人开发转而走上尝试融资

第八章:个人开发转而走上尝试融资   租工位,研发社交产品   不知道算不算我第二次创业,这次我孤身一人,我选择了个创客社区,租了个工位,选择了个方向。   这些年孤单寂寞的道路,加上我一个互联网多年...

Your Freedom — 跨平台的代理软件

Your Freedom 是一款跨平台的代理软件,可在 Linux、Mac OS X、Windows 等系统中使用。由于 Your Freedom 是采用 Java 语言所编写的软件,所以...

Delphi7高级应用开发随书源码

  • 2003年04月30日 00:00
  • 676KB
  • 下载

创业之路---IT销售中几种销售提成激励方案的比较

  最近有一位哥们创业,开公司了,这是好事了。由于公司刚起步,所以呢。业务是最重要的,特别是像他这样的产品类的软件公司,得把产品尽可能的推出去才行,正好今天和他聊了一会,说到了IT销售人员的提成的事情...
  • Drate
  • Drate
  • 2007年04月14日 16:35
  • 8158

智能家居与可穿戴设备结合物联网成发展新趋势(来源: 中文科技资讯)

2015年,硬创延续了去年的强势劲头,如潮水般席卷了大江南北。今年两会又给互联网行业刮起了一阵政策春风,互联网巨头转变思维迎接时代变革,各类创新力量不断涌现,成为推动社会发展的中坚力量。“创客”毫无疑...

测量技术与仪器发展的新趋势

  • 2009年11月26日 13:28
  • 16KB
  • 下载
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:融合成发展新趋势 中国软件业正在起飞时
举报原因:
原因补充:

(最多只允许输入30个字)