Matches in SemOpenAlex for { <https://semopenalex.org/work/W4383469324> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4383469324 abstract "It is known that first-order logic with some counting extensions can be efficiently evaluated on graph classes with bounded expansion, where depth-$r$ minors have constant density. More precisely, the formulas are $exists x_1 ... x_k #y varphi(x_1,...,x_k, y)>N$, where $varphi$ is an FO-formula. If $varphi$ is quantifier-free, we can extend this result to nowhere dense graph classes with an almost linear FPT run time. Lifting this result further to slightly more general graph classes, namely almost nowhere dense classes, where the size of depth-$r$ clique minors is subpolynomial, is impossible unless FPT=W[1]. On the other hand, in almost nowhere dense classes we can approximate such counting formulas with a small additive error. Note those counting formulas are contained in FOC({<}) but not FOC1(P). In particular, it follows that partial covering problems, such as partial dominating set, have fixed parameter algorithms on nowhere dense graph classes with almost linear running time." @default.
- W4383469324 created "2023-07-07" @default.
- W4383469324 creator A5053133051 @default.
- W4383469324 creator A5059825938 @default.
- W4383469324 creator A5062653045 @default.
- W4383469324 date "2023-07-04" @default.
- W4383469324 modified "2023-10-18" @default.
- W4383469324 title "Evaluating Restricted First-Order Counting Properties on Nowhere Dense Classes and Beyond" @default.
- W4383469324 doi "https://doi.org/10.48550/arxiv.2307.01832" @default.
- W4383469324 hasPublicationYear "2023" @default.
- W4383469324 type Work @default.
- W4383469324 citedByCount "0" @default.
- W4383469324 crossrefType "posted-content" @default.
- W4383469324 hasAuthorship W4383469324A5053133051 @default.
- W4383469324 hasAuthorship W4383469324A5059825938 @default.
- W4383469324 hasAuthorship W4383469324A5062653045 @default.
- W4383469324 hasBestOaLocation W43834693241 @default.
- W4383469324 hasConcept C10138342 @default.
- W4383469324 hasConcept C114614502 @default.
- W4383469324 hasConcept C118615104 @default.
- W4383469324 hasConcept C132525143 @default.
- W4383469324 hasConcept C134306372 @default.
- W4383469324 hasConcept C136979486 @default.
- W4383469324 hasConcept C162324750 @default.
- W4383469324 hasConcept C17327563 @default.
- W4383469324 hasConcept C177264268 @default.
- W4383469324 hasConcept C182306322 @default.
- W4383469324 hasConcept C199360897 @default.
- W4383469324 hasConcept C2777027219 @default.
- W4383469324 hasConcept C2777035058 @default.
- W4383469324 hasConcept C33923547 @default.
- W4383469324 hasConcept C34388435 @default.
- W4383469324 hasConcept C41008148 @default.
- W4383469324 hasConceptScore W4383469324C10138342 @default.
- W4383469324 hasConceptScore W4383469324C114614502 @default.
- W4383469324 hasConceptScore W4383469324C118615104 @default.
- W4383469324 hasConceptScore W4383469324C132525143 @default.
- W4383469324 hasConceptScore W4383469324C134306372 @default.
- W4383469324 hasConceptScore W4383469324C136979486 @default.
- W4383469324 hasConceptScore W4383469324C162324750 @default.
- W4383469324 hasConceptScore W4383469324C17327563 @default.
- W4383469324 hasConceptScore W4383469324C177264268 @default.
- W4383469324 hasConceptScore W4383469324C182306322 @default.
- W4383469324 hasConceptScore W4383469324C199360897 @default.
- W4383469324 hasConceptScore W4383469324C2777027219 @default.
- W4383469324 hasConceptScore W4383469324C2777035058 @default.
- W4383469324 hasConceptScore W4383469324C33923547 @default.
- W4383469324 hasConceptScore W4383469324C34388435 @default.
- W4383469324 hasConceptScore W4383469324C41008148 @default.
- W4383469324 hasLocation W43834693241 @default.
- W4383469324 hasOpenAccess W4383469324 @default.
- W4383469324 hasPrimaryLocation W43834693241 @default.
- W4383469324 hasRelatedWork W1975886103 @default.
- W4383469324 hasRelatedWork W2884094849 @default.
- W4383469324 hasRelatedWork W2892310954 @default.
- W4383469324 hasRelatedWork W2953352215 @default.
- W4383469324 hasRelatedWork W2996267286 @default.
- W4383469324 hasRelatedWork W3021940774 @default.
- W4383469324 hasRelatedWork W3127936178 @default.
- W4383469324 hasRelatedWork W4293398891 @default.
- W4383469324 hasRelatedWork W4318146752 @default.
- W4383469324 hasRelatedWork W4383469324 @default.
- W4383469324 isParatext "false" @default.
- W4383469324 isRetracted "false" @default.
- W4383469324 workType "article" @default.