Geometric and Combinatorial Problems of Matching and Partitioning in Theoretical Computer Science