PHP数组交集和并集在算法和数据结构中的理论基础

PHP数组的交集和并集操作在算法和数据结构中具有明确的理论基础，其核心是通过集合论的基本概念实现元素关系的计算。以下是详细分析：

1. 集合论基础

   交集（Intersection）：属于集合A且同时属于集合B的元素组成的集合，数学表示为A∩B。

   并集（Union）：属于集合A或属于集合B的所有元素组成的集合，数学表示为A∪B。PHP的array_intersect()和array_union()函数直接对应这些数学定义，但需注意PHP中array_union()实际为array_merge()的变体（需去重时需结合array_unique()）。

2. 算法复杂度

   哈希表优化：PHP内部通过哈希表实现交集/并集操作，平均时间复杂度为O(n+m)，其中n和m为数组长度。

   键值处理：PHP数组是键值对结构，交集默认比较值（array_intersect），并集合并键时会覆盖重复键的值。

1. 函数行为

   array_intersect($array1, $array2, ...)：返回所有在第一个数组中存在且在后续数组中均存在的值，保留原始键。

   并集的正确实现：PHP无直接array_union()函数，需通过以下方式实现：$union = array_unique(array_merge($array1, $array2));

2. 代码示例修正原示例中的array_union()会导致错误，正确用法：

   $array1 = [1, 2, 3, 4, 5];$array2 = [3, 4, 5, 6, 7];$intersection = array_intersect($array1, $array2); // [3, 4, 5]$union = array_unique(array_merge($array1, $array2)); // [1, 2, 3, 4, 5, 6, 7]

1. 共同好友计算通过交集快速找出两个用户的共同好友ID列表，适用于社交网络推荐系统：

   $user1Friends = ['id1' => 23, 'id2' => 45];$user2Friends = ['id3' => 45, 'id4' => 89];$common = array_intersect($user1Friends, $user2Friends); // [45]

2. 数据去重与合并并集操作常用于合并多来源数据并去重，例如日志分析：

   $log1 = ['error1', 'warning1'];$log2 = ['error1', 'error2'];$allLogs = array_unique(array_merge($log1, $log2)); // ['error1', 'warning1', 'error2']

1. 自定义比较逻辑使用array_uintersect()通过回调函数实现复杂对象的交集比较：

   $users1 = [['id' => 1], ['id' => 2]];$users2 = [['id' => 2], ['id' => 3]];$common = array_uintersect($users1, $users2, fn($a, $b) => $a['id'] <=> $b['id']); // [['id' => 2]]

2. 性能优化建议

   对大数组操作前，先用array_flip()交换键值（若值唯一），将O(n)查找转为O(1)。

   避免在循环中重复调用交集/并集函数。

1. 键处理差异array_intersect保留第一个数组的键，而array_merge会重新索引数字键。

2. 严格类型比较默认使用松散比较（==），需严格比较时可用array_intersect_key()或自定义函数。

通过理解这些理论基础和实现细节，可以更高效地利用PHP数组操作解决实际问题，同时避免潜在的性能和逻辑陷阱。