Matches in SemOpenAlex for { <https://semopenalex.org/work/W2964045964> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2964045964 startingPage "13" @default.
- W2964045964 abstract "Lubiw showed that several variants of Graph Isomorphism are NP-complete, where the solutions are required to satisfy certain additional constraints [SICOMP 10, 1981]. One of these, called Isomorphism With Restrictions, is to decide for two given graphs X_1=(V,E_1) and X_2=(V,E_2) and a subset Rsubseteq Vtimes V of forbidden pairs whether there is an isomorphism pi from X_1 to X_2 such that i^pine j for all (i,j)in R. We prove that this problem and several of its generalizations are in fact in FPT:- The problem of deciding whether there is an isomorphism between two graphs that moves k vertices and satisfies Lubiw-style constraints is in FPT, with k and the size of R as parameters. The problem remains in FPT even if a conjunction of disjunctions of such constraints is allowed. As a consequence of the main result it follows that the problem to decide whether there is an isomorphism that moves exactly k vertices is in FPT. This solves a question left open in our article on exact weight automorphisms [STACS 2017].- When the number of moved vertices is unrestricted, finding isomorphisms that satisfy a CNF of Lubiw-style constraints can be solved in FPT with access to a GI oracle.- Checking if there is an isomorphism π between two graphs with complexity t is also in FPT with t as parameter, where the complexity of a permutation is the Cayley measure defined as the minimum number t such that pi can be expressed as a product of t transpositions.- We consider a more general problem in which the vertex set of a graph X is partitioned into Red and Blue, and we are interested in an automorphism that stabilizes Red and Blue and moves exactly k vertices in Blue, where k is the parameter. This problem was introduced by [Downey and Fellows 1999], and we showed [STACS 2017] that it is W[1]-hard even with color classes of size 4 inside Red. Now, for color classes of size at most 3 inside Red, we show the problem is in FPT.In the non-parameterized setting, all these problems are NP-complete. Also, they all generalize in several ways the problem to decide whether there is an isomorphism between two graphs that moves at most k vertices, shown to be in FPT by Schweitzer [ESA 2011]." @default.
- W2964045964 created "2019-07-30" @default.
- W2964045964 creator A5003212467 @default.
- W2964045964 creator A5027370903 @default.
- W2964045964 creator A5049298979 @default.
- W2964045964 creator A5060883112 @default.
- W2964045964 date "2018-01-01" @default.
- W2964045964 modified "2023-09-26" @default.
- W2964045964 title "Finding Small Weight Isomorphisms with Additional Constraints is Fixed-Parameter Tractable" @default.
- W2964045964 doi "https://doi.org/10.4230/lipics.ipec.2017.2" @default.
- W2964045964 hasPublicationYear "2018" @default.
- W2964045964 type Work @default.
- W2964045964 sameAs 2964045964 @default.
- W2964045964 citedByCount "0" @default.
- W2964045964 crossrefType "proceedings-article" @default.
- W2964045964 hasAuthorship W2964045964A5003212467 @default.
- W2964045964 hasAuthorship W2964045964A5027370903 @default.
- W2964045964 hasAuthorship W2964045964A5049298979 @default.
- W2964045964 hasAuthorship W2964045964A5060883112 @default.
- W2964045964 hasConcept C114614502 @default.
- W2964045964 hasConcept C115624301 @default.
- W2964045964 hasConcept C115903868 @default.
- W2964045964 hasConcept C118615104 @default.
- W2964045964 hasConcept C118712358 @default.
- W2964045964 hasConcept C121332964 @default.
- W2964045964 hasConcept C132525143 @default.
- W2964045964 hasConcept C185592680 @default.
- W2964045964 hasConcept C197657726 @default.
- W2964045964 hasConcept C203436722 @default.
- W2964045964 hasConcept C203776342 @default.
- W2964045964 hasConcept C21308566 @default.
- W2964045964 hasConcept C24890656 @default.
- W2964045964 hasConcept C33923547 @default.
- W2964045964 hasConcept C41008148 @default.
- W2964045964 hasConcept C55166926 @default.
- W2964045964 hasConcept C61665672 @default.
- W2964045964 hasConcept C8010536 @default.
- W2964045964 hasConceptScore W2964045964C114614502 @default.
- W2964045964 hasConceptScore W2964045964C115624301 @default.
- W2964045964 hasConceptScore W2964045964C115903868 @default.
- W2964045964 hasConceptScore W2964045964C118615104 @default.
- W2964045964 hasConceptScore W2964045964C118712358 @default.
- W2964045964 hasConceptScore W2964045964C121332964 @default.
- W2964045964 hasConceptScore W2964045964C132525143 @default.
- W2964045964 hasConceptScore W2964045964C185592680 @default.
- W2964045964 hasConceptScore W2964045964C197657726 @default.
- W2964045964 hasConceptScore W2964045964C203436722 @default.
- W2964045964 hasConceptScore W2964045964C203776342 @default.
- W2964045964 hasConceptScore W2964045964C21308566 @default.
- W2964045964 hasConceptScore W2964045964C24890656 @default.
- W2964045964 hasConceptScore W2964045964C33923547 @default.
- W2964045964 hasConceptScore W2964045964C41008148 @default.
- W2964045964 hasConceptScore W2964045964C55166926 @default.
- W2964045964 hasConceptScore W2964045964C61665672 @default.
- W2964045964 hasConceptScore W2964045964C8010536 @default.
- W2964045964 hasLocation W29640459641 @default.
- W2964045964 hasOpenAccess W2964045964 @default.
- W2964045964 hasPrimaryLocation W29640459641 @default.
- W2964045964 hasRelatedWork W1498274310 @default.
- W2964045964 hasRelatedWork W1539965287 @default.
- W2964045964 hasRelatedWork W1873733670 @default.
- W2964045964 hasRelatedWork W2024931493 @default.
- W2964045964 hasRelatedWork W2073919081 @default.
- W2964045964 hasRelatedWork W2086859323 @default.
- W2964045964 hasRelatedWork W2098890646 @default.
- W2964045964 hasRelatedWork W2173232259 @default.
- W2964045964 hasRelatedWork W2339355959 @default.
- W2964045964 hasRelatedWork W2582871424 @default.
- W2964045964 hasRelatedWork W2604142861 @default.
- W2964045964 hasRelatedWork W2742166337 @default.
- W2964045964 hasRelatedWork W2944675903 @default.
- W2964045964 hasRelatedWork W2949695375 @default.
- W2964045964 hasRelatedWork W2951249989 @default.
- W2964045964 hasRelatedWork W2973480363 @default.
- W2964045964 hasRelatedWork W3008279586 @default.
- W2964045964 hasRelatedWork W3081852812 @default.
- W2964045964 hasRelatedWork W3137019665 @default.
- W2964045964 hasRelatedWork W3146421327 @default.
- W2964045964 hasVolume "89" @default.
- W2964045964 isParatext "false" @default.
- W2964045964 isRetracted "false" @default.
- W2964045964 magId "2964045964" @default.
- W2964045964 workType "article" @default.