×

有限域上精确奇偶校验基问题的随机算法。 (英语) Zbl 1167.68466号

摘要:我们提出了三种随机伪多项式算法,用于在奇偶条件下的加权表示拟阵中寻找指定值的基的问题。这些算法,前两个是P.M.卡梅里尼,G.加尔比亚蒂F.马菲奥利[J.Algorithms 13,No.2,258–273(1992;Zbl 0773.05032号)]在一组适当字段中随机选择的有限字段上使用快速算法。我们表明,在这些算法中选择最佳算法取决于与算术级数中素数分布相关的所谓Linnik常数的最佳值有关的猜测。这个猜想,我们称之为C猜想,是S.Chowla在1934年提出的一个猜想的强化版本。如果C猜想是真的,那么选择最佳算法是很简单的,因为最后一个算法表现出最佳性能,无论是在算术运算中测量性能,还是在比特运算中测量时,并且温和的假设成立。如果C猜想为假,我们仍然能够确定最佳算法,但在这种情况下,选择是在前两种算法之间进行的,并且取决于\(m\)相对于\(U\)和\(n\)的渐近增长,其中\(2n\)、\(2m\)、\(U\)是秩、元素数,以及分别分配给拟阵元素的最大权重。

MSC公司:

68瓦20 随机算法
05B35号 拟阵和几何格的组合方面
2016年11月 数字理论算法;复杂性
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿德勒曼,L.M。;Pomerance,C。;Rumely,R.S.,《关于素数与合成数的区分》,《数学年鉴》。,117, 173-206 (1983) ·Zbl 0526.10004号
[2] Aho,A.V。;霍普克罗夫特,J.E。;Ullman,J.D.,《计算机算法的设计与分析》(1974年),《Addison-Wesley:Addison-Whesley阅读》·Zbl 0207.01701号
[3] 巴拉奥纳,F。;W.R.滑轮板,精确树状结构,匹配和循环,离散应用。数学。,16, 91-100 (1987) ·Zbl 0632.05047号
[4] Barban,医学学士。;Yu Linnik。V。;Tshudakov,N.G.,《关于素数幂差算术级数中的素数》,《阿里斯学报》。,9, 375-390 (1964) ·Zbl 0127.26901号
[5] Barkely Rosser,J。;Schoenfeld,L.,素数函数的近似公式,伊利诺伊州数学杂志。,6, 64-94 (1962) ·Zbl 0122.05001号
[6] 卡利奥蒂,V.,国际代表(1990)
[7] 卡梅里尼,P.M。;Galbiati,G。;Maffioli,F.,精确拟阵问题的随机伪多项式算法,J.算法,13258-273(1992)·Zbl 0773.05032号
[8] Chandrasekharan,K.,《解析数论导论》(1968),Springer-Verlag:Springer-Verlag纽约/柏林·Zbl 0169.37502号
[9] S.Chowla,《关于算术级数中的最小素数》,J.Indian Math。Soc.(N.S.)11934,1-3;由E.C.Titchmarsh审查,Zentralblatt数学。9; S.Chowla,《关于算术级数中的最小素数》,J.Indian Math。Soc.(N.S.)11934,1-3;由E.C.Titchmarsh审查,Zentralblatt数学。9
[10] Galbiati,G。;Maffioli,F.,关于pfafians的计算,离散应用。数学。,51, 269-275 (1994) ·Zbl 0811.68083号
[11] Garey,M.R。;Johnson,D.S.,《计算机与难处理性:NP-完备性理论指南》(1979),弗里曼:弗里曼旧金山·Zbl 0411.68039号
[12] Heath-Brown,D.R.,Dirichlet L-函数的无零区域和算术级数中的最小素数,Proc。伦敦数学。Soc.(3),64,265-338(1992)·Zbl 0739.11033号
[13] McEliece,R.J.,《计算机科学家和工程师的有限域》(1987年),Kluwer学术:Kluwer-Accademic Dordrecht·Zbl 0662.94014号
[14] Motwani,R。;Raghavan,P.,《随机算法》(1995),剑桥大学出版社:剑桥大学出版社·Zbl 0849.68039号
[15] Mulmuley,K。;弗吉尼亚州瓦齐拉尼。;Vazirani,V.V.,《匹配与矩阵求逆一样简单》,《组合数学》,第7期,第105-113页(1987年)·Zbl 0632.68041号
[16] Schwartz,J.T.,验证多项式恒等式的快速概率算法,J.Assoc.Compute。机器。,27, 701-717 (1980) ·Zbl 0452.68050号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。