NP-complete combinatorial optimization problems are important and well-studied, but remain largely enigmatic in fundamental ways. While efficiently finding the optimal solution to such a problem requires that P = NP, we can try to find approximately optimal solutions. To date, the most promising approach for approximating many combinatorial optimization problems has been semidefinite programming, a generalization of linear programming. However semidefinite programs are not as well understood as linear programs. An important question is whether semidefinite (or linear) programs can be improved to create better algorithms.

Several processes--Lovasz-Schrijver+ (LS+) and the stronger Lasserre hierarchy for semidefinite programs, and Lovasz-Schrijver (LS), and the stronger Sherali-Adams hierarchy for linear programs--were create to systematically improve semidefinite and linear programs at the cost of additional runtime. This thesis studies the question: ``What is the tradeoff between the efficiency and the guaranteed approximation in these hierarchies?" These systems proceed in rounds (and thus are usually referred to as hierarchies) and all have in common that after n rounds, where n is the number of variables, they find the optimal solution, and they take time n^{O(r)} to run until the rth round. An ``integrality gap" of α after r rounds for one of these hierarchies proves that the algorithms generated by the hierarchy cannot find an α approximate solution in time n^{Omega(r)}.

Unlike NP-hardness results, these results are unconditional, yet apply only to a large, but restricted, class of algorithms. However, very low levels of these hierarchies include some of the most celebrated approximation algorithms for NP-complete problems. For example, the first level of LS+ (and hence also Lasserre) for the IndependentSet problem implies the Lovasz theta-function and for the MaxCut problem gives the Goemans-Williamson relaxation. The ARV relaxation of the SparsestCut problem is no stronger than the relaxation given in the second level of LS+ (and hence also Lasserre).

This thesis shows an optimal integrality gap of 2-epsilon for Omega(n) rounds the LS hierarchy relaxation of the VertexCover and MaxCut problems. This result implies that a very large class of linear programs require exponential time to solve VertexCover (or MaxCut) to better than a factor of 2, even on random graphs. The previously best known 2-epsilon integrality gap for VertexCover only survived Omega(log(n)) round of LS, and the previously best known 1/2+epsilon integrality gap for MaxCut survived any constant number of rounds of SA (and for thus LS). These results were the first to illustrate the stark difference between linear program relaxations and semidefinite program relaxations (because MaxCut is better approximated after just one round by LS+).

Additionally this thesis shows that even after Omega(n) rounds, the Lasserre hierarchy cannot refute a random 3XOR formula. This is the first non-trivial integrality gap for the Lasserre hierarchy, the strongest of all the aforementioned hierarchies. As mentioned above, this result unconditionally rules out the possibility of a subexponential time algorithm for random 3-SAT over a large range of semidefinite programs. There are, additionally, many immediate corollaries such as a similar integrality gap of 7/6 - epsilon for VertexCover. The techniques in the thesis remain the only known way of obtaining integrality gaps for Lasserre.