判断句子是不是魔法咒语的算法

javaeye 上看到一个帖子讲动态规划算法的：
http://www.javaeye.com/topic/204976?page=1

其中提出了一个题目：判断句子是不是魔法咒语。
描述如下：

"话说有个魔法字典，其中记录了一些魔力单词（字符串），如果一个句子（也是字符串）可以被完全分解为若干魔力单词的拼接，那么这个句子就是一条咒语。假设 我们可以用常数时间查询魔力字典是否包含一个特定的单词，那么现在给你一个句子，让你写一个程序判断这个句子是否一条咒语。用动态规划可以解哦。"

其中跟贴的有人说到需要先列出“状态转移方程” ，我不太懂，不过觉得这个问题倒是可以用回溯法尝试一下。
代码如下：

# coding: utf-8
# 2008-8-21, Neil Chen
#  判断一个句子是否为咒语（由魔法词组成）
#  解法：回溯法

#  魔法词典
magic_words  =  [ ' m ' ,  ' foo ' ,  ' bar ' ,  ' boo ' ,  ' barr ' ,  ' jac ' ,  ' j '   ' c ' ]

#  是否为魔力单词
def  is_magic_word(word):
     return  word  in  magic_words

#  是否为咒语
def  is_spell(sentence):
     #  最终如能成功分割为魔法单词，则句子中会出现 n 个分隔点，
     #  现尝试用回溯法来找出这些点的位置
    split_points  =  [ 1 ]
    n  =  len(sentence)
     while  True:
         #  判断最后两个分隔点之间的单词是否为魔力单词，否则将该位置增加1，继续尝试
        is_magic  =  False
         while  split_points[ - 1 ]  <=  n:
             if  len(split_points)  ==   1 :
                start  =  0
             else :
                start  =  split_points[ - 2 ]
             #  得到最后两个分隔点之间的单词
            word  =  sentence[start : split_points[ - 1 ]]            
             if  is_magic_word(word):
                is_magic  =  True
                 break
             else :                
                split_points[ - 1 ]  +=   1

         #  最后一个分隔点之前都是魔力单词
         if  is_magic:
             #  已经到达末尾，成功了
             if  split_points[ - 1 ]  ==  n:
                 return  True
             #  增加下一个分隔点位置，继续分割
             else :
                split_points.append(split_points[ - 1 ]  +   1 )
         #  最后一个分隔点无论怎样选都不能组成一个魔力单词，则需要回溯到上一个分隔点
         else :
             #  退无可退！表示这个句子不是咒语
             if  len(split_points)  ==   1 :
                 return  False
             #  退回到上一个分隔点
             else :
                split_points.pop()
                 #  将回溯到的位置加一，重新进入下一次循环尝试
                split_points[ - 1 ]  +=   1


# ================ 测试代码 ======================
if   __name__   ==   ' __main__ ' :
     print  is_magic_word( ' foo ' )           #  True
     print  is_magic_word( ' fo ' )            #  False

     print  is_spell( ' morning ' )            #  False
     print  is_spell( ' hello ' )              #  False
     print  is_spell( ' foo ' )                #  True
     print  is_spell( ' bar ' )                #  True
     print  is_spell( ' barfoombarmjac ' )     #  True

以上代码已经实现了这个算法。（不过有个小小的问题，如果字符串里含有中文，则不能正确判断，这是因为 python 中 len() 函数判断中文为双字节造成的，等有时间再改进这个）。