Matches in SemOpenAlex for { <https://semopenalex.org/work/W4385890379> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4385890379 abstract "We study the problem of enumerating Tarski fixed points, focusing on the relational lattices of equivalences, quasiorders and binary relations. We present a polynomial space enumeration algorithm for Tarski fixed points on these lattices and other lattices of polynomial height. It achieves polynomial delay when enumerating fixed points of increasing isotone maps on all three lattices, as well as decreasing isotone maps on the lattice of binary relations. In those cases in which the enumeration algorithm does not guarantee polynomial delay on the three relational lattices on the other hand, we prove exponential lower bounds for deciding the existence of three fixed points when the isotone map is given as an oracle, and that it is NP-hard to find three or more Tarski fixed points. More generally, we show that any deterministic or bounded-error randomized algorithm must perform a number of queries asymptotically at least as large as the lattice width to decide the existence of three fixed points when the isotone map is given as an oracle. Finally, we demonstrate that our findings yield a polynomial delay and space algorithm for listing bisimulations and instances of some related models of behavioral or role equivalence." @default.
- W4385890379 created "2023-08-17" @default.
- W4385890379 creator A5030904171 @default.
- W4385890379 date "2023-08-15" @default.
- W4385890379 modified "2023-09-27" @default.
- W4385890379 title "Enumerating Tarski fixed points on lattices of binary relations" @default.
- W4385890379 doi "https://doi.org/10.48550/arxiv.2308.07923" @default.
- W4385890379 hasPublicationYear "2023" @default.
- W4385890379 type Work @default.
- W4385890379 citedByCount "0" @default.
- W4385890379 crossrefType "posted-content" @default.
- W4385890379 hasAuthorship W4385890379A5030904171 @default.
- W4385890379 hasBestOaLocation W43858903791 @default.
- W4385890379 hasConcept C114614502 @default.
- W4385890379 hasConcept C115903868 @default.
- W4385890379 hasConcept C118615104 @default.
- W4385890379 hasConcept C121332964 @default.
- W4385890379 hasConcept C134306372 @default.
- W4385890379 hasConcept C156340839 @default.
- W4385890379 hasConcept C24890656 @default.
- W4385890379 hasConcept C2780069185 @default.
- W4385890379 hasConcept C2781204021 @default.
- W4385890379 hasConcept C311688 @default.
- W4385890379 hasConcept C33923547 @default.
- W4385890379 hasConcept C34388435 @default.
- W4385890379 hasConcept C41008148 @default.
- W4385890379 hasConcept C55166926 @default.
- W4385890379 hasConcept C61445026 @default.
- W4385890379 hasConcept C65180967 @default.
- W4385890379 hasConcept C90119067 @default.
- W4385890379 hasConceptScore W4385890379C114614502 @default.
- W4385890379 hasConceptScore W4385890379C115903868 @default.
- W4385890379 hasConceptScore W4385890379C118615104 @default.
- W4385890379 hasConceptScore W4385890379C121332964 @default.
- W4385890379 hasConceptScore W4385890379C134306372 @default.
- W4385890379 hasConceptScore W4385890379C156340839 @default.
- W4385890379 hasConceptScore W4385890379C24890656 @default.
- W4385890379 hasConceptScore W4385890379C2780069185 @default.
- W4385890379 hasConceptScore W4385890379C2781204021 @default.
- W4385890379 hasConceptScore W4385890379C311688 @default.
- W4385890379 hasConceptScore W4385890379C33923547 @default.
- W4385890379 hasConceptScore W4385890379C34388435 @default.
- W4385890379 hasConceptScore W4385890379C41008148 @default.
- W4385890379 hasConceptScore W4385890379C55166926 @default.
- W4385890379 hasConceptScore W4385890379C61445026 @default.
- W4385890379 hasConceptScore W4385890379C65180967 @default.
- W4385890379 hasConceptScore W4385890379C90119067 @default.
- W4385890379 hasLocation W43858903791 @default.
- W4385890379 hasOpenAccess W4385890379 @default.
- W4385890379 hasPrimaryLocation W43858903791 @default.
- W4385890379 hasRelatedWork W1535181386 @default.
- W4385890379 hasRelatedWork W1970465162 @default.
- W4385890379 hasRelatedWork W2069652878 @default.
- W4385890379 hasRelatedWork W2110385897 @default.
- W4385890379 hasRelatedWork W2112972328 @default.
- W4385890379 hasRelatedWork W2135368627 @default.
- W4385890379 hasRelatedWork W2161147766 @default.
- W4385890379 hasRelatedWork W2577192446 @default.
- W4385890379 hasRelatedWork W4298625440 @default.
- W4385890379 hasRelatedWork W2585570101 @default.
- W4385890379 isParatext "false" @default.
- W4385890379 isRetracted "false" @default.
- W4385890379 workType "article" @default.