Регулярное упражнение: факториалы - PullRequest
4 голосов
/ 20 сентября 2010

Это новая экспериментальная функция StackOverlow: тренировка мышц регулярного выражения путем решения различных классических задач. Единого правильного ответа не существует, и на самом деле мы должны собрать как можно больше правильных ответов, если они обеспечивают образовательную ценность. Все вкусы приняты, но, пожалуйста, документируйте это четко. Насколько это возможно, предоставьте контрольные примеры / фрагменты, чтобы продемонстрировать, что шаблон «работает».

Как мы можем узнать, является ли число x факториалом с использованием регулярных выражений?

Бонус: если шаблон может определить, что x = n! , он также может найти n ?

Ответы [ 2 ]

3 голосов
/ 20 сентября 2010

Java, с бесконечной длиной, взглядом назад и вложенными ссылками ( см. Также на ideone.com ):

import java.util.regex.*;

class Factorial {
static String assertPrefix(String pattern) {
   return "(?<=(?=^pattern).*)".replace("pattern", pattern);
}
public static void main(String[] args) {
   final Pattern FACTORIAL = Pattern.compile(
      "(?x) (?: inc stepUp)+"
         .replace("inc", "(?=(^|\\1 .))")
         //                      1

         .replace("stepUp", "(?: ^. | (?<=(^.*)) (?=(.*)) (?: notThereYet \\2)+ exactlyThere )")
         //                                2          3

         .replace("notThereYet", "(?:  (?=((?=\\3) .  |  \\4 .)) (?=\\1(.*)) (?=\\4\\5)  )")
         //                                           4                  5

         .replace("exactlyThere", "measure4 measure1")
            .replace("measure4", assertPrefix("\\4(.*)"))
            .replace("measure1", assertPrefix("\\1\\6"))
   );

   for (int n = 0; n < 1000; n++) {
      Matcher m = FACTORIAL.matcher(new String(new char[n]));
      if (m.matches()) {
         System.out.printf("%3s = %s!%n", n, m.group(1).length() + 1);
      }
   }
}
}
1 голос
/ 20 сентября 2010

С балансировочными группами .NET, в C # ( см. Также на ideone.com ):

var r = new Regex(@"(?xn) 

^(
   (
     ( ^.
     | (?=  (?<temp-n> .)+ )
       (?<= (?<fact>  .+)  )
       (?<n-temp> \k<fact> )+?
       (?(temp) (?!))
     )
     (?<n>)
   )+
 )$

");

for (int x = 0; x < 6000; x++) {
   Match m = r.Match("".PadLeft(x));
   if (m.Success) {
      Console.WriteLine("{0,4} = {1}! ", x, m.Groups["n"].Captures.Count);
   }
}

Примечание:

Версия .NET, используемаяКажется, что у ideone.com есть ошибка в балансировочных группах, из-за которой нежелательное повторение +? необходимо в приведенном выше фрагменте.В более новых версиях простой жадный + может быть достаточно.См. Также: Возврат балансирующей группы в жадном повторении может вызвать дисбаланс?

...