Matches in SemOpenAlex for { <https://semopenalex.org/work/W2891059172> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2891059172 abstract "We study the concept of compactor, which may be seen as a counting-analogue of kernelization in counting parameterized complexity. For a function F : Σ * → N and a parameterization κ : Σ * → N, a compactor (P, M) consists of a polynomial-time computable function P, called condenser, and a computable function M, called extractor, such that F = M•P, and the condensing P(x) of x has length at most s(κ(x)), for any input x ∈ Σ *. If s is a polynomial function, then the compactor is said to be of polynomial-size. Although the study on counting-analogue of kernelization is not unprecedented, it has received little attention so far. We study a family of vertex-certified counting problems on graphs that are MSOL-expressible; that is, for an MSOL-formula φ with one free set variable to be interpreted as a vertex subset, we want to count all A ⊆ V (G) where |A| = k and (G, A) |= φ. In this paper, we prove that every vertex-certified counting problems on graphs that is MSOL-expressible and treewidth modulable, when parameterized by k, admits a polynomial-size compactor on H-topological-minor-free graphs with condensing time O(k 2 n 2) and decoding time 2 O(k). This implies the existence of an FPT-algorithm of running time O(n 2 k 2) + 2 O(k). All aforementioned complexities are under the Uniform Cost Measure (UCM) model where numbers can be stored in constant space and arithmetic operations can be done in constant time." @default.
- W2891059172 created "2018-09-27" @default.
- W2891059172 creator A5022918002 @default.
- W2891059172 creator A5033912650 @default.
- W2891059172 creator A5085447779 @default.
- W2891059172 date "2018-12-16" @default.
- W2891059172 modified "2023-10-18" @default.
- W2891059172 title "Data-Compression for Parametrized Counting Problems on Sparse Graphs" @default.
- W2891059172 doi "https://doi.org/10.4230/lipics.isaac.2018.20" @default.
- W2891059172 hasPublicationYear "2018" @default.
- W2891059172 type Work @default.
- W2891059172 sameAs 2891059172 @default.
- W2891059172 citedByCount "2" @default.
- W2891059172 countsByYear W28910591722020 @default.
- W2891059172 countsByYear W28910591722022 @default.
- W2891059172 crossrefType "proceedings-article" @default.
- W2891059172 hasAuthorship W2891059172A5022918002 @default.
- W2891059172 hasAuthorship W2891059172A5033912650 @default.
- W2891059172 hasAuthorship W2891059172A5085447779 @default.
- W2891059172 hasConcept C114614502 @default.
- W2891059172 hasConcept C118615104 @default.
- W2891059172 hasConcept C132525143 @default.
- W2891059172 hasConcept C132569581 @default.
- W2891059172 hasConcept C134306372 @default.
- W2891059172 hasConcept C165464430 @default.
- W2891059172 hasConcept C16592021 @default.
- W2891059172 hasConcept C199360897 @default.
- W2891059172 hasConcept C203776342 @default.
- W2891059172 hasConcept C207225210 @default.
- W2891059172 hasConcept C2777027219 @default.
- W2891059172 hasConcept C28723256 @default.
- W2891059172 hasConcept C311688 @default.
- W2891059172 hasConcept C33923547 @default.
- W2891059172 hasConcept C41008148 @default.
- W2891059172 hasConcept C43517604 @default.
- W2891059172 hasConcept C80899671 @default.
- W2891059172 hasConcept C90119067 @default.
- W2891059172 hasConceptScore W2891059172C114614502 @default.
- W2891059172 hasConceptScore W2891059172C118615104 @default.
- W2891059172 hasConceptScore W2891059172C132525143 @default.
- W2891059172 hasConceptScore W2891059172C132569581 @default.
- W2891059172 hasConceptScore W2891059172C134306372 @default.
- W2891059172 hasConceptScore W2891059172C165464430 @default.
- W2891059172 hasConceptScore W2891059172C16592021 @default.
- W2891059172 hasConceptScore W2891059172C199360897 @default.
- W2891059172 hasConceptScore W2891059172C203776342 @default.
- W2891059172 hasConceptScore W2891059172C207225210 @default.
- W2891059172 hasConceptScore W2891059172C2777027219 @default.
- W2891059172 hasConceptScore W2891059172C28723256 @default.
- W2891059172 hasConceptScore W2891059172C311688 @default.
- W2891059172 hasConceptScore W2891059172C33923547 @default.
- W2891059172 hasConceptScore W2891059172C41008148 @default.
- W2891059172 hasConceptScore W2891059172C43517604 @default.
- W2891059172 hasConceptScore W2891059172C80899671 @default.
- W2891059172 hasConceptScore W2891059172C90119067 @default.
- W2891059172 hasLocation W28910591721 @default.
- W2891059172 hasOpenAccess W2891059172 @default.
- W2891059172 hasPrimaryLocation W28910591721 @default.
- W2891059172 hasRelatedWork W1500696169 @default.
- W2891059172 hasRelatedWork W1904620001 @default.
- W2891059172 hasRelatedWork W2049609719 @default.
- W2891059172 hasRelatedWork W2134469776 @default.
- W2891059172 hasRelatedWork W2145388251 @default.
- W2891059172 hasRelatedWork W2224152264 @default.
- W2891059172 hasRelatedWork W2294990651 @default.
- W2891059172 hasRelatedWork W2539516785 @default.
- W2891059172 hasRelatedWork W2611242280 @default.
- W2891059172 hasRelatedWork W2900662096 @default.
- W2891059172 hasRelatedWork W2904152387 @default.
- W2891059172 hasRelatedWork W2952105125 @default.
- W2891059172 hasRelatedWork W2962811261 @default.
- W2891059172 hasRelatedWork W2981749766 @default.
- W2891059172 hasRelatedWork W3044028331 @default.
- W2891059172 hasRelatedWork W3104815645 @default.
- W2891059172 hasRelatedWork W3128980175 @default.
- W2891059172 hasRelatedWork W3183157744 @default.
- W2891059172 hasRelatedWork W3183193948 @default.
- W2891059172 hasRelatedWork W3206264654 @default.
- W2891059172 hasVolume "123" @default.
- W2891059172 isParatext "false" @default.
- W2891059172 isRetracted "false" @default.
- W2891059172 magId "2891059172" @default.
- W2891059172 workType "article" @default.