«application-of-theory» etiketlenmiş sorular

Algoritmaların önemini göstermek için (örneğin teoriyi yapmayan ve hatta tamamen farklı alanlardan gelen öğrenciler ve profesörler için), bazen, temel algoritmaların ticari, devlette uygulandığı örneklerin bir listesini hazır bulundurmak yararlı olabilir. veya yaygın olarak kullanılan yazılım / donanım. Aşağıdaki kriterleri karşılayan örnekler arıyorum: Algoritmayı kullanan yazılım / donanım şu anda geniş …

307 ds.algorithms  big-picture  application-of-theory 

İçin maksimum akış problemi , geçen yıl olduğu gibi gelişmiş en az biri ile, çok sofistike algoritmalar bir dizi var gibi görünüyor. Orlin'in Maks. O (mn) zamanda akar ya da daha iyisi , O (VE) ile çalışan bir algoritma verir. Öte yandan, en sık uyguladığım algoritmalar şöyle: Edmonds-Karp: ,O(VE2)O(VE2)O(VE^2) Push-relabel: …

30 ds.algorithms  graph-algorithms  application-of-theory  max-flow 

Ekoloji ve evrim çalışmaları giderek daha matematiksel hale geliyor, ancak teorik araçların çoğu fizikten geliyor gibi görünüyor. Bununla birlikte, birçok durumda problemler çok ayrı bir yapıya sahiptir (bakınız örneğin SLBS00 ) ve bilgisayar bilimi perspektifinden faydalanabilir . Yine de, TCS'nin ekoloji ve evrimdeki belirli sorulara değinmeye çalışan ciddi sonuçlarının farkındayım. …

27 reference-request  big-picture  application-of-theory  evolutionary-game-theory  algorithmic-lens 

Ben bir bilgisayar bilimi teorisyeni değilim ama bu gerçek dünya probleminin buraya ait olduğunu düşünüyorum. Sorun Şirketimin ülke genelinde birkaç birimi var. Çalışanlarımıza başka bir birimde çalışma imkanı sunduk. Ancak bir şart var: Bir birimin toplam çalışan sayısı değişemez. Bunun anlamı: Birisi onun yerini istiyorsa bir çalışanın birimini bırakmasına izin …

26 ds.algorithms  graph-algorithms  application-of-theory 

Ben tanıtan üzerinde çalıştığım bazı sonuçlar teorik biyoloji, özellikle içine hesaplama karmaşıklığı gelen evrim ve ekoloji ilginç / biyologlar için yararlı olma hedefi ile. Karşılaştığım en büyük zorluklardan biri, düşük sınırlar için asimptotik en kötü durum analizinin kullanışlılığını haklı çıkarmak. Bilimsel bir izleyiciye alt sınırları ve asimptotik en kötü durum …

22 cc.complexity-theory  reference-request  big-picture  application-of-theory  worst-case 

Son zamanlarda NP zor problemler için yaklaşıklık algoritmaları aramaya başladım ve onları incelemenin teorik nedenlerini merak ediyordum . (Soru iltihaplı değildir - sadece merak ediyorum). Bazı gerçekten güzel teori, yaklaşım algoritmaları - PCP teoremi ve yaklaşımın sertliği, UGC varsayımı, Goeman-Williamson yaklaşım algoritması, vb. Gezgin Satıcı, Asimetrik Gezgin Satıcı ve diğer …

21 ds.algorithms  approximation-algorithms  big-picture  application-of-theory 

Rasgelelik çıkarıcı yapıların uygulanması konusunda araştırmalar yapıldı mı? Çıkarıcı kanıtları, büyük gizli sabitler olasılığını bırakarak, programlı uygulamaları potansiyel olarak gerçekçi olmayan hale getiren Big-Oh'u kullanıyor gibi görünüyor. Bazı bağlamlar: Monte Carlo simülasyonlarında kullanım için rasgele sayıların (muhtemelen?) Rasgele sayıların hızlı bir kaynağı olarak kullanılmasıyla ilgileniyorum. Biz (bir ETHZ Hesaplamalı Fizik …

20 reference-request  cr.crypto-security  randomness  implementation  application-of-theory 

Git revizyon kontrol sistemi hakkında bir matematik konuşması yapmak istiyorum . Artık matematikte ve bilgisayar bilimi endüstrisinde yaygın olarak kullanılmaktadır. Örneğin, HoTT (Homotopy Type Theory) topluluğu bunu kullanır ve ister kaynak kodu ister lateks işaretleme olsun, metin dosyalarının birlikte düzenlenmesi için sisteme gider. Git'in bir başlangıç ​​olan yönlendirilmiş asiklik grafik …

19 co.combinatorics  application-of-theory 

İktisatçıları karmaşıklık teorisinin baskıdaki önemi konusunda ikna etmeye çalışırken, atıfta bulunmak için standart bir referans var mı? Ben aşinayım Noam Nisan adlı üyenin blog post , Tim Roughgarden'in anket ait ve bölüm 11 Scott Aaronson adlı makalesinde . Bu görevlere bilgisayar bilimcileri tarafından erişilebilir, ancak iktisatçıların dilini kullanmazlar ve genellikle …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Varsayalım ki, evrensel bir kuantum bilgisayarı oluşturduk. Güvenlikle ilgili sorunlar (kriptografi, gizlilik, ...) dışında, mevcut gerçek dünya sorunlarından yararlanmanın faydaları nelerdir? Her ikisiyle de ilgileniyorum: pratik bir giriş için şu anda çözülemeyen sorunlar, şu anda çözülmekte olan sorunlar, ancak önemli bir hızlanma kullanılabilirliklerini büyük ölçüde artıracaktır.

17 quantum-computing  application-of-theory 

Bu soruyu bir süre önce Stack Overflow'da sordum: Sorun: Bob'un satışı . Birisi de soruyu buraya göndermeyi önerdi. Birisi zaten bu sorunla ilgili bir soru sordu - Verilen kardinalitenin minimum ağırlık alt ormanı - ama anladığım kadarıyla sorunumda bana yardımcı olmuyor. StackOverflow'daki en yüksek cevabı da incelemeye değer. İşte StackOverflow …

15 ds.algorithms  np-hardness  tree  optimization  application-of-theory 

Genetik algoritma kullanılarak çözülen bazı gerçek dünya sorunları nelerdir? Sorun nedir? Bu sorunu çözmek için kullanılan fitness testi nedir?

13 ds.algorithms  machine-learning  ai.artificial-intel  application-of-theory  ne.neural-evol 

Aşağıdaki sorunu düşünün, Bir dizi Verilen pozitif sayılar { a 1 , ... , bir n } hangi bir sabittir, biz içine setini bölümlere ayırmak istediğiniz boyutu alt kümelerine k böylece her toplamının ürün alt küme maksimize edilir.n=kmn=kmn = k m{a1,…,an}{a1,…,an}\{ a_1, \dots, a_n \}mk≥3k≥3k \ge 3mmmkkk Sorun, her bir …

12 cc.complexity-theory  np-hardness  application-of-theory  polynomial-time 

x1, … , Xnx1,…,xnx_1, \ldots, x_nR,2R2\mathbb{R}^22∥ xben- xj∥2‖xi−xj‖2\|x_i - x_j\|^2 22323\frac 2 32323\frac 2 3 Bulabildiğim en kötü örnek, eşkenar üçgende 3 nokta, ulaşıyor . Rastgele bir bölünmenin üreteceğini unutmayın , ancak sezgisel olarak bariz bir şekilde düşük boyutlarda bir kişinin rastgele daha iyi kümelenebileceği görülmektedir. 12323\frac 2 31212\frac 1 …

12 ds.algorithms  graph-algorithms  application-of-theory  max-cut  clustering 

Gizli paylaşım şeması kavramı genellikle Shamir (A. Shamir, Bir sır nasıl paylaşılır , Comm. ACM, 22 (1979), s. 612-613.) Ve Blakey (GR Blakey, Kriptografik anahtarların korunması , Proc. NCC, cilt 48, 1979, sayfa 313-317.). Genel bir fikir bazı gizli S yerine her bir payın ler almak katılımcılardan gizlenmiş olmasıdır i …

12 cr.crypto-security  application-of-theory