|
P-NP problem, TSP |
| category: offtopic |
|
|
|
but WOW! magic uses google to seem smart! |
|
|
|
what? |
|
|
|
genug ist genug hardy. |
|
|
|
@Adok The method you sketch sounds like the DPLL algorithm (circa the 60's). . For most formula, it will work just fine and fast. But for some instances, it have an exponential runtime. Devising a generator of formula that will take an exponential runtime for that algorithm is a nice exercise left to the reader. Fun fact : there is an infinity of such generators. |
|
|
@gasman:
you're right about that triangl construction part - i was totally missing it; thanks |
|
|
|
|