A finite graph is homeomorphic to the Reeb graph of a Morse–Bott function

We prove that a finite graph (allowing loops and multiple edges) is homeomorphic (isomorphic up to vertices of degree two) to the Reeb graph of a Morse–Bott function on a smooth closed n-manifold, for any dimension n ≥ 2. The manifold can be chosen orientable or non-orientable; we estimate the co-rank of its fundamental group (or the genus in the case of surfaces) from below in terms of the cycle rank of the graph. The function can be chosen with any number k ≥ 3 of critical values, and in a few special cases with k < 3. In the case of surfaces, the function can be chosen, except for a few special cases, as the height function associated with an immersion ℝ3.

NP-completeness of the Minimum Spanning Tree Problem of a Multiple Graph of Multiplicity k ≥ 3

In this paper, we study undirected multiple graphs of any natural multiplicity k > 1. There are edges of three types: ordinary edges, multiple edges and multi-edges. Each edge of the last two types is a union of k linked edges, which connect 2 or (k + 1) vertices correspondingly. The linked edges should be used simultaneously. If a vertex is incident to a multiple edge, it can be also incident to other multiple edges and it can be the common end of k linked edges of some multi-edge. If a vertex is the common end of some multi-edge, it cannot be the common end of another multi-edge. A multiple tree is a connected multiple graph with no cycles. Unlike ordinary trees, the number of edges in a multiple tree is not fixed. The problem of finding the spanning tree can be set for a multiple graph. Complete spanning trees form a special class of spanning trees of a multiple graph. Their peculiarity is that a multiple path joining any two selected vertices exists in the tree if and only if such a path exists in the initial graph. If the multiple graph is weighted, the minimum spanning tree problem and the minimum complete spanning tree problem can be set. Also we can formulate the problems of recognition of the spanning tree and complete spanning tree of the limited weight. The main result of this article is the proof of NPcompleteness of such recognition problems for arbitrary multiple graphs as well as for divisible multiple graphs in the case when multiplicity k ≥ 3. The corresponding optimization problems are NP-hard.

On Some Properties of Collaboration Graphs of Scientists in Math-Net.Ru

A study of two graphs of scientific cooperation based on co-authorship and citation according to the all-Russian mathematical portal was conducted Math-Net.Ru. A citation-based scientific collaboration graph is a directed graph without loops and multiple edges, whose vertices are the authors of publications, and arcs connect them when there is at least one publication of the first author that cites the publication of the second author. A co-authorship graph is an undirected graph in which the vertices are the authors, and the edges record the co-authorship of two authors in at least one article. The customary study of the main characteristics of both graphs is carried out: diameter and average distance, connectivity components and clustering. In both graphs, we observe a similar connectivity structure – the presence of a giant component and a large number of small components. The similarity and difference of scientific cooperation through co-authorship and citation is noted.

Using fuzzy gh-models to represent the complex technical systems

to representation the complex technical systems, we propose the use of fuzzy GH-models based on graphs, which differ from known that allow to take into account, in addition to the same type of edges, different types of edges and multiple edges in the form of a vector. The paper notes the advantages of GH-graphs due to the use of edges in the form of a vector, which reduces the time spent on calculations on graphs and at the same time takes into account the necessary relations in the system. The classification of edges in GH-graphs is performed, due to the need to use all possible relations between the objects of the system.

A note on PM-compact $ K_4 $-free bricks

<abstract><p>A 3-connected graph is a <italic>brick</italic> if the graph obtained from it by deleting any two distinct vertices has a perfect matching. The importance of bricks stems from the fact that they are building blocks of the matching covered graphs. Lovász (Combinatorica, 3 (1983), 105-117) showed that every brick is $ K_4 $-based or $ \overline{C}_6 $-based. A brick is <italic>$ K_4 $-free</italic> (respectively, <italic>$ \overline{C}_6 $-free</italic>) if it is not $ K_4 $-based (respectively, $ \overline{C}_6 $-based). Recently, Carvalho, Lucchesi and Murty (SIAM Journal on Discrete Mathematics, 34(3) (2020), 1769-1790) characterised the PM-compact $ \overline{C}_6 $-free bricks. In this note, we show that, by using the brick generation procedure established by Norine and Thomas (J Combin Theory Ser B, 97 (2007), 769-817), the only PM-compact $ K_4 $-free brick is $ \overline{C}_6 $, up to multiple edges.</p></abstract>

On Tosha-degree of an Edge in a Graph

In an earlier paper, we have introduced the Tosha-degree of an edge in a graph without multiple edges and studied some properties. In this paper, we extend the definition of Tosha-degree of an edge in a graph in which multiple edges are allowed. Also, we introduce the concepts - zero edges in a graph, $T$-line graph of a multigraph, Tosha-adjacency matrix, Tosha-energy, edge-adjacency matrix and edge energy of a graph $G$ and obtain some results.

Проверка изоморфности двух графов и поиск изоморфных подграфов: подход, основанный на анализе максимально протяженных неразветвляющихся путей / Maximal non-branching paths approach to solve (sub)graph isomorphism problem

Предложен подход к решению проблемы проверки изоморфности двух графов исходя из анализа их максимально протяженных неразветвляющихся путей. На его основе предлагается подход и алгоритм решения частного случая задачи поиска в некотором графе A всех подграфов, изоморфных заданному графу B (а именно, поиск только «вписанных» подграфов), а также определяется само понятие «вписанного» подграфа. «Вписанным» подграфом графа A здесь называется такой его подграф, который может быть «приклеен» к другим частям графа A только за счет ребер, инцидентных лишь граничным вершинам его (подграфа) неразветвляющихся путей максимальной длины (при этом граф A может содержать и иные компоненты связности). Решение частного случая задачи поиска «вписанных» подграфов обобщается для поиска в графе A всех подграфов, изоморфных данному графу-образцу B. Для этого вместо рассмотрения их максимально протяженных неразветвляющихся путей необходимо рассматривать все их ребра. Предложенные подход и алгоритм применимы: (1) как для ориентированных, так и для неориентированных графов, (2) для графов, содержащих более одной компоненты связности/ сильной связности, (3) для графов, содержащих кратные (множественные) ребра и петли. ----------- An approach based on maximal non-branching paths analysis to solve graph isomorphism problem is introduced. An algorithm to solve the particular case of the problem of finding in a some graph A all subgraphs that are isomorphic to given graph B is proposed (only “inscribed” subgraphs can be found this way, not all of them). Here we shall name a subgraph of some given graph A as "inscribed" if (1) this subgraph is "glued" to other parts of A only by edges that connected to those vertices of this subgraph that are begin/ end ones of any max-length non-branching path of it, or (2) this subgraph is a separate connected component of the graph A. The proposed algorithm of finding “inscribed” subgraphs is expanded to solve a whole problem of finding all (not only “inscribed”) subgraphs of a graph A that are isomorphic to given template graph B. To do so one should consider all edges of these graphs instead of their max-length non-branching paths. These proposed approach and algorithm may be implemented to: (1) directed or undirected graphs, (2) graphs that have more than one connected components/ strongly connected components, (3) graphs that contain multiple edges and multiple loops.

Subgraph-Indexed Sequential Subdivision for Continuous Subgraph Matching on Dynamic Knowledge Graph

Continuous subgraph matching problem on dynamic graph has become a popular research topic in the field of graph analysis, which has a wide range of applications including information retrieval and community detection. Specifically, given a query graph q , an initial graph G 0 , and a graph update stream △ G i , the problem of continuous subgraph matching is to sequentially conduct all possible isomorphic subgraphs covering △ G i of q on G i (= G 0 ⊕ △ G i ). Since knowledge graph is a directed labeled multigraph having multiple edges between a pair of vertices, it brings new challenges for the problem focusing on dynamic knowledge graph. One challenge is that the multigraph characteristic of knowledge graph intensifies the complexity of candidate calculation, which is the combination of complex topological and attributed structures. Another challenge is that the isomorphic subgraphs covering a given region are conducted on a huge search space of seed candidates, which causes a lot of time consumption for searching the unpromising candidates. To address these challenges, a method of subgraph-indexed sequential subdivision is proposed to accelerating the continuous subgraph matching on dynamic knowledge graph. Firstly, a flow graph index is proposed to arrange the search space of seed candidates in topological knowledge graph and an adjacent index is designed to accelerate the identification of candidate activation states in attributed knowledge graph. Secondly, the sequential subdivision of flow graph index and the transition state model are employed to incrementally conduct subgraph matching and maintain the regional influence of changed candidates, respectively. Finally, extensive empirical studies on real and synthetic graphs demonstrate that our techniques outperform the state-of-the-art algorithms.