优雅 发表于 2025-3-30 12:12:45

http://reply.papertrans.cn/83/8219/821820/821820_51.png

痴呆 发表于 2025-3-30 16:14:03

http://reply.papertrans.cn/83/8219/821820/821820_52.png

草率女 发表于 2025-3-30 18:05:28

http://reply.papertrans.cn/83/8219/821820/821820_53.png

BORE 发表于 2025-3-30 21:26:02

,-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in ,,es of which are divided between the two players. Brázdil, Jančar, and Kučera (2010) have shown that for . > 0, deciding the winner in a game on .-dimensional VASS is in (. − 1)-.. In this paper, we show that, for . = 2, the problem is in ., and thus improve the . upper bound.
页: 1 2 3 4 5 [6]
查看完整版本: Titlebook: Reachability Problems; 4th International Wo Antonín Kučera,Igor Potapov Conference proceedings 2010 Springer-Verlag Berlin Heidelberg 2010