tokens: By cheating slightly ( using an artificially crafted optimization problem ) we have established the ' is optimal ' problem as co-NP-complete , since TAUTOLOGY is easily shown to be co-NP-complete .
ner_tags: O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O O