《leetCode-php》给出三个字符串s1, s2, s3,判断s3是否可以由s1和s2交织而成

给出三个字符串s1, s2, s3,判断s3是否可以由s1和s2交织而成。
例如： 给定 s1 ="aabcc",s2 ="dbbca",如果s3 ="aadbbcbcac", 返回true；如果s3 ="aadbbbaccc", 返回false

思路：动态规划

当有两个来源的时候，构造二维图来判断第i+j个是否可以由s1和s2组成。d[i][j]存的是s3中到i+j的位置是否可以由s1的j个字符、s2的i个字符交织而成。

状态方程为

d[i][j] = (d[i][j-1] & s1[j] == s3[i+j -1]) | (d[i-1][j] & s2[i] == s3[i+j -1])

<?php
function isInterleave($s1, $s2, $s3) {
    $numS1 = strlen($s1);
    $numS2 = strlen($s2);
    $numS3 = strlen($s3);
    if ($numS3 != $numS1 + $numS2) {
        return false;
    }
    //作为状态值$d
    $d = [
        0 => [
            0 => true,
        ]
    ];
    for ($j = 0; $j <= $numS1; $j ++) {
        $d[0][$j + 1] = $d[0][$j] & ($s1[$j] == $s3[$j]);
    }
    for ($i = 0; $i <= $numS2 ; $i ++) {
        $d[$i + 1][0] = $d[$i][0] & ($s2[$i] == $s3[$i]);
    }
    for ($i = 1; $i <= $numS2 ; $i ++) {
        for ($j = 1; $j <= $numS1; $j ++) {
            $d[$i][$j] = ($d[$i][$j - 1] & ($s1[$j - 1] == $s3[$i + $j - 1])) | ($d[$i - 1][$j] & ($s2[$i - 1] == $s3[$i + $j - 1]));
        }
    }
    print_r($d);
    return $d[$numS1][$numS2];
}
$s1 = "aabcc";
$s2 = "dbbca";
//$s3 = "aadbbcbcac";
$s3 = "aadbbbaccc";
$ret = isInterleave($s1, $s2, $s3);
print intval($ret);