Novel Computational Protein Design Algorithms with Sparse Residue Interaction Graphs, Ensembles, and Mathematical Guarantees, and their Application to Antibody Design