Я пытаюсь найти, насколько близки и , когда и является константой, не зависящей от n (поэтому ). Моя оценка такова: whp, но я не смог доказать это.E [ t w ( G ) ] G ∈ G ( n , p = c / n ) c > 1 E [ t w ( G ) ] = Θ ( n ) t w ( G ) ≤ E [ t w ( G ) ] + o ( n )
1
Какова мотивация для вопроса? (т.е. почему интересует эта проблема?)
—
Kaveh
Ну ... мне было интересно, насколько знание некоторых ребер может повлиять на предполагаемую ширину дерева (знание о существовании каждого ребра может влиять не более чем на единицу), и это привело меня к этому вопросу (который гораздо больше интересно)
—
Костас
В частности, это имеет значение для верхних границ счета моделей в выполнимом режиме для случайных экземпляров SAT (и кванта-SAT) в фазе случайных графов Эрдоша-Реньи, имеющих большую связную компоненту. В той степени, в которой мы заботимся о случайном SAT как о теме теоретической информатики, а также о подходах, использующих ширину дерева для ограничения сложности #SAT и подобных проблем, этот вопрос хорошо мотивирован.
—
Ниль де Бёдрап,