language; locally testable; deterministic finite automaton; algorithm; semigroup; graph;
机译:局部可检验性的多项式时间算法及其水平
机译:确定性有限自动机局部可测性问题的多项式时间算法
机译:在多项式时间内测试局部代数可观性的概率算法
机译:左右局部可测性的多项式时间算法
机译:原始测试是多项式 - 时间:AKS算法的机械化验证
机译:一类布尔生物网络可控制性测试的多项式时间算法
机译:左[右]局部可验证性的多项式时间算法
机译:组合优化中的多项式局部改进算法