Matches in SemOpenAlex for { <https://semopenalex.org/work/W3208077660> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3208077660 endingPage "31" @default.
- W3208077660 startingPage "1" @default.
- W3208077660 abstract "We classify graphs and, more generally, finite relational structures that are identified by C^2 , that is, two-variable first-order logic with counting. Using this classification, we show that it can be decided in almost linear time whether a structure is identified by C^2 . Our classification implies that for every graph identified by this logic, all vertex-colored versions of it are also identified. A similar statement is true for finite relational structures. We provide constructions that solve the inversion problem for finite relational structures in linear time. By a result due to Otto, this problem has been known to be polynomial-time solvable. For graphs, we conclude that every C^2 -equivalence class contains a representative whose orbits are exactly the classes of the C^2 -partition of its vertex set and which has a single automorphism witnessing this fact. We show that such statements are not true for general k by providing examples of graphs of order linear in k which are identified by C^3 , but for which the orbit partition is strictly finer than the C^k -partition. We also construct identified graphs which have vertex-colored versions that are not identified by C^k ." @default.
- W3208077660 created "2021-11-08" @default.
- W3208077660 creator A5007445135 @default.
- W3208077660 creator A5030748385 @default.
- W3208077660 creator A5082304107 @default.
- W3208077660 date "2021-10-22" @default.
- W3208077660 modified "2023-10-17" @default.
- W3208077660 title "Graphs Identified by Logics with Counting" @default.
- W3208077660 cites W1646890620 @default.
- W3208077660 cites W1809739516 @default.
- W3208077660 cites W189732821 @default.
- W3208077660 cites W1986664783 @default.
- W3208077660 cites W1990600049 @default.
- W3208077660 cites W1997817571 @default.
- W3208077660 cites W2002279082 @default.
- W3208077660 cites W2009700100 @default.
- W3208077660 cites W2017024025 @default.
- W3208077660 cites W2025727720 @default.
- W3208077660 cites W2051748083 @default.
- W3208077660 cites W2059891919 @default.
- W3208077660 cites W2067297906 @default.
- W3208077660 cites W2068361557 @default.
- W3208077660 cites W2111119215 @default.
- W3208077660 cites W2111302825 @default.
- W3208077660 cites W2119446222 @default.
- W3208077660 cites W2136395205 @default.
- W3208077660 cites W2137935204 @default.
- W3208077660 cites W2142498761 @default.
- W3208077660 cites W2152035036 @default.
- W3208077660 cites W2166108892 @default.
- W3208077660 cites W2181072414 @default.
- W3208077660 cites W2287453393 @default.
- W3208077660 cites W2296150830 @default.
- W3208077660 cites W2616240124 @default.
- W3208077660 cites W2962810718 @default.
- W3208077660 cites W2964224456 @default.
- W3208077660 cites W3107179006 @default.
- W3208077660 doi "https://doi.org/10.1145/3417515" @default.
- W3208077660 hasPublicationYear "2021" @default.
- W3208077660 type Work @default.
- W3208077660 sameAs 3208077660 @default.
- W3208077660 citedByCount "1" @default.
- W3208077660 crossrefType "journal-article" @default.
- W3208077660 hasAuthorship W3208077660A5007445135 @default.
- W3208077660 hasAuthorship W3208077660A5030748385 @default.
- W3208077660 hasAuthorship W3208077660A5082304107 @default.
- W3208077660 hasBestOaLocation W32080776602 @default.
- W3208077660 hasConcept C100481476 @default.
- W3208077660 hasConcept C114614502 @default.
- W3208077660 hasConcept C118615104 @default.
- W3208077660 hasConcept C118712358 @default.
- W3208077660 hasConcept C132525143 @default.
- W3208077660 hasConcept C2988750069 @default.
- W3208077660 hasConcept C33923547 @default.
- W3208077660 hasConcept C42812 @default.
- W3208077660 hasConcept C80899671 @default.
- W3208077660 hasConceptScore W3208077660C100481476 @default.
- W3208077660 hasConceptScore W3208077660C114614502 @default.
- W3208077660 hasConceptScore W3208077660C118615104 @default.
- W3208077660 hasConceptScore W3208077660C118712358 @default.
- W3208077660 hasConceptScore W3208077660C132525143 @default.
- W3208077660 hasConceptScore W3208077660C2988750069 @default.
- W3208077660 hasConceptScore W3208077660C33923547 @default.
- W3208077660 hasConceptScore W3208077660C42812 @default.
- W3208077660 hasConceptScore W3208077660C80899671 @default.
- W3208077660 hasIssue "1" @default.
- W3208077660 hasLocation W32080776601 @default.
- W3208077660 hasLocation W32080776602 @default.
- W3208077660 hasOpenAccess W3208077660 @default.
- W3208077660 hasPrimaryLocation W32080776601 @default.
- W3208077660 hasRelatedWork W1490470103 @default.
- W3208077660 hasRelatedWork W2061834030 @default.
- W3208077660 hasRelatedWork W2741543745 @default.
- W3208077660 hasRelatedWork W2952991802 @default.
- W3208077660 hasRelatedWork W2963034882 @default.
- W3208077660 hasRelatedWork W3197050996 @default.
- W3208077660 hasRelatedWork W3214012672 @default.
- W3208077660 hasRelatedWork W4284968419 @default.
- W3208077660 hasRelatedWork W4286632975 @default.
- W3208077660 hasRelatedWork W4302354937 @default.
- W3208077660 hasVolume "23" @default.
- W3208077660 isParatext "false" @default.
- W3208077660 isRetracted "false" @default.
- W3208077660 magId "3208077660" @default.
- W3208077660 workType "article" @default.