1,745 research outputs found
Combinatorial algorithm for counting small induced graphs and orbits
Graphlet analysis is an approach to network analysis that is particularly
popular in bioinformatics. We show how to set up a system of linear equations
that relate the orbit counts and can be used in an algorithm that is
significantly faster than the existing approaches based on direct enumeration
of graphlets. The algorithm requires existence of a vertex with certain
properties; we show that such vertex exists for graphlets of arbitrary size,
except for complete graphs and , which are treated separately. Empirical
analysis of running time agrees with the theoretical results
Graphettes: Constant-time determination of graphlet and orbit identity including (possibly disconnected) graphlets up to size 8.
Graphlets are small connected induced subgraphs of a larger graph G. Graphlets are now commonly used to quantify local and global topology of networks in the field. Methods exist to exhaustively enumerate all graphlets (and their orbits) in large networks as efficiently as possible using orbit counting equations. However, the number of graphlets in G is exponential in both the number of nodes and edges in G. Enumerating them all is already unacceptably expensive on existing large networks, and the problem will only get worse as networks continue to grow in size and density. Here we introduce an efficient method designed to aid statistical sampling of graphlets up to size k = 8 from a large network. We define graphettes as the generalization of graphlets allowing for disconnected graphlets. Given a particular (undirected) graphette g, we introduce the idea of the canonical graphette [Formula: see text] as a representative member of the isomorphism group Iso(g) of g. We compute the mapping [Formula: see text], in the form of a lookup table, from all 2k(k - 1)/2 undirected graphettes g of size k ≤ 8 to their canonical representatives [Formula: see text], as well as the permutation that transforms g to [Formula: see text]. We also compute all automorphism orbits for each canonical graphette. Thus, given any k ≤ 8 nodes in a graph G, we can in constant time infer which graphette it is, as well as which orbit each of the k nodes belongs to. Sampling a large number N of such k-sets of nodes provides an approximation of both the distribution of graphlets and orbits across G, and the orbit degree vector at each node
On Symmetric Circuits and Fixed-Point Logics
We study properties of relational structures such as graphs that are decided
by families of Boolean circuits. Circuits that decide such properties are
necessarily invariant to permutations of the elements of the input structures.
We focus on families of circuits that are symmetric, i.e., circuits whose
invariance is witnessed by automorphisms of the circuit induced by the
permutation of the input structure. We show that the expressive power of such
families is closely tied to definability in logic. In particular, we show that
the queries defined on structures by uniform families of symmetric Boolean
circuits with majority gates are exactly those definable in fixed-point logic
with counting. This shows that inexpressibility results in the latter logic
lead to lower bounds against polynomial-size families of symmetric circuits.Comment: 22 pages. Full version of a paper to appear in STACS 201
Efficient indexing of necklaces and irreducible polynomials over finite fields
We study the problem of indexing irreducible polynomials over finite fields,
and give the first efficient algorithm for this problem. Specifically, we show
the existence of poly(n, log q)-size circuits that compute a bijection between
{1, ... , |S|} and the set S of all irreducible, monic, univariate polynomials
of degree n over a finite field F_q. This has applications in pseudorandomness,
and answers an open question of Alon, Goldreich, H{\aa}stad and Peralta[AGHP].
Our approach uses a connection between irreducible polynomials and necklaces
( equivalence classes of strings under cyclic rotation). Along the way, we give
the first efficient algorithm for indexing necklaces of a given length over a
given alphabet, which may be of independent interest
Symmetry adapted Assur decompositions
Assur graphs are a tool originally developed by mechanical engineers to
decompose mechanisms for simpler analysis and synthesis. Recent work has
connected these graphs to strongly directed graphs, and decompositions of the
pinned rigidity matrix. Many mechanisms have initial configurations which are
symmetric, and other recent work has exploited the orbit matrix as a symmetry
adapted form of the rigidity matrix. This paper explores how the decomposition
and analysis of symmetric frameworks and their symmetric motions can be
supported by the new symmetry adapted tools.Comment: 40 pages, 22 figure
- …