«ds.algorithms» etiketlenmiş sorular

Paul Erdos, Tanrı'nın her matematik teoreminin en zarif kanıtını tuttuğu “Kitap” hakkında konuştu. Bu bile bir kitaptan esinlendi (şu anda 4. baskısında olduğuna inanıyorum): Kitaptaki Kanıtlar . Tanrı'nın algoritmalar için benzer bir kitabı olsaydı, hangi algoritmanın aday olacağını düşünüyorsunuz? Mümkünse, lütfen tıklanabilir bir referans ve çalışmasını sağlayan anahtar öngörüler sağlayın. …

358 ds.algorithms  soft-question  ds.data-structures  big-list 

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 

Diyelim ki Mario bir gezegenin yüzeyinde yürüyor. Bilinen bir yerden, sabit bir yönde, önceden belirlenmiş bir mesafe boyunca yürümeye başlarsa, nerede duracağını ne kadar çabuk belirleyebiliriz? Daha teorik bir dışbükey politop verilir varsayalım 3-boyutlu uzayda bir başlangıç noktası, yüzeyi üzerinde , bir yön vektör (bazı faset içeren düzlemi içinde ) …

140 ds.algorithms  cg.comp-geom 

İki diziden oluşan bir karışma, karakterleri yeni bir dizgeye serpiştirerek her dizginin karakterlerini sırayla tutar. Örneğin, ve MISSISSIPPIbir karıştırma . İki özdeş dizgenin karıştırılması durumunda bir dize karesini arayayım . Örneğin , karedir, çünkü ve bir karışıklığıdır , ancak dize kare değildir.MISIPPSSISIABCABDCDABCDABCDABCDDCBA Bir dize kare olup olmadığını belirlemek için hızlı …

117 ds.algorithms  open-problem 

Teorik bilgisayar bilimi, "soyutlamanın bedeli" ile ilgili bazı örnekler sağlamıştır. En belirgin iki kişi Gauss ortadan kaldırılması ve tasnifi içindir. Yani: İşlemleri bir bütün olarak satırlara ve sütunlara sınırlarsanız , Gauss eleme işleminin determinantı hesaplamak için optimal olduğu bilinmektedir [1]. Açıkçası Strassen'in algoritması bu kısıtlamaya uymuyor ve asimetrik olarak Gauss …

112 ds.algorithms  reference-request  big-list  lower-bounds 

Son yıllarda A * 'dan çok daha hızlı grafik değişimlerine karşılık olarak en iyi yolu hesaplayabilen çok sayıda yol bulma algoritması geliştirilmiştir - bunlar nelerdir ve bunlar nasıl farklılık gösterir? Farklı durumlar için mi yoksa bazıları eskimiş başkaları mı? Bunlar şimdiye kadar bulabildiklerim: D * (1994) Odaklanmış D * (1995) …

96 ds.algorithms  shortest-path 

Daha önceki bir sorunun cevabında , “Gauss” un ortadan kaldırılmasının O(n3)O(n3)O(n^3) zamanlarında gerçekleştiğine dair yaygın ama yanlış inancından bahsettim . O algoritma kullandığı açıktır iken O(n3)O(n3)O(n^3) aritmetik işlemleri, dikkatsiz uygulama katlanarak birçok parçalarıyla sayıda oluşturabilir. Basit bir örnek olarak, aşağıdaki matrisi köşegenleştirmek istediğimizi varsayalım: ⎡⎣⎢⎢⎢⎢⎢⎢⎢211⋮1021⋮1002⋮1⋯⋯⋯⋱⋯000⋮2⎤⎦⎥⎥⎥⎥⎥⎥⎥[200⋯0120⋯0112⋯0⋮⋮⋮⋱⋮111⋯2]\begin{bmatrix} 2 & 0 & 0 …

72 ds.algorithms  reference-request  linear-algebra 

Uygulanamayacak kadar karmaşık olan bazı meşru fayda algoritmaları nelerdir? Netleştireyim: Geçerli asimptotik en uygun matris çarpım algoritması (Coppersmith-Winograd) gibi algoritmaları aramıyorum, uygulanması makul ama pratikte işe yaramaz kılan bir sabiti var. Makul bir şekilde pratik değere sahip olabilecek algoritmalar arıyorum, ancak kodlamalarını yapmak çok zor, ancak bunların hiçbir zaman uygulanmadığını, …

67 ds.algorithms  ds.data-structures  big-list  implementation 

Polinom zamanında (Giriş uzunluğu + Çıkış uzunluğu) çalışan, ancak aynı ölçüdeki asimptotik çalışma süresinin gerçekten çok büyük bir üs / sabit değerine sahip olduğunu (en azından, çalışma süresinde kanıtlanmış üst sınırın bulunduğu yerlerde ) duyarlı algoritmalar biliyor musunuz? böyle bir yolu)?

59 ds.algorithms  big-list 

Yaygın tahmin ediliyor , matris çarpımı için optimal üs, 2'ye eşit aslında Sorum basit şöyledir:ωω\omega olduğuna inanmamız için hangi sebepler var ?ω=2ω=2\omega = 2 Coppersmith-Winograd gibi hızlı algoritmaların farkındayım, ancak bunların neden olduğuna ilişkin kanıt olarak değerlendirilebileceğini bilmiyorum .ω=2ω=2\omega = 2 Doğal olarak, bana bir topluluğun bir sonucun sadece estetik …

59 ds.algorithms  linear-algebra  matrix-product 

arka fon Birkaç yıl önce, ben lisanstayken, itfa edilmiş analiz üzerine bir ev ödevi verildi. Sorunlardan birini çözemedim. Ben bunu sormuştu comp.theory , ama tatmin edici bir sonuç ortaya çıktı. TA'nın kanıtlayamadığı bir konuda ısrar ettiğini ve ispatını unuttuğunu söylediğini hatırlıyorum, ve ... [ne biliyorsunuz]. Bugün, sorunu hatırladım. Hala bilmek …

59 ds.algorithms  ds.data-structures  open-problem  time-complexity 

Genetik algoritmalar teori dünyasında pek bir çekişe sahip olmamakla birlikte, oldukça iyi kullanılan bir metaheuristik yöntemdir (metaheuristik ile, tavlama, gradyan inişi ve benzerleri gibi birçok soruna genel olarak uygulanan bir teknik anlamına gelir). Aslında, GA benzeri bir teknik , uygulamada Öklid TSP'si için oldukça etkilidir . Bazı meta-nitelikler teorik olarak …

56 ds.algorithms  ne.neural-evol 

NP-tamamlanmış problemlerin (arama sürümleri) için, bir çözümün doğrulanması onu bulmaktan daha kolaydır, çünkü doğrulama polinom zamanında yapılabilir, ancak bir tanık bulmak (muhtemelen) üssel zaman alır. In P Ancak, çözüm de polinom zamanda bulunabilir, bu nedenle doğrulama hızlı çözüm bulmaktan daha olduğunda bariz görünmüyor. Aslında, farklı sorunların bu açıdan farklı davrandığı …

52 cc.complexity-theory  ds.algorithms  reference-request 

Bir algoritmanın etkinliğini analiz etmenin iki yolu çalışma süresine asimptotik bir üst sınır koymak, ve Çalıştırmak ve deneysel verileri toplamak için. Merak ediyorum (1) ve (2) arasında önemli bir farkın olduğu durumlar var mı ? Bununla, (a) deney verilerinin daha sıkı bir asimptotik önerdiğini veya (b) teorik analizin X'in Y'den …

52 ds.algorithms  big-list  ds.data-structures 

Belirli bir karmaşıklıkla çözülebilen kanıtlanmış sorunlara referanslarla karşılaştığımı, ancak bu karmaşıklığa gerçekten ulaştığı bilinen bir algoritması olmadığını hatırlıyorum. Zihnimi bunun nasıl olabileceği etrafına sarmakla mücadele ediyorum; Bir algoritmanın varlığı için yapıcı olmayan bir kanıtın nasıl göründüğü. Gerçekten böyle sorunlar var mı? Çok pratik değerleri var mı?

47 ds.algorithms  soft-question  lo.logic  proofs