«reference-request» etiketlenmiş sorular

Tüm kare alt matrislerinin tam sırası varsa, bir matris tamamen düzenli olarak adlandırılır. Bu matrisler, süper-konsantratörleri oluşturmak için kullanıldı. Belirli bir matrisin gerekçeler üzerinde tamamen düzenli olup olmadığına karar vermenin karmaşıklığı nedir? Sonlu alanlar üzerinde mi? Daha genel olarak, en fazla büyüklüğündeki tüm kare alt matrisleri tam dereceye sahipse, tamamen …

19 cc.complexity-theory  reference-request  linear-algebra  matrices 

Dağıtık hesaplamada, fikir birliği sorunu yoğun araştırmaların çekildiği ana konulardan biri gibi görünmektedir. Özellikle, "Dağıtılmış Uzlaşmanın Tek Hatalı Bir Süreçle İmkansızlığı" makalesi 2001 PODC Etkili Kağıt Ödülü'nü aldı . Öyleyse fikir birliği sorunu neden bu kadar önemli? Teoride ve pratikte fikir birliği ile neler başarabiliriz? Tüm referanslar veya sergiler gerçekten …

19 reference-request  big-picture  dc.distributed-comp 

Bilgisayar bir grafik Cheeger sabit (esas olarak en az alanı / hacim oranı nedeniyle), aynı zamanda Kümenin sabiti olarak da bilinen, NP, bitmiş olduğu bilinmektedir. Genellikle yaklaşıktır. Özel grafik sınıfları için kesin polinom algoritmalarının bilinip bilinmediğini öğrenmek istiyorum. Örneğin, normal grafikler için hala NP-tamamlanmış mı? İçin mesafeye düzenli grafikler ? …

19 ds.algorithms  reference-request  graph-algorithms 

Borsa tahmin etmek zor! TCS bu düşünceyi daha resmi hale getirebilir mi? Son zamanlarda biraz finans hakkında düşünmeye başladım ve TCS bilgisinin nasıl yardımcı olabileceğini merak ediyordum. Hedge fonları ve yatırım firmaları her zaman algoritmik ticaret, makine öğrenimi ve yapay zeka kullanıyor, ancak TCS sonuçları az görünüyor. Özellikle, sadece iki …

19 cc.complexity-theory  reference-request  survey  ce.computational-finance  algorithmic-lens 

Gerçek bilgisayar ağlarının grafiklerine benzeyen rastgele grafik modelleri ile ilgileniyorum. Ortak iyi çalışılmış modelinin ( n köşe noktası, her olası kenar p olasılığı ile seçildiğinden ) gerçek bilgisayar ağlarını incelemek için iyi olup olmadığından emin değilim (değil mi?).G(n,p)G(n,p)G(n,p)nnnppp pratikte ortaya çıkan bilgisayar ağlarını anlamak için hangi rastgele grafik modelleri yararlıdır? …

19 reference-request  graph-theory  co.combinatorics 

İnterpolantları hesaplamak için herhangi bir algoritma araştırması var mı? Sadece bir algoritmadaki kağıtlar ne olacak? En çok ilgilendiğim durum ve C = q artı enterpolantın mümkün olduğu kadar küçük olması. ( McMillan'ın 2005'ten itibaren nicelleştiricilerden kaçınırken enterpolantların nasıl alınacağını açıklayan makalesini biliyorum .)A=¬p∧qA=¬p∧qA=\lnot p\land qC=qC=qC=q Arka plan: Craig interpolasyon teoremi …

19 reference-request  lo.logic  proof-complexity  feasible-interpolation 

TCS'de uzun süredir kanıtlanmamış, daha sonra başka bir teoremden çıkarımla kanıtlanmış, kanıtlanması daha kolay olabilecek varsayımlar olup olmadığını bilmek istiyorum.

18 reference-request  soft-question  big-list 

Turing makineleri için durma problemi, belki de kanonik kararsız kümedir. Bununla birlikte, neredeyse tüm örneklerine karar veren bir algoritma olduğunu kanıtlıyoruz. Bu nedenle durma problemi, karmaşıklık teorisinin “kara delik” fenomenini sergileyenlerin artan koleksiyonu arasındadır; bu da, olanaksız veya kararsız bir sorunun zorluğunun, sorunun dışında olduğu çok küçük bir bölgeye, bir …

18 cc.complexity-theory  reference-request  computability  undecidability 

Parametrize Karmaşıklık (hem algoritmik tarafta hem de sertlik tarafında) hakkında bilgi edinmek istiyorum. Bu konuda hangi kitapları / ders notlarını okuyabilirim?

18 reference-request  parameterized-complexity  fixed-parameter-tractable 

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 

Diyelim ki , yapısını bilmediğimiz sabit dereceli bir ağaçtır. Sorun çıkışına ağaçtır "düğüm mu: Formun sorguları sorarak düğümü gelen yolda yalan düğümü için ?". Her bir sorgunun bir kehanet tarafından sabit zamanda cevaplanabileceğini varsayın. değerini , ağaçtaki düğüm sayısını biliyoruz . Amaç, ağacının çıktısını almak için harcanan zamanı en aza …

18 ds.algorithms  reference-request  graph-algorithms  oracles  query-complexity 

Katsayılı bir tamsayıdır matrisin bir belirleyici hesaplanması için bilinen etkili algoritmalar ne kalıntıları halka modulo m . M sayısı asal değil kompozit olabilir (bu nedenle hesaplamalar bir alan değil halka olarak gerçekleştirilir).ZmZm\mathbb{Z}_mmmmmmm Bildiğim kadarıyla (aşağıda okuyun), çoğu algoritma Gauss eliminasyonunun modifikasyonlarıdır. Soru, bu prosedürlerin hesaplama etkinliği ile ilgilidir. Farklı bir …

18 ds.algorithms  reference-request  linear-algebra  comp-number-theory 

1990'larda hiper hesaplama üzerinde çok fazla araştırma görüyorum , ancak son yıllarda bu konuda çok az çalışma var gibi görünüyor. Bu alandaki araştırmaların öldüğü doğru mu? Eğer öyleyse, bunun nedenleri neler olabilir? Bu alanın ikna edici bir şekilde ödün vermediği gösterildi mi?

18 reference-request  computability  hypercomputation 

SAT çözümü için DPLL tabanlı olmayan herhangi bir algoritma var mı? Yoksa SAT çözücüler tarafından kullanılan tüm algoritmalar DPLL tabanlı mıdır?

18 ds.algorithms  reference-request  sat 

Otomatik teoremi kanıtlama ve ispat araştırması, kasılma eksikliği olan lineer ve diğer önerici alt yapı mantıklarında daha kolay mıdır? Bu mantıklarda kanıtlanan otomatik teorem ve ispat aramada daralmanın rolü hakkında daha fazla bilgiyi nerede bulabilirim?

18 reference-request  lo.logic  survey  automated-theorem-proving  linear-logic