# P-Complete problemlerinin faz geçişi hakkında ne biliyoruz?


11

# P-Complete problemlerinde faz geçişi hakkında ne biliniyor? Özellikle, # DNF-k-SAT ve # CNF-k-SAT için farklı bir faz geçişi var mı?

Güncelleme:
Bildiğimiz gibi, Random k-SAT'de problemi çözmenin kolaydan zor ve tekrar kolaylığa geçtiği bir aşama geçişi var. # P-Complete problemleri için de böyle bir fenomen olup olmadığını bilmek istiyorum. Daha da önemlisi, bir faz geçişi varsa, # CNF-k-SAT ve # DNF-k-SAT için aynı mıdır?

# CNF-k-SAT için bir tür faz geçişi olduğunu düşünüyorum. Öte yandan, # DNF-k-SAT için faz geçişi olduğunu düşünmüyorum ve daha fazla madde ekledikçe sorun zorlaşıyor ....


1
"#" Faz geçişi ile ne demek istediğinizi biraz anlatabilir misiniz? NP-Complete problemleri için faz geçişi genellikle parametreli bazı dağılımlardan elde edilen rastgele bir örneğin tatmin edilebilir olması olasılığı olarak kabul edilir (3-SAT için). #P için geçiş nedir? Belirli bir yüzde ne zaman tatmin edilebilir?
user834

Lütfen tam değeri hesaplamaya çalıştığınızı veya yaklaşık değerlere izin verip vermediğinizi de belirtin.
Tyson Williams

1
“sorun kolay olmaktan zorlanmaya ve tekrar tekrar zor olmaktan geçiyor” Yani “kolaydan zorya ve tekrar tekrar kolaya” demek mi?
Tyson Williams

1
Ölçtüğünüz miktar konusunda hala net değilim. 3-SAT faz geçişi (somutluk için bir örnek olarak) mevcut bir çözüm olasılığı olarak kabul edilir. yani mevcut en az bir çözümden. Dolayısıyla, "#P geçişi sıfır olmayan çözüm sayısının olasılığı anlamına gelirse, bu ikisi eşdeğerdir. Ayrıca, "kolay" ve "mevcut bir çözüm" arasında bir fark vardır, çünkü birincisi bir polinom algoritması anlamına gelirken ikincisi değildir. NPP, geçiş noktasından bile uzakta neredeyse her yerde zor olduğu için ünlüdür.
user834

Yanıtlar:


7

Bağımsız kümeleri saymak için, Allan Sly tarafından hesaplamalı bir faz geçişi için son zamanlarda bir kanıt var: http://arxiv.org/abs/1005.5584 (algoritma 2006'dan Dror Weitz tarafından yapıldı; Allan eşleşen sertliği kanıtladı ve ortak kazandı bunun için FOCS'10'daki en iyi bildiri ödülü)

Rastgele 3SAT ve benzeri problemler için, bu problemlerin uygun aralıkta gerçekten zor olduğuna dair bir kanıt yoktur. Daha zor sayım problemlerine gittiğinizde, sertliği kanıtlamak daha kolay hale gelir.

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.