«reductions» etiketlenmiş sorular

Hesaplanabilirlik ve karmaşıklık açısından, bir problemi diğerinin çözümünü kullanarak çözmeyi sağlayan problemler arasında eşlemeler bulmak. Programlama dili teorisinde azalma (örneğin, beta indirgeme) için bkz. [Lambda-calculus] veya [term-yeniden yazma].

2
Tamsayı çarpanlara ayırma problemini NP-Complete problemine indirgeme
NP-Intermediate ve NP-Complete arasındaki ilişkiyi anlamak için uğraşıyorum. Ladner'ın Teoremine dayanan P! = NP ise NP'de bir dil sınıfı vardır fakat P'de veya NP-Complete'te yoktur. NP'deki her problem NP-Complete problemine indirgenebilir, ancak şüpheli NPI problemini (tamsayı çarpanlara ayırma gibi) NP-Complete problemine indirgemek için herhangi bir örnek görmedim. Herkes bu veya …
3
DAG'ı yeni bir DAG'a almanın minimum boyutu
Bir DAG'ımız var. düğümlerinde bir fonksiyonumuz var F: V→ NF:V→N-F\colon V\to \mathbb N(gevşek konuşma, düğümleri numaralandırıyoruz). Bu kurallarla yeni bir yönlendirilmiş grafik oluşturmak istiyoruz: F( x ) ≠ F( y) ⇒ x'≠ y'F(x)≠F(y)⇒x'≠y'F(x) \neq F(y) \Rightarrow x' \neq y'x'≠ y'⇏ F( x ) ≠ F( y)x'≠y'⇏F(x)≠F(y)x' \neq y'\nRightarrow F(x) \neq …
2
Hidoku NP tamamlandı mı?
Hidoku, 1 ila arasında önceden doldurulmuş bazı tamsayılara sahip ızgarasıdır . Amaç, ızgarada birbirini izleyen tamsayıların (1'den ) bir yolunu bulmaktır . Daha somut olarak, ızgaranın her hücresinin 1'den kadar farklı bir tamsayı içermesi ve değerine sahip her hücrenin değerine sahip bir komşu hücresi olması gerekir (çapraz olarak da olabilir).n …
3
P = NP ise,
Görünüşe göre, eğer , tüm diller P hariç ∅ ve Σ * olurdu N P -tamamlamak.P=NPP=NP{\sf P}={\sf NP}PP{\sf P}∅∅\emptysetΣ∗Σ∗\Sigma^*NPNP{\sf NP} Neden özellikle bu iki dil? Biz başka bir dil azaltmaz Can kabul veya kabul etmiyor onları çıkışı yaparak onlara?PP{\sf P}
5
Herhangi bir algoritma tarafından yazılamayan bir sayının varlığını nasıl kanıtlayabilirim?
Sorun var: Sonsuz uzun süre çalışan ve bu sayının ondalık basamaklarını yazan hiçbir programın bulunmadığı gerçek bir sayı olduğunu gösterin. Sanırım bunu Durma sorununa indirgeyerek çözülebilir, ama bunu nasıl yapacağım hakkında hiçbir fikrim yok. Ayrıca daha fazla uygulama için benzer sorunların bağlantılarını takdir ediyorum.
1
Turing Decidable Problemleri Sınıfı için Tam Bir Sorun Var mı?
Gibi diller olan RE tamamlama birçok kimse indirimleri altında. Co-RE'nin de tam sorunları olduğunu görmek önemsizdir . S. Schmitz [1], ELEM ve REC arasındaki bazı sınıfları dikkate almaktadır . Bu sınıflar için özel hazırlanmış indirimler altında tam problemler ortaya koyarlar.DURTMHALTTM\text{HALT}_{TM}RE-completeRE-complete\textsf{RE-complete}co-REco-RE\text{co-RE}ELEMELEM\text{ELEM}RECREC\text{REC} İçin komple sorun var mı (diğer adıyla KAYIT ) göreli …
1
Planar 1-in-3 SAT için düzlemlilik koşulları
Düzlemsel 3SAT NP-tamamlanmıştır. Düzlemsel 3SAT örneği, aşağıdaki kurallar kullanılarak oluşturulan grafiğin düzlemsel olduğu bir 3SAT örneğidir: her ve için köşe noktası ekleyin¯ x ixixix_ixben¯xi¯\bar{x_i} her yan tümce için köşe noktası ekleCjCjC_j her çifti için kenar ekleyin( xben, xben¯)(xi,xi¯)(x_i,\bar{x_i}) köşesinden (veya ) köşeyi, onu içeren bir cümleyi temsil eden her köşeye …
2
Her NP sorununun poli boyutlu bir ILP formülasyonu var mı?
Tamsayı Doğrusal Programlama NP-tam olduğundan, NP'deki herhangi bir problemden Karp azalması vardır. Bunun NP'deki herhangi bir problem için her zaman polinom boyutlu bir ILP formülasyonu olduğunu ima ettiğini düşündüm. Ama insanların "bu ilk çok boyutlu formülasyon" veya "bilinen çok boyutlu bir formülasyon yok" gibi şeyler yazdığı belirli NP problemleri hakkında …
1
Doğrudan indirgeme
Biliyoruz ki olduğu tarafından Immerman-Szelepcsenyi teoremi teoremi ve beri olan bu nedenle , indirgenebilen bir-bir günlük alanıdır . Ancak, Turing makinelerinin içindeki konfigürasyon grafiğinden geçmeyen doğrudan / kombinatoryal bir azalma var mı?N L s t - c o n n e c t i v i t y N L …
2
ILP'den SAT'a çoklu zaman azaltımı?
Dolayısıyla, bilindiği gibi, ILP'nin 0-1 karar problemi NP-tamamlanmıştır. NP'de olduğunu göstermek kolaydır ve orijinal indirgeme SAT'dan yapılmıştır; o zamandan beri, diğer birçok NP-Complete probleminin ILP formülasyonlarına (bu problemlerden ILP'ye indirgeme işlevi gören) sahip olduğu gösterilmiştir, çünkü ILP çok faydalıdır. ILP'den gelen indirimleri kendim yapmak ya da takip etmek çok daha …
1
Bilinen AM-complete problemleri var mı / AM-complete iyi tanımlanmış mı?
Arthur-Merlin karmaşıklık sınıfında herhangi bir sorun olup olmadığını merak ediyorum. Grafik Olmayan İzomorfizma (GSMH) bir problem klasik örneği gibi görünüyor yılında AM, ama muhtemelen tam bir tane değil. Ayrıca "tam" bir sorunun AM için iyi tanımlanmış olup olmadığını merak ediyorum. AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık …
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.