Results 11 to 20 of about 81,779 (307)
An Algorithm for Subgraph Isomorphism
Journal of the ACM, 1976 Subgraph isomorphism can be determined by means of a brute-force tree-search enumeration procedure. In this paper a new algorithm is introduced that attains efficiency by inferentially eliminating successor nodes in the tree search.
J. Ullmann
semanticscholar +2 more sources
An Effective and Efficient Entity Alignment Decoding Algorithm via Third-Order Tensor Isomorphism
Annual Meeting of the Association for Computational Linguistics, 2022 Entity alignment (EA) aims to discover the equivalent entity pairs between KGs, which is a crucial step for integrating multi-source KGs.For a long time, most researchers have regarded EA as a pure graph representation learning task and focused on ...
Xin Mao +7 more
semanticscholar +1 more source
A Novel Study of Graphs Based on m-Polar Cubic Structures
Journal of Function Spaces, 2022 By combining the notions of interval-valued m-polar fuzzy graphs and m-polar fuzzy graphs, the notion of m-polar cubic graphs is first introduced. Then, the degree of a vertex in m-polar cubic graphs and complete m-polar cubic graphs is defined.
G. Muhiuddin +4 more
doaj +1 more source
cuTS: Scaling Subgraph Isomorphism on Distributed Multi-GPU Systems Using Trie Based Data Structure
International Conference for High Performance Computing, Networking, Storage and Analysis, 2021 Subgraph isomorphism is a pattern-matching algorithm widely used in many domains such as chem-informatics, bioinformatics, databases, and social network analysis. It is computationally expensive and is a proven NP-hard problem. The massive parallelism in
Lizhi Xiang +4 more
semanticscholar +1 more source
Efficient Enumeration of Higher Order Algebraic Structures
IEEE Access, 2020 Algebraic structures are widely studied mathematical structures in abstract algebra. Enumerating higher order algebraic structures is a computationally intensive task due to large number of possible permutations and the presence of many symmetrically ...
Majid Ali Khan
doaj +1 more source
On Isomorphism of "Functional" Intersection and Union Types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2015 Type isomorphism is useful for retrieving library components, since a function in a library can have a type different from, but isomorphic to, the one expected by the user.
Mario Coppo +3 more
doaj +1 more source
Category Theory and New Classes of Semi Bornological Group
Journal of Kufa for Mathematics and Computer, 2023 Because, the new knowledge put every new structure in category theory. So, became a source of interest for many researchers, to put every new structure in category theory. This motivates us to put the new structures of semibornological group in category.
Niran Sabah Jasim +3 more
doaj +1 more source
Toward Isomorphism of Intersection and Union types [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 This paper investigates type isomorphism in a lambda-calculus with intersection and union types. It is known that in lambda-calculus, the isomorphism between two types is realised by a pair of terms inverse one each other.
Mario Coppo +3 more
doaj +1 more source
A Study on Interval-Valued Fuzzy Graph with Application in Energy Industry Management
Discrete Dynamics in Nature and Society, 2022 In this paper, we define the concept of level graphs on interval-valued fuzzy graphs (IVFGs) and introduce the notions of α,β−α,β− homomorphism, isomorphism, weak isomorphism, and co-weak isomorphism of IVFGs by α,β− homomorphism. Also, an application of
Xiaoli Qiang +5 more
doaj +1 more source
Notion of Complex Spherical Dombi Fuzzy Graph and Its Application in Decision-Making Problems
IEEE Access, 2023 The complex spherical fuzzy graph (CSFG), which extends the concept of a spherical fuzzy graph (SFG), proves to be a more effective means of depicting relationships among diverse objects when these relationships are subject to uncertainty.
Ehsan Mehboob Ahmed Butt +4 more
doaj +1 more source