«application-of-theory» etiketlenmiş sorular

Bilgisayar bilimleri araştırma / uygulama veya diğer konularda teorik bilgisayar bilimi uygulamalarından kaynaklanan sorular.

29
Dağıtılmış çekirdek algoritmaları
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ş …

3
Son teknoloji Maksimum Akış algoritmalarının herhangi biri pratikte var mı?
İç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: …

5
Algoritmik lens aracılığıyla ekoloji ve evrim
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. …

4
Yönlendirilmiş bir grafikte, paylaşılmayan en fazla sayıda kenarı içeren döngüleri nasıl bulabilirim?
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 …

3
Bilim adamlarına asimptotik en kötü durum analizini gerekçelendirmek
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 …

5
Yaklaşım Algoritmaları için Teorik Uygulamalar
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 …

4
Rasgelelik Çıkarıcıların uygulanmasına yönelik güncel bir araştırma var mı?
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 …

4
Matematik konuşması: Git revizyon kontrol sistemi hakkında teorem?
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 …

5
Ekonomistler neden hesaplama karmaşıklığına önem vermeli?
İ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 …

5
Kuantum hesaplamanın gerçek dünyadaki uygulamaları (güvenlik hariç)
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.

3
Bob Satış
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 …



2
Düşük boyutlarda öklid-kare maksimum kesim
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 …


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.