Matches in SemOpenAlex for { <https://semopenalex.org/work/W4288617756> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W4288617756 abstract "We prove that the combinatorial Weisfeiler-Leman algorithm of dimension $(3k+4)$ is a complete isomorphism test for the class of all graphs of rank width at most $k$. Rank width is a graph invariant that, similarly to tree width, measures the width of a certain style of hierarchical decomposition of graphs; it is equivalent to clique width. It was known that isomorphism of graphs of rank width $k$ is decidable in polynomial time (Grohe and Schweitzer, FOCS 2015), but the best previously known algorithm has a running time $n^{f(k)}$ for a non-elementary function $f$. Our result yields an isomorphism test for graphs of rank width $k$ running in time $n^{O(k)}$. Another consequence of our result is the first polynomial time canonisation algorithm for graphs of bounded rank width. Our second main result is that fixed-point logic with counting captures polynomial time on all graph classes of bounded rank width." @default.
- W4288617756 created "2022-07-30" @default.
- W4288617756 creator A5008306814 @default.
- W4288617756 creator A5073893026 @default.
- W4288617756 date "2019-01-29" @default.
- W4288617756 modified "2023-09-23" @default.
- W4288617756 title "Canonisation and Definability for Graphs of Bounded Rank Width" @default.
- W4288617756 doi "https://doi.org/10.48550/arxiv.1901.10330" @default.
- W4288617756 hasPublicationYear "2019" @default.
- W4288617756 type Work @default.
- W4288617756 citedByCount "0" @default.
- W4288617756 crossrefType "posted-content" @default.
- W4288617756 hasAuthorship W4288617756A5008306814 @default.
- W4288617756 hasAuthorship W4288617756A5073893026 @default.
- W4288617756 hasBestOaLocation W42886177561 @default.
- W4288617756 hasConcept C102192266 @default.
- W4288617756 hasConcept C114614502 @default.
- W4288617756 hasConcept C115624301 @default.
- W4288617756 hasConcept C118615104 @default.
- W4288617756 hasConcept C132525143 @default.
- W4288617756 hasConcept C132569581 @default.
- W4288617756 hasConcept C134306372 @default.
- W4288617756 hasConcept C160446614 @default.
- W4288617756 hasConcept C164226766 @default.
- W4288617756 hasConcept C185592680 @default.
- W4288617756 hasConcept C203436722 @default.
- W4288617756 hasConcept C203776342 @default.
- W4288617756 hasConcept C22149727 @default.
- W4288617756 hasConcept C311688 @default.
- W4288617756 hasConcept C33923547 @default.
- W4288617756 hasConcept C34388435 @default.
- W4288617756 hasConcept C43517604 @default.
- W4288617756 hasConcept C61665672 @default.
- W4288617756 hasConcept C64339825 @default.
- W4288617756 hasConcept C69284658 @default.
- W4288617756 hasConcept C8010536 @default.
- W4288617756 hasConceptScore W4288617756C102192266 @default.
- W4288617756 hasConceptScore W4288617756C114614502 @default.
- W4288617756 hasConceptScore W4288617756C115624301 @default.
- W4288617756 hasConceptScore W4288617756C118615104 @default.
- W4288617756 hasConceptScore W4288617756C132525143 @default.
- W4288617756 hasConceptScore W4288617756C132569581 @default.
- W4288617756 hasConceptScore W4288617756C134306372 @default.
- W4288617756 hasConceptScore W4288617756C160446614 @default.
- W4288617756 hasConceptScore W4288617756C164226766 @default.
- W4288617756 hasConceptScore W4288617756C185592680 @default.
- W4288617756 hasConceptScore W4288617756C203436722 @default.
- W4288617756 hasConceptScore W4288617756C203776342 @default.
- W4288617756 hasConceptScore W4288617756C22149727 @default.
- W4288617756 hasConceptScore W4288617756C311688 @default.
- W4288617756 hasConceptScore W4288617756C33923547 @default.
- W4288617756 hasConceptScore W4288617756C34388435 @default.
- W4288617756 hasConceptScore W4288617756C43517604 @default.
- W4288617756 hasConceptScore W4288617756C61665672 @default.
- W4288617756 hasConceptScore W4288617756C64339825 @default.
- W4288617756 hasConceptScore W4288617756C69284658 @default.
- W4288617756 hasConceptScore W4288617756C8010536 @default.
- W4288617756 hasLocation W42886177561 @default.
- W4288617756 hasOpenAccess W4288617756 @default.
- W4288617756 hasPrimaryLocation W42886177561 @default.
- W4288617756 hasRelatedWork W1515854346 @default.
- W4288617756 hasRelatedWork W1987968444 @default.
- W4288617756 hasRelatedWork W2129003155 @default.
- W4288617756 hasRelatedWork W2571406257 @default.
- W4288617756 hasRelatedWork W2913482449 @default.
- W4288617756 hasRelatedWork W2951811902 @default.
- W4288617756 hasRelatedWork W2964662878 @default.
- W4288617756 hasRelatedWork W4288617756 @default.
- W4288617756 hasRelatedWork W4302375582 @default.
- W4288617756 hasRelatedWork W186753374 @default.
- W4288617756 isParatext "false" @default.
- W4288617756 isRetracted "false" @default.
- W4288617756 workType "article" @default.