Matches in SemOpenAlex for { <https://semopenalex.org/work/W2141124297> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2141124297 abstract "We investigate structural complexity measures on digraphs, in particular the cycle rank. This concept is intimately related to a classical topic in formal language theory, namely the star height of regular languages. We explore this connection, and obtain several new algorithmic insights regarding both cycle rank and star height. Among other results, we show that computing the cycle rank is NP-complete, even for sparse digraphs of maximum outdegree 2. Notwithstanding, we provide both a polynomial-time approximation algorithm and an exponential-time exact algorithm for this problem. The former algorithm yields an O((log n)^(3/2))- approximation in polynomial time, whereas the latter yields the optimum solution, and runs in time and space O*(1.9129^n) on digraphs of maximum outdegree at most two. Regarding the star height problem, we identify a subclass of the regular languages for which we can precisely determine the computational complexity of the star height problem. Namely, the star height problem for bideterministic languages is NP-complete, and this holds already for binary alphabets. Then we translate the algorithmic results concerning cycle rank to the bideterministic star height problem, thus giving a polynomial-time approximation as well as a reasonably fast exact exponential algorithm for bideterministic star height." @default.
- W2141124297 created "2016-06-24" @default.
- W2141124297 creator A5040523230 @default.
- W2141124297 date "2011-11-22" @default.
- W2141124297 modified "2023-10-03" @default.
- W2141124297 title "Digraph Complexity Measures and Applications in Formal Language Theory" @default.
- W2141124297 cites W2092386826 @default.
- W2141124297 cites W2093130995 @default.
- W2141124297 cites W2108189610 @default.
- W2141124297 hasPublicationYear "2011" @default.
- W2141124297 type Work @default.
- W2141124297 sameAs 2141124297 @default.
- W2141124297 citedByCount "2" @default.
- W2141124297 crossrefType "posted-content" @default.
- W2141124297 hasAuthorship W2141124297A5040523230 @default.
- W2141124297 hasConcept C112505250 @default.
- W2141124297 hasConcept C11413529 @default.
- W2141124297 hasConcept C114614502 @default.
- W2141124297 hasConcept C118615104 @default.
- W2141124297 hasConcept C134306372 @default.
- W2141124297 hasConcept C148764684 @default.
- W2141124297 hasConcept C151376022 @default.
- W2141124297 hasConcept C164226766 @default.
- W2141124297 hasConcept C179799912 @default.
- W2141124297 hasConcept C197685441 @default.
- W2141124297 hasConcept C2779145032 @default.
- W2141124297 hasConcept C2780897414 @default.
- W2141124297 hasConcept C311688 @default.
- W2141124297 hasConcept C33923547 @default.
- W2141124297 hasConcept C41008148 @default.
- W2141124297 hasConcept C52370388 @default.
- W2141124297 hasConcept C80444323 @default.
- W2141124297 hasConcept C90119067 @default.
- W2141124297 hasConceptScore W2141124297C112505250 @default.
- W2141124297 hasConceptScore W2141124297C11413529 @default.
- W2141124297 hasConceptScore W2141124297C114614502 @default.
- W2141124297 hasConceptScore W2141124297C118615104 @default.
- W2141124297 hasConceptScore W2141124297C134306372 @default.
- W2141124297 hasConceptScore W2141124297C148764684 @default.
- W2141124297 hasConceptScore W2141124297C151376022 @default.
- W2141124297 hasConceptScore W2141124297C164226766 @default.
- W2141124297 hasConceptScore W2141124297C179799912 @default.
- W2141124297 hasConceptScore W2141124297C197685441 @default.
- W2141124297 hasConceptScore W2141124297C2779145032 @default.
- W2141124297 hasConceptScore W2141124297C2780897414 @default.
- W2141124297 hasConceptScore W2141124297C311688 @default.
- W2141124297 hasConceptScore W2141124297C33923547 @default.
- W2141124297 hasConceptScore W2141124297C41008148 @default.
- W2141124297 hasConceptScore W2141124297C52370388 @default.
- W2141124297 hasConceptScore W2141124297C80444323 @default.
- W2141124297 hasConceptScore W2141124297C90119067 @default.
- W2141124297 hasOpenAccess W2141124297 @default.
- W2141124297 hasRelatedWork W106665802 @default.
- W2141124297 hasRelatedWork W1522653943 @default.
- W2141124297 hasRelatedWork W1843530649 @default.
- W2141124297 hasRelatedWork W1979254690 @default.
- W2141124297 hasRelatedWork W1987249556 @default.
- W2141124297 hasRelatedWork W2092239832 @default.
- W2141124297 hasRelatedWork W2182026046 @default.
- W2141124297 hasRelatedWork W2185144104 @default.
- W2141124297 hasRelatedWork W2187700168 @default.
- W2141124297 hasRelatedWork W2205189132 @default.
- W2141124297 hasRelatedWork W2253657605 @default.
- W2141124297 hasRelatedWork W2289000419 @default.
- W2141124297 hasRelatedWork W2296729072 @default.
- W2141124297 hasRelatedWork W2921791163 @default.
- W2141124297 hasRelatedWork W2952758584 @default.
- W2141124297 hasRelatedWork W2963233018 @default.
- W2141124297 hasRelatedWork W2963463533 @default.
- W2141124297 hasRelatedWork W2963685860 @default.
- W2141124297 hasRelatedWork W2996877459 @default.
- W2141124297 hasRelatedWork W3002117425 @default.
- W2141124297 isParatext "false" @default.
- W2141124297 isRetracted "false" @default.
- W2141124297 magId "2141124297" @default.
- W2141124297 workType "article" @default.