Non-Elementary Complexities for Branching VASS, MELL, and Extensions

被引：0

作者：

Lazic, Ranko ^{[1
]}

Schmitz, Sylvain ^{[2
,3
,4
]}

机构：

[1] Univ Warwick, Dept Comp Sci, Coventry, W Midlands, England

[2] ENS Cachan, LSV, Gif Sur Yvette, France

[3] CNRS, Paris, France

[4] INRIA, Rocquencourt, France

来源：

PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS) | 2014年

关键词：

Fast-growing complexity; linear logic; substructural logic; vector addition systems; FINITE-MODEL PROPERTY; LINEAR LOGIC; FRAGMENTS;

D O I：

10.1145/2603088.2603129

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We study the complexity of reachability problems on branching extensions of vector addition systems, which allows us to derive new non-elementary complexity bounds for fragments and variants of propositional linear logic. We show that provability in the multiplicative exponential fragment is TOWER-hard already in the affine case-and hence non-elementary. We match this lower bound for the full propositional affine linear logic, proving its TOWER-completeness. We also show that provability in propositional contractive linear logic is ACKERMANN-complete.

引用

页数：10

共 50 条

[1] Nonelementary Complexities for Branching VASS, MELL, and Extensions
Lazic, Ranko
Schmitz, Sylvain
ACM TRANSACTIONS ON COMPUTATIONAL LOGIC, 2015, 16 (03)
[2] An elementary construction for a non-elementary procedure
Marx M.
Mikulás S.
Studia Logica, 2002, 72 (2) : 253 - 263
[3] ON NON-ELEMENTARY SINGULAR POINTS
AGGARWAL, JK
JOURNAL OF THE FRANKLIN INSTITUTE-ENGINEERING AND APPLIED MATHEMATICS, 1966, 281 (01): : 41 - &
[4] NON-ELEMENTARY CLASSES OF REPRESENTABLE POSETS
Egrot, Rob
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2017, 145 (11) : 4675 - 4685
[5] ON MINIMAL NON-ELEMENTARY LIE ALGEBRAS
Towers, David A.
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 2015, 143 (01) : 117 - 120
[6] Non-elementary solutions of difference equations
Nishioka, Seiji
JOURNAL OF DIFFERENCE EQUATIONS AND APPLICATIONS, 2013, 19 (01) : 54 - 58
[7] Efficient elementary and restricted non-elementary route pricing
Martinelli, Rafael
Pecin, Diego
Poggi, Marcus
EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2014, 239 (01) : 102 - 111
[8] Dependence relations in non-elementary classes
Kolesnikov, AS
Logic and Its Applications, 2005, 380 : 203 - 230
[9] NON-ELEMENTARY CATASTROPHE-THEORY
STEWART, I
IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS, 1983, 30 (09): : 663 - 670
[10] FADDEEV EQUATIONS FOR NON-ELEMENTARY PARTICLES
HAN, CS
CHUU, DS
LIN, DL
BULLETIN OF THE AMERICAN PHYSICAL SOCIETY, 1972, 17 (04): : 609 - &

← 1 2 3 4 5 →