电枢公式
语雀电枢公式
同绕关系 是 同余关系 类比而来的
同余关系 : 余数一样的一堆数 具有 同余关系
同绕关系 : 最大公约数一样的一堆数 具有同绕关系
根据方程 x=nt+k 可以找出, 模n下, 所有与k同余的数
同样 根据 如下的电枢公式, 可以找出, 模n下, 所有 与k同绕的数
同绕关系
(∣nk)={x∣(n,x)=(n,k)∧x<n}
电枢公式解决的问题 (在12槽电枢中)
P1: 为什么3与9是同绕的?为什么4与8是同绕的?是什么性质让他们是同绕的?
P2: 为什么5是全可达的?
P3: 是不是质数都是全可达的?
P4: 哪些绕法能绕到8?
P5: 有几种绕法能绕到8?
P6: 有几种绕法与8是同绕的?
P7: 与8不同绕的绕法能不能绕到8?
P8: 用8最少绕几次能回到起点?
P9: 8能绕到的最小数是多少?
P10: 8绕多少次能绕到这个最小绕数?
P11: 8 能不能绕到1?
P12: 11绕几次能绕到1?
P13: 哪些绕法能绕到1?
P14: 为什么建议齿轮间的齿数尽量互质?
P15: 绕法8第一次回到起点后,共绕了几圈?
P16: 未来是否存在周三的国庆节
P17: 多个整升容量的桶如何倒出指定升数的水
P18:多个齿轮卡合后有多少状态
相关概念
P1: (∣nk) (k的同绕类)
P2 : (|n) (n的绕法集)
P3: k (绕法k)
P4: k0 (绕法k的最小绕数)
P5: k1 (绕法k的最小盖数)
P6: ∣k∣ (绕法k的阶)
P7: k−1 (绕法k的逆)
P8: ∣k∣s ( 绕法k对槽s的阶)
P9: kq ( 绕法k的商)
P10: kr ( 绕法k的余数)
P11: k+m (绕k空m的绕法)
定理
电枢公式
(∣nk)=(n,k)∗(∣(n,k)n1)
齐次性
a(∣nk)=(∣anak)
线性
a((∣n1k1)+(∣n2k2))=a(∣n1k1)+a(∣n2k2)
定理1.6
(∣a∣,∣b∣)=1⇒∣a+b∣=∣a∣∗∣b∣
定理1.7
n槽电枢,n=ks,则k=k0,s=s0,∣k∣=s,∣s∣=k
定理2
(∣pk1)=Npk−pNpk−1
定理3
素数p,(a,p)=1⟶(∣apa)=aNp
定理4
(∣p1α1p2α2...ptαt1)=Np1α1p2α2...ptαt−⋃i=1tpi∗Np1α1p2α2...piαi−1...ptαt
定理4.2
若 a,b 为素数 则 (∣ab1)=b(∣a1)+a(∣b1)=Nab−(b(∣a1)⋃a(∣b1))
a,b为素数时, 并和U 与 笛卡尔和+ 对函数z=x(∣y1)的轮换和 关于 Nab 互补
定理5
∣(∣p1α1p2α2...ptαt1)∣=p1α1p2α2...ptαt∏i=1t(1−pi1)
定理6
∣k∣=(n,k)n
定理6.2
n1,n2,...ns,s个齿轮两两卡合,则总状态数为[n1,n2,...,ns]
定理11
(∣nk)=(∣nn−k)
抽象电枢公式
(∣nk)=f(n,k)(∣f(n,k)n1)
集合 F 上的二元函数 f,如果满足以下三个条件,则可得到相对应的抽象电枢公式 ⟨F,f,n,1⟩。
其中,二元函数 f 称为抽象电枢函数,n 与 1 是 F 中的特异元素,由抽象电枢函数 f(n,x) 生成的等价关系称为抽象同绕关系。
- 齐次性:
kf(x,y)=f(kx,ky)
- 左吸收-----特异元1:
f(y,1)=1
- 唯一性-----特异元n:
对于 ∀n,k∈F,存在唯一的 q∈F,使得:
n=q⋅f(n,k)
同理可定义对应的同绕集:
{x∣f(n,x)=f(n,k)}