Some remarks concerning the complexity of computing class groups of quadratic fields
暂无分享,去创建一个
Abstract Let O be an order of any quadratic number field. In this paper we show that under the assumption of the generalized Riemann hypothesis the following decision problems are in NP ⊃ co-NP: 1. 1. Is a given ideal A of O principal? 2. 2. Given ideals A 1 , … , Aκ of O , do their equivalence classes generate the class group of O ? 3. 3. Given ideals A 1 , … , Aκ of O , is the class group of O the direct product of the cyclic subgroups generated by the equivalence classes of the A 1 ?
[1] Michael A. Frumkin,et al. Polynomial Time Algorithms in the Theory of Linear Diophantine Equations , 1977, FCT.
[2] E. Bach. Explicit bounds for primality testing and related problems , 1990 .
[3] Marvin C. Wunderlich,et al. On the parallel generation of the residues for the continued fraction factoring algorithm , 1987 .
[4] Donald E. Knuth,et al. The art of computer programming. Vol.2: Seminumerical algorithms , 1981 .