量子氧微积分

题

经典，有3个受欢迎的方式，认为有关计算：图灵机、电路和lambda-微积分(我采用这种作为捕获的所有大多数的功能的意见)。所有3个已经卓有成效的方式考虑不同类型的问题，以及不同领域使用不同的制剂用于这个原因。

当我的工作与量子计算，但是，我只想过的电路的模式。最初，QC中定义的条款量子图灵机的但就我的理解是，这个定义(虽然等同于量子电路如果两个都制订仔细地)没有几乎一样富有成效的。3制剂(根据lambda-石或类似的功能设置的)我完全陌生的。因此，我的问题：

我知道我忽略了许多其他的受欢迎的形式主义喜欢蜂窝状自动机、RAM-模型，等等。我排除这些主要是因为我没有经验，与考虑这些模型中的经典，让孤独 quantumly.

我也知道，有很受欢迎的替代品在的量子设置，诸如基于测量，拓扑，绝热的。我不讨论它们，因为我不熟悉经典的同行。

解决方案

这里是一个半生不熟的回答：我知道，乌戈达尔湖在博洛尼亚大学已经在研究量子氧微积分。你可能想看看他的出版物也许这一特别是：

量子计算隐含的复杂性通过美国达尔戈，A。Masini，M。Zorzi.

我说它是一个半生不熟的答案，因为我还没有机会阅读他的任何工作。

其他提示

道歉的事先为无耻的插头，但是有一纸我的量子氧微积分，你可能会觉得有趣。它被称为 匕首氧微积分 并提供了一个高级代表为解电路，对分类学的量子计算中已经介绍：

你还可以检查我帮你在YouTube上的更多信息：

其他工作领域包括Selinger-Valiron量子lambda结石和lambda微积分由Andre van滕德:[Sel04a], [Sel04b], [vTD03], [vT04], [SV04], [SV08], [SV10].

许可以下： CC-BY-SA 和归因