«np-hardness» etiketlenmiş sorular

NP sertliği ve NP tamlığı ile ilgili sorular.

1
Benzersiz bir çözüm vaadiyle verimli bir algoritmayı kabul eden NP-Complete problemleri
Son zamanlarda Valiant ve Vazirani tarafından çok güzel bir makale okuyordum , bu da , o zaman SAT'ın çözülemez ya da benzersiz bir çözümü olduğuna dair söz altında bile etkili bir algoritma olamayacağını gösteriyor. Böylece SAT'ın en fazla bir çözüm olacağı sözü altında bile etkili bir algoritma kabul etmediğini gösterir.NP≠RPNP≠RP\mathbf{NP …
5
Sınırlı Üçgenlik Grafiklerinde r-Dominating Set için Kesin Algoritmalar
Bir grafik verildiğinde, , G için optimal bir r- hakimiyeti bulmak istiyorum . Yani, bir alt istiyorum olan S ve V olarak bütün çıkıntılar şekilde G en çok bir mesafede olan r bazı tepe noktasından S boyutunu en aza indirirken, S .G=(V,E)G=(V,E)G = (V, E)rrrGGGSSSVVVGGGrrrSSSSSS Şimdiye kadar kontrol ettiklerimden, aşağıdakileri …
4
Fonksiyonlar için eta-denklik Haskell'in seq işlemi ile karşılaştırılabilir mi?
Lemma: Eta denkliği varsayalım (\x -> ⊥) = ⊥ :: A -> B. İspat: ⊥ = (\x -> ⊥ x)eta-denklik ve (\x -> ⊥ x) = (\x -> ⊥)lambda altında azalma ile. Haskell 2010 raporu, bölüm 6.2 seqfonksiyonu iki denklemle belirtir : seq :: a -> b -> b seq …
1
SAT'ın NP sertliği için gereken minimum azaltma derinliği nedir?
Herkesin bildiği gibi, SAT için tamamlandıktan polinom zamanlı birçok kimse azalmalar wrt. Hala A C 0 çok-bir indirimler ile tamamlandı.NPNP\mathsf{NP}AC0AC0\mathsf{AC^0} Sorularım, indirimler için gereken minimum derinlik nedir? Daha resmi, SAT'ın N P -hard wrt A C 0 d çok-bir indirgenmesi olacak en az nedir ?dddNPNP\mathsf{NP}AC0dACd0\mathsf{AC^0_d} Bana göre yeterli olmalı mı? …
1
Bir problem NP'de nasıl olabilir, NP-sert olabilir ve NP-tam olmayabilir?
En uzun süredir, (1) NP-sert ve (2) NP ise, bir sorunun NP-tamamlanmış olduğunu düşündüm. Bununla birlikte, ünlü "Elipsoid yöntemi ve kombinatoryal optimizasyondaki sonuçları" makalesinde yazarlar, fraksiyonel kromatik sayı probleminin NP'ye ait olduğunu ve NP-zor olduğunu, ancak NP-tam olduğu bilinmemektedir. Makalenin üçüncü sayfasında yazarlar: ... bir grafiğin tepe paketleme sorun fraksiyonel …
1
Altküme Toplamı veya NPP için tamsayı ilişkisi algılama?
Tamsayı ilişkisine yönelik (küçük) bir çözümün yanıt vermesi için bir Altküme Toplamı veya Sayı Bölümü Sorunu örneğini kodlamanın bir yolu var mı? Kesinlikle değilse, o zaman bir olasılıkla? Seçilen sayı aralığının büyük olduğu 'düşük yoğunluklu' bölgedeki Altküme Toplamı sorunlarının çözümünde LLL'nin (ve belki de PSLQ'nun) ılımlı bir başarı ile kullanıldığını …
2
“En Az Ayrımcı Bit” problemi NP tamamlandı mı?
Bu sorun için oluşturduğum bir isim. Ben daha önce hiçbir yerde tarif görmedim. Bu problem için henüz NP tamlığına dair bir kanıt ya da polinom zaman algoritması bulamadım. Bu bir ev ödevi sorunu değildir - işimde karşılaştığım bir sorunla ilgilidir. EN AZ AYRIMCILIK BİTLERİ INSTANCE: Her bit vektörünün tam olarak …
1
Orta
Giriş tamsayıları bazı polinomlarla sınırlanmışsa polinom (sözde-polinom) zaman algoritmasına sahip olduğu için bölüm problemi NP-tamamlanmamıştır. Ancak, giriş tam sayıları bir polinom tarafından sınırlanmış olsa bile, 3-Partition NP-tam bir problemdir. Varsayalım, , Ara NP-tam problemlerinin var olması gerektiğini kanıtlayabilir miyiz? Cevap evet ise, böyle "doğal" bir aday sorunu var mı?P≠NPP≠NP\mathsf{P \ne …
1
Koridor grafiklerin belirli alt sınıflarında hakim küme sorununun karmaşıklığı
Kordo grafiklerin alt sınıfları olan bazı belirli grafik sınıflarında hakim küme sorununun (DSP) karmaşıklığıyla ilgileniyorum . Bir grafik, yönlendirilmemiş bir ağaçtaki bir yol ailesinin tepe-kesişme grafiği ise yönlendirilmemiş bir yol grafiğidir . UP, yönlendirilmemiş yol grafiklerinin sınıfı olsun. Bir grafik, yönlendirilmemiş bir ağaçtaki yol ailesinin kenar kesişim grafiğiyse bir EPT …
3
Kolay Hamilton çevrimi ancak NP-sert TSP içeren grafik sınıfları
Hamilton Döngüsü sorun (HC), belirli bir yönsüz grafik tüm tepe noktaları üzerinden geçer, bir döngü bulunmasında meydana gelmektedir. Gezgin satıcı sorun (TSP) döngüsünde kenarlarının ağırlıklarının toplamı ile ölçülen toplam mesafe belirli bir kenar ağırlıklı grafik tüm tepe noktaları üzerinden geçer ve en aza indiren bir devir bulunmasında meydana gelmektedir. HC, …
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.