如何检查一个数组是否是另一个数组的正确排序子集

Question

我有一些字符串数组，例如：

$big = ['html', 'body', 'div', 'table', 'tbody', 'tr', 'td'];
$small = ['body', 'div', 'td'];
$wrong = ['td', 'body', 'div'];

我需要检查$small 和$wrong 是否可以在$big 中找到。但是我需要顺序相同。所以我的函数应该为$small返回true，为$wrong返回false。手动完成应该相当简单，但我需要代码快速。因此，理想情况下，如果有一个内置功能可以实现这一点，我宁愿使用它。

所以问题主要是这样的内置是否存在。这是我想出的代码，以防万一：

/**
 * Returns whether the substack is contained in the stack in the correct order.  
 * 
 * @param string[] $stack           The substack to check
 * @param string[] $subStack        The substack to check 
 * @return bool
 */
function stackInStack(array $stack, array $subStack)
{

    // First let's do a simple array diff to save time on an ordered diff;
    // TODO: Check if this actually improves average performance.
    if (count(array_diff($subStack, $stack)) !== 0) return false;

    $stackSize = count($stack);
    $subStackSize = count($subStack);

    $stackIndex = 0;
    for ($subIndex = 0; $subIndex < $subStackSize; $subIndex++) {

        while (
            $stackIndex < $stackSize &&
            $stack[$stackIndex] !== $subStack[$subIndex]
        ) {
            $stackIndex++;
        }

        if ($stackIndex == $stackSize) {
            if ($subIndex <= $subStackSize - 1) {
                return false;
            } elseif ($subIndex > $subStackSize - 1) {
                throw new Exception('Very Strange Exception: subIndex has outgrown subStacksize');
            }
        } elseif ($stackIndex > $stackSize) {
            throw new Exception('Very Strange Exception: index has outgrown stacksize');
            break;
        } 

    }
    return true;
}

如果内置不存在或速度很慢，任何提高上述代码效率的技巧（除了用 c 重写）也将不胜感激。

Answer 1

这比你的版本短一点，它使用array_intersect() 计算出两个数组中的公共元素，然后将结果与子堆栈进行比较，看看它们是否相同......

$big = ['html', 'body', 'div', 'table', 'tbody', 'tr', 'td'];
$small = ['body', 'div', 'td'];
$wrong = ['td', 'body', 'div'];

function stackInStack(array $stack, array $subStack)
{
    return array_values(array_intersect($stack, $subStack)) == $subStack;
}

var_dump(stackInStack($big, $small));
var_dump(stackInStack($big, $wrong));

只是为了说明我的意思

print_r(array_intersect($big, $wrong));

给...

Array
(
    [1] => body
    [2] => div
    [6] => td
)

所以将此与$wrong 进行比较，它的顺序不同。

Answer 2

假设您的数组不是太大，您可以改用字符串比较。像这样的：

<?php

    $big = ['html', 'body', 'div', 'table', 'tbody', 'tr', 'td'];
    //$small = ['body', 'div', 'td']; // This is the original
    $small = ['body', 'div', 'table']; // This is for testing
    $wrong = ['td', 'body', 'div'];

    $bigToken = implode($big, ''); // Output: htmlbodydivtabletbodytrtd
    $smallToken = implode($small, ''); // Output: bodydivtable
    $wrongToken = implode($wrong, ''); // Output: tdbodydiv

    if (stristr($bigToken, $smallToken) !== false) {
        echo("Small is in big!");
    }
    elseif (stristr($bigToken, $wrongToken) !== false) {
        echo("Wrong is in big!");   
    }
    else {
        echo("No match found :)");
    }

?>

它基本上将数组转换为字符串并检查其中是否包含另一个字符串。性能方面，这完全取决于您的实际数组有多大，但这确保了正确的顺序并且更易于维护。

---

正如下面的 cmets 中所指出的，最好使用某种标记来implode，以确保在可能发生冲突的情况下正确分离标签。

Answer 3

只需使用简单的指针来遍历$needle，这是一个较小的数组，可以作为较大数组中的子序列找到。一旦找到匹配，增加指针，否则继续移动。如果指针达到较小数组的长度，宾果游戏，它是一个子序列，否则它不是。

片段：

<?php

$big = ['html', 'body', 'div', 'body','table', 'tbody', 'tr', 'td'];
$small = ['body', 'div', 'td'];
$wrong = ['td', 'body', 'div'];


function isSubsequence($haystack,$needle){
    if(count($needle) > count($haystack)) return false;
    $keys = array_keys($needle);
    $ptr = 0;
    $len = count($needle);

    foreach($haystack as $element){
        if($ptr === $len) return true;
        if($needle[$keys[$ptr]] === $element) $ptr++;
    }

    return $ptr === $len;
}


var_dump(isSubsequence($big, $small));
var_dump(isSubsequence($big, $wrong));

演示： https://3v4l.org/vqBMj

Answer 4

这几乎与Nigel Ren's 重复，但我是在另一个窗口中输入的。

计算将按照第一个数组的顺序的交集，重新索引两者并将交集与原始数组进行比较：

$result = array_values(array_intersect($big, $small)) === array_values($small);
// true

$result = array_values(array_intersect($big, $wrong)) === array_values($wrong);
// false

Answer 5

这也适用于关联数组：

"array_search()" 将返回值对应的键， 所以你可以看看顺序是否正确......

function is_array_in_array($array, $inarray){
    $pos = -1; $match = 0;
    $array = array_values($array);
    $inarray = array_values($inarray);
    foreach($array as $v){
        $p = array_search($v, $inarray);
        if($p===false || $p<=$pos) return false;
        $pos = $p; $match++;
    }
    if(count($array)==$match) return true;
    return false;
}

它会返回：

$small_assoc = array('A'=>'body', 'B'=>'div', 'C'=>'td');

is_array_in_array($small, $big);  # =1
is_array_in_array($wrong, $big);  # =0
is_array_in_array($big, $big);    # =1
is_array_in_array($small_assoc, $big); # =1