There's a particular ratio of clauses to variables (4.25, roughly) that is NP-complete. The actual number of clauses and variables don't matter nearly as much to complexity as the ratio between the two. Currently, the number of clauses and number of variables are put in as two separate inputs, but it might be more useful to just have the ratio between the two be a single variable
There's a particular ratio of clauses to variables (4.25, roughly) that is NP-complete. The actual number of clauses and variables don't matter nearly as much to complexity as the ratio between the two. Currently, the number of clauses and number of variables are put in as two separate inputs, but it might be more useful to just have the ratio between the two be a single variable