Nepedia
Back to Discover
Advanced Reader
🔢

Feasible region

math Maturity 11-13 Next article →

In mathematical optimization and computer science, a feasible region is a specific set of possibilities. It is also known as a feasible set or a solution space. This region contains every possible point that satisfies all the rules of a problem. These rules are called constraints. Constraints can be equalities, inequalities, or integer constraints. Before an optimization process begins, the feasible region represents the full set of candidate solutions. A candidate solution is any single point within this space.

Linear Programming Feasible Region
Linear Programming Feasible Region

To understand how this works, consider the mechanism of constraint satisfaction. This is the process of finding a point that fits every rule perfectly. Imagine a problem with two variables, x and y. One rule might state that x must be at least 1 but no more than 10. Another rule might state that y must be at least 5 and no more than 12. The feasible set for this problem is the collection of all pairs (x, y) that follow both rules. This set is distinct from the objective function. The objective function is the actual goal or criterion you want to optimize.

IP polytope with LP relaxation
IP polytope with LP relaxation

Feasible sets can be categorized by their shape and boundaries. In linear programming, the feasible set is often a convex polytope. A polytope is a region in multidimensional space where the boundaries are formed by hyperplanes. The corners of these shapes are called vertices. If the problem only uses two variables, the region might look like a simple polygon. If it uses three variables, the region becomes a convex polyhedron.

3dpoly
3dpoly

Some problems also include non-negativity constraints, which require variables to be zero or greater. In pure integer programming, the feasible set is restricted to integers or a specific subset of them.

IP polytope with LP relaxation
IP polytope with LP relaxation

Another way to classify these sets is by whether they are bounded or unbounded. A bounded feasible set is closed in on all sides. In a bounded set, movement in any direction is limited by the constraints. An unbounded feasible set can continue forever in certain directions. For example, the constraints x ≥ 0 and y ≥ 0 create an unbounded set. You can increase x or y infinitely and still satisfy the rules.

Bounded unbounded
Bounded unbounded

Interestingly, an unbounded set may or may not have an optimum. If you want to maximize x + y in an unbounded region, there is no optimum because you can always find a larger value. However, if you want to minimize x + y, an optimum might exist at (0, 0).

Bounded unbounded
Bounded unbounded

Convexity is a vital property for many mathematical problems. A feasible set is convex if a straight line segment connecting any two points in the set stays entirely within the set. This means the line never passes through points outside the region. Convex feasible sets are highly valued in optimization. If a problem has a convex objective function to be minimized, it is generally easier to solve. In these cases, any local optimum will also be a global optimum. This prevents mathematicians from getting stuck in a "good" spot that is not actually the "best" spot.

3dpoly
3dpoly

Sometimes, a problem might have no feasible region at all. This occurs if the constraints are mutually contradictory. If the rules fight each other, no single point can satisfy them all. In this situation, the feasible set is an empty set. Mathematicians say the problem is infeasible because it has no solution.

Linear Programming Feasible Region
Linear Programming Feasible Region

These concepts connect to many advanced fields of study. In calculus, the first derivative test is used to find candidate solutions by equating the derivative to zero. These candidates might be a maximum, a minimum, a saddle point, or an inflection point. In computer science, search algorithms use these spaces to navigate through possible answers. Even in biology, genetic algorithms use candidate solutions as individuals in a population to be evolved. Whether through the simplex method in linear programming or derivative tests in calculus, the feasible region provides the map for finding the best possible answer.

650 words

Where will your curiosity go next?

Keep exploring at your chosen reading level.

🖼️ Images & Media (5)
File:IP polytope with LP relaxation.svg
IP polytope with LP relaxation.svg
File:3dpoly.svg
3dpoly.svg
File:Linear Programming Feasible Region.svg
Linear Programming Feasible Region.svg
File:Bounded unbounded.svg
Bounded unbounded.svg
File:Linear_Programming_Feasible_Region.svg
Linear_Programming_Feasible_Region.svg
More to explore

What is Nepedia?

A free, ad-free encyclopedia for children. Every article is written at five reading levels, so the same page works for a five-year-old and a fifteen-year-old — use the level switcher above to see this one change. No account needed to read.