Các lượt nộp
    Danh sách bài
    Trang chủ
    Báo lỗi

    solution

    Đề bài: [Toán rời rạc] Một bước hợp giải (resolution)

    Cho hai mệnh đề (tập literal) AAA và BBB. Hợp giải (resolution) áp dụng được khi tồn tại đúng một literal ℓ\ellℓ với ℓ∈A\ell\in Aℓ∈A và ¬ℓ∈B\lnot\ell\in B¬ℓ∈B; khi đó resolvent là (A∪B)∖{ℓ,¬ℓ}(A\cup B)\setminus\{\ell,\lnot\ell\}(A∪B)∖{ℓ,¬ℓ}.

    In ra resolvent (các literal sắp xếp theo ∣ℓ∣|\ell|∣ℓ∣ rồi theo giá trị). Nếu không có đúng một cặp bù, in NONE; nếu resolvent rỗng (mâu thuẫn), in EMPTY; nếu resolvent chứa cặp bù (hằng đúng), in TAUTOLOGY.

    • Định dạng đầu vào:

      Bốn dòng: dòng 1 là kAk_AkA​ (số literal của AAA); dòng 2 là kAk_AkA​ literal; dòng 3 là kBk_BkB​; dòng 4 là kBk_BkB​ literal. Dòng literal có thể rỗng nếu k=0k=0k=0.

    • Ràng buộc đầu vào:

      0≤kA,kB≤500 \le k_A,k_B \le 500≤kA​,kB​≤50, literal là số nguyên khác 0 trong [−50,50][-50,50][−50,50].

    • Định dạng đầu ra:

      Một dòng: resolvent, hoặc NONE/EMPTY/TAUTOLOGY.

    Ví dụ:

    Đầu vào:

    2
1 2
2
-1 3

    Đầu ra:

    2 3

    Giải thích:

    $A=\{1,2\}$, $B=\{-1,3\}$; cặp bù là $1,-1$. Resolvent $=\{2,3\}$.

    Đang tải editor...