Results 1  10
of
32
Reliable Mobicast via FaceAware Routing
 In Proceedings of IEEE Infocom ’04
, 2004
"... This paper presents a novel protocol for a spatiotemporal variant of multicast called mobicast, designed to support message delivery in ad hoc sensor networks. The spatiotemporal character of mobicast relates to the obligation to deliver a message to all the nodes that will be present at time t in s ..."
Abstract

Cited by 17 (0 self)
 Add to MetaCart
This paper presents a novel protocol for a spatiotemporal variant of multicast called mobicast, designed to support message delivery in ad hoc sensor networks. The spatiotemporal character of mobicast relates to the obligation to deliver a message to all the nodes that will be present at time t in some geographic zone Z, where both the location and shape of the delivery zone are a function of time over some interval (tstart , t end ). The protocol, called FaceAware Routing (FAR), exploits ideas adapted from existing applications of face routing to achieve reliable mobicast delivery. The key features of the protocol are a routing strategy, which uses information confined solely to a node's immediate spatial neighborhood, and a forwarding schedule, which employs only local topological information. Statistical results shows that, in uniformly distributed random disk graphs, the spatial neighborhood size is usually less than 20. This suggests that FAR is likely to exhibit a low average memory cost. An estimation formula for the average size of the spatial neighborhood in a random network is another analytical result reported in this paper. This paper also presents a novel and low cost distributed algorithm for spatial neighborhood discovery.
Planar branch decompositions II: The cycle method
 INFORMS J. on Computing
, 2005
"... informs ® doi 10.1287/ijoc.1040.0074 © 2005 INFORMS This is the second of two papers dealing with the relationship of branchwidth and planar graphs. Branchwidth and branch decompositions, introduced by Robertson and Seymour, have been shown to be beneficial for both proving theoretical results on gr ..."
Abstract

Cited by 12 (4 self)
 Add to MetaCart
informs ® doi 10.1287/ijoc.1040.0074 © 2005 INFORMS This is the second of two papers dealing with the relationship of branchwidth and planar graphs. Branchwidth and branch decompositions, introduced by Robertson and Seymour, have been shown to be beneficial for both proving theoretical results on graphs and solving NPhard problems modeled on graphs. The first practical implementation of an algorithm of Seymour and Thomas for computing optimal branch decompositions of planar hypergraphs is presented. This algorithm encompasses another algorithm of Seymour and Thomas for computing the branchwidth of any planar hypergraph, whose implementation is discussed in the first paper. The implementation also includes the addition of a heuristic to decrease the run times of the algorithm. This method, called the cycle method, is an improvement on the algorithm by using a “divideandconquer” approach. Key words: planar graph; branchwidth; branch decomposition; carvingwidth
Eliminating wire crossings for molecular quantumdot cellular automata implementation
 ICCAD
, 2005
"... Abstract — When exploring computing elements made from technologies other than CMOS, it is imperative to investigate the effects of physical implementation constraints. This paper focuses on molecular Quantumdot Cellular Automata circuits. For these circuits, it is very difficult for chemists to fa ..."
Abstract

Cited by 10 (6 self)
 Add to MetaCart
(Show Context)
Abstract — When exploring computing elements made from technologies other than CMOS, it is imperative to investigate the effects of physical implementation constraints. This paper focuses on molecular Quantumdot Cellular Automata circuits. For these circuits, it is very difficult for chemists to fabricate wire crossings (at least in the near future). A novel technique is introduced to remove wire crossings in a given circuit to facilitate the self assembly of real circuits – thus providing meaningful and functional design targets for both physical and computer scientists. The technique eliminates all wire crossings with minimal logic gate/node duplications. Experimental results based on existing QCA circuits and other benchmarks are quite encouraging, and suggest that further investigation is needed. I.
An interactive multiuser system for simultaneous graph drawing
 In Proc. Intl. Symp. Graph Drawing
, 2004
"... Abstract. In this paper we consider the problem of simultaneous drawing of two graphs. The goal is to produce aesthetically pleasing drawings for the two graphs by means of a heuristic algorithm and with human assistance. Our implementation uses the DiamondTouch table, a multiuser, touchsensitive i ..."
Abstract

Cited by 9 (3 self)
 Add to MetaCart
(Show Context)
Abstract. In this paper we consider the problem of simultaneous drawing of two graphs. The goal is to produce aesthetically pleasing drawings for the two graphs by means of a heuristic algorithm and with human assistance. Our implementation uses the DiamondTouch table, a multiuser, touchsensitive input device, to take advantage of direct physical interaction of several users working collaboratively. The system can be downloaded at
Algorithm and Experiments in Testing Planar Graphs for Isomorphism
, 2004
"... We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQRtrees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determi ..."
Abstract

Cited by 8 (0 self)
 Add to MetaCart
We give an algorithm for isomorphism testing of planar graphs suitable for practical implementation. The algorithm is based on the decomposition of a graph into biconnected components and further into SPQRtrees. We provide a proof of the algorithm’s correctness and a complexity analysis. We determine the conditions in which the implemented algorithm outperforms other graph matchers, which do not impose topological restrictions on graphs. We report experiments with our planar graph matcher tested against McKay’s, Ullmann’s, and SUBDUE’s (a graphbased data mining system) graph matchers.
SPLITTING NUMBER is NPcomplete
, 1997
"... We consider two graph invariants that are used as a measure of nonplanarity: the splitting number of a graph and the size of a maximum planar subgraph. The splitting number of a graph G is the smallest integer k 0, such that a planar graph can be obtained from G by k splitting operations. Such ope ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
We consider two graph invariants that are used as a measure of nonplanarity: the splitting number of a graph and the size of a maximum planar subgraph. The splitting number of a graph G is the smallest integer k 0, such that a planar graph can be obtained from G by k splitting operations. Such operation replaces a vertex v by two nonadjacent vertices v 1 and v 2 , and attaches the neighbors of v either to v 1 or to v 2 . We prove that the splitting number decision problem is NPcomplete. We obtain as a consequence that planar subgraph remains NPcomplete when restricted to graphs with maximum degree 3, when restricted to graphs with no subdivision of K 5 , or when restricted to cubic graphs, problems that have been open since 1979.
Planar crossing numbers of genus g graphs
 PROC. 33RD INTERNATIONAL COLLOQUIUM ON AUTOMATA, LANGUAGES AND PROGRAMMING , LECTURE NOTES IN COMPUTER SCIENCE 4051, PART I
, 2006
"... Pach and Tóth [15] proved that any nvertex graph of genus g and maximum degree d has a planar crossing number at most c g dn, for a constant c>1. We improve on this results by decreasing the bound to O(dgn), if g = o(n), and to O(g²), otherwise, and also prove that our result is tight within a ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
Pach and Tóth [15] proved that any nvertex graph of genus g and maximum degree d has a planar crossing number at most c g dn, for a constant c>1. We improve on this results by decreasing the bound to O(dgn), if g = o(n), and to O(g²), otherwise, and also prove that our result is tight within a constant factor.