«computing-over-reals» etiketlenmiş sorular

Arka fon Gerçek sayılarla yapılan hesaplama, doğal sayılarla yapılan hesaplamaya göre daha karmaşıktır, çünkü gerçek sayılar sonsuz nesnelerdir ve sayılamayan çok sayıda gerçek sayılar vardır, bu nedenle gerçek sayılar sonlu dizilerle sonlu bir alfabe üzerinde sadık bir şekilde gösterilemez. Farklı hesaplama modellerinin: lambda matematiği, Turing makineleri, özyinelemeli fonksiyonlar,… gibi eşdeğer …

40 cc.complexity-theory  cg.comp-geom  computing-over-reals  computable-analysis 

Karekök toplamı sorunu, iki sekans verilen sorar ve toplamı olup, pozitif tamsayılar az, buna eşit veya daha büyük bir sum toplamından . Bu sorunun karmaşıklık durumu açık; bkz Bu yayını daha detaylı bilgi için. Bu problem, hesaplama geometrisinde, özellikle de Öklid'in en kısa yollarını içeren problemlerde doğal olarak ortaya çıkar …

37 ds.algorithms  big-list  reductions  computing-over-reals 

Algoritma tasarımının kutsal grailslerinden biri, doğrusal programlama için kuvvetli bir polinom algoritması bulmaktır ; yani, çalışma zamanı değişken ve kısıtlama sayısındaki bir polinom tarafından sınırlandırılan ve parametrelerin gösterilmesinin boyutundan bağımsız olan bir algoritma (varsayarak) birim maliyet aritmetiği). Bu soruyu çözmenin doğrusal programlama için daha iyi algoritmalar dışında etkileri olabilir mi? …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

Bu temel bir soru olabilir, ancak Nash dengesi hesaplama ve doğrusal yozlaşma testi gibi konularda yazılar okuyup anlamaya çalışıyorum ve gerçek sayıların girdi olarak nasıl belirtildiğinden emin değildim. Örneğin, LDT'nin belirli polinom alt sınırlarının olduğu belirtildiğinde, girdi olarak değerlendirildiğinde gerçek sayılar nasıl belirlenir?

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Diyelim ki düzlemde birkaç ayrık basit çokgen ve her poligonun dışında iki nokta ve t verildi . Öklid en kısa yol problemi ile ilgili Öklid kısa yol hesaplamak için s için t herhangi bir çokgen iç kesişmez. Somutluk için, s ve t koordinatlarının ve her çokgen köşesinin koordinatlarının tamsayı olduğunu …

22 ds.algorithms  cg.comp-geom  open-problem  computing-over-reals 

Şu anda, en popüler dillerde gerçeklerin hesaplanması hala kayan nokta işlemleri ile yapılmaktadır. Öte yandan, ikinci tip etkililik (TTE) ve alan teorisi gibi teoriler uzun zamandır gerçeklerin kesin hesaplanmasını vaat etmişlerdir. Açıkça, kayan nokta hassasiyeti sorunu alaka açısından azalmadı, bu yüzden bu teoriler neden daha ana akım haline gelmedi ve …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-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 

Bir tamsayı vektörünün standart ayrık Fourier dönüşümünü hesaplamanın karmaşıklığı (standart tamsayı RAM üzerinde) nedir?nnn Cooley ve Tukey'e uygun olmayan [1] hızlı Fourier dönüşümleri için klasik algoritma genellikle zamanında çalışıyor olarak tanımlanır . Ancak bu algoritmada yürütülen aritmetik işlemlerin çoğu, (çoğu ) irrasyonel olan karmaşık . Birlik kökleri ile başlar , …

18 ds.algorithms  time-complexity  computing-over-reals  computable-analysis 

Gerçek sayılarla, gerçek sayıların kullanımına ilişkin en bilinen sonuçların yalnızca hesaplanabilir gerçekler göz önüne alındığında kullanılabileceğini belirten genel bir teorem var mı? Yoksa yalnızca hesaplanabilir gerçekler göz önüne alındığında geçerli kalan sonuçların uygun bir karakterizasyonu var mı? Bir yan soru, hesaplanabilir gerçeklerle ilgili sonuçların, tüm gerçekleri veya hesaplanamayan herhangi bir …

16 computability  computing-over-reals  topology  model-theory 

Yakın tarihli bir soru , TSP için Bellman ve Held-Karp'tan bağımsız olarak şu anda klasik dinamik programlama algoritmasını tartıştı . Algoritmanın evrensel olarak sürede çalıştığı bildirilmiştir . Ancak, öğrencilerimden birinin yakın zamanda belirttiği gibi, bu çalışma süresi mantıksız derecede güçlü bir hesaplama modeli gerektirebilir.O ( 2nn2)O(2nn2)O(2^n n^2) İşte algoritmanın kısa …

16 ds.algorithms  machine-models  computing-over-reals 

Son zamanlarda BSS hesaplama modelini inceliyorum (örneğin Karmaşıklık ve Gerçek Hesaplama; Blum, Cucker, Shub, Smale.) Realse için , o polinomların bir sistem dikkate alındığında, bu gösterilmiştir f 1 , ⋯ , f m ∈ R [ x 1 , ⋯ , X , n ] , sıfır varlığıdır N P …

13 cc.complexity-theory  computing-over-reals 

Ola Svensson'un bu ders notlarında: http://theory.epfl.ch/osven/courses/Approx13/Notes/lecture4-5.pdf , Öklid TSP'nin NP'de olup olmadığını bilmediğimiz söylenir: Bunun nedeni, kareköklerin nasıl verimli bir şekilde hesaplanacağını bilmememizdir. Öte yandan Papadimitriou'nun bu makalesi var: http://www.sciencedirect.com/science/article/pii/0304397577900123 NP-tamamlanmış olduğunu söylüyor, bu da NP'de olduğu anlamına geliyor. Gazetede kanıtlamamasına rağmen, genellikle bu tür problemlerde olduğu gibi NP üyeliğini …

12 np  tsp  computing-over-reals 

Bildiğimiz gibi, algoritmanın hesaplama karmaşıklığının tanımı neredeyse tartışmasızdır, ancak gerçeklerin veya hesaplama modellerinin gerçekler üzerindeki hesaplama karmaşıklığının tanımı böyle bir durumda değildir. Hesaplanabilir Analiz kitabında Blum ve Smales modelini ve modelini biliyoruz. Ve görünüşte, Hesaplanabilir Analiz'deki model klasik modelle tutarlıdır, ancak gerçeklerin hesaplama karmaşıklığının tanımı klasik modele dönüştürülemez. Gerçek ya …

11 cc.complexity-theory  reference-request  computability  computing-over-reals  computable-analysis 

Gerçek RAM / BSS modelini kullanarak, NP sınıfına sahibiz (burada bir BSS , gerçekler üzerinde işlemleri olan bir bilgisayarın Blum-Shub-Smale modelidir). NP tam sorunlarımız var. Soru şu: NP sınıfı için Berman Hartmanis varsayımının bir analogu var mı? Tabii ki, burada yöneltilen soru modele bağlıdır - başka bir deyişle, NP tanımı …

10 cc.complexity-theory  computing-over-reals 

Birisi beni PCF'de işlevsel süreklilik modülünün tanımlanamaması için referans gösterebilir mi? \ newcommand {\ bool} {\ mathsf {bool}}\newcommand{\N}{\mathbb{N}} \newcommand{\bool}{\mathsf{bool}} Andrej Bauer, bazı sorunları daha ayrıntılı bir şekilde araştıran çok güzel bir blog yazısı yazdı , ancak bu soruya bir bağlam kazandırmak için yazısının sadece bir kısmını özetleyeceğim. Baire alanı BBB …

10 pl.programming-languages  lambda-calculus  denotational-semantics  computing-over-reals