Matches in SemOpenAlex for { <https://semopenalex.org/work/W2940923581> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W2940923581 abstract "Cost register automata (CRAs) are one-way finite automata whose transitions have the side effect that a register is set to the result of applying a state-dependent semiring operation to a pair of registers. Here it is shown that CRAs over the tropical semiring $(mathbb {N}cup {infty },min ,+)$ can simulate polynomial time computation, proving along the way that a naturally defined width-k circuit value problem over the tropical semiring is $textsf {P}$ -complete. Then the copyless variant of the CRA, requiring that semiring operations be applied to distinct registers, is shown no more powerful than $textsf {NC}^{1}$ when the semiring is $(mathbb {Z},+,times )$ or $({Gamma }^{*}cup {bot },max ,text {concat})$ . This relates questions left open in recent work on the complexity of CRA-computable functions to long-standing class separation conjectures in complexity theory, such as $textsf {NC}$ versus $textsf {P}$ and NC1 versus GapNC1." @default.
- W2940923581 created "2019-05-03" @default.
- W2940923581 creator A5011977613 @default.
- W2940923581 creator A5039352699 @default.
- W2940923581 creator A5078734824 @default.
- W2940923581 date "2017-11-01" @default.
- W2940923581 modified "2023-10-03" @default.
- W2940923581 title "Better complexity bounds for cost register automata" @default.
- W2940923581 doi "https://doi.org/10.4230/lipics.mfcs.2017.24" @default.
- W2940923581 hasPublicationYear "2017" @default.
- W2940923581 type Work @default.
- W2940923581 sameAs 2940923581 @default.
- W2940923581 citedByCount "1" @default.
- W2940923581 countsByYear W29409235812018 @default.
- W2940923581 crossrefType "proceedings-article" @default.
- W2940923581 hasAuthorship W2940923581A5011977613 @default.
- W2940923581 hasAuthorship W2940923581A5039352699 @default.
- W2940923581 hasAuthorship W2940923581A5078734824 @default.
- W2940923581 hasConcept C112505250 @default.
- W2940923581 hasConcept C128916667 @default.
- W2940923581 hasConcept C138885662 @default.
- W2940923581 hasConcept C169590947 @default.
- W2940923581 hasConcept C173608175 @default.
- W2940923581 hasConcept C199360897 @default.
- W2940923581 hasConcept C2779235478 @default.
- W2940923581 hasConcept C41008148 @default.
- W2940923581 hasConcept C41895202 @default.
- W2940923581 hasConcept C80444323 @default.
- W2940923581 hasConceptScore W2940923581C112505250 @default.
- W2940923581 hasConceptScore W2940923581C128916667 @default.
- W2940923581 hasConceptScore W2940923581C138885662 @default.
- W2940923581 hasConceptScore W2940923581C169590947 @default.
- W2940923581 hasConceptScore W2940923581C173608175 @default.
- W2940923581 hasConceptScore W2940923581C199360897 @default.
- W2940923581 hasConceptScore W2940923581C2779235478 @default.
- W2940923581 hasConceptScore W2940923581C41008148 @default.
- W2940923581 hasConceptScore W2940923581C41895202 @default.
- W2940923581 hasConceptScore W2940923581C80444323 @default.
- W2940923581 hasLocation W29409235811 @default.
- W2940923581 hasOpenAccess W2940923581 @default.
- W2940923581 hasPrimaryLocation W29409235811 @default.
- W2940923581 hasRelatedWork W1486131361 @default.
- W2940923581 hasRelatedWork W1504200807 @default.
- W2940923581 hasRelatedWork W1508043890 @default.
- W2940923581 hasRelatedWork W1527333475 @default.
- W2940923581 hasRelatedWork W1538765844 @default.
- W2940923581 hasRelatedWork W1539133686 @default.
- W2940923581 hasRelatedWork W1545489949 @default.
- W2940923581 hasRelatedWork W1563646575 @default.
- W2940923581 hasRelatedWork W1574778830 @default.
- W2940923581 hasRelatedWork W1582402643 @default.
- W2940923581 hasRelatedWork W1797209310 @default.
- W2940923581 hasRelatedWork W1965022641 @default.
- W2940923581 hasRelatedWork W2009317959 @default.
- W2940923581 hasRelatedWork W2047061522 @default.
- W2940923581 hasRelatedWork W2125573351 @default.
- W2940923581 hasRelatedWork W2155075753 @default.
- W2940923581 hasRelatedWork W2793976475 @default.
- W2940923581 hasRelatedWork W2850503404 @default.
- W2940923581 hasRelatedWork W2901146805 @default.
- W2940923581 hasRelatedWork W2113464683 @default.
- W2940923581 isParatext "false" @default.
- W2940923581 isRetracted "false" @default.
- W2940923581 magId "2940923581" @default.
- W2940923581 workType "article" @default.