Z-reachability Problem for Games on 2-dimensional Vector Addition Systems with States is in P

被引：5
|
作者：
Chaloupka, Jakub [1 ]
机构：
[1] Masaryk Univ, Fac Informat, Brno 60200, Czech Republic
来源：
FUNDAMENTA INFORMATICAE | 2013年 / 123卷 / 01期
关键词：
BISIMILARITY;
D O I：
10.3233/FI-2013-798
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We consider a two-player infinite game with zero-reachability objectives played on a 2-dimensional vector addition system with states (VASS), the states of which are divided between the two players. Brazdil, Jancar, and Kucera (2010) have shown that for k > 0, deciding the winner in a game on k-dimensional VASS is in (k - 1)-EXPTIME. In this paper, we show that, for k = 2, the problem is in P, and thus improve the EXPTIME upper bound.
引用
收藏
页码：15 / 42
页数：28
相关论文
共 50 条
  • [21] QUANTUM SCATTERING STATES IN OPEN 2-DIMENSIONAL ELECTRONIC SYSTEMS
    HARBURY, HK
    POROD, W
    JOURNAL OF APPLIED PHYSICS, 1994, 75 (10) : 5142 - 5149
  • [22] THE PROBLEM ON FINDING THE SPECTRUM AND STABILIZATION OF 2-DIMENSIONAL DISCRETE-SYSTEMS
    GAISHUN, IV
    HOANG, VQ
    DOKLADY AKADEMII NAUK BELARUSI, 1990, 34 (09): : 773 - 776
  • [23] Iterative approaches for solving a multi-objective 2-dimensional vector packing problem
    Dahmani, Nadia
    Clautiaux, Francois
    Krichen, Saoussen
    Talbi, El-Ghazali
    COMPUTERS & INDUSTRIAL ENGINEERING, 2013, 66 (01) : 158 - 170
  • [24] QUANTUM SCATTERING STATES IN OPEN 2-DIMENSIONAL ELECTRONIC SYSTEMS AND THE LOCAL-DENSITY OF STATES
    HARBURY, HK
    POROD, W
    COMPOUND SEMICONDUCTORS 1994, 1995, (141): : 787 - 792
  • [25] 2-DIMENSIONAL CONTROL-SYSTEMS - APPLICATION TO THE CD AND MD CONTROL PROBLEM
    WELLSTEAD, PE
    HEATH, WP
    PULP & PAPER-CANADA, 1994, 95 (02) : 48 - 51
  • [26] Solving the Multi-objective 2-Dimensional Vector Packing Problem Using ε-constraint Method
    Dahmani, Nadia
    Krichen, Saoussen
    Talbi, El-Ghazali
    Kaddoura, Sanaa
    TRENDS AND APPLICATIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 4, 2021, 1368 : 96 - 104
  • [27] PHASE-DIAGRAMS FOR 2-DIMENSIONAL 6-STATES AND 8-STATES SPIN SYSTEMS
    BADKE, R
    REINICKE, P
    RITTENBERG, V
    JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1985, 18 (01): : 73 - 82
  • [28] Self-adaptive metaheuristics for solving a multi-objective 2-dimensional vector packing problem
    Dahmani, Nadia
    Clautiaux, Francois
    Krichen, Saoussen
    Talbi, El-Ghazali
    APPLIED SOFT COMPUTING, 2014, 16 : 124 - 136
  • [29] CONJECTURE ON THE STRUCTURE OF SOLUTIONS OF THE RIEMANN PROBLEM FOR 2-DIMENSIONAL GAS-DYNAMICS SYSTEMS
    ZHANG, T
    ZHENG, YX
    SIAM JOURNAL ON MATHEMATICAL ANALYSIS, 1990, 21 (03) : 593 - 630
  • [30] 2-dimensional vector invariants of parabolic subgroups of Gl(2)(F-p) over the field F-p
    Campbell, HEA
    Hughes, IP
    JOURNAL OF PURE AND APPLIED ALGEBRA, 1996, 112 (01) : 1 - 12
12345