«approximation-hardness» etiketlenmiş sorular

Yaklaşık sertlik, diğer bir deyişle yakınlık.

1
Listedeki siparişin
Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …
1
PSPACE tamlığı yaklaşık sertlik anlamına mı geliyor?
Başka bir cstheorySE yazısında bir yorumda PSPACE tamlığının APX sertliği anlamına geldiğinden bahsedilmektedir . Herkes referansını açıklayabilir / paylaşabilir mi? Bu "sıkı" mı? (yani, optimizasyon problemi poli zamanında sabit faktör yaklaşımını kabul eden PSPACE-tamamlanmış problemler var mı?) PH seviyesinin bütünlüğü ne olacak? Yaklaşık bir sertlik ifade ediyor mu?
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
Yaklaşım algoritmalarının düzgün analizi
Doğrusal programlama ve k-yolları gibi birçok problem için kesin algoritmaların çalışma zamanını anlamak için birçok kez düzgünleştirilmiş analiz uygulanmıştır. Bu alanda oldukça genel sonuçlar var, örneğin Heiko Röglin ve Berthold Vöcking, Tamsayılı programlamanın düzgünleştirilmiş analizi , 2005. Bu genel sonuçların bazıları, benzersiz bir optimum çözümle bir örnek üretmek için izolasyon …
4
sınırlı dereceli grafiklerde kromatik sayıya yaklaşma sertliği
Sınırlı dereceye sahip grafiklerin vertex renklendirmesinde sertlik sonuçları arıyorum. Bir grafik verildiğinde, , olmadığı sürece, değerini bir faktörü içinde tahmin zor olduğunu biliyoruz. [ 1 ]. Peki ya maksimum derecesi ile sınırlanmışsa ? Bu durumda (bazı ) formunun sertlik oranları var mı?G(V,E)G(V,E)G(V,E)ϵ>0ϵ>0\epsilon>0χ(G)χ(G)\chi(G)|V|1−ϵ|V|1−ϵ|V|^{1-\epsilon}NP=ZPPNP=ZPP\textit{NP}=\textit{ZPP}GGGdddd1−ϵd1−ϵd^{1-\epsilon}ϵϵ\epsilon Daha kolay bir soru şudur: Kenar boyutları ile …
2
Yaklaşım oranları için hiyerarşi teoremi?
İyi bilindiği gibi, NP-sert optimizasyon problemleri, PTAS'a sahip olmaktan, herhangi bir faktör içinde yakınlaştırılmaya kadar çok farklı yaklaşım oranlarına sahip olabilir. Arada, çeşitli sabitlerimiz var, , , vb.p o l y ( n )O(logn)O(log⁡n)O(\log n)poly(n)poly(n)poly(n) Olası oranlar kümesi hakkında bilinenler nelerdir? Herhangi bir "yaklaşım hiyerarşisi" olduğunu kanıtlayabilir miyiz? Resmi olarak, …
1
Neredeyse her zaman neredeyse doğru
BPP P ile ilgili olduğu için APX ile ilgili bir karmaşıklık sınıfı arıyorum. Burada zaten aynı soruyu sordum , ama belki TCS cevaplar için daha verimli bir yer olacaktır. Sorunun nedeni, pratik problemlerde, genellikle sınırlı olasılıklı yaklaşma algoritmaları ile problem sınıfını potansiyel olarak neyin hesaplanabileceğinin faydalı bir modeli haline getirecek …
2
Hangi 2P1R Oyunları Potansiyel Olarak Keskin?
İki aşamalı tek yönlü (2P1R) oyunlar, yaklaşık sertlik için önemli bir araçtır. Özellikle, iki aşamalı tek aşamalı oyunların paralel tekrarı, bir yaklaşım probleminin karar versiyonundaki bir boşluğun boyutunu arttırmak için bir yol sağlar. Konuya genel bakış için Ran Raz'ın CCC 2010'daki anket konuşmasına bakın . Bir oyunun paralel tekrarı, rastgele …
2
Köşe Ayırıcılarının Sertliği
Belirli bir grafik , Ayırıcı Sorunu, kaldırma bölümleri yaklaşık olarak eşit boyutlarda iki ayrık grafik halinde olan küçük bir kardinalite (veya ağırlık) tepe veya kenar kümesinin var olup olmadığını sorar . Bu, kaldırılan küme bir tepe kümesi olduğunda Köşe Ayırıcı Sorunu ve kenar kümesi olduğunda Kenar Ayırıcı Sorunu olarak adlandırılır. …
3
Semidefinite programlama (SDP) dualite boşluğu ne zaman sıfırdır?
Literatürde SDP dualite boşluğunun ortadan kalktığının kesin bir karakterizasyonunu bulamadım. Veya "güçlü ikilik" ne zaman geçerli? Örneğin, bir kişi Lasserre ve SOS SDP arasında gidip geldiğinde, prensipte bir dualite boşluğu vardır. Ancak, bir şekilde bu boşluğun orada olmamasının "önemsiz" bir nedeni var gibi görünüyor. Slater'in durumu yeterli, ancak gerekli görünmüyor …
2
Hakim Seti'nin ile yakınlaştırmasının varlığı ?
Genel grafiklerde Dominating Set problemini göz önünde bulundurun ve bir grafikteki köşe noktası sayısı olsun . Açgözlü yaklaşım algoritması faktörü bir yaklaşım garantisi verir yani bu bir çözüm polinom zamanlı olarak bulmak mümkün, öyle ki ; burada , minimum hakim olan bir kümenin boyutudur. Biz bağımlılık geliştirmek olamayacağını gösteren sınırları …
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.