C-D18G-EXISTENCE-CUT

Tồn tại quan hệ chiều-cao-chặn làm phép cắt bị bác, mọi bộ-năm mang một quan hệ support-5 ngắn

Bị bácEvidence I2Phạm vi: p=197, all subsetsTừ gate-d18

Nói dễ hiểu

Phát hiện cấu trúc bằng việc có tồn tại quan hệ ngắn hay không thất bại, quan hệ ngắn ở khắp nơi.