×

有符号数字扩展中进位的分析。 (英语) Zbl 1419.60009号

摘要:对于(q,d)-系统和对称有符号数字展开式,对给定长度的两个独立随机有符号数字扩展相加的正负进位数进行了渐近分析。结果包括期望值、方差、正负进位之间的协方差以及中心极限定理。数字之间的相关性要求确定合适的转移概率,以获得给定长度的所有展开式的均匀分布。描述了获得任意正则语言的这种转移概率的一般过程。还分析了von Neumann的对称符号数字展开并行加法的迭代次数,包括期望、方差和收敛到双指数极限分布。这种分析是在生成函数序列的一般框架中进行的。

MSC公司:

60二氧化碳 组合概率
11A63型 基数表示;数字问题
60F05型 中心极限和其他弱定理
65年第68季度 形式语言和自动机
68瓦40 算法分析

软件:

SageMath公司
PDF格式BibTeX公司 XML格式引用

参考文献:

[1] Diaconis,P.,Fulman,J.:平衡进位的组合数学。高级申请。数学。59, 8-25 (2014) ·Zbl 1308.60018号 ·doi:10.1016/j.aam.2014.05.005
[2] Flajolet,P.,Gourdon,X.,Dumas,P.:梅林变换和渐近:调和和。理论。计算。科学。144, 3-58 (1995) ·Zbl 0869.68057号 ·文件编号:10.1016/0304-3975(95)00002-E
[3] Heuberger,C.,Krenn,D.,Kropf,S.:SageMath-组合数学中的自动机与理论计算机科学相结合。离散数学。西奥。计算。科学。18(3), 1-21 (2016) ·Zbl 1401.68369号
[4] Heuberger,C.,Kropf,S.,Prodinger,H.:有符号数字扩展中进位的分析——辅助文件,http://arxiv.org/src/1503.08816/anc (2015) ·Zbl 1419.60009号
[5] Heuberger,C.,Kropf,S.,Wagner,S.:换能器输出的中心极限定理中的方差和协变。《欧洲联合杂志》第49卷,第167-187页(2015年)·Zbl 1329.68161号 ·doi:10.1016/j.ejc.2015.03.004
[6] Heuberger,C.,Prodinger,H.:关于冗余数字系统中的最小扩张:算法和定量分析。计算66,377-393(2001)·Zbl 1030.11003号 ·数字标识代码:10.1007/s006070170021
[7] Heuberger,C.,Prodinger,H.:符号数字表示中的进位传播。《欧洲联合杂志》24,293-320(2003)·兹伯利1026.11015 ·doi:10.1016/S0195-6698(03)00008-8
[8] Knuth,D.E.:进位传播的平均时间。内德勒。阿卡德。韦滕施。印度。数学。40, 238-242 (1978) ·Zbl 0382.10035号 ·doi:10.1016/S1385-7258(78)80014-6
[9] Nakano,F.,Sadahiro,T.:进位过程和欧拉数的推广。应用程序中的高级。数学。53, 28-43 (2014) ·Zbl 1285.60007号 ·doi:10.1016/j.aam.2013.09.005
[10] Parry,W.:内在马尔可夫链。事务处理。阿米尔。数学。Soc.11255-66(1964年)·Zbl 0127.35301号 ·doi:10.1090/S0002-9947-1964-0161372-1
[11] Prodinger,H.,Wagner,S.:自举和双指数极限定律。离散数学。西奥。计算。科学。17(1), 123-144 (2015) ·Zbl 1311.05015号
[12] Reitwiesner,G.W.:二进制算术,《计算机进展》,第1卷,第231-308页。纽约学术出版社(1960)·Zbl 0119.00403号
[13] SageMath开发者:SageMathMathematics Software(7.0版),2016年,http://www.sagemath.org ·Zbl 0869.68057号
[14] 香农,C.E.:传播的数学理论。贝尔系统技术杂志27,379-423(1948)·Zbl 1154.94303号 ·doi:10.1002/j.1538-7305.1948.tb01338.x
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。