For n≥2n≥2 we describe an O(l3n)O(l3n)-time algorithm that determines if a length ll virtual braid word in the standard presentation of the virtual braid group VBnVBn represents the trivial virtual braid.
生成讲解博客的中文版本
生成AI智能校验的中文版本