We prove the existence of an algorithm which solves the reducibility problem in braid groups and runs in quadratic time with respect to the braid length for any fixed braid index.
生成讲解博客的中文版本
生成AI智能校验的中文版本