13,819 research outputs found
To Prove Four Color Theorem
In this paper, we give a proof for four color theorem(four color conjecture).
Our proof does not involve computer assistance and the most important is that
it can be generalized to prove Hadwiger Conjecture. Moreover, we give
algorithms to color and test planarity of planar graphs, which can be
generalized to graphs containing minor.
There are four parts of this paper:
Part-1: To Prove Four Color Theorem
Part-2: An Equivalent Statement of Hadwiger Conjecture when
Part-3: A New Proof of Wagner's Equivalence Theorem
Part-4: A Geometric View of Outerplanar GraphComment: The paper is further reduced, and each part is more self-contained,
is the fina
A Planarity Test via Construction Sequences
Optimal linear-time algorithms for testing the planarity of a graph are
well-known for over 35 years. However, these algorithms are quite involved and
recent publications still try to give simpler linear-time tests. We give a
simple reduction from planarity testing to the problem of computing a certain
construction of a 3-connected graph. The approach is different from previous
planarity tests; as key concept, we maintain a planar embedding that is
3-connected at each point in time. The algorithm runs in linear time and
computes a planar embedding if the input graph is planar and a
Kuratowski-subdivision otherwise
A New Perspective on Clustered Planarity as a Combinatorial Embedding Problem
The clustered planarity problem (c-planarity) asks whether a hierarchically
clustered graph admits a planar drawing such that the clusters can be nicely
represented by regions. We introduce the cd-tree data structure and give a new
characterization of c-planarity. It leads to efficient algorithms for
c-planarity testing in the following cases. (i) Every cluster and every
co-cluster (complement of a cluster) has at most two connected components. (ii)
Every cluster has at most five outgoing edges.
Moreover, the cd-tree reveals interesting connections between c-planarity and
planarity with constraints on the order of edges around vertices. On one hand,
this gives rise to a bunch of new open problems related to c-planarity, on the
other hand it provides a new perspective on previous results.Comment: 17 pages, 2 figure
NodeTrix Planarity Testing with Small Clusters
We study the NodeTrix planarity testing problem for flat clustered graphs
when the maximum size of each cluster is bounded by a constant . We consider
both the case when the sides of the matrices to which the edges are incident
are fixed and the case when they can be chosen arbitrarily. We show that
NodeTrix planarity testing with fixed sides can be solved in
time for every flat clustered graph that can be
reduced to a partial 2-tree by collapsing its clusters into single vertices. In
the general case, NodeTrix planarity testing with fixed sides can be solved in
time for , but it is NP-complete for any . NodeTrix
planarity testing remains NP-complete also in the free sides model when .Comment: Appears in the Proceedings of the 25th International Symposium on
Graph Drawing and Network Visualization (GD 2017
A Note on the Practicality of Maximal Planar Subgraph Algorithms
Given a graph , the NP-hard Maximum Planar Subgraph problem (MPS) asks for
a planar subgraph of with the maximum number of edges. There are several
heuristic, approximative, and exact algorithms to tackle the problem, but---to
the best of our knowledge---they have never been compared competitively in
practice. We report on an exploratory study on the relative merits of the
diverse approaches, focusing on practical runtime, solution quality, and
implementation complexity. Surprisingly, a seemingly only theoretically strong
approximation forms the building block of the strongest choice.Comment: Appears in the Proceedings of the 24th International Symposium on
Graph Drawing and Network Visualization (GD 2016
Strip Planarity Testing of Embedded Planar Graphs
In this paper we introduce and study the strip planarity testing problem,
which takes as an input a planar graph and a function and asks whether a planar drawing of exists
such that each edge is monotone in the -direction and, for any
with , it holds . The problem has strong
relationships with some of the most deeply studied variants of the planarity
testing problem, such as clustered planarity, upward planarity, and level
planarity. We show that the problem is polynomial-time solvable if has a
fixed planar embedding.Comment: 24 pages, 12 figures, extended version of 'Strip Planarity Testing'
(21st International Symposium on Graph Drawing, 2013
An evaluation of planarity of the spatial QRS loop by three dimensional vectorcardiography: its emergence and loss
Aims:
To objectively characterize and mathematically justify the observation that vectorcardiographic QRS loops in normal individuals are more planar than those from patients with ST elevation myocardial infarction (STEMI).
Methods:
Vectorcardiograms (VCGs) were constructed from three simultaneously recorded quasi-orthogonal leads, I, aVF and V2 (sampled at 1000 samples/s). The planarity of these QRS loops was determined by fitting a surface to each loop. Goodness of fit was expressed in numerical terms.
Results:
15 healthy individuals aged 35–65 years (73% male) and 15 patients aged 45–70 years (80% male) with diagnosed acute STEMI were recruited. The spatial-QRS loop was found to lie in a plane in normal controls. In STEMI patients, this planarity was lost. Calculation of goodness of fit supported these visual observations.
Conclusions:
The degree of planarity of the VCG loop can differentiate healthy individuals from patients with STEMI. This observation is compatible with our basic understanding of the electrophysiology of the human heart
- …