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 条

[41] DISORDER EFFECTS IN 2-DIMENSIONAL FERMI SYSTEMS WITH CONICAL SPECTRUM - EXACT RESULTS FOR THE DENSITY-OF-STATES
NERSESYAN, AA
TSVELIK, AM
WENGER, F
NUCLEAR PHYSICS B, 1995, 438 (03) : 561 - 588
[42] NONTRIVIAL SADDLE-POINTS AND BAND-STRUCTURE OF BOUND-STATES OF THE 2-DIMENSIONAL O(N)-VECTOR MODEL
FEINBERG, J
NUCLEAR PHYSICS B, 1995, 433 (03) : 625 - 656
[43] An Analytic Solution to the Limit Cycle Control Problem for Multi-modal and 2-dimensional Piecewise Affine Systems
Kai, Tatsuya
Izumi, Kousuke
2017 56TH ANNUAL CONFERENCE OF THE SOCIETY OF INSTRUMENT AND CONTROL ENGINEERS OF JAPAN (SICE), 2017, : 365 - 368
[44] EFFECT OF LANDAU-LEVEL MIXING ON QUANTUM-LIQUID AND SOLID STATES OF 2-DIMENSIONAL HOLE SYSTEMS
SANTOS, MB
JO, J
SUEN, YW
ENGEL, LW
SHAYEGAN, M
PHYSICAL REVIEW B, 1992, 46 (20): : 13639 - 13642
[45] LOCALIZED VIBRATIONAL-STATES ON THE EXTREMITY OF AN ISOLATED INHOMOGENEITY EXTENDING FROM THE BOUNDARY INTO THE BULK OF 2-DIMENSIONAL SYSTEMS
KHATER, A
RAFIL, O
LABAYE, Y
PENNEC, Y
SOLID STATE COMMUNICATIONS, 1993, 87 (01) : 53 - 57
[46] DIRECT DETERMINATION OF THE DENSITY-OF-STATES IN 2-DIMENSIONAL SYSTEMS BY MAGNETOCAPACITANCES OF BIASED DOUBLE-BARRIER STRUCTURES
SONG, AM
ZHENG, HZ
YANG, FH
LI, YX
SURFACE SCIENCE, 1994, 305 (1-3) : 139 - 144
[47] THEORY OF FIELD-INDUCED SPIN-DENSITY WAVE STATES IN ANISOTROPIC 2-DIMENSIONAL ELECTRON-SYSTEMS
MACHIDA, K
HORI, Y
NAKANO, M
JOURNAL OF THE PHYSICAL SOCIETY OF JAPAN, 1991, 60 (05) : 1730 - 1742
[48] ENHANCED FINITE-WAVE-VECTOR CONDUCTIVITY AT MULTIPLE EVEN-DENOMINATOR FILLING FACTORS IN 2-DIMENSIONAL ELECTRON-SYSTEMS
WILLETT, RL
RUEL, RR
PAALANEN, MA
WEST, KW
PFEIFFER, LN
PHYSICAL REVIEW B, 1993, 47 (12): : 7344 - 7347
[49] EFFECT OF INTERFACE QUALITY ON THE ELECTRICAL-PROPERTIES OF P-SI SIGE 2-DIMENSIONAL HOLE GAS SYSTEMS
MISHIMA, T
FREDRIKSZ, CW
VANDEWALLE, GFA
GRAVESTEIJN, DJ
VANDENHEUVEL, RA
VANGORKUM, AA
APPLIED PHYSICS LETTERS, 1990, 57 (24) : 2567 - 2569
[50] Convergence of relativistic perturbation theory for the 1s2p states in low-Z heliumlike systems
Martensson-Pendrill, A.-M.
Lindgren, I.
Lindroth, E.
Salomonson, S.
Staudte, D.S.
Physical Review A. Atomic, Molecular, and Optical Physics, 1995, 51 (05):

← 1 2 3 4 5 →