The Stable Marriage Problem is a mathematical problem that seeks to find a stable matching between two equally sized groups, typically referred to as men and women. Each individual ranks the members of the opposite group based on their preferences. A matching is considered stable if there are no two individuals who would prefer each other over their current partners. The problem was first formulated by David Gale and Lloyd Shapley in 1962. They developed the Gale-Shapley algorithm, which guarantees a stable matching by allowing individuals to propose to their preferred partners in a systematic way. This algorithm has applications in various fields, including economics and computer science.