时间晶体。微波。钻石。这三个完全不同的东西有什么共同点?
量子计算。与使用比特的传统计算机不同,量子计算机使用量子位来将信息编码为0或1,或同时编码为0或1。再加上量子物理学的混合力量,这些冰箱大小的机器可以处理大量信息——但它们远非完美无缺。就像我们的普通计算机一样,我们需要正确的编程语言来正确地在量子计算机上进行计算。
为量子计算机编程需要意识到一种叫做“纠缠”的东西量子位的计算倍增器算是吧,这意味着很大的力量。当两个量子比特纠缠在一起时,一个量子比特的行为可以改变另一个的值,即使它们在物理上是分开的,这就产生了爱因斯坦对“幽灵般的远距离作用”的描述。但这种力量也同样是弱点的来源。在编程时,丢弃一个量子比特而不考虑它与另一个量子比特的纠缠会破坏存储在另一个量子比特中的数据,危及程序的正确性。
麻省理工学院计算机科学与人工智能(CSAIL)的科学家们试图通过创造他们自己的量子计算编程语言Twist来解开一些谜题。Twist可以通过经典程序员能够理解的语言,描述和验证量子程序中纠缠的数据。该语言使用了一个称为纯粹的概念,它强制消除了纠缠,并产生了更直观的程序,理想情况下bug更少。例如,程序员可以使用Twist来说明程序生成的垃圾临时数据没有与程序的答案纠缠在一起,因此可以安全地丢弃它。
从麻省理工学院的新闻
查看全文
没有发现记录