RT，这个问题我在几个月前已经问过，但是并没有获得什么答案。

我认为这个问题可以发在学术版。

现在 OI 界有好几个大题库（lg,CF,AT,UVA...），每个题库都有7000-10000余题。假设我们可以通过洛谷上的翻译解决语言问题，并且只查验关键信息，那么如何解决题目描述方式不同的问题？

如果一道题写了形式化题面，被撞的题描述融入背景，怎么办？

如果两道题描述不同但是等价，怎么办？

我目前没有想到很好的解决方法，请教各路大神。