Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293359513> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W4293359513 abstract "In rendez-vous protocols an arbitrarily large number of indistinguishable finite-state agents interact in pairs. The cut-off problem asks if there exists a number $B$ such that all initial configurations of the protocol with at least $B$ agents in a given initial state can reach a final configuration with all agents in a given final state. In a recent paper (Horn and Sangnier, CONCUR 2020), Horn and Sangnier proved that the cut-off problem is decidable (and at least as hard as the Petri net reachability problem) for protocols with a leader, and in EXPSPACE for leaderless protocols. Further, for the special class of symmetric protocols they reduce these bounds to PSPACE and NP, respectively. The problem of lowering these upper bounds or finding matching lower bounds was left open. We show that the cut-off problem is P-complete for leaderless protocols and in NC for leaderless symmetric protocols. Further, we also consider a variant of the cut-off problem suggested in (Horn and Sangnier, CONCUR 2020), which we call the bounded-loss cut-off problem and prove that this problem is P-complete for leaderless protocols and NL-complete for leaderless symmetric protocols. Finally, by reusing some of the techniques applied for the analysis of leaderless protocols, we show that the cut-off problem for symmetric protocols with a leader is NP-complete, thereby improving upon all the elementary upper bounds of (Horn and Sangnier, CONCUR 2020)." @default.
- W4293359513 created "2022-08-27" @default.
- W4293359513 creator A5008915624 @default.
- W4293359513 creator A5085912690 @default.
- W4293359513 creator A5090378914 @default.
- W4293359513 date "2020-10-19" @default.
- W4293359513 modified "2023-10-13" @default.
- W4293359513 title "Finding Cut-Offs in Leaderless Rendez-Vous Protocols is Easy" @default.
- W4293359513 doi "https://doi.org/10.48550/arxiv.2010.09471" @default.
- W4293359513 hasPublicationYear "2020" @default.
- W4293359513 type Work @default.
- W4293359513 citedByCount "0" @default.
- W4293359513 crossrefType "posted-content" @default.
- W4293359513 hasAuthorship W4293359513A5008915624 @default.
- W4293359513 hasAuthorship W4293359513A5085912690 @default.
- W4293359513 hasAuthorship W4293359513A5090378914 @default.
- W4293359513 hasBestOaLocation W42933595131 @default.
- W4293359513 hasConcept C11413529 @default.
- W4293359513 hasConcept C114614502 @default.
- W4293359513 hasConcept C118615104 @default.
- W4293359513 hasConcept C134306372 @default.
- W4293359513 hasConcept C136643341 @default.
- W4293359513 hasConcept C142724271 @default.
- W4293359513 hasConcept C153269930 @default.
- W4293359513 hasConcept C179799912 @default.
- W4293359513 hasConcept C197685441 @default.
- W4293359513 hasConcept C204787440 @default.
- W4293359513 hasConcept C2777669093 @default.
- W4293359513 hasConcept C2780385302 @default.
- W4293359513 hasConcept C33923547 @default.
- W4293359513 hasConcept C34388435 @default.
- W4293359513 hasConcept C41008148 @default.
- W4293359513 hasConcept C48103436 @default.
- W4293359513 hasConcept C71924100 @default.
- W4293359513 hasConcept C77553402 @default.
- W4293359513 hasConceptScore W4293359513C11413529 @default.
- W4293359513 hasConceptScore W4293359513C114614502 @default.
- W4293359513 hasConceptScore W4293359513C118615104 @default.
- W4293359513 hasConceptScore W4293359513C134306372 @default.
- W4293359513 hasConceptScore W4293359513C136643341 @default.
- W4293359513 hasConceptScore W4293359513C142724271 @default.
- W4293359513 hasConceptScore W4293359513C153269930 @default.
- W4293359513 hasConceptScore W4293359513C179799912 @default.
- W4293359513 hasConceptScore W4293359513C197685441 @default.
- W4293359513 hasConceptScore W4293359513C204787440 @default.
- W4293359513 hasConceptScore W4293359513C2777669093 @default.
- W4293359513 hasConceptScore W4293359513C2780385302 @default.
- W4293359513 hasConceptScore W4293359513C33923547 @default.
- W4293359513 hasConceptScore W4293359513C34388435 @default.
- W4293359513 hasConceptScore W4293359513C41008148 @default.
- W4293359513 hasConceptScore W4293359513C48103436 @default.
- W4293359513 hasConceptScore W4293359513C71924100 @default.
- W4293359513 hasConceptScore W4293359513C77553402 @default.
- W4293359513 hasLocation W42933595131 @default.
- W4293359513 hasOpenAccess W4293359513 @default.
- W4293359513 hasPrimaryLocation W42933595131 @default.
- W4293359513 hasRelatedWork W1563422794 @default.
- W4293359513 hasRelatedWork W1970063378 @default.
- W4293359513 hasRelatedWork W1989788631 @default.
- W4293359513 hasRelatedWork W2003945049 @default.
- W4293359513 hasRelatedWork W2032269072 @default.
- W4293359513 hasRelatedWork W2060144422 @default.
- W4293359513 hasRelatedWork W2150468037 @default.
- W4293359513 hasRelatedWork W2912654482 @default.
- W4293359513 hasRelatedWork W2951140680 @default.
- W4293359513 hasRelatedWork W4288581691 @default.
- W4293359513 isParatext "false" @default.
- W4293359513 isRetracted "false" @default.
- W4293359513 workType "article" @default.