摘要: 传送门 【大意】 给定一个 CNF 和一个有向图。有向图上的每一条边都写上了一个字母。 要求你从 $s$ 到 $t$ 走一条尽可能短的路,且将经过的字母写下来后,这个字符串能被 CNF 接受。 输出字符串的串长。 【分析】 在有向图上行走,并写下边上的字符,这个过程等价于一个 DFA: 将所有状态的 阅读全文
posted @ 2023-02-04 13:54 JustinRochester 阅读(48) 评论(0) 推荐(0) 编辑
摘要: 起因是我队友问了我一个问题: 我后面看了一下那题,等价的题意是求一个 CFG 和 DFA 交集,能识别的最短串的长度。 虽然编译原理没学过,但是我在可计算理论上有学到过:有个结论是,CFG 和 DFA 的交集也是 CFG ;而 CFG 推导出的最短串可以用队列+贪心的方法求解。但并没有学过如何对于给 阅读全文
posted @ 2023-02-04 12:31 JustinRochester 阅读(202) 评论(0) 推荐(1) 编辑