(1) Mathematics Mechanization Key Lab, AMSS, Chinese Academy of Sciences, Beijing, 100080, China
Abstract:
This paper investigates complex brackets and balanced complex 1st-order difference (BCD) polynomials. Then we propose an algorithm of O(n log n) complexity to check the equality of brackets. It substitutes exponential algorithms before. Also, BCD polynomials have some usages in geometric calculation. This work was supported by the National Key Basic Research Project of China (Grant No. 2004CB318001)