Teorik Bilgisayar Bilimi

Bir süredir bir SAT algoritması geliştiriyorum ve paylaşmak istediğim bir noktaya geldim. Bilgisayar bilimlerinde çok insan tanımıyorum ve tam olarak nereye döneceğimi bilmiyorum. Yayınlamayı düşünen bir algoritmaya sahip biri için hangi kaynakların kullanılabilir olduğunu merak ediyorum. Ayrıca algoritmamın çalışma zamanını ve doğruluğunu analiz etmek için yardıma ihtiyacım var. Benim en …

11 sat  soft-question  proofs 

Önbellek-Oblivious B-Ağaçlarının 2.2. Bölümünde , Ağırlıkla Dengeli Arama Ağaçları şu şekilde tanımlanmıştır: Bazı sabit için , her düğüm, yüksekliği en sahip kökenini.dddvvvhhhΘ(dh)Θ(dh)\Theta(d^h) İddia ediyorlar: Özellikler 1 ve 2'yi karşılayan arama ağaçları arasında ağırlık dengeli B ağaçları, deterministik atlama listeleri ve beklenen anlamda atlama listeleri bulunur. Diğer makaleler aynı zamanda deterministik …

11 ds.data-structures  skip-lists 

Algoritmik oyun teorisi çalışmalarına başlıyorum ve genellikle alınan denge kavramı bir grafikte sabit bir noktaya benziyor. Ancak, insanlar sınır döngüleri gibi alternatif denge kavramlarına baktılar mı? "Sıkı" bir sınır döngüsünün - yani çok küçük uzunluktaki bir grafikte - standart denge tanımına "yakın" bir şey olarak düşünülebileceğini hayal edebilirim. Google Akademik’i …

11 gt.game-theory 

Bu bir sosyal bilimler sorusuna daha çok bir TCS sorusundan daha fazla gelebilir, ama öyle değil. Kararlı Evlilik Problemini tanımlayan " Rastgele Algoritmalar " okunurken aşağıdakiler okunabilir (p54) Diyerek şöyle devam etti: "Her tercih listesi için en az bir istikrarlı evlilik olduğu gösterilebilir. (İlginçtir ki, bu, eşit sayıda nüfusa sahip …

11 ds.algorithms  graph-theory  matching 

Belirli bir grafik , Ayırıcı Sorunu, kaldırma bölümleri yaklaşık olarak eşit boyutlarda iki ayrık grafik halinde olan küçük bir kardinalite (veya ağırlık) tepe veya kenar kümesinin var olup olmadığını sorar . Bu, kaldırılan küme bir tepe kümesi olduğunda Köşe Ayırıcı Sorunu ve kenar kümesi olduğunda Kenar Ayırıcı Sorunu olarak adlandırılır. …

11 cc.complexity-theory  approximation-hardness 

Yinelenen rasgele algoritmaları (veya bir yığın kullanan daha genel olarak rasgele algoritmaları) hedefleyen yeni bir derandomizasyon tekniği geliştirdim. Ne yazık ki, tekniklerimi uygulamak için doğal rastgele algoritmalar bulamadım. Özyinelemeli Markov Zincirleri ve Stokastik gramerler aradığım şeye çok yakın. Yığının "temel" kullanımını sağlayan başka (daha doğal) rastgele algoritmalar var mı? Altı …

11 randomness  derandomization 

Sayfa 127. itibariyle üzerinde Immerman (Açıklayıcı Karmaşıklık, 1999) hediyeler varoluşsal monadic ikinci derece (Ajtai-Fagin oyunlar) için EF oyunlar aşağıdaki gibi kelimeleri MSO düzenli dillere eşdeğerdir, oyun yazılabilir.∃∃\exists dili yalnızca Delilah'ın aşağıdaki oyunda kazanma stratejisi yoksa normaldir: 1. Samson , 2. Delilah , 3. Samson seçer alt- pozisyonların kümesinin (diğer bir …

11 lo.logic  automata-theory  descriptive-complexity 

Sadece veri türleri sayısal skalerler ve dizilerin keyfi yuvaları olan işlevsel bir programlama dili düşünün. Dilin sınırsız yinelemeden yoksun olması nedeniyle aşağıdakilere izin verilmez: Açık döngüler (yan etkiler olmadan fazla kullanılmaz) yineleme keyfi birinci sınıf fonksiyonlar (y birleştirici yok) Bununla birlikte, dil: üst düzey fonksiyonlar lexically scoped izin bağlamaları dallanma …

11 complexity-classes  functional-programming  dc.parallel-comp 

Bir EE öğrencisiyken, kaç tane iç içe döngüye sahip oldukları açısından, boole devrelerinin güzel bir karakterizasyonunu sunan bazı derslere katıldım. Karmaşıklıkta, boole devreleri genellikle veri olarak düşünülür, ancak gerçek donanım döngülerinde yaygındır. Şimdi, bir ilmeğin ne olduğu ve iç içe bir ilmeği neyin oluşturduğu ile ilgili bazı tekniklerin modülo olduğu …

11 cc.complexity-theory  reference-request  circuit-complexity  machine-models  ar.hardware-architecture 

Bu sorunun cevabının iyi bilindiğine inanıyorum; ama maalesef bilmiyorum. Kuantum hesaplamada, karışık durumların yoğunluk matrisleri ile temsil edildiğini biliyoruz. Ve iki yoğunluk matrisinin farkının iz normu, karşılık gelen iki karışık durumun ayırt edilebilirliğini karakterize eder. Burada, izleme normunun tanımı, ekstra bir çarpım faktörü 1/2 ile (iki dağılımın istatistiksel farkına uygun …

11 quantum-computing  quantum-information 

Bu sorunun nedeni, çoğu n-bit dizginin sıkıştırılamaz olmasıdır. Sezgisel olarak, Anatoloji ile totolojiler için kanıtların çoğunun polinom boyutuna sıkıştırılamaz olduğunu önerebiliriz. Temel olarak, sezgim, bazı kanıtların doğası gereği rastgele ve sıkıştırılamayacağıdır. Tatolojilerin kanıt boyutunda süper polinom alt sınırlar oluşturmak için Kolmogorov karmaşıklık sonuçlarının kullanılmasıyla ilgili araştırma çabalarına iyi bir referans …

11 lower-bounds  proof-complexity  kolmogorov-complexity 

Omer Reingold'un yönlendirilmemiş st-bağlantı log-space algoritmasının tam zaman karmaşıklığı nedir ?

11 cc.complexity-theory  randomness 

İki metrik uzay ve ( Y , f ) ve bir gömme μ : X → Y düşünün . Geleneksel metrik uzay düğünleri , orijinalin son mesafeye en kötü durum oranı olarak μ kalitesini ölçer : ρ = maks p , q ∈ X { d ( x , y …

11 approximation-algorithms  cg.comp-geom  embeddings 

Bir grafikte, bağımsız bir küme indüklenmiş alt çizgi olarak bir kenar içermeyen bir tepe alt kümesidir. Bir grafikte en büyük bağımsız kümeleri bulma sorunu temel algoritmik bir sorudur ve zor bir sorudur. Bir grafiğin en büyük H-serbest kümesini (daha büyük) bulma konusunda daha genel bir soruyu ele alalım, burada H-serbest, …

11 ds.algorithms  reference-request  graph-theory  np-hardness  co.combinatorics 

Birçok ders kitabında Sistem F için konu azaltma ve güçlü normalizasyonun kanıtlarına bakmak kolaydır, ayrıca bazen (F, r) sadece kodlama değil, terim olan Sistem F'nin çiftlerle tanımları vardır. Soru, bu sistem için referans ne olurdu?

11 reference-request  lo.logic  type-theory  lambda-calculus  polymorphism