I wonder whether the following problem is a well-studied NP-hard problem?
Get a graph $G$ and a number $k$, we partition the graph $G$ into two components where each component should have at most $k$ vertices and the number of edges in the cut is minimal.
In other words, is the mini-cut problem with the vertex budget constraint NP-hard?
Thanks.