PulseAugur
实时 10:52:18
实体 3 Vasyliianok Street, Ivano-Frankivsk

3 Vasyliianok Street, Ivano-Frankivsk

PulseAugur coverage of 3 Vasyliianok Street, Ivano-Frankivsk — every cluster mentioning 3 Vasyliianok Street, Ivano-Frankivsk across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
0
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
0
90 天内 1
层级分布 · 90 天
主题
最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_185367 ·

    3-VAS 中的可达性问题复杂度已确定为 PSPACE 完全

    研究人员确定了特定类型向量加法系统(VAS)中可达性问题的精确复杂度。他们证明了三维对称向量加法系统(3-VAS)的可达性问题是 PSPACE-难的。这一发现结合现有的上界,将一般 3-VAS 和 4-VAS 及其对称变体的可达性问题的复杂度确定为 PSPACE 完全。