Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

5
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını test etmek mümkün müdür?
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 
11
Bilinen en iyi algoritması çalışma süresi olan herhangi bir sorun var mı
Daha önce paydada bir günlük içeren bir algoritma görmedim ve bu formda gerçekten kullanışlı bir algoritma olup olmadığını merak ediyorum? Bir günlük faktörünün çalışma zamanında çoğalmasına neden olabilecek birçok şeyi anlıyorum, örneğin sıralama veya ağaç tabanlı algoritmalar, ancak bir günlük faktörüne bölmenize neden olabilecek ne olabilir?
3
Pi tiplerinin funsplit ve polaritesi
Bir de son iplik Agda posta listesinde, sorusu ηη\eta yasaları Peter Hancock yapılan ettiği, açıldı düşündürücüdür sözler . Anladığım kadarıyla yasaları negatif türlerle geliyor, yani. giriş kurallarının ters çevrilebilir olduğu bağlayıcılar. Eta'yı işlevler için devre dışı bırakmak için Hank , olağan uygulama kuralı yerine özel yapılmış bir kaldırıcı funsplit kullanmanızı …
2
tamlık teorisinde Karp-redüksiyonlarını kullanma motivasyonu
Polinom zaman azaltma kavramı (Aşçı azaltma) çok sezgisel bir kavramın soyutlamasıdır: farklı bir problem için bir algoritma kullanarak bir problemi etkin bir şekilde çözme. Ancak, teorik olarak -completeness, kavramı -hardness haritalama indirimleri (Karp indirimleri) üzerinden yakalanır. Bu "kısıtlı" indirimler kavramı çok daha az sezgiseldir (en azından benim için). Hatta biraz …
2
Sistem F'de (veya başka bir normalize edilmiş λ-hesabını)
Tipik olmayan lambda hesabı için denkliğine karar vermenin imkansız olduğunu biliyorum . Barendregt'ten Alıntı , HP Lambda Hesabı: Sözdizimi ve Anlambilimi. Kuzey Hollanda, Amsterdam (1984). :ββ\beta A ve B eşit değilse, eşitlik altında kapalı, boş olmayan lambda terimleri kümeleri ise, A ve B özyineli olarak birbirinden ayrılamaz. Eğer A eşitlik …
3
Değişim koruyucu olarak çerçeve kuralı?
Aşağıdaki gibi bir çerçeve kuralı , çalıştırmadan önce cönkoşullu pve qsonrasında da geçerli olan sonkoşullu bir program verildiğinde , bazı ayrık koşulların rhem cçalıştırmadan önce hem de sonra tutulması gerektiği fikrini yakalar . ( *Bağ, bağımsız değişkenlerinin ayrık olmasını gerektirir.) Genellikle, ön ve son koşullar bir yığının durumlarıdır ve yığını …
2
Kategori teorisi / soyut cebir ve hesaplama karmaşıklığını birleştiren bir teori var mı?
Kategori teorisi ve soyut cebir, fonksiyonların diğer fonksiyonlarla birleştirilme biçimini ele alır. Karmaşıklık teorisi, bir fonksiyonun hesaplanmasının ne kadar zor olduğu ile ilgilenir. Böyle doğal çiftler gibi göründüklerinden, bu çalışma alanlarını kimsenin birleştirmediğini görmek garip. Bunu daha önce kimse yaptı mı? Motive edici bir örnek olarak, monoidlere bir göz atalım. …
2
Mafya ne kadar zor?
Mafya partilerde popüler bir rol yapma oyunudur, ayrıntılı açıklama wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 adresinde mevcuttur . Temel olarak, aşağıdaki gibi çalışır: Başlangıçta, oyuncuların her birine gizlice Mafya veya Kasaba ile uyumlu bir rol verilir. Her rolün özel yetenekleri olabilir; bunun hakkında daha sonra.N-N-N İki oyun aşaması vardır: Gündüz ve Gece. Geceleri, Mafya …
2
Ayırıcı sorgularından bir ağacı yeniden yapılandırma
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 …
1
Rastgele 2-SAT'ın sayım karmaşıklığı nedir?
# 2-SAT'ın rastgele örneklerinin karmaşıklığının , yan tümce yoğunluğuna göre nasıl değiştiği konusunda herhangi bir çalışma yapıldı mı? Yani: Rastgele üretilen 2-SAT örneğine tatmin edici çözümler saymanın zorluğu , madde yoğunluğu değiştikçe nasıl değişir? Özellikle, kritik eşikler ile ilgili bilinen kesin sonuçlar var mı? Tabii ki, çünkü 2-SAT ∈ P …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.