Spectrum graph and sequence graph for a measured tandem mass spectrum. Every detected product ion is represented by one and only one vertex in the spectrum graph. Many isolated vertices that are not connected to other vertices are not shown in the figure. The spectrum graph is transformed to a sequence graph for sequence tag searching. The orange dotted lines represent short-circuit edges that prohibit the two connected vertices from being in a sequence path.