bằng chứng: memb ership là hiển nhiên. độ cứng được chứng minh bằng cách chuyển đổi từ đạo diễn sắp xếp tối ưu tuyến tính (thậm chí & shiloach, 1975). cho một đồ thị có hướng G = (V, một) và một số nguyên dương k, câu hỏi là, es tồn tại một hàm một-một f:
đang được dịch, vui lòng đợi..
