Регулярное упражнение: факториалы
Это новая экспериментальная функция StackOverlow: тренировка мышц регулярных выражений путем решения различных классических задач. Единого правильного ответа не существует, и на самом деле мы должны собрать как можно больше правильных ответов, если они обеспечивают образовательную ценность. Все вкусы приняты, но, пожалуйста, документируйте это четко. Насколько это возможно, предоставьте контрольные примеры / фрагменты, чтобы продемонстрировать, что шаблон "работает".
Как мы можем узнать, является ли число x факториалом с использованием регулярных выражений?
Бонус: если по шаблону можно определить, что x = n! может это тоже найти?
2 ответа
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);
}
}
}
}
С балансировочными группами.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, похоже, содержит ошибку в балансировочных группах, которая неохотно повторяется +?
необходимо в приведенном фрагменте. В новых версиях простой жадный +
может хватить. Читайте также: Возвращение балансирующей группы в жадное повторение может вызвать дисбаланс?