A couple algorithms#2

Open

nkkarpov wants to merge 5 commits intojiecchen:masterfrom

nkkarpov:master

Commits on May 30, 2019

Commits on Jun 13, 2019

rename
nkkarpov
committed

Commits on Jul 6, 2019

Merge branch 'master' into master
nkkarpov
authored

Commits on Jul 8, 2019

asserts
nkkarpov
committed