«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

2
İnşa edilemeyen fonksiyonlar ve anormal sonuçlar
Arora-Barak kitabında, zamanla yapılandırılabilir fonksiyonların tanımında, zamanla yapılandırılamayan fonksiyonların kullanılmasının "anormal sonuçlara" yol açabileceği söylenir. Böyle bir "anormal sonuç" örneği var mı? Özellikle zaman hiyerarşisi teoreminin tutmayacağı fonksiyonlar olabileceğini duydum, böyle fonksiyonlara sahip olan var mı? Literatürde bir yerlerde bununla ilgili bir şey var mı?
2
Deterministik olmayan ağaç yürüyen otomatlar deterministik olanlardan daha mı güçlü?
Güncelleme: Bu sorun son zamanlarda incelenmiş ve çözülmüş gibi görünüyor, şu wiki makalesine bakın: http://en.wikipedia.org/wiki/Tree_walking_automaton Ve ayrıca bu anket: http://www.mimuw.edu.pl/~bojan /papers/twasurvey.pdf Farz edin ki, olağan kelime kümesi ({0,1} *) yerine, sözlerimiz doğrusal değildir, daha çok bazı ağaç yapılarında verilmiştir. Makinelerimizin "kaybolmasını" önlemek için, kelimelerimizi ikili, gömülü ağaç kümesi olarak tanımlayın. …
3
Belirsiz bir aşağı itmeli otomat tarafından kabul edilen en çok uzunluğunda bir kelime bulmanın sertliği
Sorun bildirimi : Let bir (potansiyel olarak nondeterministic) aşağı açılan da olmalıdır ve izin olması, giriş alfabe. kelimesi var mı st tarafından kabul edilen ?MMMbirA\cal Aw ∈bir*w∈A∗w \in \cal A^*| w | ≤k|w|≤k|w| \leq kMMM Bu problem NP-tamamlanmış mı? Çalışıldı mı? Böyle bir kelimeyi bulmaya izin veren bir algoritma var …
1
Algoritmaların Karmaşıklığında Gizli Sabitler
Birçok problem için, en iyi asimtotik karmaşıklığa sahip algoritmanın, büyük O gösterimi ile gizlenen çok büyük bir sabit faktörü vardır. Bu, matris çarpımı, tamsayı çarpımı (özellikle, Harvey ve van der Hoeven'in son O (n log n) tamsayısı çarpma algoritması, düşük derinlikli sıralama ağları ve grafik küçükleri bulma, birkaç yapmak için …
4
Gerçekten önyükleme yapan önyükleme sonuçları
TCS'de genellikle önyükleme sonuçları olarak adlandırılan bir tür sonuç vardır . Genel olarak, biçimdedir Eğer teklif AAA tutar, sonra teklif A′A′A' tutar. nerede AAA ve A′A′A' benzer görünen önermelerdir ve AAA görünüşe göre "zayıf" A′A′A', bu tür sonuçları adlandırmamızın nedeni budur. Birkaç somut örnek vereyim: Teorem. [Chen ve Tell, STOC'19] …
1
Gödel'in durma sorununun kararsızlığına dayanan ilk eksiklik teoreminin referansı nedir?
Gödel'in ilk kanıtları uzun, dahil olan ve bir yerde oldukça sezgisel olan bir yerde doğrudan kanıtları olan Gödel'in İlk Eksiklik Teoreminin daha zayıf bir formu, durma sorununun kararsızlığına dayanan basit ve sezgisel bir kanıta sahiptir - bkz. Https: / /en.wikipedia.org/wiki/Halting_problem#Sketch_of_proof Bu kanıtı ilk kim önerdi ve ilk olarak hangi makalede …
1
En iyi bilinen asimtotik PCP boyutları / 3-SAT
Olasılıkla kontrol edilebilir kanıt boyutlarında en iyi bilinen asimtotik üst sınırlar nelerdir? İdeal olarak, bu geniş soru hakkında çağdaş bir araştırma arıyorum, ancak hiç değilse, özellikle 3-SAT'ın yakınlığıyla ilgileniyorum. 7/8 + ε-3-SAT, cümlelerin 7/8 + ε kısmı tatmin edici ise, o zaman örnek tatmin edilebilir olacak sözüyle 3-SAT olsun. 3-SAT …
5
Sinir ağları algoritmalar tasarlamak için kullanılabilir mi?
Masa oyunları oynarken sinir ağlarının daha yeni ve daha yeni başarılarından sonra, belirlediğimiz bir sonraki hedefin Starcraft'ta insanları yenmekten daha yararlı bir şey olabileceğini düşünüyoruz. Daha doğrusu, Sinir ağları klasik algoritmik problemleri çözmek için eğitilebilir mi? Burada, örneğin ağın , ağırlıklı kenarları ve iki köşesi ve belirtilmiş bir giriş grafiği …
2
Yarı-polinom zamanda olan ama (belki) olmayan bir bilgi işlem sorunu var mı
Yarı polinom zamanı veya kısaca QP, deterministik Turing makinesinde bir karmaşıklık sınıfıdır. İşte kesin tanım: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:Q#qp ΒP, sınırlı belirsizliği sınırlayan bir karmaşıklık sınıfıdır. İşte kesin tanım: https://complexityzoo.uwaterloo.ca/Complexity_Zoo:B#betap Herhangi bir βP makinesinin bir QP makinesi, yani βP ile simüle edilebildiğini görmek kolaydır ⊆⊆\subseteq QP. Ancak, sorunun βP'de olmadığına dair kesin bir …
1
İki kelimenin bir dilde araya girip girmediğini kontrol etmenin karmaşıklığı
Bazı alfabe sabit bir dil için , INTERLEAVING adını verdiğim şu sorunu ele alalım :LLLAAALLL Giriş: iki kelimeu,v∈A∗u,v∈A∗u, v \in A^* Çıktı: de ve araya eklenmesi olup olmadığı .uuuvvvLLL Burada, ve kelimelerinin bir araya getirilmesi , göreli sıralarını korurken ve harflerini alarak sezgisel olarak elde edilebilen bir kelimesidir . Biçimsel …
2
En fazla minimum DFA sayısı
İzin Vermek ΣΣ\Sigma bir alfabe olmak 222ve boyutu en fazla sınırlı olan minimum DFA'ları düşünün mmm. İzin Vermekf( m )f(m)f(m) "Bu tür farklı minimal DFA'ların sayısını belirtir." İçin kapalı form formül bulabilir miyiz f( m )f(m)f(m)? Bunu göz önünde bulundurarak | Σ | =2|Σ|=2|\Sigma|=2 en fazla DFA boyutunun geçiş fonksiyonu …
1
İkinci dereceden belirsiz bir deterministik hesaplamanın hızlanması mantıklı mı?
Bu, deterministik hesaplamanın belirsiz olmayan hızlanmasının bir devamıdır . Belirsizliğin (veya daha genel olarak değişimin) deterministik hesaplamanın genel bir ikinci dereceden hızlanmasına izin vermesi mantıklı mıdır? Yoksa gibi bir şey için bilinen herhangi bir mantıksız sonuç var mı?DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n)
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.