160 research outputs found
A Coloring Algorithm for Disambiguating Graph and Map Drawings
Drawings of non-planar graphs always result in edge crossings. When there are
many edges crossing at small angles, it is often difficult to follow these
edges, because of the multiple visual paths resulted from the crossings that
slow down eye movements. In this paper we propose an algorithm that
disambiguates the edges with automatic selection of distinctive colors. Our
proposed algorithm computes a near optimal color assignment of a dual collision
graph, using a novel branch-and-bound procedure applied to a space
decomposition of the color gamut. We give examples demonstrating the
effectiveness of this approach in clarifying drawings of real world graphs and
maps
Pairs of SAT Assignment in Random Boolean Formulae
We investigate geometrical properties of the random K-satisfiability problem
using the notion of x-satisfiability: a formula is x-satisfiable if there exist
two SAT assignments differing in Nx variables. We show the existence of a sharp
threshold for this property as a function of the clause density. For large
enough K, we prove that there exists a region of clause density, below the
satisfiability threshold, where the landscape of Hamming distances between SAT
assignments experiences a gap: pairs of SAT-assignments exist at small x, and
around x=1/2, but they donot exist at intermediate values of x. This result is
consistent with the clustering scenario which is at the heart of the recent
heuristic analysis of satisfiability using statistical physics analysis (the
cavity method), and its algorithmic counterpart (the survey propagation
algorithm). The method uses elementary probabilistic arguments (first and
second moment methods), and might be useful in other problems of computational
and physical interest where similar phenomena appear
On Topological Properties of Wireless Sensor Networks under the q-Composite Key Predistribution Scheme with On/Off Channels
The q-composite key predistribution scheme [1] is used prevalently for secure
communications in large-scale wireless sensor networks (WSNs). Prior work
[2]-[4] explores topological properties of WSNs employing the q-composite
scheme for q = 1 with unreliable communication links modeled as independent
on/off channels. In this paper, we investigate topological properties related
to the node degree in WSNs operating under the q-composite scheme and the
on/off channel model. Our results apply to general q and are stronger than
those reported for the node degree in prior work even for the case of q being
1. Specifically, we show that the number of nodes with certain degree
asymptotically converges in distribution to a Poisson random variable, present
the asymptotic probability distribution for the minimum degree of the network,
and establish the asymptotically exact probability for the property that the
minimum degree is at least an arbitrary value. Numerical experiments confirm
the validity of our analytical findings.Comment: Best Student Paper Finalist in IEEE International Symposium on
Information Theory (ISIT) 201
- …