We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the graphs of every class that is nicely locally clique-width-decomposable. This notion generalizes that of a nicely locally tree-decomposable class. The graphs of s...

Let G be a graph of order n and r , 1 ≤ r ≤ n, a fixed integer. G is said to be r -vertex decomposable if for each sequence (n1, . . . , nr ) of positive integers such that n1 + · · · + nr = n there exists a partition (V1, . . . , Vr ) of the vertex set of G such that for each i ∈ {1, . . . , r}, Vi induces a connected subgraph of G on ni vertices. G is called arbitrarily vertex decomposable if...

An H-magic labeling in an H-decomposable graph G is a bijection f : V (G)∪E(G)→ {1, 2, . . . , p+ q} such that for every copy H in the decomposition, ∑ v∈V (H) f(v)+ ∑ e∈E(H) f(e) is constant. The function f is said to be H-E-super magic if f(E(G)) = {1, 2, . . . , q}. In this paper, we study some basic properties of m-factor-E-super magic labeling and we provide a necessary and sufficient cond...

We consider the dihamiltonian decomposition problem for 3regular graphs. A graphG is dihamiltonian decomposable if in the digraph obtained fromG by replacing each edge of G as two directed edges, the set of edges are partitioned into 3 edge-disjoint directed hamiltonian cycles. We suggest some conditions for dihamiltonian decomposition of 3-regular graphs: for a 3-regular graph G, it is dihamil...

Let H be a fixed graph without isolated vertices, and let G be a graph on n vertices. Let 2 ≤ k ≤ n− 1 be an integer. We prove that if k ≤ n− 2 and every k-vertex induced subgraph of G is H-decomposable then G or its complement is either a complete graph or a complete bipartite graph. This also holds for k = n − 1 if all the degrees of the vertices of H have a common factor. On the other hand, ...

Finding clusters of well-connected nodes in a graph is useful in many domains, including Social Network, Web and molecular interaction analyses. From a computational viewpoint, finding these clusters or graph communities is a difficult problem. We consider the framework of Clique Matrices to decompose a graph into a set of possibly overlapping clusters, defined as well-connected subsets of vert...

Derivation of Cost Function. The projection of the joint probability distribution of the random variables X = (X1, X2, . . . , Xn), associated with the vertices in V , on a decomposable graph G is given by: pG(x) = ∏ C∈C(G) pC(xC) ∏ (C,D)∈T (G) pC∩D(xC∩D) , (1) where x is an instance in the domain of X, which we denote by X . pC(xC) denotes the marginal distribution of random variables belongin...

A graph G of order n is called arbitrarily vertex decomposable if for each sequence (a1, . . . , ak) of positive integers such that a1+. . .+ak = n there exists a partition (V1, . . . , Vk) of the vertex set of G such that for each i ∈ {1, . . . , k}, Vi induces a connected subgraph of G on ai vertices. D. Barth and H. Fournier showed that if a tree T is arbitrarily vertex decomposable, then T ...

We propose a Bayesian approximate inference method for learning the dependence structure of a Gaussian graphical model. Using pseudo-likelihood, we derive an analytical expression to approximate the marginal likelihood for an arbitrary graph structure without invoking any assumptions about decomposability. The majority of the existing methods for learning Gaussian graphical models are either re...