task_categories:tabular-classification task_categories:tabular-regression language:en license:mit size_categories:10K<n<100K region:us blockchain np-hard computational-complexity proof-of-useful-work cryptography optimization sat tsp subset-sum