Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963063614> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2963063614 startingPage "14" @default.
- W2963063614 abstract "In this paper, we relate a beautiful theory by Lovasz with a popular heuristic algorithm for the graph isomorphism problem, namely the color refinement algorithm and its k-dimensional generalization known as the Weisfeiler-Leman algorithm. We prove that two graphs G and H are indistinguishable by the color refinement algorithm if and only if, for all trees T, the number Hom(T,G) of homomorphisms from T to G equals the corresponding number Hom(T,H) for H.There is a natural system of linear equations whose nonnegative integer solutions correspond to the isomorphisms between two graphs. The nonnegative real solutions to this system are called fractional isomorphisms, and two graphs are fractionally isomorphic if and only if the color refinement algorithm cannot distinguish them (Tinhofer 1986, 1991). We show that, if we drop the nonnegativity constraints, that is, if we look for arbitrary real solutions, then a solution to the linear system exists if and only if, for all t, the two graphs have the same number of length-t walks.We lift the results for trees to an equivalence between numbers of homomorphisms from graphs of tree width k, the k-dimensional Weisfeiler-Leman algorithm, and the level-k Sherali-Adams relaxation of our linear program. We also obtain a partial result for graphs of bounded path width and solutions to our system where we drop the nonnegativity constraints.A consequence of our results is a quasi-linear time algorithm to decide whether, for two given graphs G and H, there is a tree T with Hom(T,G)!=Hom(T,H)." @default.
- W2963063614 created "2019-07-30" @default.
- W2963063614 creator A5052689442 @default.
- W2963063614 creator A5073893026 @default.
- W2963063614 creator A5087543886 @default.
- W2963063614 date "2018-02-01" @default.
- W2963063614 modified "2023-09-25" @default.
- W2963063614 title "Lovász Meets Weisfeiler and Leman" @default.
- W2963063614 doi "https://doi.org/10.4230/lipics.icalp.2018.40" @default.
- W2963063614 hasPublicationYear "2018" @default.
- W2963063614 type Work @default.
- W2963063614 sameAs 2963063614 @default.
- W2963063614 citedByCount "14" @default.
- W2963063614 countsByYear W29630636142018 @default.
- W2963063614 countsByYear W29630636142019 @default.
- W2963063614 countsByYear W29630636142020 @default.
- W2963063614 countsByYear W29630636142021 @default.
- W2963063614 crossrefType "proceedings-article" @default.
- W2963063614 hasAuthorship W2963063614A5052689442 @default.
- W2963063614 hasAuthorship W2963063614A5073893026 @default.
- W2963063614 hasAuthorship W2963063614A5087543886 @default.
- W2963063614 hasConcept C114614502 @default.
- W2963063614 hasConcept C118615104 @default.
- W2963063614 hasConcept C134306372 @default.
- W2963063614 hasConcept C177148314 @default.
- W2963063614 hasConcept C33923547 @default.
- W2963063614 hasConcept C34388435 @default.
- W2963063614 hasConcept C4042151 @default.
- W2963063614 hasConceptScore W2963063614C114614502 @default.
- W2963063614 hasConceptScore W2963063614C118615104 @default.
- W2963063614 hasConceptScore W2963063614C134306372 @default.
- W2963063614 hasConceptScore W2963063614C177148314 @default.
- W2963063614 hasConceptScore W2963063614C33923547 @default.
- W2963063614 hasConceptScore W2963063614C34388435 @default.
- W2963063614 hasConceptScore W2963063614C4042151 @default.
- W2963063614 hasLocation W29630636141 @default.
- W2963063614 hasOpenAccess W2963063614 @default.
- W2963063614 hasPrimaryLocation W29630636141 @default.
- W2963063614 hasRelatedWork W1561272249 @default.
- W2963063614 hasRelatedWork W1970491586 @default.
- W2963063614 hasRelatedWork W1990600049 @default.
- W2963063614 hasRelatedWork W2033026830 @default.
- W2963063614 hasRelatedWork W2051748083 @default.
- W2963063614 hasRelatedWork W2059431770 @default.
- W2963063614 hasRelatedWork W2067297906 @default.
- W2963063614 hasRelatedWork W2111302825 @default.
- W2963063614 hasRelatedWork W2142498761 @default.
- W2963063614 hasRelatedWork W2181072414 @default.
- W2963063614 hasRelatedWork W2190928263 @default.
- W2963063614 hasRelatedWork W2296150830 @default.
- W2963063614 hasRelatedWork W2605912794 @default.
- W2963063614 hasRelatedWork W2803836358 @default.
- W2963063614 hasRelatedWork W2951939916 @default.
- W2963063614 hasRelatedWork W2962810718 @default.
- W2963063614 hasRelatedWork W2963840360 @default.
- W2963063614 hasRelatedWork W2963879148 @default.
- W2963063614 hasRelatedWork W3002269711 @default.
- W2963063614 hasRelatedWork W3204614377 @default.
- W2963063614 isParatext "false" @default.
- W2963063614 isRetracted "false" @default.
- W2963063614 magId "2963063614" @default.
- W2963063614 workType "article" @default.