1: \begin{abstract}

2: We study the problem of assortative and disassortative partitions on random \texorpdfstring{$d$}{d}-regular graphs. Nodes in the graph are partitioned into two non-empty groups.

3: In the assortative partition every node requires at least \texorpdfstring{$H$}{H} of their neighbors to be in their own group.

4: In the disassortative partition they require less than \texorpdfstring{$H$}{H} neighbors to be in their own group. Using the cavity method based on analysis of the Belief Propagation algorithm we establish for which combinations of parameters \texorpdfstring{$(d,H)$}{(d,H)} these partitions exist with high probability and for which they do not. 

5: For \texorpdfstring{$H>\lceil \frac{d}{2} \rceil $}{H > ceil(d/2)} we establish that the structure of solutions to the assortative partition problems corresponds to the so-called frozen-1RSB.

6: This entails a conjecture of algorithmic hardness of finding these partitions efficiently. For \texorpdfstring{$H \le \lceil \frac{d}{2} \rceil $}{H <= ceil(d/2)} we argue that the assortative partition problem is algorithmically easy on average for all \texorpdfstring{$d$}{d}. Further we provide arguments about asymptotic equivalence between the assortative partition problem and the disassortative one, going trough a close relation to the problem of single-spin-flip-stable states in spin glasses. In the context of spin glasses, our results on algorithmic hardness imply a conjecture that gapped single spin flip stable states are hard to find which may be a universal reason behind the observation that physical dynamics in glassy systems display convergence to marginal stability. 

7: \end{abstract}

8: