The breakpoint graph
of a permutation
is an edge colored graph on n+2 vertices
.
We join vertices
and
by a black edge if
is a breakpoint in
and by a gray edge if (i,j)
is a breakpoint in .
We now define a one-to-one mapping u from the set of signed
permutations of order n into the set of unsigned permutations of
order 2n. Let
be a signed permutation. To
obtain
replace each positive element x in
by
2x-1 and 2x, and each negative element -x by 2x and
2x-1. For any signed permutation ,
let
.
This description of
is equivalent to the following description:
given a permutation
,
obtain a 2n+2 vertices
graph by replacing each positive element x in
by 2x-1 and 2x,
each negative element -x by 2x and 2x-1, and augment with begin and
end vertices, 0 and 2n+1. Black edges connect vertices
and gray edges connect vertices 2i and
2i+1.
From now on we limit the discussion to signed
permutations. Note that in
every vertex is either
isolated or incident with exactly one black edge and one gray
edge. Therefore, there is a unique decomposition of
into
cycles. The edges of each cycle are alternating gray and black.
Call a reversal
such that i is odd and j even an
even reversal. An even reversal
on
mimics the
reversal
on .
Thus, sorting
by reversals is
equivalent to sorting the unsigned permutation
by even reversals.
From now on we will consider the latter problem and by reversals we will
always mean an even reversal. Let
and let
be
the number of cycles in .
Figure 11.9(a) shows the breakpoint graph of the
permutation
.
It has eight breakpoints
and decomposes into two alternating cycles, i.e.
,
and
.
The two cycles are shown in figure
11.9(b). Figure 11.9(a) shows the
breakpoint graph of
that has seven
breakpoints and decomposes into two cycles.
For an arbitrary reversal
on a permutation ,
define
and
.
When the reversal
and the
permutation
will be clear from the context we will
abbreviate
to
and
to .
As Bafna and Pevzner [3]
observed, the following values are taken by
and
depending on the types of the gaps
acts on (see
figure 11.8):
1.
Two adjacencies:
and
.
2.
A breakpoint and an adjacency:
and
.
3.
Two breakpoints each belonging to a different cycle:
,
.
4.
Two breakpoints of the same cycle C:
a.
and
are gray edges:
,
.
b. Exactly one of
and
is a gray edge:
,
.
c.
Neither
nor
is a gray edge,
and when breaking C
at i and j
vertices i-1 and j+1 end up in the same path:
,
.
d.
Neither
nor
is a gray edge,
and when breaking C
at i and j
vertices i-1 and j+1 end up in different paths:
,
.
An alternative construction of the breakpoint graph constructs
,
with vertices
,
black edges
,
and grey edges (2i,2i+1) for all
.
All vertices of
are in disjoint cycles,
with the number of cycles in
being
.
The signed identity permutation has n+1 cycles in B'(id), and
sorting
means increasing the number of cycles in .
Notice that in this formulation all reversals are one of three types:
A reversal can act on two cycles, joining them. We call this move
a bad move.
It can act on one cycle, changing it. We call this move a
profitless move.
It can act on one cycle, splitting it. We call this a
good move.
Theorem 11.8
[3] The number of
reversals needed to sort a permutation
is at least
,
where
is the number of breakpoints in
and
is the number of cycles in
(which is also the
number of nontrivial cycles in .
Proof:The identity permutation has no breakpoints and no non-trivial cycles,
thus
b(id)-c(id)=0.
We have seen that every reversal changes
by at most 1,
Therefore we need at least
reversals to sort .
A simpler proof argues that the number of cycles in
increases
by at most 1 for every reversal.
Figure:
All
possible cases of changes to
and
by applying a reversal (see section 11.4.4 ).
Call a reversal proper if
,
i.e. it is either
of type 4a, 4b, or 4d. We say that a reversal
acts
on a gray edge e if it acts on the breakpoints which
correspond to the black edges incident with e. A gray edge is
oriented if a reversal acting on it is proper, otherwise it
is unoriented. Notice that a gray edge
is
oriented if and only if k+l is even. For example, the gray edge
(0,1) in the graph of figure 11.9(a) is
unoriented, while the gray edge (7,6) is oriented.
Figure:
a) The
breakpoint graph, ,
of the permutation
.
Black edges are solid; gray edges are dashed;
oriented edges are bold. b)
decomposes into two disjoint
alternating cycles. c) The overlap graph, .
Black
vertices correspond to oriented edges.