Matches in SemOpenAlex for { <https://semopenalex.org/work/W3094673584> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W3094673584 abstract "We define a search problem on trees that closely captures the backtracking behavior of all current practical graph isomorphism algorithms. Given two trees with colored leaves, the goal is to find two leaves of matching color, one in each of the trees. The trees are subject to an invariance property which promises that for every pair of leaves of equal color there must be a symmetry (or an isomorphism) that maps one leaf to the other. We describe a randomized algorithm with errors for which the number of visited leaves is quasilinear in the square root of the size of the smaller of the two trees. For inputs of bounded degree, we develop a Las Vegas algorithm with a similar running time. We prove that these results are optimal up to logarithmic factors. We show a lower bound for randomized algorithms on inputs of bounded degree that is the square root of the tree sizes. For inputs of unbounded degree, we show a linear lower bound for Las Vegas algorithms. For deterministic algorithms we can prove a linear bound even for inputs of bounded degree. This shows why randomized algorithms outperform deterministic ones. Our results explain why the randomized breadth-first with intermixed experimental path search strategy of the isomorphism tool Traces (Piperno 2008) is often superior to the depth-first search strategy of other tools such as nauty (McKay 1977) or bliss (Junttila, Kaski 2007). However, our algorithm also provides a new traversal strategy, which is theoretically near optimal with better worst case behavior than traversal strategies that have previously been used." @default.
- W3094673584 created "2020-11-09" @default.
- W3094673584 creator A5017685495 @default.
- W3094673584 creator A5028304748 @default.
- W3094673584 date "2020-11-03" @default.
- W3094673584 modified "2023-09-27" @default.
- W3094673584 title "Search Problems in Trees with Symmetries: near optimal traversal strategies for individualization-refinement algorithms" @default.
- W3094673584 cites W1508953846 @default.
- W3094673584 cites W1589641986 @default.
- W3094673584 cites W165726963 @default.
- W3094673584 cites W1989114462 @default.
- W3094673584 cites W1990600049 @default.
- W3094673584 cites W2024095686 @default.
- W3094673584 cites W2027876313 @default.
- W3094673584 cites W2041182977 @default.
- W3094673584 cites W2096704006 @default.
- W3094673584 cites W2145522224 @default.
- W3094673584 cites W2409645877 @default.
- W3094673584 cites W2963312335 @default.
- W3094673584 cites W2963417829 @default.
- W3094673584 cites W2971738761 @default.
- W3094673584 cites W3151324456 @default.
- W3094673584 hasPublicationYear "2020" @default.
- W3094673584 type Work @default.
- W3094673584 sameAs 3094673584 @default.
- W3094673584 citedByCount "1" @default.
- W3094673584 countsByYear W30946735842020 @default.
- W3094673584 crossrefType "posted-content" @default.
- W3094673584 hasAuthorship W3094673584A5017685495 @default.
- W3094673584 hasAuthorship W3094673584A5028304748 @default.
- W3094673584 hasConcept C113174947 @default.
- W3094673584 hasConcept C11413529 @default.
- W3094673584 hasConcept C114614502 @default.
- W3094673584 hasConcept C121332964 @default.
- W3094673584 hasConcept C128669082 @default.
- W3094673584 hasConcept C134306372 @default.
- W3094673584 hasConcept C13533509 @default.
- W3094673584 hasConcept C140745168 @default.
- W3094673584 hasConcept C24890656 @default.
- W3094673584 hasConcept C2775997480 @default.
- W3094673584 hasConcept C311688 @default.
- W3094673584 hasConcept C33923547 @default.
- W3094673584 hasConcept C34388435 @default.
- W3094673584 hasConcept C41008148 @default.
- W3094673584 hasConcept C77553402 @default.
- W3094673584 hasConcept C96333769 @default.
- W3094673584 hasConceptScore W3094673584C113174947 @default.
- W3094673584 hasConceptScore W3094673584C11413529 @default.
- W3094673584 hasConceptScore W3094673584C114614502 @default.
- W3094673584 hasConceptScore W3094673584C121332964 @default.
- W3094673584 hasConceptScore W3094673584C128669082 @default.
- W3094673584 hasConceptScore W3094673584C134306372 @default.
- W3094673584 hasConceptScore W3094673584C13533509 @default.
- W3094673584 hasConceptScore W3094673584C140745168 @default.
- W3094673584 hasConceptScore W3094673584C24890656 @default.
- W3094673584 hasConceptScore W3094673584C2775997480 @default.
- W3094673584 hasConceptScore W3094673584C311688 @default.
- W3094673584 hasConceptScore W3094673584C33923547 @default.
- W3094673584 hasConceptScore W3094673584C34388435 @default.
- W3094673584 hasConceptScore W3094673584C41008148 @default.
- W3094673584 hasConceptScore W3094673584C77553402 @default.
- W3094673584 hasConceptScore W3094673584C96333769 @default.
- W3094673584 hasLocation W30946735841 @default.
- W3094673584 hasOpenAccess W3094673584 @default.
- W3094673584 hasPrimaryLocation W30946735841 @default.
- W3094673584 hasRelatedWork W100178094 @default.
- W3094673584 hasRelatedWork W1548955181 @default.
- W3094673584 hasRelatedWork W1596758792 @default.
- W3094673584 hasRelatedWork W1914953948 @default.
- W3094673584 hasRelatedWork W1952494904 @default.
- W3094673584 hasRelatedWork W2096704006 @default.
- W3094673584 hasRelatedWork W2171256340 @default.
- W3094673584 hasRelatedWork W2238000716 @default.
- W3094673584 hasRelatedWork W2609340483 @default.
- W3094673584 hasRelatedWork W2889345925 @default.
- W3094673584 hasRelatedWork W2949272521 @default.
- W3094673584 hasRelatedWork W2951512578 @default.
- W3094673584 hasRelatedWork W2952852306 @default.
- W3094673584 hasRelatedWork W2963098562 @default.
- W3094673584 hasRelatedWork W3100265482 @default.
- W3094673584 hasRelatedWork W3101763604 @default.
- W3094673584 hasRelatedWork W3124031623 @default.
- W3094673584 hasRelatedWork W3159751506 @default.
- W3094673584 hasRelatedWork W3184649021 @default.
- W3094673584 hasRelatedWork W1811822729 @default.
- W3094673584 isParatext "false" @default.
- W3094673584 isRetracted "false" @default.
- W3094673584 magId "3094673584" @default.
- W3094673584 workType "article" @default.