Teorik Bilgisayar Bilimi

Ağırlıklı kenarları olan bir grafik verildiğinde, belirli bir tepe kümesi içinde en az bir tepe noktası içeren negatif bir döngüyü nasıl bulabiliriz ? Teşekkürler.{V1,V2,…,Vk}{V1,V2,…,Vk}\{V_1, V_2, \ldots, V_k\}

11 ds.algorithms  graph-theory 

kümesini göz önünde bulundurun (yinelenen ve bilinen bir boyuta sahip sıralı diziler olarak temsil edilir (yani boyut O (1) 'de elde edilebilir). Değerler O (1) zamanda eşitlik açısından test edilebilir. arasında en az farklı kümelerde bulunan değer kümesini elde etmek .nnnkkknnn Bunu yapmak için bariz algoritma, tüm kümeleri gözden geçirmek, …

11 ds.algorithms 

Minimum dikdörtgenler ile basit bir içbükey çokgen kapsayacak çalışıyorum. Dikdörtgenlerim herhangi bir uzunlukta olabilir, ancak maksimum genişliklere sahiptir ve çokgenin asla keskin bir açısı olmayacaktır. İçbükey poligonumu, her bir üçgeni minimal olarak sınırlayan ve daha sonra bu dikdörtgenleri daha büyük olanlarla birleştiren minimum örtüşen dikdörtgenler kümesi oluşturan üçgenlere ayırmaya çalışmayı …

11 co.combinatorics  cg.comp-geom 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Şimdi oracle kapıları olan devre ailelerini düşünün - örneğin, , burada , temeline eklenen oracle kapıları aracılığıyla başka bir sınıfına oracle erişimi olan günlük alanı içeren bir devre karmaşıklık sınıfıdır . Bu tür sınıflar için bilinen Ladner-Lynch gazetesine benzer ruhsal benzer patolojik örnekler var mı? Bu tür …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Kuantum durumu göz önüne alındığında bir dizi rastgele homojen seçilen N karma durumlar p 1 . . . ρ N , A'yı doğru bir şekilde tanımlamanın maksimum ortalama olasılığı nedir?ρbirρbir\rho_AN-N-Nρ1. . .ρN-ρ1...ρN-\rho_1 ... \rho_NbirbirA Bu sorun, ayırt problemini göz önüne alınarak, bir iki durumlu ayırt edilebilirliğini sorun haline olabilir dan …

11 quantum-computing  it.information-theory  quantum-information  st.statistics 

LISP üzerine bir kitap çeviriyorum ve doğal olarak -calculus'un bazı unsurlarına dokunuyor. Bu nedenle, bazı -calculus modellerinin yanı sıra uzatma kavramından bahsedilmektedir : ve (evet, sonsuzluk üstte). Ve söz konusu olduğu isimli yayma ise değildir.λ P ω D ∞ P ω D ∞λλ\lambdaλλ\lambdaPωPω\mathcal{P}_\omegaD∞D∞D^\inftyPωPω\mathcal{P}_\omegaD∞D∞D^\infty Ama ... Barendregt'in Lambda Kalkülüsüne bakıyordum , …

11 lo.logic  lambda-calculus  formal-modeling  extensionality 

Doğrusal denklem sistemleri için Harrow, Hassidim ve Lloyd'un kuantum algoritmalarını okuyorum . Bu makalenin üçüncü sayfasında, Sonra koşullu Hamilton evrimi ile | Ψ 0 ⟩ C ⊗ | b ⟩ ...∑T−1τ=0|τ⟩⟨τ|C⊗eiAτto/T∑τ=0T−1|τ⟩⟨τ|C⊗eiAτto/T\sum_{\tau=0}^{T-1} \left|\tau\right>\left<\tau\right|^{C}\otimes e^{iA\tau t_{o}/T}|Ψ0⟩C⊗|b⟩…|Ψ0⟩C⊗|b⟩…\left|\Psi_{0}\right>^{C}\otimes\left|b\right>\dots Benim için anlamını anlayamıyorum . Orada ne yapıyor? ∑ T - 1 nasıl τ = 0 …

11 quantum-computing  notation 

Bu SAT'a benzer, ancak her değişkenin atamasını biliyoruz, ancak herhangi bir boolean operatörünün atamasını bilmiyoruz. Bu durumda, her bir operatörün atamasını bulmak, böylece ifade verilen bir boole değerine bir NPC problemini değerlendirir mi? Aslında, bir tamsayı aritmetik ifadesini (örneğin, = 10) karşılamak için aritmetik operatörlerin atanmasını111 o p 1 3 …

11 cc.complexity-theory  np-hardness 

"Sabit Sayıda Değişken ile Tamsayılı Programlama" makalesinde, sabit sayıda kısıtlı (veya değişkenli) tam sayı programlamanın polinom olarak çözülebildiği gösterilmiştir. Bu 0-1 programlama için geçerli mi?

11 cc.complexity-theory  integer-programming 

Bize bir matroid verilir. Amacımız, matroidin her tabanı ile boş olmayan kesişme noktasına sahip minimum boyutta bir dizi eleman bulmaktır. Sorun daha önce incelenmiş mi? P'de mi? Örneğin, genişleyen bir ağaç matroidinde, minimum vuruş seti minimum kesim olmalıdır. Teşekkürler.

11 co.combinatorics  approximation-algorithms  optimization 

Doğrudan ürün teoremi, gayri resmi olarak, bir f işlevinin örneklerini hesaplamanın , bir kez f hesaplamaktan daha zor olduğunu söyler .kkkffffff Tipik doğrudan ürün teoremleri (örneğin Yao XOR Lemma) bakmak ortalama durum karmaşıklığı ve (çok kabaca) iddia boyutu devreleri tarafından hesaplanamaz ler daha iyi olasılığı p , daha sonra k …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Dana Angluin ( 1987 ; pdf ) üyelik sorguları ve teori sorguları (önerilen işleve karşı örnekler) içeren bir öğrenme modeli tanımlar. En az devlet DFA'sı ile temsil edilen normal bir dilin, üyelik sorguları ve en fazla teori sorgusu ( ) ile polinom zamanında (önerilen işlevlerin DFA'lar olduğu) öğrenilebilir olduğunu gösterir …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

Herhangi bir k sütunu koleksiyonunun tam sıralama olması özelliğine sahip gerçek bir k × nkxnk\times n ( k ≤ nk≤nk\le n ) matrisine izin verin .birbir{\bf A}kkk S: deterministik bir vektör bulmak için etkili bir yol var birbir{\bf a} şekilde arttırılmış matris A ilebir'= [ Aa ]bir'=[birbir]{\bf A}' = [{\bf …

11 ds.algorithms  linear-algebra  matrices  coding-theory 

3 Klik Bölme problemi, gibi bir grafiğin köşelerinin 3 klibe bölünüp bölünemeyeceğini belirleme problemidir . Bu sorun, 3-renklendirme probleminden basit bir azalma ile NP-zordur. Çap ( G ) = 1 veya çap ( G ) &gt; 5 olduğunda bu sorunun cevabının kolay olduğunu görmek zor değildir . Diam ( G …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Cevap: bilinmiyor Bu soruyu ve onunla ilgili tanımları düzeltmeye yardımcı olan herkese çok teşekkürler. Bu vikinin tanımları daha yeni TCS wiki " P, varlığı PA veya ZFC'den bağımsız diller içeriyor mu? (TCS topluluk wiki) " için başlangıç ​​noktası sağlamıştır . Daha yeni wiki tercih edilir, çünkü tanımları ve isimlendirmesi bu …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability