Master's thesis: Space-time tradeoffs for graph properties