«reference-request» etiketlenmiş sorular

Öklid geometrisini kullanırken NP-tamamlanmış ancak öklid olmayan bazı geometriler için polinom zamanında iyi tanımlanmış ve çözülebilen herhangi bir problem var mı?

13 reference-request  cg.comp-geom 

Dal ve sınır, arama sorunları için etkili bir buluşsal yöntemdir ve Wikipedia, dal ve sınırın kullanıldığı bazı zor sorunları listeler . Ancak, bu sorunları çözmek için sadece "bir yöntem" daha fazlası olduğunu önermek için referans bulamadık. Anekdot olarak, SAT ve tamsayı programlama için en iyi buluşsal yöntemlerin bazılarının daldan ve …

13 ds.algorithms  reference-request  optimization  heuristics 

Bir grafiğin yol genişliğini hesaplamak için bir algoritma uygulaması arıyorum . Yol genişliğini hesaplamanın, düğüm arama numarasını, tepe noktası ayırma numarasını veya grafiğin aralık kalınlığını hesaplamaya eşdeğer olduğu iyi bilinmektedir. Algoritmanın çok hızlı olması gerekmez; En fazla 20 köşeli grafiklerde çalıştırmak istiyorum. Ben algoritma yol genişliği tam olarak hesaplamak yerine, …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

Manuel Blum'un "Yeni Başlayan Bir Yüksek Lisans Öğrencisine Tavsiye " bölümünde : LEONID LEVIN, P = NP'nin cevabı ne olursa olsun bunu yaptığımı düşünüyor sorun, olması gerektiğini düşündüğünüz hiçbir şey gibi olmayacak. Ve bazı harika örnekler verdi. Birincisi, çarpımsal bir sabite kadar belirgin şekilde optimal olan bir FAKTÖREL ALGORİTMA verdi. …

13 ds.algorithms  reference-request  factoring 

Bağlam. Pauli stabilizatör gruplarını kullanarak Gottesman-Knill teoremi gibi konular üzerine yazıyorum , ancak d boyutlu boyutlarda - d'nin birden fazla asal faktöre sahip olabileceği durumlarda . (Bunu vurgularım çünkü "daha yüksek boyutlarda" dengeleyici formalizm hakkındaki literatürün büyük çoğunluğu d üssü veya d üssü bir vakayı içeriyor ve sonlu alanları kullanıyor; …

13 reference-request  quantum-computing 

İlgilendiğim bir optimizasyon sorunuyla başa çıkmak için bir SAT çözücüsüne güvenme olasılığını araştırmaya başlıyorum ve şu anda SAT değişkenlerine "akıllı" dönüşüm örnekleri (yani, sonuçta ortaya çıkan dönüşümler) içeren bir anket arıyorum sertlik sonuçlarını kanıtlamakla değil, aslında problemi çözmekle ilgilendiğim için, yaklaşık olarak Greenlaw ve Petreschi'nin kübik grafikleriyle ilgili ankette neler …

13 ds.algorithms  reference-request  sat  optimization 

Sayma olarak adlandırdığım şey, bir işleve çözüm sayısını bulmaktan oluşan sorundur. Daha doğrusu, f:N→{0,1}f:N→{0,1}f:N\to \{0,1\} (ille de kara kutu değil) işlevi verildiğinde , yaklaşık #{x∈N∣f(x)=1}=|f−1(1)|#{x∈N∣f(x)=1}=|f−1(1)|\#\{x\in N\mid f(x)= 1\}= |f^{-1}(1)|. Bir çeşit sayımı içeren ve zaman karmaşıklığının bu temel sayma probleminden büyük ölçüde etkilendiği algoritmik problemler arıyorum. Tabii ki, sorunları kendileri …

13 ds.algorithms  reference-request  counting-complexity  time-complexity 

Sabit parametre ve yaklaşım zor sorunları çözmek için tamamen farklı yaklaşımlardır. Farklı motivasyonları var. Yaklaşıklık, yaklaşık çözümle daha hızlı sonuç arar. Sabit parametre, k'nin üstel veya bazı fonksiyonu ve n'nin polinom fonksiyonu açısından zaman karmaşıklığına sahip kesin çözümü arar; burada n, girdi boyutu ve k parametredir. Örnek .2kn32kn32^kn^3 Şimdi benim …

13 cc.complexity-theory  reference-request  approximation-algorithms  fixed-parameter-tractable 

Bir problemi çözmeye çalışırken, bunun bir kısmını aşağıdaki tamsayı doğrusal program olarak ifade ettim. Burada olarak verilen pozitif tamsayılar girişin bir parçası. değişkenlerinin belirtilen bir alt kümesi sıfıra ayarlanır ve geri kalanı pozitif integral değerleri alabilir:x i jℓ , m , n1, n2, … , Nℓ, c1, c2, … , …

13 reference-request  linear-programming  polynomial-time  integer-programming  integrality-gap 

Son zamanlarda, Holografik Algoritmalara bir giriş yapıyordum. Pfaffianlar adlı bazı kombinatoryal nesnelere rastladım. Şu anda bunlar hakkında çok fazla şey bilmiyorum ve koyabilecekleri şaşırtıcı kullanımlarla karşılaştım. Örneğin, düzlemsel grafiklerde mükemmel eşleşme sayısını etkili bir şekilde saymak için kullanılabileceklerini öğrendim. Ayrıca, 2 * 1 fayans kullanarak bir satranç tahtasının olası eğim …

13 reference-request  co.combinatorics  counting-complexity 

Dağıtılmış algoritmalar için daha düşük sınırları kanıtlamanın farklı tekniklerini incelerken, Ramsey'in teoreminin aşağıdaki varyantının uygulamaları olabilir - eğer doğruysa. Parametreler: , , verilir ve daha sonra yeterince büyük olacak şekilde seçilir. Terminoloji: alt kümesi, boyutunun bir alt kümesidir .kkkKKKnnnNNNmmmmmm Let .A={1,2,...,N}A={1,2,...,N}A = \{1,2,...,N\} Let tüm oluşur bir -subsets .BBBkkkAAA Let …

13 reference-request  co.combinatorics  ramsey-theory 

Dağıtılmış bilgi işlem modellerinde iki tür işlemci arızası vardır: (1) Çökme hataları: işlemci durur ve bir daha asla başlamaz. (2) Bizans arızaları: işlemciler olumsuz, kötü niyetli davranıyor. Sorum şu: İncelenen, çökme veya Bizans arızalarını azaltmayan diğer işlemci hatası türleri nelerdir? Ayrıca, daha spesifik bir soru: Bir olasılıkla, adımında bir işlemin …

13 reference-request  dc.distributed-comp 

Dağıtılmış sistemlerde dedikodu sorunu şu şekildedir. Bir grafik bilgisi GGG ile nnn köşe. Her köşe vvv , tüm düğümlere gönderilmesi gereken bir mesajına sahiptir mvmvm_v. Şimdi, sorum geçici ağ modeli bağlamında (bir düğümün ağın topolojisi, giriş ve çıkış dereceleri ve komşularının kümeleri hakkında herhangi bir ön bilgiye sahip olmadığını varsayıyoruz. …

13 reference-request  dc.distributed-comp 

Üçgen bir 3-manifoldun belirli bir 3-kürecik olup olmadığının belirlenmesinin, 2004 yılında Saul Schleimer tarafından yapılan çalışma ile NP'de olduğu bilinmektedir: "Küre tanıma NP'de yatmaktadır" arXiv: math / 0407047v1 [math.GT] . Bunun son beş-altı yıl içinde NP-tamamlanmış olup olmadığını merak ediyorum. 3-manifold düğüm cinsi problemi gibi benzer problemlerin NP-tam olduğu gösterilmiştir.

13 cc.complexity-theory  reference-request  open-problem  topology 

Arka plan: Makine öğreniminde, genellikle yüksek boyutlu olasılık yoğunluk fonksiyonlarını temsil etmek için grafik modellerle çalışırız . Bir yoğunluğun 1 ile bütünleştiği (toplamlar) kısıtlamasını atarsak, normal olmayan bir grafik yapılı enerji fonksiyonu elde ederiz . G = ( V , E ) grafiğinde tanımlanan gibi bir enerji fonksiyonumuz olduğunu varsayalım …

13 reference-request  machine-learning  lg.learning  boolean-functions