优雅 发表于 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.pngBORE 发表于 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.