窮舉法，也稱爲枚舉法，是一種在問題域的解空間中對所有可能的解進行窮舉搜索，並根據條件選擇最優解的方法。
這種方法的基本思想是根據題目的部分條件確定答案的大致範圍，並在此範圍內對所有可能的情況逐一驗證，直到全部情況驗證完畢。如果在驗證過程中某個情況符合題目的全部條件，則視爲問題的一箇解。如果在全部情況驗證完畢後仍未找到符合條件的解，則問題無解。窮舉法不僅用於找出符合條件的所有解，如果給出最優解的判斷條件，窮舉法也可以用於求解最優解問題。
此外，窮舉法在算法設計中經常被使用，它的基本思想是將問題的所有可能的輸入一一進行驗證，看是否滿足問題的條件，從而找到可能的解。這種方法常用於解決“是否存在”、“有多少種情況”等類型的問題。對於一些數學問題、邏輯推理問題，窮舉法雖然看起來是一種較爲基礎的方法，但可以利用計算機的高速運算特點，避免複雜的邏輯推理過程，使問題簡單化。