UVa11604 General Sultan

UVa11604 General Sultan

题目链接

UVA - 11604 General Sultan

题意

给出一些0和1组成的模式串,问是否存在一个串使得有多种方案将这个串分解成模式串。

给一个包含n(n≤100)个符号的二进制编码方式,是否存在一个二进制序列,存在至少两种解码方法。比如{a=01, b=001, c=01001}是有歧义的,因为01001可以解码为a+b或者c。每个编码由不超过20个0或1组成。

分析

很好的一道图论建模题目!思路来自于HouseFangFZC的博文

先看一个两种方案去拼接形成同一个串的图:

可以发现总是一个方案新追加的串和另一个方案当前未匹配部分做匹配,并且其中一者完全匹配掉,另一者有剩余部分(或者另一者也匹配完,即找到了两种不同拼接方案)。

将每个模式串的每一个字符看成一个结点,并额外增加起点s、终点t两个虚拟结点。首先起点与每个模式串的首字母连一条有向边。对于第i个模式串,考虑其第 h i h_i hi个字符开始的子串(对应节点u),若其与第j个模式串做匹配(注意 h i = 0 h_i=0 hi=0时, j ≠ i j\ne i j=i)满足至少一者匹配到结尾,则连有向边,分三种情况:若两者都匹配完,则 u → t u\rightarrow t u→t;若模式串j的首个未匹配字符是 h j h_j hj(对应节点v),则 u → v u\rightarrow v u→v;若子串 h i h_i hi的首个未匹配字符是 h x h_x hx(对应节点w),则 u → w u\rightarrow w u→w。

有向图建完后,跑一遍dfs,看起点s能否到达终点t就能解决问题。

AC 代码

cpp 复制代码
#include <iostream>
#include <cstring>
using namespace std;

#define L 22
#define N 101
int g[N*L][N*L], c[N*L], e[N], t[N], m, n, kase = 0; char s[N][L], tmp[L]; bool vis[N*L];

int common(int i, int h, int j) {
    int k = 0;
    while (h < e[i]) {
        if (s[i][h] != s[j][k]) return k;
        ++h; ++k;
    }
    return k;
}

bool dfs(int u = 0) {
    if (u == m) return true;
    vis[u] = true;
    for (int i=0, v; i<c[u]; ++i) if (!vis[v = g[u][i]] && dfs(v)) return true;
    return false;
}

void solve() {
    memset(c, 0, sizeof(c)); memset(vis, 0, sizeof(vis));
    for (int i=0; i<n; ++i) cin >> tmp >> s[i], e[i] = strlen(s[i]), g[0][c[0]++] = t[i] = i<1 ? 1 : t[i-1] + e[i-1];
    m = t[n-1] + e[n-1];
    for (int i=0; i<n; ++i) for (int j=0; j<e[i]; ++j) for (int k=0; k<n; ++k) {
        if (i==k && j==0) continue;
        int cc = common(i, j, k), u = t[i]+j;
        if (cc == e[k] && cc+j == e[i]) g[u][c[u]++] = m;
        else if (cc < e[k] && cc+j == e[i]) g[u][c[u]++] = t[k] + cc;
        else if (cc == e[k] && cc+j < e[i]) g[u][c[u]++] = u + cc;
    }
    cout << "Case #" << ++kase << (dfs() ? ": Ambiguous." : ": Not ambiguous.") << endl;
}

int main() {
    ios::sync_with_stdio(false); cin.tie(0); cout.tie(0);
    while (cin >> n && n) solve();
    return 0;
}
相关推荐
hansang_IR1 天前
【题解】洛谷 P4286 [SHOI2008] 安全的航线 [递归分治]
c++·数学·算法·dfs·题解·向量·点积
康谋自动驾驶1 天前
告别数月等待:数字孪生场景生成从此进入“日级”时代
汽车·测试·数字孪生·仿真·建模·3dgs
一只鱼^_3 天前
牛客周赛 Round 108
数据结构·c++·算法·动态规划·图论·广度优先·推荐算法
_Coin_-3 天前
算法训练营DAY58 第十一章:图论part08
数据结构·算法·图论
闪电麦坤956 天前
数据结构:图的表示 (Representation of Graphs)
数据结构·算法·图论
BlackPercy6 天前
【图论】Graphs.jl 最小生成树算法文档
算法·图论
KarrySmile7 天前
网格图--Day04--网格图DFS--2684. 矩阵中移动的最大次数,1254. 统计封闭岛屿的数目,130. 被围绕的区域
矩阵·深度优先·dfs·深度优先搜索·灵茶山艾府·网格图·网格图dfs
SuperCandyXu7 天前
洛谷 P3128 [USACO15DEC] Max Flow P -普及+/提高
c++·算法·图论·洛谷
zc.ovo7 天前
牛子图论1(二分图+连通性)
数据结构·c++·算法·深度优先·图论
ltrbless7 天前
最小生成树算法详解
算法·排序算法·图论