A*与IDA*
谨以此文向人工智能先驱,\(A\)*算法发明者\(Nils\ Nilsson\)致敬
推一篇深入研究的博客,而本文更多是粗略理解和习题吧。
\(A\)*算法是什么?它是启发式搜索的一种,即广度搜索算法\(bfs\)加上估价函数。
而\(IDA\)*则是另一种类似的启发式搜索,是迭代加深\(dfs\)加上估价函数。
迭代加深搜索是什么?就是每次限制\(dfs\)的深度进行搜索。
然后我们来讨论该算法的核心部分:估价函数
估价函数假设用\(h(x)\)表示,到达目前状态的代价用\(g(x)\)表示,那么估计的完成代价为\(f(x)=g(x)+h(x)\)。如果\(f(x)\)大于题目所需,那么可以进行剪枝。
需要注意的是,\(h(x)\)必须小于等于实际最优代价,满足此条件下越接近实际代价该估价函数越优。
一道例题:SCOI2005 骑士精神
对于一种状态,最佳的方案(运气最好时)是每次都能使一个骑士到达预定位置,最后一次能使一个骑士和一个空格到达预定位置,所以估价函数\(h(x)=\)棋盘上与目标状态不同的位置数\(+1\)。
然后搜索,注意每次改变空格的位置即可。
提供一份\(IDA\)*的代码
#include<bits/stdc++.h>
using namespace std;
const int dx[]={-2,-2,-1,-1,1,1,2,2}, dy[]={-1,1,-2,2,-2,2,-1,1};
const int tar[5][5]=
{
{2, 2, 2, 2, 2},
{1, 2, 2, 2, 2},
{1, 1, 0, 2, 2},
{1, 1, 1, 1, 2},
{1, 1, 1, 1, 1}
};
int sta[5][5];
inline int read()
{
int x=0,f=1;char ch=getchar();
for (;ch<'0'||ch>'9';ch=getchar()) if (ch=='-') f=-1;
for (;ch>='0'&&ch<='9';ch=getchar()) x=(x<<1)+(x<<3)+ch-'0';
return x*f;
}
int evoluate()
{
int res=0;
for (int i=0; i<5; i++)
for (int j=0; j<5; j++)
if (tar[i][j]^sta[i][j]) res++;
return res;
}
bool IDA(int x, int y, int dep, int maxdep)
{
int evo=evoluate();
if (dep+evo>maxdep+1) return false;
if (!evo) return true;
for (int i=0; i<8; i++)
{
int nx=x+dx[i], ny=y+dy[i];
if (nx>=0 && nx<5 && ny>=0 && ny<5)
{
swap(sta[x][y], sta[nx][ny]);
if (IDA(nx, ny, dep+1, maxdep)) return true;
swap(sta[x][y], sta[nx][ny]);
}
}
return false;
}
int main()
{
int T=read();
while (T--)
{
char s[5][5]; int X, Y;
for (int i=0; i<5; i++) scanf("%s", s[i]);
for (int i=0; i<5; i++)
for (int j=0; j<5; j++)
{
char c=s[i][j];
if (c=='0') sta[i][j]=1;
if (c=='1') sta[i][j]=2;
if (c=='*') X=i, Y=j, sta[i][j]=0;
}
int ans=-1;
for (int i=1; i<=15; i++)
if (IDA(X, Y, 0, i)) {ans=i; break;}
printf("%d\n", ans);
}
return 0;
}
一道类似的题:八数码难题
本题可以用\(IDA\)*和双向\(bfs\)通过,甚至\(map\)去重的\(bfs\)也可通过。作为一道练手题还是不错的。
代码不放了,和上题大体一致(我才不会说是我懒)
再看一个\(A\)*经典应用:\(K\)短路
(洛谷的模板题\(A\)*只能得到\(92pts\),标算是可持久化可并堆,所以这里就当是理性愉悦了吧)
说一下\(A\)*算法的思路。
先在反向图中\(Dijkstra\)得到估价函数\(dis(i)\)。
然后\(bfs\),用堆维护一下目前距离\(f(i)+dis(i)\)就可以了。
有一个没有什么用的优化,遍历每个点的次数不会超过\(\frac{w}{dis(1)}\),可以剪枝。
\(92pts\)代码
#include<bits/stdc++.h>
using namespace std;
const int N=5005, M=200005;
struct node{int to, nxt; double w;}edge1[M], edge2[M];
struct Node{int id; double w;};
struct NODE{int id; double w, f;};
bool operator < (Node a, Node b){return a.w>b.w;}
bool operator < (NODE a, NODE b){return a.f>b.f;}
int head1[N], head2[N], vis[N], cnt[N], cnt1, cnt2, n, m, ans;
double W, dis[N];
inline int read()
{
int x=0,f=1;char ch=getchar();
for (;ch<'0'||ch>'9';ch=getchar()) if (ch=='-') f=-1;
for (;ch>='0'&&ch<='9';ch=getchar()) x=(x<<1)+(x<<3)+ch-'0';
return x*f;
}
void add(int u, int v, double w)
{
edge1[++cnt1]=(node){v, head1[u], w};
head1[u]=cnt1;
edge2[++cnt2]=(node){u, head2[v], w};
head2[v]=cnt2;
}
void Dijkstra(int S)
{
priority_queue<Node> q; q.push((Node){S, 0});
for (int i=1; i<=S; i++) dis[i]=1e12; dis[S]=0.0;
memset(vis, 0, sizeof(vis));
while (!q.empty())
{
int u=q.top().id; q.pop();
if (vis[u]) continue; vis[u]=1;
for (int i=head2[u]; i; i=edge2[i].nxt)
{
int v=edge2[i].to; double w=edge2[i].w;
if (dis[v]>dis[u]+w)
{
dis[v]=dis[u]+w;
q.push((Node){v, dis[v]});
}
}
}
}
void A_star(int S, int Max_cnt)
{
priority_queue<NODE> q; q.push((NODE){S, 0, 0});
while (!q.empty())
{
NODE u=q.top(); q.pop(); int x=u.id;
if (u.w>W) return;
cnt[x]++;
if (x==n) {ans++; W-=u.f; continue;}
if (cnt[x]>Max_cnt) continue;
for (int i=head1[x]; i; i=edge1[i].nxt)
{
int v=edge1[i].to;
q.push((NODE){v, u.w+edge1[i].w, u.w+edge1[i].w+dis[v]});
}
}
}
int main()
{
n=read(); m=read(); scanf("%lf", &W);
for (int i=1; i<=m; i++)
{
int u=read(), v=read();
double w; scanf("%lf", &w);
add(u, v, w);
}
Dijkstra(n); A_star(1, W/dis[1]);
printf("%d\n", ans);
return 0;
}
A*与IDA*的更多相关文章
- 逆向工程 - Reveal、IDA、Hopper、HTTPS抓包 等
目录: 一. iOS 如何做才安全 二.ipa文件 三.沙盒 中的数据 四.Reveal:查看 任何APP 的UI结构 五.反编译工具:IDA 六.反编译工具:Hopper Disassembler ...
- IDA的脚本IDC的一个简单使用
目的:主要是想学习一下IDA的IDC的脚本的使用.这里做了一个小的测试. 这里使用的是VS2015Community来生成文件的. 一.编写测试程序: 这里先生成我们的目标数据. 然后编写测试程序.得 ...
- 安卓动态调试七种武器之孔雀翎 – Ida Pro
安卓动态调试七种武器之孔雀翎 – Ida Pro 作者:蒸米@阿里聚安全 0x00 序 随着移动安全越来越火,各种调试工具也都层出不穷,但因为环境和需求的不同,并没有工具是万能的.另外工具是死的,人是 ...
- iOS程序逆向Mac下常用工具——Reveal、HopperDisassemble、IDA
原文在此 一.Reveal 1 一般使用 Reveal是ITTY BITTY发布的UI分析工具,可以很直观的查看App的UI布局.如下图所示: Reveal是需要付费的,需要89美元, ...
- IDA插件栈字符串识别插件
该插件是一款可以自动识别栈上局部变量为字符串的插件,字符串形式如下,并自动的加上注释 如图:可以自动识别栈上的字符串 项目主 ...
- Android动态方式破解apk进阶篇(IDA调试so源码)
一.前言 今天我们继续来看破解apk的相关知识,在前一篇:Eclipse动态调试smali源码破解apk 我们今天主要来看如何使用IDA来调试Android中的native源码,因为现在一些app,为 ...
- 计算机病毒实践汇总六:IDA Pro基础
在尝试学习分析的过程中,判断结论不一定准确,只是一些我自己的思考和探索.敬请批评指正! 1. IDA使用 (1)搜索.下载并执行IDA Pro,对可执行程序lab05-01.dll进行装载,分别以图形 ...
- IDA在内存中dump出android的Dex文件
转载自http://drops.wooyun.org/tips/6840 在现在的移动安全环境中,程序加壳已经成为家常便饭了,如果不会脱壳简直没法在破解界混的节奏.ZJDroid作为一种万能脱壳器是非 ...
- IDA来Patch android的so文件
在上文中,我们通过分析定位到sub_130C()这个函数有很大可能性是用来做反调试检测的,并且作者开了一个新的线程,并且用了一个while来不断执行sub_130C()这个函数,所以说我们每次手动的修 ...
- Ida动态修改android程序的内存数据和寄存器数值,绕过so文件的判断语句
我们继续分析自毁程序密码这个app,我们发现该程序会用fopen ()打开/proc/[pid]/status这个文件,随后会用fgets()和strstr()来获取,于是我们在strstr()处下个 ...
随机推荐
- 一道另类的区间dp题 -- P3147 [USACO16OPEN]262144
https://www.luogu.org/problemnew/show/P3147 此题与上一题完全一样,唯一不一样的就是数据范围; 上一题是248,而这一题是262144; 普通的区间dp表示状 ...
- vue父传子
父组件传递数据给子组件用props,父组件中使用子组件,子组件用props接收父组件数据. Home父组件代码: <template> <div> {{test}} <! ...
- sprintf()与sscanf()
1.sprintf() sprintf()用于向字符串中写入格式化的数据,eg: int dSrc1 = 1; int dSrc2 = 2; char str[] = "hello" ...
- java常用设计模式十一:策略模式
一.概述 定义:策略模式是指对一系列的算法定义,并将每一个算法封装起来,而且使它们还可以相互替换.策略模式让算法独立于使用它的客户而独立变化.(概念不好理解,可以看第二节的合例子) 基本角色: 环境( ...
- VBA编程中的 sheet1 与 sheets(1)的区别
[自己理解]sheet1是一个专有名词,不是任何对象的属性,只能单独使用,特指代码所在工作簿的那个sheet1(和顺序无关,是固定的一个表,sheets(1)则和顺序有关). 参考资料: 1.代码中一 ...
- 以太坊虚拟机(EVM)
转载链接:https://ethfans.org/posts/solidity-chapter1-introduciton-to-smart-contracts 概括总览: 以太坊虚拟机(EVM)是以 ...
- CodeForces 235E Number Challenge (莫比乌斯反演)
题意:求,其中d(x) 表示 x 的约数个数. 析:其实是一个公式题,要知道一个结论 知道这个结论就好办了. 然后就可以解决这个问题了,优化就是记忆化gcd. 代码如下: #pragma commen ...
- 20155205 2016-2017-2 《Java程序设计》第6周学习总结
20155205 2016-2017-2 <Java程序设计>第6周学习总结 教材学习内容总结 第十章 在Java中,输入串流代表对象为Java.io.InputStream实例,输出串流 ...
- 终端简单使用 &vim编写代码
vim简单实用 & 用vim编写代码 ## 简单介绍 ## vi 1.c 建立1.c(文件存在,则打开1.c) vi共有三种模式: 按esc进入指令模式 按i进入编辑模式(按i光标位置不变 ...
- (动态规划)Max Sum Plus Plus--hdu--1024
http://acm.hdu.edu.cn/showproblem.php?pid=1024 Max Sum Plus Plus Time Limit: 2000/1000 MS (Java/Othe ...