Interleaving: Difference between revisions

@@ Line 110: / Line 110: @@
 => '''δ''' - '''V''' = ‖''w''‖ = ‖''s''‖ - '''δ''' - '''W'''
-=> 2'''δ''' + '''W''' = ‖''s''‖ + '''V'''. If this linear relation is trivial, the third letter '''U''' occurs an even number of times in ''s'', '''V''' occurs an odd number of times in ''s'', and '''W''' occurs an even number of times.
+=> 2'''δ''' + '''W''' = ‖''s''‖ + '''V'''. If this linear relation is trivial, the third letter '''U''' occurs an even number of times in ''s'', '''V''' occurs an odd number of times in ''s'', and '''W''' occurs an even number of times. Since gcd(''a'', ''b'') = 1, {'''U''', '''W'''} != {'''X''', '''Y'''}.
-Case (a): ('''V''', '''W''') = ('''X''', '''Y''')
-Case (b): ('''V''', '''W''') = ('''X''', '''Z''') (('''Y''', '''Z''') is similar)
-Case (c): ('''V''', '''W''') = ('''Z''', '''X''') (('''Z''', '''Y''') is similar)
 == Generalizations ==