Matches in SemOpenAlex for { <https://semopenalex.org/work/W2798731600> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W2798731600 abstract "Recently it was shown that the transitive closure of a directed graph can be updated using first-order formulas after insertions and deletions of single edges in the dynamic descriptive complexity framework by Dong, Su, and Topor, and Patnaik and Immerman. In other words, Reachability is in DynFO. In this article we extend the framework to changes of multiple edges at a time, and study the Reachability and Distance queries under these changes. We show that the former problem can be maintained in DynFO$(+, times)$ under changes affecting O($frac{log n}{log log n}$) nodes, for graphs with $n$ nodes. If the update formulas may use a majority quantifier then both Reachability and Distance can be maintained under changes that affect O($log^c n$) nodes, for fixed $c in mathbb{N}$. Some preliminary results towards showing that distances are in DynFO are discussed." @default.
- W2798731600 created "2018-05-07" @default.
- W2798731600 creator A5023740993 @default.
- W2798731600 creator A5046919162 @default.
- W2798731600 creator A5056318386 @default.
- W2798731600 creator A5084799539 @default.
- W2798731600 date "2018-04-23" @default.
- W2798731600 modified "2023-09-27" @default.
- W2798731600 title "Reachability and Distances under Multiple Changes." @default.
- W2798731600 cites W2011697756 @default.
- W2798731600 cites W2017205387 @default.
- W2798731600 cites W2027897659 @default.
- W2798731600 cites W2045583484 @default.
- W2798731600 cites W2104849640 @default.
- W2798731600 cites W2128510017 @default.
- W2798731600 cites W241260042 @default.
- W2798731600 cites W2485455256 @default.
- W2798731600 cites W2614633957 @default.
- W2798731600 cites W2952337735 @default.
- W2798731600 hasPublicationYear "2018" @default.
- W2798731600 type Work @default.
- W2798731600 sameAs 2798731600 @default.
- W2798731600 citedByCount "1" @default.
- W2798731600 countsByYear W27987316002020 @default.
- W2798731600 crossrefType "posted-content" @default.
- W2798731600 hasAuthorship W2798731600A5023740993 @default.
- W2798731600 hasAuthorship W2798731600A5046919162 @default.
- W2798731600 hasAuthorship W2798731600A5056318386 @default.
- W2798731600 hasAuthorship W2798731600A5084799539 @default.
- W2798731600 hasConcept C114614502 @default.
- W2798731600 hasConcept C118615104 @default.
- W2798731600 hasConcept C128896722 @default.
- W2798731600 hasConcept C129691609 @default.
- W2798731600 hasConcept C132525143 @default.
- W2798731600 hasConcept C136643341 @default.
- W2798731600 hasConcept C146380142 @default.
- W2798731600 hasConcept C146834321 @default.
- W2798731600 hasConcept C154945302 @default.
- W2798731600 hasConcept C162324750 @default.
- W2798731600 hasConcept C191399111 @default.
- W2798731600 hasConcept C203776342 @default.
- W2798731600 hasConcept C22149727 @default.
- W2798731600 hasConcept C2778523021 @default.
- W2798731600 hasConcept C33923547 @default.
- W2798731600 hasConcept C34447519 @default.
- W2798731600 hasConcept C41008148 @default.
- W2798731600 hasConceptScore W2798731600C114614502 @default.
- W2798731600 hasConceptScore W2798731600C118615104 @default.
- W2798731600 hasConceptScore W2798731600C128896722 @default.
- W2798731600 hasConceptScore W2798731600C129691609 @default.
- W2798731600 hasConceptScore W2798731600C132525143 @default.
- W2798731600 hasConceptScore W2798731600C136643341 @default.
- W2798731600 hasConceptScore W2798731600C146380142 @default.
- W2798731600 hasConceptScore W2798731600C146834321 @default.
- W2798731600 hasConceptScore W2798731600C154945302 @default.
- W2798731600 hasConceptScore W2798731600C162324750 @default.
- W2798731600 hasConceptScore W2798731600C191399111 @default.
- W2798731600 hasConceptScore W2798731600C203776342 @default.
- W2798731600 hasConceptScore W2798731600C22149727 @default.
- W2798731600 hasConceptScore W2798731600C2778523021 @default.
- W2798731600 hasConceptScore W2798731600C33923547 @default.
- W2798731600 hasConceptScore W2798731600C34447519 @default.
- W2798731600 hasConceptScore W2798731600C41008148 @default.
- W2798731600 hasLocation W27987316001 @default.
- W2798731600 hasOpenAccess W2798731600 @default.
- W2798731600 hasPrimaryLocation W27987316001 @default.
- W2798731600 hasRelatedWork W1507638461 @default.
- W2798731600 hasRelatedWork W1550385021 @default.
- W2798731600 hasRelatedWork W1760754504 @default.
- W2798731600 hasRelatedWork W1974130741 @default.
- W2798731600 hasRelatedWork W2034412606 @default.
- W2798731600 hasRelatedWork W2044334960 @default.
- W2798731600 hasRelatedWork W2296544654 @default.
- W2798731600 hasRelatedWork W2344590581 @default.
- W2798731600 hasRelatedWork W2395489635 @default.
- W2798731600 hasRelatedWork W2771018306 @default.
- W2798731600 hasRelatedWork W2802632688 @default.
- W2798731600 hasRelatedWork W2889523050 @default.
- W2798731600 hasRelatedWork W2949979402 @default.
- W2798731600 hasRelatedWork W2950546819 @default.
- W2798731600 hasRelatedWork W2951038604 @default.
- W2798731600 hasRelatedWork W2952383637 @default.
- W2798731600 hasRelatedWork W3014067275 @default.
- W2798731600 hasRelatedWork W3042194019 @default.
- W2798731600 hasRelatedWork W3042983256 @default.
- W2798731600 hasRelatedWork W3196293640 @default.
- W2798731600 isParatext "false" @default.
- W2798731600 isRetracted "false" @default.
- W2798731600 magId "2798731600" @default.
- W2798731600 workType "article" @default.