與或圖搜尋，人工智慧中的搜尋技術之一，亦稱問題分解搜尋。為了求解一個問題，可以把它分解成若干子問題，每個子問題又可以繼續分解為若干更小的子問題；分解到最後，所得到的子問題無非是兩大類。一類是不需要進行分解就能解決的所謂“本原問題”，另一類是既無法解決而又不能進一步分解的“不可解問題”。每次分解所得到的子問題和被分解的前輩問題的關係，一般也可以分成兩種情況。一種是父輩問題的解決依賴於所有子問題的解決(即只要有一個子問題不可解，父輩問題就不能解決)，另一種是父輩問題的解決只依賴於任何一個子問題的解決(即只要有一個子問題可解，父輩問題就可解決)。因此，從問題分解過程中所得到的子問題的類型以及父輩問題和子問題所顯示出來的關係中，往往可以搜尋到解決原給問題的途徑。問題分解搜尋的過程，可以用所謂“與或圖”來描述，故稱為與或圖搜尋。“與或圖”和狀態圖搜尋中的狀態圖相似而不相同。在與或圖中，根節點表示原給問題，其他節點全部表示子問題；擴展一個節點，即由父輩節點生長出若干個後繼節點，就表示把父輩問題分解為若干個相應的子問題；擴展分為“與擴展”和“或擴展”，導致子問題全部可解則父輩問題才可解的擴展叫“與擴展”(其全部樹枝用小園弧聯接)，導致子問題中任何一個可解則父輩問題就可解的擴展叫“或擴展”，“與或圖”的名稱即由此而來。一幅與或圖，若只有與擴展，就稱為“與樹”，若只有或擴展就稱為“或樹”，若既有與擴展又有或擴展就稱為“與或樹”。
