The direction of research on the development of a scientific and methodological tool for the analysis of spatial objects in order to determine their generalized spatial parameters was selected. An approach to the problem of modeling networks and groups of objects based on the synthesis of a weighted graph is proposed. The spatial configuration of objects based on the given conditions is described by a weighted graph, the edge length of which is considered as the weight of the edges. A generalization to the typical structure of a spatial graph is formulated; its essence is representation of nodal elements as two-dimensional (polygonal) objects. To take into account the restrictions on the convergence of the vertices described by the buffer zones, a complementary graph is formed. An algorithm for constructing the implementation of a spatial object based on the sequential determination of vertices that comply with the given conditions is proposed. Using the software implementation of the developed algorithm, an experiment was performed to evaluate the spatial parameters of the simulated objects described by typical graph structures. The following parameters were investigated as spatial ones
We prove a Ω(n) lower bound on the query time for contraction hierarchies (CH) as well as hub labels, two popular speed-up techniques for shortest path routing. Our construction is based on a graph family not too far from subgraphs that occur in real-world road networks, in particular, it is planar and has a bounded degree. Additionally, we borrow ideas from our lower bound proof to come up with instance-based lower bounds for concrete road network instances of moderate size, reaching up to 96% of an upper bound given by a constructed CH. For a variant of our instance-based schema applied to some special graph classes, we can even show matching upper and lower bounds.
We investigate the interplay between the graph isomorphism problem, logical definability, and structural graph theory on a rich family of dense graph classes: graph classes of bounded rank width. We prove that the combinatorial Weisfeiler-Leman algorithm of dimension (3
k
+ 4) is a complete isomorphism test for the class of all graphs of rank width at most
k.
A consequence of our result is the first polynomial time canonization algorithm for graphs of bounded rank width.
Our second main result addresses an open problem in descriptive complexity theory: we show that fixed-point logic with counting expresses precisely the polynomial time properties of graphs of bounded rank width.
A Lower Bound for the Query Phase of Contraction Hierarchies and Hub Labels and a Provably Optimal Instance-Based Schema