平衡三进制超前进位加法器

1、超前进位加法器

这是一个新尝试,未证明其正确性,只是一个设想,利用加法运算规则,提前算出进位及和的电路,而现在用平衡三进制全加器来实现,一个CONS门与一个SUM门来实现半加器,两个半加器加一个ANY门来合并进位实现全加器,而ANY门相当于减配版本的SUM门,以下是电路图:

全加器每一位的运算公式:

Sum = A SUM B SUM Old Carry

New Carry = (A CONS B) ANY (Old Carry CONS (A SUM B))

进位传播项:Pi=A SUM B

进位产生项:Gi=A CONS B

全加器运算公式变形为:

Sum = Pi SUM Old Carry

New Carry = Gi ANY (Old Carry CONS Pi)


以四位加法器来分析超前进位原理:

c1 = g0 ANY (p0 CONS c0)

c2 = g1 ANY (p1 CONS c1)

c3 = g2 ANY (p2 CONS c2)

c4 = g3 ANY (p3 CONS c3)

将c1、c2、c3的值依次代入,得:

c2 = g1 ANY (p1 CONS (g0 ANY (p0 CONS c0)))

c3 = g2 ANY (p2 CONS ( g1 ANY (p1 CONS (g0 ANY (p0 CONS c0)))))

c4 = g3 ANY (p3 CONS (g2 ANY (p2 CONS ( g1 ANY (p1 CONS (g0 ANY (p0 CONS c0)))))))

也就是:

c1 = g0 ANY (p0 * c0)

c2 = g1 ANY (p1 * g0) ANY (p1 * p0 * c0)

c3 = g2 ANY (p2 * g1) ANY (p2 * p1 * g0) ANY (p2 * p1 * p0 * c0)

c4 = g3 ANY (p3 * g2) ANY (p3 * p2 * g1) ANY (p3 * p2* p1 * g0) ANY (p3 * p2 * p1 * p0 * c0)

注:其中 " * " 符号表示CONS操作符。

超前进位加法器速度更快,但同时电路会更复杂。


2、实现思路

上述的想要实现,那复杂度实现是太大了,有点不现实了,特别平衡三进制逻辑门也是很复杂的,所以从第一性原则出发,那就是以结果为导向,参考用Rust写平衡三进制加法器来写,也就是代码如下所示:

也就是说,当以全加器时它的逻辑可以简化,这样子也就是它的进位,只受当前位与上一位的影响,可得公式:

C(i+1)=TFULLCONS(ai,bi,ci);

c1=TFULLCONS(a0,b0,c0);

c2=TFULLCONS(a1,b1,c1);

c3=TFULLCONS(a2,b2,c2);

c4=TFULLCONS(a3,b3,c3);

如果可以提前算出所有的进位,也就是(c4,c3,c2,c1),那么A SUM B再加上这个提前算出所有的进位就可以得到答案,也就是超前加法器,而(a0,b0)是知道的所以可以先算出CONSa0,b0,然后设法得到CONSa0,b0 X c0得到TFULLCONS(a0,b0,c0),多套几层就行了。

参考:

1、balanced-ternary-algebra

2、Fast Ternary Addition

相关推荐
longlongzihan1 分钟前
LeetCode 128. 最长连续序列 —— 从排序到哈希集合
数据结构·c++·算法·leetcode·排序算法·哈希表
mmmmath_37 分钟前
二叉树の一些知识
数据结构·算法
DongQiShanRen12 分钟前
裁决台账双向互校(下):台账哈希链、三向对账与最小落地
人工智能·深度学习·算法·目标跟踪·自然语言处理·rust·哈希算法
SWAGGY..29 分钟前
【C++进阶】:(7)红黑树的原理与 C++ 实现:结构设计、插入调整及性质验证
android·java·开发语言·c++·算法
-dzk-32 分钟前
【技巧】LC 31.下一个排列
算法
(Charon)1 小时前
【C++面试】迭代器失效是什么?vector、list、map中如何避免迭代器失效
c++·算法·面试
驭渊的小故事2 小时前
NC229023 题解:二分答案求解“最大化最小值“问题
java·算法
朝朝辞暮i2 小时前
C++ 第 36 课:Action——机械臂/VLA 非常重要
开发语言·c++·算法·ros2
ra90fy2 小时前
B3873 [GESP202309 六级] 小杨买饮料
c++·算法
Omics Pro3 小时前
北理工李荣华:AI虚拟细胞证据多模态推理基准
数据库·人工智能·算法·机器学习·自然语言处理