Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101847887> ?p ?o ?g. }
Showing items 1 to 92 of
92
with 100 items per page.
- W3101847887 endingPage "45" @default.
- W3101847887 startingPage "32" @default.
- W3101847887 abstract "Finding whether a linear-constraint loop has a linear ranking function is an important key to understanding the loop behavior, proving its termination and establishing iteration bounds. If no preconditions are provided, the decision problem is known to be in coNP when variables range over the integers and in PTIME for the rational numbers, or real numbers. Here we show that deciding whether a linear-constraint loop with a precondition, specifically with partially-specified input, has a linear ranking function is EXPSPACE-hard over the integers, and PSPACE-hard over the rationals. The precise complexity of these decision problems is yet unknown. The EXPSPACE lower bound is derived from the reachability problem for Petri nets (equivalently, Vector Addition Systems), and possibly indicates an even stronger lower bound (subject to open problems in VAS theory). The lower bound for the rationals follows from a novel simulation of Boolean programs. Lower bounds are also given for the problem of deciding if a linear ranking-function supported by a particular form of inductive invariant exists. For loops over integers, the problem is PSPACE-hard for convex polyhedral invariants and EXPSPACE-hard for downward-closed sets of natural numbers as invariants." @default.
- W3101847887 created "2020-11-23" @default.
- W3101847887 creator A5019616888 @default.
- W3101847887 date "2014-08-24" @default.
- W3101847887 modified "2023-10-15" @default.
- W3101847887 title "The Hardness of Finding Linear Ranking Functions for Lasso Programs" @default.
- W3101847887 cites W1493373428 @default.
- W3101847887 cites W1505135855 @default.
- W3101847887 cites W1523037784 @default.
- W3101847887 cites W1542502949 @default.
- W3101847887 cites W1585194019 @default.
- W3101847887 cites W1589106570 @default.
- W3101847887 cites W1608799719 @default.
- W3101847887 cites W1797219784 @default.
- W3101847887 cites W188927585 @default.
- W3101847887 cites W1925379677 @default.
- W3101847887 cites W1971872488 @default.
- W3101847887 cites W1983764301 @default.
- W3101847887 cites W1989462119 @default.
- W3101847887 cites W2017112612 @default.
- W3101847887 cites W2094997043 @default.
- W3101847887 cites W2095555925 @default.
- W3101847887 cites W2096096565 @default.
- W3101847887 cites W2106001218 @default.
- W3101847887 cites W2112350720 @default.
- W3101847887 cites W2132661148 @default.
- W3101847887 cites W4232668957 @default.
- W3101847887 cites W4249920159 @default.
- W3101847887 cites W4301330952 @default.
- W3101847887 doi "https://doi.org/10.4204/eptcs.161.6" @default.
- W3101847887 hasPublicationYear "2014" @default.
- W3101847887 type Work @default.
- W3101847887 sameAs 3101847887 @default.
- W3101847887 citedByCount "3" @default.
- W3101847887 countsByYear W31018478872016 @default.
- W3101847887 crossrefType "journal-article" @default.
- W3101847887 hasAuthorship W3101847887A5019616888 @default.
- W3101847887 hasBestOaLocation W31018478871 @default.
- W3101847887 hasConcept C11413529 @default.
- W3101847887 hasConcept C114614502 @default.
- W3101847887 hasConcept C115988155 @default.
- W3101847887 hasConcept C118615104 @default.
- W3101847887 hasConcept C134026603 @default.
- W3101847887 hasConcept C134306372 @default.
- W3101847887 hasConcept C136643341 @default.
- W3101847887 hasConcept C14036430 @default.
- W3101847887 hasConcept C2777669093 @default.
- W3101847887 hasConcept C311688 @default.
- W3101847887 hasConcept C33923547 @default.
- W3101847887 hasConcept C45340560 @default.
- W3101847887 hasConcept C46875033 @default.
- W3101847887 hasConcept C77553402 @default.
- W3101847887 hasConcept C78458016 @default.
- W3101847887 hasConcept C86803240 @default.
- W3101847887 hasConceptScore W3101847887C11413529 @default.
- W3101847887 hasConceptScore W3101847887C114614502 @default.
- W3101847887 hasConceptScore W3101847887C115988155 @default.
- W3101847887 hasConceptScore W3101847887C118615104 @default.
- W3101847887 hasConceptScore W3101847887C134026603 @default.
- W3101847887 hasConceptScore W3101847887C134306372 @default.
- W3101847887 hasConceptScore W3101847887C136643341 @default.
- W3101847887 hasConceptScore W3101847887C14036430 @default.
- W3101847887 hasConceptScore W3101847887C2777669093 @default.
- W3101847887 hasConceptScore W3101847887C311688 @default.
- W3101847887 hasConceptScore W3101847887C33923547 @default.
- W3101847887 hasConceptScore W3101847887C45340560 @default.
- W3101847887 hasConceptScore W3101847887C46875033 @default.
- W3101847887 hasConceptScore W3101847887C77553402 @default.
- W3101847887 hasConceptScore W3101847887C78458016 @default.
- W3101847887 hasConceptScore W3101847887C86803240 @default.
- W3101847887 hasLocation W31018478871 @default.
- W3101847887 hasLocation W31018478872 @default.
- W3101847887 hasLocation W31018478873 @default.
- W3101847887 hasOpenAccess W3101847887 @default.
- W3101847887 hasPrimaryLocation W31018478871 @default.
- W3101847887 hasRelatedWork W1548979236 @default.
- W3101847887 hasRelatedWork W2060144422 @default.
- W3101847887 hasRelatedWork W2099490078 @default.
- W3101847887 hasRelatedWork W2912654482 @default.
- W3101847887 hasRelatedWork W2951140680 @default.
- W3101847887 hasRelatedWork W3017277461 @default.
- W3101847887 hasRelatedWork W3208672221 @default.
- W3101847887 hasRelatedWork W4253760428 @default.
- W3101847887 hasRelatedWork W4287199681 @default.
- W3101847887 hasRelatedWork W4288581691 @default.
- W3101847887 hasVolume "161" @default.
- W3101847887 isParatext "false" @default.
- W3101847887 isRetracted "false" @default.
- W3101847887 magId "3101847887" @default.
- W3101847887 workType "article" @default.