«dc.parallel-comp» etiketlenmiş sorular

1980'lerde hem PRAM hem de BSP paralel hesaplama modelleri ortaya çıktı. Görünüşe göre, her iki modelin de bugünkü 80'li yılların sonunda ve 90'lı yılların başında olduğu görülüyor. Paralel algoritmalar için araştırmalar hala bu alanlarda etkin midir? Paralel hesaplama için daha yeni daha gelişmiş modeller var mı? Genel modeller hala moda …

30 ds.algorithms  dc.parallel-comp  dc.distributed-comp 

Makul bir şekilde iş etkinliğinde yapılan güncellemeler için benzer veya hatta daha da kötüsü olmayan özelliklere sahip kırmızı-siyah ağaçlara doğal bir paralel analog var mı? Daha genel olarak, güncellemeleri içeren paralel arama için en iyisini yapabiliriz?

24 ds.algorithms  ds.data-structures  dc.parallel-comp  concurrency  dynamic-algorithms 

verimli paralelleştirilebilir fikrini yakalar ve bunun bir yorumlama zamanı içinde çözülebilir sorunlar olduğu O ( log c n ) kullanarak Ç ( n k ) bazı sabitler için paralel işlemcileri c , k . Benim sorum, zamanın n c ve işlemci sayısının 2 n k olduğu analog bir karmaşıklık sınıfı …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

Bu soru öncelikle pratik bir yazılım mühendisliği problemiyle ilgilidir, ancak teorisyenlerin bu konuda daha fazla bilgi verebileceğini merak ediyorum. Basitçe söylemek gerekirse, sahte bir sayı üreteci kullanan bir Monte Carlo simülasyonum var ve paralel olarak aynı simülasyonu çalıştıran 1000 bilgisayar olacak şekilde paralelleştirmek istiyorum. Bu nedenle 1000 bağımsız sahte sayı …

20 cr.crypto-security  dc.parallel-comp  pseudorandom-generators 

karmaşıklık sınıfında , sınıfında OLMAMASI için tahmin edilen bazı problemler vardır , yani deterministik paralel algoritmalarla ilgili problemler. Maksimum Akış sorunu buna bir örnektir. Ve içinde sorunlar var , ancak henüz bir kanıt bulunamadı.N C N CPP\mathsf{P}N CNC\mathsf{NC}N CNC\mathsf{NC} Mükemmel uyum sorunu grafik teorisi yükseltilmiş en temel sorun biridir: bir …

20 cc.complexity-theory  ds.algorithms  reference-request  graph-algorithms  dc.parallel-comp 

Ben iyi algoritmaları anket ve lineer cebir karmaşıklığına arıyorum (rank, ters, özdeğerler gibi işlemler, ... Boolean için ve tamsayılar / rationals matrisleri) paralel vurgu ( N C hiyerarşi) ve polytime algoritmaları . Yakın zamanda bir tane bulamadım.FpFp\mathbb{F}_pNCNCNC Doğrusal cebirin karmaşıklığı hakkında yeni bir araştırma veya kitap biliyor musunuz?

20 cc.complexity-theory  ds.algorithms  reference-request  dc.parallel-comp  linear-algebra 

Ben keyfi k (ve asal güçlere özel bir ilgi ile) için doğrusal denklemler modulo k çözme karmaşıklığı , özellikle: Sorun. Belirli bir sistem için içinde denklemlerin doğrusal n bilinmeyenler modülo k , herhangi bir çözüm var varız?mmmnnnkkk Kağıt üstündeki için soyut olarak Yapısı ve logspace-MOD sınıfların önemi sınıflarında Mod k …

19 cc.complexity-theory  dc.parallel-comp  linear-algebra  nt.number-theory 

Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …

18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 

Sınırlı derinlik devresi karmaşıklığı, devre karmaşıklığı teorisi içindeki ana araştırma alanlarından biridir. Bu konunun kökenleri "parite işlevi AC0AC0AC^{0} " ve "mod ppp işlevi tarafından hesaplanmamıştır AC0[q]AC0[q]AC^{0}[q], burada AC0[q]AC0[q]AC^0[q] , tarafından belirlenebilen dil sınıfıdır düzgün olmayan, sabit derinlik, polinom boyutu, sınırsız fan girişi AND, OR, NOT ve modulo qqq gates, burada …

17 cc.complexity-theory  circuit-complexity  lower-bounds  dc.parallel-comp  gct 

İçindedir orada ilginç sorunlar ama olmak bilinmemektedir N C 2 ? Yazıda Cook MIS sadece olmak biliniyordu bahseder, 'problemlerle A Taksonomi Hızlı Algoritmalar Paralel' N C 5 ama bu yana aşağı getirilmiştir N C 2 . Ben derinliği artırmak için sıkışmış gibi görünüyor polilog derinliği paralel algoritmaları ile başka herhangi …

14 complexity-classes  dc.parallel-comp 

MathOverflow ile ilgili sorularımdan birindeki yorumlardan GCD'nin karşı P'de olmasıyla ilgili sorunun, Tamsayı Faktorizasyonunun P'ye karşı N P'ye ilişkin olduğu sorusuna benzediğini hissediyorum .NCNC\mathsf{NC}PP\mathsf{P}PP\mathsf{P}NPNP\mathsf{NP} Tamsayılı Faktorizasyon için bir kuantum polinom zamanı ( B Q P ) algoritması olduğundan GCD için "kuantum " algoritması gibi bir şey var mı ?NCNC\mathsf{NC}BQPBQP\mathsf{BQP} İlgili …

14 cc.complexity-theory  quantum-computing  dc.parallel-comp  nt.number-theory  comp-number-theory 

Chong, Han ve Lam , yönlendirilmemiş bağlantının O ( m + n ) işlemcilerle zamanında EREW PRAM'da çözülebileceğini gösterdi .O(logn)O(logn)O({\log}n)O(m+n)O(m+n)O(m+n) Yönlendirilmiş düzlemsel grafiklerde st-bağlanabilirlik için en iyi bilinen paralel algoritma nedir? Lütfen çalışma süresini, deterministik / randomize algoritmayı ve kullanılan PRAM modelini belirtin (işlemci sayısının polinom olduğunu varsayarak). Bu soru …

13 ds.algorithms  graph-theory  dc.parallel-comp 

Arka planım karmaşıklık teorisi / mantığı (çoğu zaman sadece bir işlemin olduğu yerde) ve dağıtılmış hesaplama ( olduğu ve bir veya daha fazla zaman içinde başarısız olabileceği). Ancak, şimdi başka bir süreci doğurma / yaratma / döndürme süreci hakkında bir şeyler söylemek istiyorum. Buna paralel olarak hesaplama, işletim sistemleri vb. …

13 dc.parallel-comp  process-algebra 

Chong, Han ve Lam , yönlendirilmemiş bağlantının işlemcilerle zamanında EREW PRAM'da çözülebileceğini gösterdi . Yönlendirilmiş st-bağlantı için en iyi bilinen paralel algoritma nedir? Lütfen çalışma süresini, deterministik / randomize algoritmayı ve kullanılan PRAM modelini belirtin (işlemci sayısının polinom olduğunu varsayarak). Yönlendirilmiş herhangi bir özel bağlantı için bilinen herhangi bir zaman …

13 dc.parallel-comp 

Kısacası, soru şudur: Zor görevler için hesaplama yeteneği, kolay görevleri çözmenize gerçekten ne kadar yardımcı olur. (Bu soruyu ilginç ve önemsiz hale getirmenin çeşitli yolları olabilir ve işte böyle bir girişim.) Soru 1: N değişkenli bir formül için SAT'ı çözmek için bir devre düşünün. (Veya kenarlı bir grafik için Hamilton …

11 cc.complexity-theory  dc.parallel-comp