The automatic synthesis of algorithms can effectively reduce the difficulty of algorithm design. However, multiple challenges exist for algorithm synthesis. Among them, scalability is the most prominent one because of the significant complexity of efficient algorithms. We aim at solving this scalability challenge. Specifically, we propose several approaches from two aspects, improving the efficiency of existing program synthesizers and reducing the difficulty of algorithm synthesis by properly using algorithmic knowledge, respectively.