有没有人知道任何论文,文本或其他文件讨论使用超图来实现或代表一个不确定的图灵机？它们实际上是等同的吗？
例如,我非常确定超图能够正确且完整地表示非确定性图灵机的状态转换.但到目前为止,我还没有找到任何可以验证这一点的印刷品.在我看来,这似乎是一种如此明显的关系,但事实上,我没有找到现有的艺术,这让我觉得我走错了路.(也可能是我发现的东西不足以让我理解它在说什么.);-)
为什么我要问:我正在开发一个开源软件包,它在对等网络中进行分布式数据存储和分布式计算.我正在寻找可能支持所需功能的最原始的数据结构.到目前为止,分布式超图看起来很有希望.我的理由是,如果超图可以支持像非确定性图灵机一样通用的东西,那么它应该能够支持更高级别的图灵完整DSL.(还有其他原因,"非确定性"部分也可能对我有价值,与分布式数据和/或计算结果的版本控制有关.尽管这里试图避免论文.)
部分答案:
任何与 pypi 联系的 pip 命令在 Ubuntu 18.04 上运行速度都非常慢。
$ pip install -v pandas
Created temporary directory: /tmp/pip-ephem-wheel-cache-hvbcg1k_
Created temporary directory: /tmp/pip-install-7_spppvw
Collecting pandas
1 location(s) to search for versions of pandas:
* https://pypi.org/simple/pandas/
Getting page https://pypi.org/simple/pandas/
Looking up "https://pypi.org/simple/pandas/" in the cache
Current age based on date: 324440
Freshness lifetime from max-age: 600
Freshness lifetime from request max-age: 600
Starting new HTTPS connection (1): pypi.org
挂起约 1-2 分钟（至少）。
使用该选项可以--index-url=http://pypi.python.org/simple/大大加快速度，但似乎并不理想，因为它跳过了加密。有什么解决方法吗？
我有一个这样订购的数据库：
ID | Subject | Value
---------------------------------------------
1 Subj1 Val1
1 Subj2 Val2
2 Subj1 Val3
2 Subj5 Val4
等等。ID 数以千计，受试者数以万计。
我想找到这个矩阵的转置。我怎么做？
如果主题是一个小的静态集，那么我可以使用 CASE 语句，如以下解决方案所示：SQLITE - transpose rows into columnsproperly，但在我的情况下，主题是一个大的动态集，所以 CASE 将无法工作，除非我正在数据库外部的某些应用程序中动态构建 SQL。就我而言，没有“应用程序”；正如我在下面的评论中提到的，我正在寻找一个纯 SQL 解决方案。
问题是：我正在使用 SQLite，它缺少 PIVOT 语句，这将使这变得更容易。我不知道是否还有办法做到这一点，并且没有学到太多过去的连接类型。对于较小的数据库，我会尝试一系列左连接，但由于结果中有很多列值，我不知道如何操作。
如何转换成这种形式？
ID | Subj1 | Subj2 | Subj3 | etc.
--------------------------------------------------------------------
1 Val1 Val2 0
2 Val3 0 0