Servile 发表于 2025-3-28 18:03:29

http://reply.papertrans.cn/24/2339/233817/233817_41.png

Callus 发表于 2025-3-28 21:21:05

http://reply.papertrans.cn/24/2339/233817/233817_42.png

纺织品 发表于 2025-3-29 02:51:50

http://reply.papertrans.cn/24/2339/233817/233817_43.png

生命层 发表于 2025-3-29 04:35:37

http://reply.papertrans.cn/24/2339/233817/233817_44.png

avarice 发表于 2025-3-29 10:21:41

http://reply.papertrans.cn/24/2339/233817/233817_45.png

justify 发表于 2025-3-29 14:22:42

http://reply.papertrans.cn/24/2339/233817/233817_46.png

thalamus 发表于 2025-3-29 17:53:58

http://reply.papertrans.cn/24/2339/233817/233817_47.png

流浪 发表于 2025-3-29 21:56:08

http://reply.papertrans.cn/24/2339/233817/233817_48.png

hereditary 发表于 2025-3-30 01:19:38

Ernst Homburg,Anthony S. Travis function on that input.).We give a relativized negative answer to this question by exhibiting an oracle under which . functions are easy to compute but the polynomial-time hierarchy is infinite. We also show that relative to this same oracle, . and . functions are not computable in polynomial-time with an . oracle.

无可非议 发表于 2025-3-30 05:26:26

https://doi.org/10.1007/978-1-4899-2498-8ayered grid graph (which is bimodal planar) is also complete for this class. We also relate the complexity of grid graph reachability to that of testing existence/uniqueness of a perfect matching in a planar bipartite graph.
页: 1 2 3 4 [5] 6 7
查看完整版本: Titlebook: Computer Science - Theory and Applications; Second International Volker Diekert,Mikhail V. Volkov,Andrei Voronkov Conference proceedings 20