A

  简单的差分约束模型 , 因为d是定值 , 所以也可以按最短路理解 , trick是不能把圈算进去.

  

 #define maxn 55
class Egalitarianism {
public:
int maxDifference(vector <string>, int);
};
int e[maxn][maxn],n,f[maxn][maxn];
int Egalitarianism::maxDifference(vector <string> isFriend, int d) {
n = isFriend.size();
memset(e,-,sizeof(e));
for (int i= ; i<n ; i++ ) {
for (int j= ; j<n ; j++ ) if (isFriend[i][j]=='Y') {
e[i][j] = d;
}
}
int ans = -;
for (int k= ; k<n ; k++ ) {
for (int i= ; i<n ; i++ ) {
for (int j= ; j<n ; j++ ) if (e[i][k] != - && e[k][j] != -) {
if (e[i][j]==- || e[i][j]>e[i][k] + e[k][j])
e[i][j] = e[i][k]+e[k][j];
}
}
}
for (int i= ; i<n ; i++ ) for (int j= ; j<n ; j++ ) if (i!=j){
if (e[i][j] == -) return -;
ans = max(ans,e[i][j]);
}
return ans;
}

B

  计数模型很好想 , 但是有很多细节要想清楚 , 一开始想简单了......

  离散化之后 , dp[i][j][k] 表示满足要求的方案数:

  (1) 挖了前i种东西;

  (2) 所以挖出来的东西最大深度为j;

  (3) 挖出来了k个;

  (4) 每个都是在found里出现的;

  然后 ans = sigma ( dp[51][j][k] * factor[j][k] ) (1<=j<INF , found.size()<=j<=K);

  比较麻烦的地方在对于给定的状态 , 计算对应factor:

  (1)  还要挖 K-k个 , 并且他们的深度大于j , 即不能被发现;

  (2)  要把所有的building考虑进去,而不仅仅是不在found里面的;

  (3)  必须保证接下来挖的中,深度最小的building未在found里出现 , 否则会重复计数;

  

 using namespace std;
#define maxn 60
#define maxd 100010
#include <cstring>
const int INF = maxd-;
typedef long long llong; class Excavations {
public:
long long count(vector <int>, vector <int>, vector <int>, int);
}; bool in[maxn];
llong c[maxn][maxn] , b[maxn][maxn][maxn] ;//, s[maxn][maxn][maxn] , s2[maxn][maxn][maxn];
int cnt[maxn],n,m,D;
map<int,int> hk , hd;
vector<int> bufk , bufd , t[maxn]; struct node{
int k,d;
};node build[maxn]; bool cmp (node a , node b) {
if (a.k == b.k) return a.d<b.d;
return a.k<b.k;
}
void pretreat(vector<int> kind,vector<int> depth,vector<int> found) {
n = kind.size();
m = found.size();
bufd.push_back();
bufd.push_back(INF);
bufk.push_back();
for (int i= ; i<n ; i++ ) bufk.push_back(kind[i]) , bufd.push_back(depth[i]);
sort(bufd.begin(),bufd.end());
sort(bufk.begin(),bufk.end());
bufd.erase( unique(bufd.begin(),bufd.end()) , bufd.end() ) ;
bufk.erase( unique(bufk.begin(),bufk.end()) , bufk.end() ) ;
for (int i= ; i<(int)bufk.size() ; i++ ) hk[bufk[i]] = i;
for (int i= ; i<(int)bufd.size() ; i++ ) hd[bufd[i]] = i;
for (int i= ; i<n ; i++ ) build[i] = (node){hk[kind[i]] , hd[depth[i]]};
sort(build,build+n,cmp);
for (int i= ; i<m ; i++ ) in[hk[found[i]]] = ;
for (int i= ; i<= ; i++ ) {
c[i][] = ;
for (int j= ; j<=i ; j++ ) c[i][j] = c[i-][j-] + c[i-][j];
}
D = hd[maxd-];
for (int i= ; i<=D ; i++ ) {
for (int j= ; j<n ; j++ ) if (build[j].d>=i)
cnt[i] ++;
}
for (int i= ; i<n ; i++ ) t[build[i].k].push_back(build[i].d);
for (int i= ; i<= ; i++ ) sort(t[i].begin() , t[i].end());
} long long Excavations::count(vector <int> kind, vector <int> depth, vector <int> found, int K) {
pretreat(kind,depth,found); b[][][] = ;
for (int i= ; i< ; i++ )
for (int j= ; j<D ; j++ )
for (int k= ; k<=K ; k++ ) if (b[i][j][k]) { //printf("b[%d][%d][%d]=%lld\n",i,j,k,b[i][j][k]); int debug = ;
if (j==) debug = ; if (in[i+]) {// printf("t[%d].size()=%d\n",i+1,(int)t[i+1].size()); for (int x=0 ; x<(int)t[i+1].size() ; x++ ) printf("%d ",t[i+1][x]); printf("\n");
for (int x= ; x<(int)t[i+].size() ; x++ )
for (int y= ; y<=x ; y++ ) {
if (y++k>K) break;
int dep = max(j, t[i+][x]);
b[i+][dep][y++k] += b[i][j][k] * c[x][y];
if (debug) {
// printf("b[%d][%d][%d] add %lld * c[%d][%d](%lld) = %lld\n",i+1,dep,y+1+k,b[i][j][k],x,y,c[x][y],b[i][j][k]*c[x][y]);
}
}
} else {
b[i+][j][k] += b[i][j][k];
// if (debug) printf("b[%d][%d][%d] add %lld\n",i+1,j,k,b[i][j][k]);
}
}
llong ans = ; vector<int> illegal;
int f[maxn];
memset(f,,sizeof(f));
for (int i= ; i<n ; i++ ) if (!in[build[i].k]) {
illegal.push_back(build[i].d);
f[build[i].d] ++ ;
}
sort(illegal.begin(),illegal.end());
illegal.erase( unique(illegal.begin(),illegal.end()) , illegal.end() ); for (int i= ; i<D ; i++ )
for (int j=m ; j<=K ; j++ ) if (b[][i][j]) {
if (j==K) {
ans += b[][i][j];
printf("add: b[%d][%d]=%lld\n",i,j,b[][i][j]);
}
else {
llong fct = ;
for (int x= ; x<(int)illegal.size() ; x++ ) if (illegal[x]>i) {
int d = illegal[x];
int need = K-j;
for (int y= ; y<=need && y<=f[d] ; y++ ) {
fct += c[f[d]][y] * c[cnt[d]-f[d]][need-y];
printf("fct add: c[%d][%d] * c[%d][%d] = %lld\n",f[d],y,cnt[d]-f[d],need-y,c[f[d]][y]*c[cnt[d]-f[d]][need-y]);
}
}
ans += b[][i][j] * fct;
}
}
return ans;
}

C

  裸的斯坦纳树。。。字符串处理可以这样写:

 string s = "";
for (int i= ; i<(int)courseInfo.size() ; i++ ) s += courseInfo[i];
stringstream ss(s);
string t;
while (ss>>t) {
sscanf(t.c_str(),"%c%d->%c%d:%d",&a,&da,&b,&db,&cst);
int pa , pb;
pa = encode((int)(a-'A'),da);
pb = encode((int)(b-'A'),db);
addedge(pb,pa,cst);
}

  斯坦纳树有2部分更新:

  (1) 对确定的根v , 用mask的子集更新: dp[v][mask] = min ( dp[v][submask] + dp[v][mask - submask])

  本质上是寻找树最优的组合结构,不会有松弛.

  (2) 对确定的根v , 用点u松弛: dp[v][mask] = min ( dp[v][mask] , dp[u][mask] + 最短路(u,v) )

  

最新文章

  1. 【转】如何让你的Android SDK下载或者升级快如闪电
  2. mysql环境搭建
  3. Eclipse设置不格式化注释
  4. PHP中的一个”坑“
  5. javascript --- 设计模式之单体模式(一)
  6. bat批处理文件命令详解
  7. asp.net 中使用less
  8. 以编程方式使用 Word 中的内置对话框
  9. json中文编码问题
  10. IDL通过经纬度定位获取DN值
  11. 页面添加 mask 遮罩层
  12. Java—Integer类
  13. 启用WCF压缩提升Dynamics 365 CE的网络性能
  14. 测试md
  15. mac系统删除.DS_Store文件
  16. hbase java 基本例子
  17. 对nodejs的理解(一)
  18. 转载:pyqt线程间通过 信号/槽 通信
  19. jsp - redirect重定向 / forward转发
  20. WeChat on Web 部分功能模拟实现

热门文章

  1. Apache MINA NioSocketAcceptor类的实现
  2. codevs 3305 水果姐逛水果街Ⅱ
  3. .net邮件发送实例 邮件内容为网页模板
  4. 突然想写点东西,关于web新人的。采用问答方式
  5. css.day05
  6. 通知(Notification)的使用
  7. jrae源码解析(一)
  8. sql注释
  9. 一个小玩具:NDK编译FFmpeg的例子
  10. [转]python集合set