4. Bevezetés a korlátkielégítési problémákba