Sciweavers

8 search results - page 1 / 2
» MacLane's planarity criterion for locally finite graphs
Sort
View
JCT
2006
134views more  JCT 2006»
13 years 11 months ago
MacLane's planarity criterion for locally finite graphs
MacLane's planarity criterion states that a finite graph is planar if and only if its cycle space has a basis B such that every edge is contained in at most two members of B....
Henning Bruhn, Maya Jakobine Stein
SIAMDM
2008
86views more  SIAMDM 2008»
13 years 10 months ago
Hamilton Cycles in Planar Locally Finite Graphs
A classical theorem by Tutte assures the existence of a Hamilton cycle in every finite 4-connected planar graph. Extensions of this result to infinite graphs require a suitable co...
Henning Bruhn, Xingxing Yu
GLOBECOM
2008
IEEE
14 years 5 months ago
Robust Distributed Sensor Network Localization Based on Analysis of Flip Ambiguities
Abstract— A major problem in wireless sensor network localization is erroneous local geometric realizations in some parts of the network due to the sensitivity to certain distanc...
Anushiya A. Kannan, Baris Fidan, Guoqiang Mao
CSL
2007
Springer
14 years 5 months ago
The Power of Counting Logics on Restricted Classes of Finite Structures
Abstract. Although Cai, F¨urer and Immerman have shown that fixedpoint logic with counting (IFP + C) does not express all polynomialtime properties of finite structures, there h...
Anuj Dawar, David Richerby
COMBINATORICS
2002
87views more  COMBINATORICS 2002»
13 years 10 months ago
Map Genus, Forbidden Maps, and Monadic Second-Order Logic
A map is a graph equipped with a circular order of edges around each vertex. These circular orders represent local planar embeddings. The genus of a map is the minimal genus of an...
Bruno Courcelle, V. Dussaux