Matches in SemOpenAlex for { <https://semopenalex.org/work/W2982659846> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2982659846 endingPage "606" @default.
- W2982659846 startingPage "585" @default.
- W2982659846 abstract "We investigate the computational complexity for determining various properties of a finite transformation semigroup given by generators. We introduce a simple framework to describe transformation semigroup properties that are decidable in [Formula: see text]. This framework is then used to show that the problems of deciding whether a transformation semigroup is a group, commutative or a semilattice are in [Formula: see text]. Deciding whether a semigroup has a left (respectively, right) zero is shown to be [Formula: see text]-complete, as are the problems of testing whether a transformation semigroup is nilpotent, [Formula: see text]-trivial or has central idempotents. We also give [Formula: see text] algorithms for testing whether a transformation semigroup is idempotent, orthodox, completely regular, Clifford or has commuting idempotents. Some of these algorithms are direct consequences of the more general result that arbitrary fixed semigroup equations can be tested in [Formula: see text]. Moreover, we show how to compute left and right identities of a transformation semigroup in polynomial time. Finally, we show that checking whether an element is regular is [Formula: see text]-complete." @default.
- W2982659846 created "2019-11-08" @default.
- W2982659846 creator A5006883247 @default.
- W2982659846 creator A5040878363 @default.
- W2982659846 date "2019-12-06" @default.
- W2982659846 modified "2023-09-24" @default.
- W2982659846 title "The complexity of properties of transformation semigroups" @default.
- W2982659846 cites W1188686926 @default.
- W2982659846 cites W1989887898 @default.
- W2982659846 cites W2027683388 @default.
- W2982659846 cites W2039529128 @default.
- W2982659846 cites W2049516232 @default.
- W2982659846 cites W2255021125 @default.
- W2982659846 cites W4236835455 @default.
- W2982659846 doi "https://doi.org/10.1142/s0218196720500125" @default.
- W2982659846 hasPublicationYear "2019" @default.
- W2982659846 type Work @default.
- W2982659846 sameAs 2982659846 @default.
- W2982659846 citedByCount "2" @default.
- W2982659846 countsByYear W29826598462021 @default.
- W2982659846 countsByYear W29826598462023 @default.
- W2982659846 crossrefType "journal-article" @default.
- W2982659846 hasAuthorship W2982659846A5006883247 @default.
- W2982659846 hasAuthorship W2982659846A5040878363 @default.
- W2982659846 hasBestOaLocation W29826598462 @default.
- W2982659846 hasConcept C104317684 @default.
- W2982659846 hasConcept C111472728 @default.
- W2982659846 hasConcept C118615104 @default.
- W2982659846 hasConcept C132170107 @default.
- W2982659846 hasConcept C136119220 @default.
- W2982659846 hasConcept C138885662 @default.
- W2982659846 hasConcept C153269930 @default.
- W2982659846 hasConcept C172252984 @default.
- W2982659846 hasConcept C183778304 @default.
- W2982659846 hasConcept C185592680 @default.
- W2982659846 hasConcept C202444582 @default.
- W2982659846 hasConcept C204241405 @default.
- W2982659846 hasConcept C207405024 @default.
- W2982659846 hasConcept C21112865 @default.
- W2982659846 hasConcept C2780586882 @default.
- W2982659846 hasConcept C33923547 @default.
- W2982659846 hasConcept C40417594 @default.
- W2982659846 hasConcept C55493867 @default.
- W2982659846 hasConceptScore W2982659846C104317684 @default.
- W2982659846 hasConceptScore W2982659846C111472728 @default.
- W2982659846 hasConceptScore W2982659846C118615104 @default.
- W2982659846 hasConceptScore W2982659846C132170107 @default.
- W2982659846 hasConceptScore W2982659846C136119220 @default.
- W2982659846 hasConceptScore W2982659846C138885662 @default.
- W2982659846 hasConceptScore W2982659846C153269930 @default.
- W2982659846 hasConceptScore W2982659846C172252984 @default.
- W2982659846 hasConceptScore W2982659846C183778304 @default.
- W2982659846 hasConceptScore W2982659846C185592680 @default.
- W2982659846 hasConceptScore W2982659846C202444582 @default.
- W2982659846 hasConceptScore W2982659846C204241405 @default.
- W2982659846 hasConceptScore W2982659846C207405024 @default.
- W2982659846 hasConceptScore W2982659846C21112865 @default.
- W2982659846 hasConceptScore W2982659846C2780586882 @default.
- W2982659846 hasConceptScore W2982659846C33923547 @default.
- W2982659846 hasConceptScore W2982659846C40417594 @default.
- W2982659846 hasConceptScore W2982659846C55493867 @default.
- W2982659846 hasIssue "03" @default.
- W2982659846 hasLocation W29826598461 @default.
- W2982659846 hasLocation W29826598462 @default.
- W2982659846 hasOpenAccess W2982659846 @default.
- W2982659846 hasPrimaryLocation W29826598461 @default.
- W2982659846 hasRelatedWork W114852214 @default.
- W2982659846 hasRelatedWork W1979023522 @default.
- W2982659846 hasRelatedWork W2024745540 @default.
- W2982659846 hasRelatedWork W2361990078 @default.
- W2982659846 hasRelatedWork W2898795341 @default.
- W2982659846 hasRelatedWork W2982659846 @default.
- W2982659846 hasRelatedWork W3102674590 @default.
- W2982659846 hasRelatedWork W42431776 @default.
- W2982659846 hasRelatedWork W4289360504 @default.
- W2982659846 hasRelatedWork W99042958 @default.
- W2982659846 hasVolume "30" @default.
- W2982659846 isParatext "false" @default.
- W2982659846 isRetracted "false" @default.
- W2982659846 magId "2982659846" @default.
- W2982659846 workType "article" @default.