Interleaving: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
Line 110: Line 110:
=> '''δ''' - '''V''' = ‖''w''‖ = ‖''s''‖ - '''δ''' - '''W'''
=> '''δ''' - '''V''' = ‖''w''‖ = ‖''s''‖ - '''δ''' - '''W'''


=> 2'''δ''' + '''W''' = ‖''s''‖ + '''V''' which is a nontrivial linear relation iff the third letter '''U''' occurs an even number of times in ''s''
=> 2'''δ''' + '''W''' = ‖''s''‖ + '''V'''. If this linear relation is trivial, the third letter '''U''' occurs an even number of times in ''s''


== Generalizations ==
== Generalizations ==