Matches in SemOpenAlex for { <https://semopenalex.org/work/W2039967553> ?p ?o ?g. }
- W2039967553 endingPage "37" @default.
- W2039967553 startingPage "3" @default.
- W2039967553 abstract "We study the predecessor existence problem for finite discrete dynamical systems. Given a finite discrete dynamical system S and a configuration C, the Predecessor existence (or Pre) problem is to determine whether there is a configuration C′ such that S has a transition from C′ to C. In addition to the decision version, we also study the following variants: the #-Predecessor existence (or #Pre) problem–counting the number of predecessors, the Unique-Predecessor existence (or UPre) problem–deciding whether there is a unique predecessor and the Ambiguous-Predecessor existence (or APre) problem–given a configuration C and a predecessor C′ of C, deciding whether there is a different predecessor C″ of C. General techniques are presented for simultaneously characterizing the computational complexity of the Pre problem and its three variants. Our hardness results are based on the concept of simultaneous reductions: single transformations that can be used to simultaneously prove the hardness of the different variants of the Pre problem for their respective complexity classes. Our easiness results are based on dynamic programming and they extend the previous results on Pre problem for one-dimensional cellular automata. The hardness results together with the easiness results provide a tight separation between easy and hard instances. Further, the results imply similar bounds for other classes of finite discrete dynamical systems including discrete Hopfield and recurrent neural networks, concurrent state machines, systolic networks and one- and two-dimensional cellular automata. Our results extend the earlier results of Green, Sutner and Orponen on the complexity of the predecessor existence problem and its variants." @default.
- W2039967553 created "2016-06-24" @default.
- W2039967553 creator A5009388396 @default.
- W2039967553 creator A5020293284 @default.
- W2039967553 creator A5034277599 @default.
- W2039967553 creator A5052202085 @default.
- W2039967553 creator A5055302503 @default.
- W2039967553 creator A5086740853 @default.
- W2039967553 creator A5086835651 @default.
- W2039967553 date "2007-10-01" @default.
- W2039967553 modified "2023-10-16" @default.
- W2039967553 title "Predecessor existence problems for finite discrete dynamical systems" @default.
- W2039967553 cites W1486156436 @default.
- W2039967553 cites W1537449969 @default.
- W2039967553 cites W1552994311 @default.
- W2039967553 cites W1554918412 @default.
- W2039967553 cites W1561770367 @default.
- W2039967553 cites W1654194294 @default.
- W2039967553 cites W1965499304 @default.
- W2039967553 cites W1966825814 @default.
- W2039967553 cites W1968720345 @default.
- W2039967553 cites W1975501803 @default.
- W2039967553 cites W1978443179 @default.
- W2039967553 cites W1983501217 @default.
- W2039967553 cites W1995725694 @default.
- W2039967553 cites W2001690162 @default.
- W2039967553 cites W2006382572 @default.
- W2039967553 cites W2011723719 @default.
- W2039967553 cites W2012041962 @default.
- W2039967553 cites W2014144020 @default.
- W2039967553 cites W2016984055 @default.
- W2039967553 cites W2017369466 @default.
- W2039967553 cites W2019107258 @default.
- W2039967553 cites W2023873787 @default.
- W2039967553 cites W2026210450 @default.
- W2039967553 cites W2027223427 @default.
- W2039967553 cites W2033515910 @default.
- W2039967553 cites W2041224156 @default.
- W2039967553 cites W2042654457 @default.
- W2039967553 cites W2045719484 @default.
- W2039967553 cites W2068719667 @default.
- W2039967553 cites W2076223914 @default.
- W2039967553 cites W2084450446 @default.
- W2039967553 cites W2091345559 @default.
- W2039967553 cites W2099791628 @default.
- W2039967553 cites W2115826669 @default.
- W2039967553 cites W2124637492 @default.
- W2039967553 cites W2127028562 @default.
- W2039967553 cites W2137813581 @default.
- W2039967553 cites W2139127975 @default.
- W2039967553 cites W2148606196 @default.
- W2039967553 cites W2148888011 @default.
- W2039967553 cites W2156841851 @default.
- W2039967553 cites W2166566648 @default.
- W2039967553 cites W2167951823 @default.
- W2039967553 cites W2168748468 @default.
- W2039967553 cites W3171144941 @default.
- W2039967553 cites W4251236756 @default.
- W2039967553 doi "https://doi.org/10.1016/j.tcs.2007.04.026" @default.
- W2039967553 hasPublicationYear "2007" @default.
- W2039967553 type Work @default.
- W2039967553 sameAs 2039967553 @default.
- W2039967553 citedByCount "41" @default.
- W2039967553 countsByYear W20399675532012 @default.
- W2039967553 countsByYear W20399675532013 @default.
- W2039967553 countsByYear W20399675532014 @default.
- W2039967553 countsByYear W20399675532015 @default.
- W2039967553 countsByYear W20399675532017 @default.
- W2039967553 countsByYear W20399675532018 @default.
- W2039967553 countsByYear W20399675532019 @default.
- W2039967553 countsByYear W20399675532020 @default.
- W2039967553 countsByYear W20399675532021 @default.
- W2039967553 countsByYear W20399675532022 @default.
- W2039967553 crossrefType "journal-article" @default.
- W2039967553 hasAuthorship W2039967553A5009388396 @default.
- W2039967553 hasAuthorship W2039967553A5020293284 @default.
- W2039967553 hasAuthorship W2039967553A5034277599 @default.
- W2039967553 hasAuthorship W2039967553A5052202085 @default.
- W2039967553 hasAuthorship W2039967553A5055302503 @default.
- W2039967553 hasAuthorship W2039967553A5086740853 @default.
- W2039967553 hasAuthorship W2039967553A5086835651 @default.
- W2039967553 hasConcept C112505250 @default.
- W2039967553 hasConcept C11413529 @default.
- W2039967553 hasConcept C115988155 @default.
- W2039967553 hasConcept C118615104 @default.
- W2039967553 hasConcept C121332964 @default.
- W2039967553 hasConcept C167822520 @default.
- W2039967553 hasConcept C179799912 @default.
- W2039967553 hasConcept C33923547 @default.
- W2039967553 hasConcept C33962884 @default.
- W2039967553 hasConcept C35527583 @default.
- W2039967553 hasConcept C41008148 @default.
- W2039967553 hasConcept C48103436 @default.
- W2039967553 hasConcept C62520636 @default.
- W2039967553 hasConcept C79379906 @default.
- W2039967553 hasConcept C80444323 @default.
- W2039967553 hasConcept C96314035 @default.
- W2039967553 hasConceptScore W2039967553C112505250 @default.