2 problems
Matching
TP-to-TN obstruction conjecture. All TP obstructions contain a TN obstruction.
TN-obstruction finiteness conjecture. For every , there are finitely many -variable TN obstructions.
TP-to-TN obstruction conjecture. All TP obstructions contain a TN obstruction.
TN-obstruction finiteness conjecture. For every , there are finitely many -variable TN obstructions.