I ne kadar yakın çalışıyorum ve E [ t ağırlık ( G ) ] gerçekten, G ∈ G ( n , p = C / n ) ve c > 1 , sabit bir çok (n bağlı olarak değil, E [ t w ( G ) ] = Θ ( n ) ). Tahminim şudur ki t w ( G ) ≤ whp, fakat kanıtlayamadım.
1
Soru için motivasyon nedir? (yani neden bu sorunla ilgileniyorsunuz?)
—
Kaveh
Şey ... bazı kenarların bilgisinin tahmin edilen treewidliği ne kadar etkileyebileceğini merak ettim (her bir kenarın varlığının bilgisi treewidth'i en fazla bir şekilde etkileyebilir) ve bu da beni bu soruya yöneltti (çok daha fazlası) ilginç)
—
Kostas,
Özellikle, bunun büyük bir bağlı bileşene sahip olan rastgele Erdos-Renyi grafikleri aşamasında, rastgele SAT (ve kuantum-SAT) örnekleri için karşılanabilir rejimde üst düzey model sayımının etkileri vardır. Teorik bilgisayar biliminin bir konusu olarak rastgele SAT'ı önemsememiz ve aynı zamanda #SAT ve benzeri sorunların karmaşıklığını sınırlamak için treewdth içeren yaklaşımları da dikkate almak mümkündür.
—
Niel de Beaudrap