ACM Symposium on Theory of Computing (17th 1985 Providence, R.I.)