请教一个算法问题

[luoluoluo]

对于数组A，B：
A = [a0, a1, ... , an-1]
B = [b1, b2, ..., bn-1]
有多少组i, j使得：
i < j && A[i] < B[j]

如果大家有什么好的解法，可以的话给出解法的__复杂度__和__解法的描述__。我很笨，希望能够听到比较__直白明了不失严谨__的表达，灰常感谢

首先灰常感谢大家热心答复，但不知是不是因为我没表达清楚，很多回答似乎没有理解题目意思。我的意思是：保证原始相对位置A里的在B里的前面的前提下，在数值上小于。我不是想知道仅仅在数值上有多少，相对位置要考虑。手机回复的，不及时还望见谅?

[em70]

A,B数组长度相等吗

[luoluoluo]

@em70 等长，这个影响解法吗？

[wisatbff]

先排序，然后就不用说了吧

[freetg]

k=0
for i in xrange(n-1):
for j in xrange(i+1, n-1):
if A[i] < B[j]:
k += 1
print k

[luoluoluo]

@wisatbff 在下愚钝，请详述
@freetg 这个解法太过暴力

[yangff]

树状数组

[wisatbff]

@luoluoluo 排序之后和归并排序的“归并”操作类似

[em70]

遍历肯定可以解决,算法复杂度2^n,主要你希望简化到多少?

[takato]

O(nlogn)

[luoluoluo]

@yangff 数组数组是指数组区间维护最小值，查询的时候变快了，O(nlog(n))吗？

@wisatbff 是说按照数组值排序，再顺序往下归并，在依次比较下标吗？（如果我理解错了请说的在详细点，谢了哈）可是对于每个A的下标，B中可能存在不止一个下标符合，这样最坏的情形是不是O(n^2)

@em70 我希望可以降到O(n)

[bcxx]

@luoluoluo 试试可以将两个数组进行基排（或者其他 O(n) 的排序算法），然后再遍历两个数组，用类似归并排序的方法来逐个比较就可以了。这样就 O(n) 吧

[xjx0524]

两个数组分别排序O(nlog(n))
遍历A数组，对其中每个元素在B中二分，可以知道有多少比他大的
这样时间复杂度O(nlog(n))

[bcxx]

@bcxx 诶这里还说错了，应该是 O(n+k) 之类的排序算法……

[xjx0524]

@bcxx 仔细想了下，排序完之后可以O(n)统计结果，那样瓶颈就在排序了

[GtDzx]

线段树或者树状数组 复杂度O(nlogn)
元素取值范围足够大的话，应该不存在O(n)算法。否则可以通过构造这类问题来O(n)解决n个元素排序问题。(这点我没想太仔细，不过感觉是上可以这样证明复杂度下限的 :P）

[luoluoluo]

@xjx0524 下标考虑了吗？

@bcxx 归并的话如我上面所说，如果B里面的数都大于A，最坏的情况是O(n^2)吧

[xjx0524]

@luoluoluo 和下标有什么关系？

归并那种方法，如果B里面的数都大于A，最坏的情况是O(2n)，省略常数就是O(n)

[luoluoluo]

@xjx0524
i<j && A[i]<B[i] 共有多少组组合满足，怎么和下标没关系呢？ i < j

[xjx0524]

@luoluoluo
我说的那种二分的方法，假设n为B数组元素个数
遍历A数组，拿a[i]在B中二分，找到位置使b[j]<=a[i]且b[j+1]>a[i]，那么总结果就加上n-j-1(如果数组索引从0开始)
对A数组中每个元素都这么做时间复杂度O(nlogn)

[glasslion]

keyword: 逆序数

[bcxx]

@luoluoluo 不是 O(n^2) ...

[shoumu]

@glasslion 能详细说明一下吗，我没有想明白

[shoumu]

@xjx0524 直接排序的话有点问题吧
如：A = [1, 2, 3] B = [3, 2, 1] 满足条件数为1
A = [3, 2, 1] B = [1, 2, 3] 满足条件数为0

[bcxx]

@shoumu 要预先记录一下原下标

[joying]

时间复杂度O(nlogn)，先对两数组排序，后遍历A数组，对B数组进行二分查找，找到刚好比A[i]小的数的下标j，通过下标即可知道比A[i]大的B[j]的数量。

可以再优化，对B数组的二分查找不必从0开始，而是从刚好比A[i]小的B[j]开始。

[aheadlead]

记得有个很奇妙的方法可以做到 线性时间复杂度

[xjx0524]

@joying 哥们咱俩思路一样，但其实是错的，题目要求的不是任意i,j使得a[i]<b[j]，是要求i < j时 A[i] < B[j]，一排序就乱了。。。

[Exin]

不太明白你们为什么说排序……

我想角标和本身的值可以看做两个等价的属性，
那么排序前角标是有序的，排序后值是有序的，
那么排序应该是没有意义的。

能解释下吗？

[yangff]

不可能做到线性
如果让A=B
那么问题就变成求A的逆序对数
A的逆序对数的已知最优复杂度是O(nlgn)
故原问题复杂度不可能小过O(nlgn)

[joying]

@xjx0524 额。。。忽略了前面的i<j

[luoluoluo]

@bcxx Are you sure? Show me please.
@glasslion 那个对于一个数组理解，对于两个数组怎么操作？
@aheadlead 确定么？要是能找出来就好了哒
@yangff 树状数组能数细点么？
@xjx0524 ^_^
@joying ^_^

[aheadlead]

- - 好像看错了 是不是求逆序对啊...

[yangff]

@luoluoluo 窝系统挂了。。
你百度一下树状数组求逆序对，然后把查询比Ai小的变成查询比Bi小的就可以了

[wisatbff]

@xjx0524 带着下标一起排，没问题啊

[tideline]

这应该是一个稍作变形的逆序对问题吧，用树状数组写了一下，时间复杂度O(nlogn)，代码： http://paste.ubuntu.com/8071502/
这个版本的缺陷在于对数的大小有限制（数组里不能有负数和太大的数），可以离散化改进一下