白色相簿

关键内容预览 - 与 Q# 比较 - 实例 - 文档 - 安装 ​在 2020 PLDI 会议上（程序语言和编译技术领域的顶级会议），苏黎世联邦理工学院(ETH-Zurich)的计算机科学教授 Martin Vechev 介绍了一种量子计算机的高级编程语言 Silq[1][2]，使其可以像传统计算机一样简单，可靠且安全地对量子计算机进行编程。 与现有的其它编程语言相比，该语言更安全、更简单、更快、更直观且更易于理解，它使程序员能够更好地对量子计算机进行编程，从而能够充分利用量子计算机的潜力。该算法已发布在其官网上，源码发布于 Github[3] 使用 D...

与 Q# 相比，Silq 需要更少的代码，并使用更少的内置函数，注释和入口。 为了将 Silq 与 Q# 进行比较，我们用 Silq 解决了 Microsoft Q# 2018 夏季和 2019 冬季编码竞赛的全部 28 项任务。 我们将 Silq 解决方案与语言设计师从 2018 年至2019 年提供的 Q# 参考解决方案进行了比较。 § 实例 根据对参赛者代码的人工调查，我们认为他们可以在Silq中更好地编码其预期的解决方案。 在下文中，我们展示了两种常见的模式。 § 控制前翻转(Flip Before Control) // Q# code snippetX(qs[0]);...

在下文中，我们将回顾一些针对 Codeforces 上的 Microsoft Q# 夏季 2018 和冬季 2019 编码竞赛的 Silq 解决方案。 针对 Q# 程序员的详细解决方案可在 2018 年和 2019 年获得。 § 生成零态和基态的叠加态 任务的原始来源：问题A2（2018） 给定经典位 b∈𝔹nb\in 𝔹^nb∈Bn 且 b[0]=1b[0]=1b[0]=1 ，返回态 12(∣b⟩+∣0⟩)\frac{1}{\sqrt{2}}\Big(\ket{b}+\ket{0} \Big)2​1​(∣b⟩+∣0⟩) ，其中...

§ 注解(annotations) Silq支持!、qfree、mfree、const和lifted的注解。 § 经典(Classical)类型! 为指名类型 τ 可能仅有经典值（而不是叠加态(superpositions)），我们注解它为 !τ!\tau!τ 。这保证了我们能更自由地复制和删除这种类型的值。例如，1+21+21+2 有类型!int[n]。经比较，H(0)是 12n(∣0⟩+∣1⟩)\frac{1}{\sqrt{2^n}}\left(\ket{0}+\ket{1}\right)2n​1​(∣0⟩+∣1⟩)...

§ 推荐：VSCode 插件 安装 Silq 的推荐方法是使用其 Visual Studio Code 插件。这种方法适用于 Linux 、Mac 和 Windows 。同样适用于 VSCodium（VSCode 的 Fork 版本） § 安装 VSCode 安装文档 § 安装插件 打开 VSCode 打开扩展选项卡（快捷键 Ctrl + Shift + X） 安装vscode-silq § Unicode 输入 安装 Input Assist 扩展 在VSCode设置（快捷键 Ctrl +...

§ 背景 假设读者知道量子计算的基本背景。具体来说，读者应该熟悉以下几个概念： 概念 简介 量子位(qubit)的状态 φ=γ0∣0⟩+γ1∣1⟩γ0,γ1∈C \varphi=\gamma_0\ket{0}+\gamma_1\ket{1}\quad\gamma_0,\gamma_1\in\mathbb{C}\,φ=γ0​∣0⟩+γ1​∣1⟩γ0​,γ1​∈C 基(basis)态(states) 非叠加态，像是...

§ 守恒量 在经典力学中，若一个物理量对时间的导数恒为零，则称它为守恒量（有条件的）。例如，保守系统的能量及中心力场中质点的角动量。在量子力学中，根据 Born 的统计解释，我们说一个力学量 A^\hat{A}A^ 在一个量子力学体系中是守恒量，是指对于该体系的任何一个允许态（满足 Schrödinger...

LaTeX\LaTeXLATE​X 学习记录/小抄，参考书目[1][2][3][4] texdoc lshort-zh-cn 标准文档类 - CTeX宏集 - 封面设计 - 字体 页面设置 - 图片及图文混排 - 表格 - 数学公式 代码/伪码 - 参考文献 - 化学式及化学方程式 乐谱 - 棋谱 - 相关历史 - 常用宏包 - 常用网站 **** - 开发文档类 - 开发宏包 § 参考资料 《 LaTeX\LaTeXLATE​X 入门》刘海洋 ↩︎ 《一份（不太）简短的 LaTeX 2ε\LaTeX\,2\varepsilonLATE​X2ε...

§ 力学量的定义及其算符表示 Heisenberg 要求一个力学量必须是实验上可以观测的量，从而导致了力学量的矩阵表示的概念。Schrödinger 将动量用算符表示为 P^=ℏi∇\hat{P}=\frac{\hbar}{i}\nablaP^=iℏ​∇ 。量子力学能够告诉我们的实际上是一个被观测的体系如何同按照经典规律运行的 “仪器” 相互作用。 算符概念的变化 作用在一个函数上得出另一个函数的运算符号 →\to→ 无穷维线性空间内的矩阵 →\to→ 一台经典仪器 为将这些概念有机地结合起来，Landau 和 Lifschitz...

这里需要密码