«optimization» etiketlenmiş sorular

Kısa bir süre önce, birden fazla bellek türünün mevcut olduğu ve belirli bir bellek bölümünün kapasitesi ile bu belleğe erişme hızı arasında bir değişimin olduğu bir durumda bellek kullanımını optimize etme genel sorunuyla ilgilenmeye başladım. Bilinen örnek, işlemci önbelleği, RAM ve sabit sürücüden ne zaman okunacağına / yazacağına karar veren …

14 optimization  program-analysis 

boyutlu alanı düşünün ve , formunun doğrusal bir kısıtlaması olsun , burada , ve .{ 0 , 1 } n c a 1 x 1 + a 2 x 2 + a 3 x 3 + . . . + a n - 1 x n - 1 + a …

14 reference-request  co.combinatorics  optimization  linear-programming  convex-optimization 

Bir tamsayı programının değerleri ile ikili ("dualite boşluğu") arasındaki boşluk sıfır ise, tamsayı programının doğrusal programlama gevşemeleri ve gevşemenin ikizi arasında, her ikisinin de integral çözümleri (sıfır "integralite) kabul ettiğini biliyoruz. boşluğu "). En azından bazı durumlarda sohbetin geçerli olup olmadığını bilmek istiyorum. Bir 0-1 tam sayı programı olduğunu varsayalım …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

Üniter grup üzerinde çeşitli fonksiyonları optimize etmenin hesaplama karmaşıklığı nedir ?U( n )U(n)\mathcal{U}(n) Tipik bir görev, kuantum bilgi teorik olarak genellikle ortaya çıkan tip bir miktar maksimize olacaktır (veya daha polinomlar U ) üzerindeki tüm birim matris u . Bu tür bir optimizasyon verimli (belki de yaklaşık) hesaplanabilir mi, yoksa …

14 cc.complexity-theory  reference-request  optimization  quantum-information 

Optimizasyon için sezgisel tarama hakkında bazı ders materyalleri hazırlıyorum ve koordinat iniş yöntemlerine bakıyorum. Buradaki ayar, optimize etmek istediğiniz çok değişkenli bir işlevidir . f , herhangi bir tek değişkenle sınırlı özelliğe sahiptir, optimize edilmesi kolaydır. Böylece koordinat inişi, koordinatlar arasında dolaşarak, seçilen dışında hepsini sabitleyerek ve bu koordinat boyunca …

14 ds.algorithms  reference-request  optimization  heuristics 

Veri akışı ve kontrol akış grafiklerinin optimizasyonu ve özellikle daha hesaplama açısından karmaşıkım. Ancak, gözetleme deliği optimizasyonları alanındaki en son icatları bilmek de ilginç olacaktır.

14 optimization  compilers 

Bu soru, kutu kısıtlamaları (kutu-QP) ile ikinci dereceden programlama problemleri, yani formun optimizasyon problemleri ile ilgilidir. en aza indirmek tabi .f(x)=xTAx+cTxf(x)=xTAx+cTxf(\mathbf{x}) = \mathbf{x}^T A \mathbf{x} + \mathbf{c}^T \mathbf{x}x∈[0,1]nx∈[0,1]n\mathbf{x} \in [0,1]^n Eğer yarı-tanımlı olumlu oldu, sonra her şey kolay güzel ve dışbükey ve olurdu ve biz polinom zamanda bu sorunu çözebilirdi.AAA …

13 ds.algorithms  optimization  exp-time-algorithms 

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 

İ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 

Bir akış ağındaki ikinci en küçük - kesimi hakkında bilinen bir şey var mı ? Veya daha genel olarak, bu sorun hakkında:sssttt Giriş: Bir ağ ve bir sayı , hepsi ikili. Çıktı: Bir inci en küçük - kesilmiş.NNNkkkkkksssttt Bir inci en küçük - kesme herhangi biri - kesme, öyle ki …

13 cc.complexity-theory  optimization  max-flow-min-cut  flow-problems 

Barak & Steurer ve Barak'ın ders notlarından kareler toplamı yöntemi (SOS) hakkında biraz okudum . Her iki durumda da halının altında sayısal doğruluk sorunlarını süpürüyorlar. Yöntemin (kuşkusuz sınırlı) anlayışımdan aşağıdakiler doğru olmalıdır: Tüm parametrelerin ( , ve her bir kısıtlamanın derecesi) olduğu, gerçek değer değişkenleri üzerinde herhangi bir polinom eşitlik …

13 optimization  sum-of-squares 

Sıkıştırmayı optimize etmek için verileri yeniden sıralamak için herhangi bir algoritma var mı? Bunun veri ve sıkıştırma algoritmasına özgü olduğunu anlıyorum, ancak bu konu için bir kelime var mı? Bu alanda nerede araştırma bulabilirim? Özellikle, ben 1,5 milyon dizeleri bir json listesi var ve gzip (HTTP için) sıkıştırma optimize böylece …

12 optimization  permutations 

Girdi bir evren ve alt kümelerinin bir aile , diyelim ki, . Bu alt grupları varsayalım kapsayabilir , yani .UUUUUUF⊆ 2UF⊆2U{\cal F} \subseteq 2^UFF{\cal F}UUU⋃E∈ FE= U⋃E∈FE=U\bigcup_{E\in {\cal F}}E=U Bir artımlı kaplama sekansı içinde alt kümelerinin bir dizisidir , diyelim ki, , tatmin olduğuFF{\cal F}bir= { E1, E2, … , …

12 cc.complexity-theory  ds.algorithms  approximation-algorithms  optimization  set-cover 

Simpleks algoritması genellikle gerçek aritmetik olarak veya kesin hesaplamalarla ayrık dünyada ele alınır. Ancak, en çok kayan nokta aritmetiği ile uygulandığı görülmektedir. Bu, simpleks algoritmanın sayısal bir algoritma olarak kabul edilip edilmeyeceği, özellikle yuvarlama hatalarının hesaplamayı nasıl etkilediği sorusuna yol açar. Pratik uygulamalarla değil, teorik temellerle ilgileniyorum. Bu konuda herhangi …

12 ds.algorithms  reference-request  optimization  linear-programming  na.numerical-analysis 

Doğrusal programlama, elbette, günümüzde çok iyi anlaşılmıştır. Uygulanabilir çözümlerin yapısını ve en uygun çözümlerin yapısını karakterize eden çok işimiz var. Güçlü ikiliğe, çoklu zaman algoritmalarına, vb. Sahibiz. Peki LP'lerin minimum maksimum çözümleri hakkında bilinenler nelerdir? Veya aynı şekilde maksimum minimal çözümler mi? (Bu gerçekten bir araştırma sorusu değil, ama belki …

12 cc.complexity-theory  ds.algorithms  reference-request  linear-programming  optimization