当前位置: 代码迷 >> 综合 >> UVA 804 Petri Net Simulation(算法竞赛入门经典,模拟)
  详细解决方案

UVA 804 Petri Net Simulation(算法竞赛入门经典,模拟)

热度:9   发布时间:2023-12-13 19:08:44.0

算法竞赛入门经典177页,模拟
题目意思:
np个节点 p[1], p[2], … , p[np], 每个节点有若干个牌子 token, 节点与节点之间不直接联系,中间间隔了
一个叫 发射站 trans 的玩意。每一节点向外只能指向一个 发射站。并且,一个节点指向同一个发射站若干次,节点就需要若干个 token 。
发射站也是不能直接相连,
多个节点,可以同时指向一个发射站;
每一个发射站,可能指向若干个 节点。
一个发射站,是否能点火发射,主要看看这个发射站 Trans ,指向 Trans 的每一个节点,节点手中的牌子 token 是否足够。
只有所有的节点的 token 都足够,这个发射站才能点火。
点火之后,指向 发射站 Trans 的所有节点,会减少对应的 token ,而 发射站 Trans 指出的 节点, 这些节点的token 会增加对应的
token. 题目问:进过若干次点火,要么到达循环次数,要么就没有足够的 token 来点火。
此时,每一节点拥有的token数。

本题要点:
1、看懂题目意思,知道样例, 然后暴力模拟。
2、把题目的图画下来,走一下样例就知道了。本质是一道语文题。

#include <cstdio>
#include <cstring>
#include <iostream>
#include <vector>
using namespace std;
const int MaxN = 110;
int np, nt, cycle;
int pos[MaxN];	//pos[i]表示第i个 NP 的 token数量
int In[MaxN], Out[MaxN];struct node
{
    int id, token;
};struct NT
{
    vector<node> in, out;
}trans[MaxN];bool check(int k)
{
    int len = trans[k].in.size(), token, id;for(int i = 0; i < len; ++i){
    token = trans[k].in[i].token, id = trans[k].in[i].id;if(pos[id] < token)return false;}return true;
}void handle(int k)
{
    int len = trans[k].in.size(), token, id;for(int i = 0; i < len; ++i){
    token = trans[k].in[i].token, id = trans[k].in[i].id;pos[id] -= token;}len = trans[k].out.size();for(int i = 0; i < len; ++i){
    token = trans[k].out[i].token, id = trans[k].out[i].id;pos[id] += token;}
}void solve(int count)
{
    printf("Case %d: ", count);int cnt = 0;bool enough = false;while(true){
    enough = false;for(int i = 1; i <= nt; ++i){
    if(check(i)){
    handle(i);enough = true;++cnt;break;}}if(!enough)break;if(cnt >= cycle)break;}if(cnt >= cycle){
    printf("still live after %d transitions\n", cycle);}else{
    printf("dead after %d transitions\n", cnt);}printf("Places with tokens:");for(int i = 1; i <= np; ++i){
    if(pos[i])printf(" %d (%d)", i, pos[i]);}printf("\n\n");
}int main()
{
    int id, count = 0;node tmp;while(scanf("%d", &np) != EOF && np){
    for(int i = 0; i < MaxN; ++i){
    trans[i].in.clear();trans[i].out.clear();}memset(pos, 0, sizeof pos);for(int i = 1; i <= np; ++i){
    scanf("%d", &pos[i]);}scanf("%d", &nt);for(int i = 1; i <= nt; ++i){
    memset(In, 0, sizeof In);memset(Out, 0, sizeof Out);while(scanf("%d", &id) && id)	{
    if(id < 0){
    In[-id]++;				}else{
    Out[id]++;}}for(int j = 1; j <= np; ++j){
    if(In[j]){
    tmp.id = j, tmp.token = In[j];	trans[i].in.push_back(tmp);}if(Out[j]){
    tmp.id = j, tmp.token = Out[j];trans[i].out.push_back(tmp);}}}scanf("%d", &cycle);solve(++count);}return 0;
}/* 2 1 0 2 -1 2 0 -2 1 0 100 3 3 0 0 3 -1 2 0 -2 -2 3 0 -3 1 0 100 0 *//* Case 1: still live after 100 transitions Places with tokens: 1 (1)Case 2: dead after 9 transitions Places with tokens: 2 (1) */
  相关解决方案