Ten ostatni artykuł z FOCS2013, Strong Backdoors to Bounded Treewidth SAT autorstwa Gaspersa i Szeidera mówi o związku między szerokością wykresu klauzuli SAT a twardością instancji.
W przypadku losowych instancji 3-SAT, tj. Instancji losowo wybranych 3-SAT, jaka jest korelacja między szerokością wykresu klauzulowego a twardością instancji?
„Twardość wystąpienia” może być traktowana jako „trudna dla typowego solwera SAT”, tj. Czas działania.
Szukam odpowiedzi lub odniesień w stylu teoretycznym lub empirycznym. Według mojej wiedzy wydaje się, że nie ma badań empirycznych na ten temat. Wiem, że istnieją nieco inne sposoby budowania grafów klauzul SAT, ale to pytanie nie koncentruje się na rozróżnieniu.
Być może naturalnym, ściśle powiązanym pytaniem jest to, jak szerokość wykresu klauzulowego odnosi się do przejścia fazowego 3-SAT.