169,411 research outputs found
Distributed graph-based state space generation
LTSMIN provides a framework in which state space generation can be distributed easily over many cores on a single compute node, as well as over multiple compute nodes. The tool works on the basis of a vector representation of the states; the individual cores are assigned the task of computing all successors of states that are sent to them. In this paper we show how this framework can be applied in the case where states are essentially graphs interpreted up to isomorphism, such as the ones we have been studying for GROOVE. This involves developing a suitable vector representation for a canonical form of those graphs. The canonical forms are computed using a third tool called BLISS. We combined the three tools to form a system for distributed state space generation based on graph grammars. We show that the time performance of the resulting system scales well (i.e., close to linear) with the number of cores. We also report surprising statistics on the memory\ud
consumption, which imply that the vector representation used to store graphs in LTSMIN is more compact than the representation used in GROOVE
Eccentric connectivity index
The eccentric connectivity index is a novel distance--based molecular
structure descriptor that was recently used for mathematical modeling of
biological activities of diverse nature. It is defined as \,, where and
denote the vertex degree and eccentricity of \,, respectively. We survey
some mathematical properties of this index and furthermore support the use of
eccentric connectivity index as topological structure descriptor. We present
the extremal trees and unicyclic graphs with maximum and minimum eccentric
connectivity index subject to the certain graph constraints. Sharp lower and
asymptotic upper bound for all graphs are given and various connections with
other important graph invariants are established. In addition, we present
explicit formulae for the values of eccentric connectivity index for several
families of composite graphs and designed a linear algorithm for calculating
the eccentric connectivity index of trees. Some open problems and related
indices for further study are also listed.Comment: 25 pages, 5 figure
Token Jumping in minor-closed classes
Given two -independent sets and of a graph , one can ask if it
is possible to transform the one into the other in such a way that, at any
step, we replace one vertex of the current independent set by another while
keeping the property of being independent. Deciding this problem, known as the
Token Jumping (TJ) reconfiguration problem, is PSPACE-complete even on planar
graphs. Ito et al. proved in 2014 that the problem is FPT parameterized by
if the input graph is -free.
We prove that the result of Ito et al. can be extended to any
-free graphs. In other words, if is a -free
graph, then it is possible to decide in FPT-time if can be transformed into
. As a by product, the TJ-reconfiguration problem is FPT in many well-known
classes of graphs such as any minor-free class
- …