原文:http://blog.stevenlevithan.com/archives/algebra-with-regexes
我照著原文寫出的正則還真的計(jì)算出了結(jié)果。上php例子:
復(fù)制代碼 代碼如下:
?php
/**
* 計(jì)算 Ax+By=C
*/
function suan($A, $B, $C) {
$A--;
$B--;
$str = str_repeat('-', $C);
$search = '/^(.*)\1{' . $A . '}(.*)\2{' . $B . '}$/';
preg_match($search, $str, $r);
return array('x' => strlen($r[1]), 'y' => strlen($r[2]));
}
$A = 2;
$B = 3;
$C = 9;
$r = suan($A, $B, $C);
// 測(cè)試
echo '計(jì)算' . $A . 'x+' . $B . 'y=' . $C . 'br />';
echo 'x=' . ($r[x]) . 'br />';
echo 'y=' . ($r[y]);
// 輸出
// 計(jì)算2x+3y=9
// x=3
// y=1
?>
我解釋下
來(lái)一個(gè)簡(jiǎn)單的式子來(lái)說(shuō):2x+3y=9
原理:
在此函數(shù)中生成出這樣的正則
復(fù)制代碼 代碼如下:
^(.*)\1{1}(.*)\2{2}$
去匹配一個(gè)長(zhǎng)度為9的重復(fù)字符串 “-”,匹配出兩個(gè)分組的長(zhǎng)度,就是他的x 和 y的值了
正則解釋:
【(.*)】也就是0到無(wú)數(shù)個(gè)【.】點(diǎn)號(hào)。
\1就是引用一組。后面【{1}】就是重復(fù)1次。
后半是\2就是引用2組。后面【{2}】就是重復(fù)1次。
以下是那個(gè)英文博客的翻譯:
二元方程17x + 12y = 51,其表達(dá)式【^(.*)\1{16}(.*)\2{11}$】。很好理解?!?.*)】也就是0到無(wú)數(shù)個(gè)【.】點(diǎn)號(hào)。(這里是接著上文說(shuō)的,其實(shí),【.】點(diǎn)號(hào)想表示的是字符“1”)
也就是0到無(wú)數(shù)個(gè)1,后面【\1】引用一次。后面【{16}】就是16次。作用于前面的【\1】,也就是16次引用。加上開始的【(.*)】一共正好17次。后面一個(gè)就不說(shuō)了,跟這個(gè)一樣。
正則引擎會(huì)依次嘗試【(.*)】中0到無(wú)數(shù)個(gè)字符“1”,0個(gè)字符“1”,1個(gè)字符“1”,2個(gè)字符“1”一直增加的嘗試。直到成功,否則要嘗試完所有字符“1”的最大個(gè)數(shù)(這里是51個(gè)字符“1”)。
PS: 沒有考慮無(wú)解的情況,當(dāng)無(wú)解時(shí) x和y都是0