Matches in SemOpenAlex for { <https://semopenalex.org/work/W4320342617> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W4320342617 abstract "Our main result is a succinct counterpoint to Courcelle's meta-theorem as follows: every arborescent monadic second-order (MSO) property is either NP-hard or coNP-hard over graphs given by succinct representations. Succint representations are Boolean circuits computing the adjacency relation. Arborescent properties are those which have infinitely many models and countermodels with bounded treewidth. We actually prove this result in the terminology of automata network, which is a generalization of finite cellular automata over arbitrary graphs. This model arose from the biological modelization of neural networks and gene regulation networks. Our result states that every arborescent MSO property on the transition graph of automata networks is either NP-hard or coNP-hard. Moreover, we explore what happens when the arborescence condition is dropped and show that, under a reasonable complexity assumption, the previous dichotomy fails, even for questions expressible in first-order logic." @default.
- W4320342617 created "2023-02-13" @default.
- W4320342617 creator A5019284052 @default.
- W4320342617 creator A5038443903 @default.
- W4320342617 creator A5040482831 @default.
- W4320342617 creator A5065504812 @default.
- W4320342617 date "2023-02-08" @default.
- W4320342617 modified "2023-09-26" @default.
- W4320342617 title "Hardness of monadic second-order formulae over succinct graphs" @default.
- W4320342617 hasPublicationYear "2023" @default.
- W4320342617 type Work @default.
- W4320342617 citedByCount "0" @default.
- W4320342617 crossrefType "posted-content" @default.
- W4320342617 hasAuthorship W4320342617A5019284052 @default.
- W4320342617 hasAuthorship W4320342617A5038443903 @default.
- W4320342617 hasAuthorship W4320342617A5040482831 @default.
- W4320342617 hasAuthorship W4320342617A5065504812 @default.
- W4320342617 hasBestOaLocation W43203426171 @default.
- W4320342617 hasConcept C10138342 @default.
- W4320342617 hasConcept C110484373 @default.
- W4320342617 hasConcept C111472728 @default.
- W4320342617 hasConcept C112505250 @default.
- W4320342617 hasConcept C114614502 @default.
- W4320342617 hasConcept C118615104 @default.
- W4320342617 hasConcept C132525143 @default.
- W4320342617 hasConcept C132569581 @default.
- W4320342617 hasConcept C134306372 @default.
- W4320342617 hasConcept C138885662 @default.
- W4320342617 hasConcept C162324750 @default.
- W4320342617 hasConcept C177148314 @default.
- W4320342617 hasConcept C182306322 @default.
- W4320342617 hasConcept C189950617 @default.
- W4320342617 hasConcept C203776342 @default.
- W4320342617 hasConcept C33923547 @default.
- W4320342617 hasConcept C34388435 @default.
- W4320342617 hasConcept C41008148 @default.
- W4320342617 hasConcept C43517604 @default.
- W4320342617 hasConcept C80444323 @default.
- W4320342617 hasConceptScore W4320342617C10138342 @default.
- W4320342617 hasConceptScore W4320342617C110484373 @default.
- W4320342617 hasConceptScore W4320342617C111472728 @default.
- W4320342617 hasConceptScore W4320342617C112505250 @default.
- W4320342617 hasConceptScore W4320342617C114614502 @default.
- W4320342617 hasConceptScore W4320342617C118615104 @default.
- W4320342617 hasConceptScore W4320342617C132525143 @default.
- W4320342617 hasConceptScore W4320342617C132569581 @default.
- W4320342617 hasConceptScore W4320342617C134306372 @default.
- W4320342617 hasConceptScore W4320342617C138885662 @default.
- W4320342617 hasConceptScore W4320342617C162324750 @default.
- W4320342617 hasConceptScore W4320342617C177148314 @default.
- W4320342617 hasConceptScore W4320342617C182306322 @default.
- W4320342617 hasConceptScore W4320342617C189950617 @default.
- W4320342617 hasConceptScore W4320342617C203776342 @default.
- W4320342617 hasConceptScore W4320342617C33923547 @default.
- W4320342617 hasConceptScore W4320342617C34388435 @default.
- W4320342617 hasConceptScore W4320342617C41008148 @default.
- W4320342617 hasConceptScore W4320342617C43517604 @default.
- W4320342617 hasConceptScore W4320342617C80444323 @default.
- W4320342617 hasLocation W43203426171 @default.
- W4320342617 hasLocation W43203426172 @default.
- W4320342617 hasOpenAccess W4320342617 @default.
- W4320342617 hasPrimaryLocation W43203426171 @default.
- W4320342617 hasRelatedWork W2178269805 @default.
- W4320342617 hasRelatedWork W2407805022 @default.
- W4320342617 hasRelatedWork W2949660516 @default.
- W4320342617 hasRelatedWork W2951043270 @default.
- W4320342617 hasRelatedWork W2963030972 @default.
- W4320342617 hasRelatedWork W3032736934 @default.
- W4320342617 hasRelatedWork W3082058299 @default.
- W4320342617 hasRelatedWork W3114856694 @default.
- W4320342617 hasRelatedWork W4225370530 @default.
- W4320342617 hasRelatedWork W4384339936 @default.
- W4320342617 isParatext "false" @default.
- W4320342617 isRetracted "false" @default.
- W4320342617 workType "article" @default.