Questions tagged «notation»

3
为什么用冒号来表示值属于类型?
Pierce(2002)通过撰写第92页的文章介绍打字关系: 算术表达式的类型关系,写为“ t:T”,是由一组将类型分配给项的推理规则定义的 并且脚注说符号经常代替:。我的问题很简单,为什么类型理论家更喜欢使用:而不是?如果类型是一组值,则写入绝对有意义,不需要新的符号。∈∈\in∈∈\inTTTt∈Tt∈Tt \in T 这是否类似于某些cs编写者甚至认为滥用符号并应将其写为类似?3n2=O(n2)3n2=O(n2)3n^2 = O(n^2)3n2∈O(n2)3n2∈O(n2)3n^2 \in O(n^2)

2
条件哈密顿进化算符的符号
我正在阅读Harrow,Hassidim和Lloyd的论文《线性方程组的量子算法》。他们在该论文的第三页上写道 接下来,我们应用条件哈密顿进化上的∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots 对于我的一生,我无法弄清楚的含义。在那里做什么?如何将Σ 牛逼- 1 τ = 0 | τ ⟩ ⟨ τ | Ç ⊗ ê 我甲τ 吨ø / Ť作用于(比方说)| 0 ⟩&CircleTimes; | 0 ⟩或| 1 ⟩&CircleTimes; | 0 ⟩?CCC∑T− 1τ= 0|τ⟩ ⟨τ|C⊗ è我甲τŤØ/吨∑τ=0Ť-1个|τ⟩⟨τ|C⊗Ë一世一种τŤØ/Ť\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}| 0 ⟩&CircleTimes; | 0 ⟩|0⟩⊗|0⟩\left|0\right>\otimes \left|0\right>| 1 ⟩&CircleTimes; | …
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.