LA 6393 Self-Assembly

最新推荐文章于 2023-10-27 09:50:43 发布

Skyette

最新推荐文章于 2023-10-27 09:50:43 发布

阅读量312

点赞数

CC 4.0 BY-SA版权

文章标签： Competitive Programm ACM Live Archive Topological Sort

本文链接：https://blog.youkuaiyun.com/Skyette/article/details/54233476

本文介绍了一种通过构建有向图来判断给定模块集合是否能够进行无限连接的方法。通过将模块视作图中的边，并检查所形成的图是否存在环来确定连接的可能性。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

题意：给你一些模块，如果接口字母相同而极性相反，那么就可以把两个模块连接起来。问你是否可以用当前种类的模块无限的连接。

方法：把每个模块看成边，举例，如果一个模块上有 X+ 和 Y- ，那么就从X-引一条边到Y-, 从 Y+引一条边到X+。建图后检查有向图是不是acyclic的，如果有有cylce，那么就可以无限的连接，unbounded。否则只能有限的连接。

Code:

#include <cstdio>
#include <cstring>
#include <algorithm>
#include <iostream>
#include <string>
#include <vector>
#include <stack>
#include <bitset>
#include <cstdlib>
#include <cmath>
#include <set>
#include <list>
#include <deque>
#include <map>
#include <queue>
#include <fstream>
#include <cassert>

#include <cmath>
#include <sstream>
#include <time.h>
#include <complex>
#define Max(a,b) ((a)>(b)?(a):(b))
#define Min(a,b) ((a)<(b)?(a):(b))
#define FOR(a,b,c) for (int (a)=(b);(a)<(c);++(a))
#define FORN(a,b,c) for (int (a)=(b);(a)<=(c);++(a))
#define DFOR(a,b,c) for (int (a)=(b);(a)>=(c);--(a))
#define FORSQ(a,b,c) for (int (a)=(b);(a)*(a)<=(c);++(a))
#define FORC(a,b,c) for (char (a)=(b);(a)<=(c);++(a))
#define FOREACH(a,b) for (auto &(a) : (b))
#define rep(i,n) FOR(i,0,n)
#define repn(i,n) FORN(i,1,n)
#define drep(i,n) DFOR(i,n-1,0)
#define drepn(i,n) DFOR(i,n,1)
#define MAX(a,b) a = Max(a,b)
#define MIN(a,b) a = Min(a,b)
#define SQR(x) ((LL)(x) * (x))
#define Reset(a,b) memset(a,b,sizeof(a))
#define fi first
#define se second
#define mp make_pair
#define pb push_back
#define all(v) v.begin(),v.end()
#define ALLA(arr,sz) arr,arr+sz
#define SIZE(v) (int)v.size()
#define SORT(v) sort(all(v))
#define REVERSE(v) reverse(ALL(v))
#define SORTA(arr,sz) sort(ALLA(arr,sz))
#define REVERSEA(arr,sz) reverse(ALLA(arr,sz))
#define PERMUTE next_permutation
#define TC(t) while(t--)
#define forever for(;;)
#define PINF 1000000000000
#define newline '\n'

#define test if(1)if(0)cerr
using namespace std;

using namespace std;
typedef vector<int> vi;
typedef vector<vi> vvi;
typedef pair<int,int> ii;
typedef pair<double,double> dd;
typedef pair<char,char> cc;
typedef vector<ii> vii;
typedef long long ll;
typedef unsigned long long ull;
typedef pair<ll, ll> l4;
const double pi = acos(-1.0);

inline int id(const string &str)
{
    if (str[0] == '0') return -1;
    int result = str[0]-'A';
    result = (result<<1) + (str[1] == '+');
    return result;
}
const int maxn = 26*2;
vector<int> g[maxn];
int state[maxn];
int n;

bool dfs(int cur)
{
    state[cur] = 0;
    for (auto nxt : g[cur])
    {
        if (!state[nxt] || (state[nxt]==-1 && !dfs(nxt)))
            return false;
    }
    state[cur] = 1;
    return true;
}
bool toposort()
{
    Reset(state, -1);
    rep(i, maxn)    if (state[i] == -1 && !dfs(i))  return false;
    return true;
    
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie(0);
    while (cin >> n)
    {
        rep(i, maxn)    g[i].clear();
        //input
        {
            string str;
            rep(i, n)
            {
                cin >> str;
                rep(i, 4)
                {
                    int id1 = id(str.substr(2*i,2));
                    if (id1 == -1)  continue;
                    for (int j = i+1; j < 4; ++j)
                    {
                        int id2 = id(str.substr(2*j,2));
                        if (id2 == -1)  continue;
                        g[id1^1].pb(id2);
                        g[id2^1].pb(id1);
                    }
                }
            }
            if (!toposort()) cout << "unbounded\n";
            else    cout << "bounded\n";
        }
    }
}