实体 PSPACE-complete

PSPACE-complete

PulseAugur coverage of PSPACE-complete — every cluster mentioning PSPACE-complete across labs, papers, and developer communities, ranked by signal.

总计 · 30天

1

90 天内 1

发布 · 30天

0

90 天内 0

论文 · 30天

1

90 天内 1

层级分布 · 90 天

主题

情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条

TOOL · CL_167189 · Jul 28 · 04:00

新研究探讨知识库上的查询回答复杂度

本文深入研究了在本体知识库上回答导航查询的计算复杂度。研究人员分析了针对由受限存在规则定义的本体的双向规则路径查询（CRPQ）和合取规则路径查询（CRPQ）。对于线性存在规则，数据复杂度被发现是NL-complete，而组合复杂度则根据谓词元数在PTime-complete到ExpTime-complete之间变化。