在 Haskell 中生成下一个字典字符串

Question

如果给我一个像skhfbvqa 这样的字符串，我将如何生成 next 字符串？对于这个例子，它是skhfbvqb，下一个字符串是skhfbvqc，以此类推。给定的字符串（和答案）总是 N 个字符长（在这种情况下，N=8）。

我尝试了什么：

我试图生成可能组合的整个（无限）列表，并获取给定字符串的所需（下一个）字符串，但不出所料，它太慢了，我什至没有得到 的答案N=6.

我使用了列表理解：

allStrings = [ c : s | s <- "" : allStrings, c <- ['a'..'z'] ]

main = do
    input <- readFile "k.in"
    putStrLn . head . tail . dropWhile (not . (==) input) . map reverse $ allStrings

（请原谅我非常糟糕的 Haskell-ing :) 仍然是菜鸟）

所以我的问题是，我该怎么做？如果有多种方法，非常感谢它们之间的比较。谢谢！

Answer 1

这是一个带有基本转换的版本（这样你可以随意加减）：

encode x base = encode' x [] where
  encode' x' z | x' == 0 = z
               | otherwise = encode' (div x' base) ((mod x' base):z)

decode num base =
  fst $ foldr (\a (b,i) -> (b + a * base^i,i + 1)) (0,0) num

输出：

*Main> map (\x -> toEnum (x + 97)::Char) 
       $ encode (decode (map (\x -> fromEnum x - 97) "skhfbvqa") 26 + 1) 26

"skhfbvqb"

Answer 2

我会去创建一个辅助函数f :: Integer -> String 和一个g :: String -> Integer，其中f 1 = "a"，...f 27 = "aa"，f 28 = "ab" 等等，反之则为g。

然后incrementString = f . succ . g

注意：为了学习，我省略了f的实现

更新

对于不同的方法，您可以使用进位函数 inc' :: Char -> (Char, Bool) 定义增量，然后

incString :: String -> String
incString = reverse . incString'
   where incString' [] = []
         incString' (x:xs) = case inc' x of (x',True) -> x': incString' xs
                                            (x',False) -> x':xs

注意：这个函数不是尾递归的！

Answer 3

我发现这行得通。它只是使用模式匹配来查看字符串是否以 z 开头并相应地添加额外的 a。

incrementString' :: String -> String
incrementString' []          = ['a']
incrementString' ('z':xs)    = 'a' : incrementString' xs
incrementString' (x:xs)      = succ x : xs

incrementString :: String -> String
incrementString = reverse . incrementString' . reverse