Matches in SemOpenAlex for { <https://semopenalex.org/work/W4301422092> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W4301422092 abstract "We consider the convex hull $P_{varphi}(G)$ of all satisfying assignments of a given MSO formula $varphi$ on a given graph $G$. We show that there exists an extended formulation of the polytope $P_{varphi}(G)$ that can be described by $f(|varphi|,tau)cdot n$ inequalities, where $n$ is the number of vertices in $G$, $tau$ is the treewidth of $G$ and $f$ is a computable function depending only on $varphi$ and $tau.$ In other words, we prove that the extension complexity of $P_{varphi}(G)$ is linear in the size of the graph $G$, with a constant depending on the treewidth of $G$ and the formula $varphi$. This provides a very general yet very simple meta-theorem about the extension complexity of polytopes related to a wide class of problems and graphs. As a corollary of our main result, we obtain an analogous result % for the weaker MSO$_1$ logic on the wider class of graphs of bounded cliquewidth. Furthermore, we study our main geometric tool which we term the glued product of polytopes. While the glued product of polytopes has been known since the '90s, we are the first to show that it preserves decomposability and boundedness of treewidth of the constraint matrix. This implies that our extension of $P_varphi(G)$ is decomposable and has a constraint matrix of bounded treewidth; so far only few classes of polytopes are known to be decomposable. These properties make our extension useful in the construction of algorithms." @default.
- W4301422092 created "2022-10-05" @default.
- W4301422092 creator A5030598218 @default.
- W4301422092 creator A5036380953 @default.
- W4301422092 creator A5080963999 @default.
- W4301422092 date "2020-10-01" @default.
- W4301422092 modified "2023-09-27" @default.
- W4301422092 title "Extension Complexity, MSO Logic, and Treewidth" @default.
- W4301422092 doi "https://doi.org/10.23638/dmtcs-22-4-8" @default.
- W4301422092 hasPublicationYear "2020" @default.
- W4301422092 type Work @default.
- W4301422092 citedByCount "0" @default.
- W4301422092 crossrefType "journal-article" @default.
- W4301422092 hasAuthorship W4301422092A5030598218 @default.
- W4301422092 hasAuthorship W4301422092A5036380953 @default.
- W4301422092 hasAuthorship W4301422092A5080963999 @default.
- W4301422092 hasBestOaLocation W43014220922 @default.
- W4301422092 hasConcept C114614502 @default.
- W4301422092 hasConcept C118615104 @default.
- W4301422092 hasConcept C132525143 @default.
- W4301422092 hasConcept C132569581 @default.
- W4301422092 hasConcept C134306372 @default.
- W4301422092 hasConcept C145691206 @default.
- W4301422092 hasConcept C199360897 @default.
- W4301422092 hasConcept C203776342 @default.
- W4301422092 hasConcept C2524010 @default.
- W4301422092 hasConcept C2778029271 @default.
- W4301422092 hasConcept C33923547 @default.
- W4301422092 hasConcept C34388435 @default.
- W4301422092 hasConcept C41008148 @default.
- W4301422092 hasConcept C43517604 @default.
- W4301422092 hasConcept C90673727 @default.
- W4301422092 hasConceptScore W4301422092C114614502 @default.
- W4301422092 hasConceptScore W4301422092C118615104 @default.
- W4301422092 hasConceptScore W4301422092C132525143 @default.
- W4301422092 hasConceptScore W4301422092C132569581 @default.
- W4301422092 hasConceptScore W4301422092C134306372 @default.
- W4301422092 hasConceptScore W4301422092C145691206 @default.
- W4301422092 hasConceptScore W4301422092C199360897 @default.
- W4301422092 hasConceptScore W4301422092C203776342 @default.
- W4301422092 hasConceptScore W4301422092C2524010 @default.
- W4301422092 hasConceptScore W4301422092C2778029271 @default.
- W4301422092 hasConceptScore W4301422092C33923547 @default.
- W4301422092 hasConceptScore W4301422092C34388435 @default.
- W4301422092 hasConceptScore W4301422092C41008148 @default.
- W4301422092 hasConceptScore W4301422092C43517604 @default.
- W4301422092 hasConceptScore W4301422092C90673727 @default.
- W4301422092 hasLocation W43014220921 @default.
- W4301422092 hasLocation W43014220922 @default.
- W4301422092 hasLocation W43014220923 @default.
- W4301422092 hasOpenAccess W4301422092 @default.
- W4301422092 hasPrimaryLocation W43014220921 @default.
- W4301422092 hasRelatedWork W1871156538 @default.
- W4301422092 hasRelatedWork W2551359169 @default.
- W4301422092 hasRelatedWork W2949660516 @default.
- W4301422092 hasRelatedWork W2951043270 @default.
- W4301422092 hasRelatedWork W3080875783 @default.
- W4301422092 hasRelatedWork W3165098550 @default.
- W4301422092 hasRelatedWork W4285484079 @default.
- W4301422092 hasRelatedWork W4287169834 @default.
- W4301422092 hasRelatedWork W4297690337 @default.
- W4301422092 hasRelatedWork W4312183469 @default.
- W4301422092 isParatext "false" @default.
- W4301422092 isRetracted "false" @default.
- W4301422092 workType "article" @default.