arXiv 2000-11-13 EN Designing Proxies for Stock Market Indices is Computationally Hard Kao, Ming-Yang · Tate, Stephen R.