與Python相交的矩形

Question

給定兩個矩形r1和r2我嘗試測試兩個相交。 爲什麼以下兩個函數不能產生相同的輸出？

功能1：

def separate_helper(r1, r2): 
    r1_left, r1_top, r1_right, r1_bottom = r1 
    r2_left, r2_top, r2_right, r2_bottom = r2 

    if r1_right < r2_left: 
    separate = True 
    elif r1_left > r2_right: 
    separate = True 
    elif r1_top > r2_bottom: 
    separate = True 
    elif r1_bottom < r2_top: 
    separate = True 
    elif contains(r1, r2): 
    separate = False 
    else: 
    separate = False 
    return separate 

功能2：

def separate_helper2(r1, r2): 
    r1_left, r1_top, r1_right, r1_bottom = r1 
    r2_left, r2_top, r2_right, r2_bottom = r2 

    separate = r1_right < r2_left or \ 
    r1_left > r2_right or \ 
    r1_top > r2_bottom or \ 
    r1_bottom < r2_top or \ 
    not contains(r1, r2) 
    return separate 

功能，以檢查是否矩形1包含矩形2：

def contains(r1, r2): 
    r1_left, r1_top, r1_right, r1_bottom = r1 
    r2_left, r2_top, r2_right, r2_bottom = r2 
    return r1_right >= r2_right and r1_left <= r2_left and r1_top <= r2_top and r1_bottom >= r2_bottom 

這裏的一個測試用例失敗：

assert separate_helper（[29,35,53,90]，[23,47,90,86]）== separate_helper2（[29,35,53,90]，[23,47,90,86] ）

它只會在矩形1包含矩形2時失敗，但我無法繞過原因。

編輯：

我使用Python的快速檢查和鼻子來測試功能。下面是我使用的測試代碼：

from qc import forall, lists, integers 
from intersect import separate_helper, separate_helper2 

@forall(tries=100, r1=lists(items=integers(), size=(4, 4)), r2=lists(items=integers(), size=(4, 4))) 
def test_separate(r1, r2): 
    assert separate_helper(r1, r2) == separate_helper2(r1, r2) 

Answer 1

看看你的第一個版本：

elif contains(r1, r2): 
    separate = False 
else: 
    separate = False 

假設你通過所有合適的路口的情況下得到的，這將返回r1False是否包含r2或不。

但在你的第二個版本：

... or \ 
not contains(r1, r2) 

這將返回False是r1不含r2，但True否則。

因此，他們正在做不同的事情，恰恰是「當矩形1包含矩形2」時。

作爲一個方面的問題：爲什麼要含r1r2回報從r2不同的結果包含r1？