Giả thuyết Frankl được Péter Frankl phát biểu vào năm 1979 (còn được gọi là giả thuyết các tập hợp đóng, nguyên bản tiếng Anh: Union-closed sets conjecture). Giả thuyết được phát biểu như sau: trong một họ hữu hạn các tập hợp đóng F ≠{∅}, có ít nhất một phần tử thuộc vào ít nhất một nửa trong số các tập thuộc F. Phần thứ hai, đề cập đến phiên bản đồ thị của giả thuyết các tập hợp đóng. Với các tiếp cận này, ta có một cách nhìn khác về tập hợp ở dạng đồ thị, trong đó có sự ánh xạ giữa các tập hợp, các phần tử đến các đỉnh, cạnh trong đồ thị tương ứng. Nghiên cứu trên các lớp bài toán đồ thị cho phép ta biểu diễn giả thuyết các tập hợp đóng dễ dàng hơn, đồng thời cho những kết quả mới và thú vị. Phần thứ 3, là giải thuật liệt kê các tập thuộc họ các tập hợp đóng, với các phần tử hữu hạn xác định, nhằm kiểm tra giả thuyết Frankl trên máy tính. Bài báo cáo cũng đề cập đến bài toán tìm các tập độc lập cực đại, sử dụng giải thuật quay lui.