«cc.complexity-theory» etiketlenmiş sorular

1-dim Weisfeiler Lehman algoritması (WL) genellikle standart etiketleme veya renk geliştirme algoritması olarak bilinir. Aşağıdaki gibi çalışır: İlk renklendirme eşittir, v ∈ V ( G ) ∪ V ( H ) tüm köşeler için C 0 ( v ) = 1'dir .C0C0C_0C0( v ) = 1C0(v)=1C_0(v) = 1v ∈ V( …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

Önsöz. Karmaşıklık sınıfı AM , bir "Merlin" ve bir doğrulayıcı "Arthur" arasındaki iki yönlü interaktif kanıtlama sistemi ile çözülebilen problemlerdir. Bir sorun, - bir amacı, bazı özelliklerini test eder , X - olan AM ise: İçin VAR (polinom uzunlukta) bir rastgele "meydan okuma" mesajı örnekleri, Arthur Merlin a (polinom uzunluk) …

15 cc.complexity-theory  interactive-proofs  unique-solution 

Aşağıdaki sorunu düşünün: Giriş : Bir hiper H = { y ∈ R , n : bir T y = b }H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\} , bir vektör tarafından verilen ve standart ikili gösteriminde .a ∈ Z na∈Zn\mathbf{a} \in \mathbb{Z}^n b ∈ Zb∈Zb \in \mathbb{Z} …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

Mevcut algoritmamızın asimptotik olarak en uygun algoritma olduğunu bildiğimiz önemsiz bazı problemler nelerdir? (Turing makineleri için) Ve bu nasıl kanıtlandı?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

Bu soru başka bir yazı ile yakından ilgilidir: NP Zor Sorunlarda Faz Geçişleri ama biraz farklı. Bu soru NP zor problemlerinin belirli örneklerinin sertliği ile ilgili olsa da, bu aynı örneklerin zorluk derecesini sıralamakla ilgilidir . Faz Geçişi olarak bilinen etki üzerinde birçok kaynakça vardır . Özellikle Konjonktif Normal Formda …

15 cc.complexity-theory  np-hardness  sat 

Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

Bir çarpma grubu , bir aile içinde , bir alt grubudur , H ve ⋃ n i = 1 S ı şekilde , H ∩ S i ≠ , ∅ için 1 ≤ i ≤ n . Belirli bir ailenin minimum vuruş setini bulma problemi, tepe örtüsü problemini genelleştirdiği için …

15 cc.complexity-theory  np-hardness  approximation-hardness 

Herkesin bildiği gibi, Garey ve Johnson'ın ünlü kitabı (ve diğerleri) klasik ortamda azaltma tekniği için mükemmel bir referans sağlar. Fpt indirgeme, parametreleştirilmiş algoritmada indirgeme tekniği konusunda herhangi bir anket veya kitap var mı?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

" FPH için uygulamalı bir teori " makalesini okurken aşağıdaki bölümle karşılaşabilirsiniz: Hesaplama karmaşıklığı sınıflarını karakterize eden teoriler göz önüne alındığında, üç farklı yaklaşım vardır: birincisi, teori içinde tanımlanabilen fonksiyonlar belirli bir karmaşıklık sınıfında “otomatik” tir. Böyle bir hesapta, sözdiziminin uygun sınıfta kalmasını garanti etmek için kısıtlanması gerekir. Bu, genel …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

Son zamanlarda karar ağacı modelindeki bir sorunun karmaşıklığına ikinci dereceden bir alt sınır keşfettim ve bu sonucun rastgele erişim makinesi modeline kısmen genelleştirilip genelleştirilemeyeceğini merak ediyorum . Tarafından kısmen , bir belirli bir zaman / boşluk arasında denge programları RAM bir genelleme anlamına gelir. Örneğin, problemimin doğrusal zaman ve -uzay …

15 cc.complexity-theory  lower-bounds 

Sorum genel bir soru: Algoritma Tasarım ve Karmaşıklık açısından düşünmeye nasıl başlayabilirim? Algoritma Tasarımı üzerine Yüksek Lisans Dersi alacağım. Daha önce kayıt olmuştum ama daha sonra bıraktım çünkü yetişemedim. Bu dersi zorunlu olarak almak zorundayım. Bu şekilde düşünmek için bir 'hile' var mı? Bunun oldukça kabaca koyduğunu biliyorum, ancak bazen …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

Kriptografi için yalancı rasgele sayılar üretmekle ilgileniyorum. Menezes / Oorschot / Vanstone'un 5. Bölümü dışında ; Stinson Bölüm 8 ; ve Goldreich'in 3. Bölümünden başka nereden daha fazla bilgi edinebilirim ? PRNG'lerin (istenen özellikler, testler, vb.) Tasarımıyla ilgili genel ilkelerle ilgileniyorum.

15 cc.complexity-theory  reference-request  pseudorandomness 

Let ve Y , iki ikili sayılar n bit ve z = x ⋅ y ikili sayı (uzunluk 2 , n 'nin ürününün) x ve y . Z = z 2 n - 1 … z 0 ürününün en anlamlı bitini z 2 n - 1 hesaplamak istiyoruz .xxxyyynnnz=x⋅y z=x⋅y …

15 cc.complexity-theory  binary-decision-diagrams 

Bu soru, Boole devrelerinin devre karmaşıklığı çerçevesinde veya cebirsel karmaşıklık teorisi çerçevesinde veya muhtemelen birçok başka ortamda sorulabilir. Argümanları sayarak, N girişlerinde üstel olarak çok sayıda kapı gerektiren Boole işlevleri olduğunu göstermek kolaydır (tabii ki açık örneklere sahip değiliz). Aynı fonksiyonu M kez, bazı tamsayı M için, M farklı girdi …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

Bu ise kübik Hamilton grafiklerde uzun döngüsünün değişmez bir yaklaşımının bulunması için -Sert. Kübik Hamilton grafikleri en az iki Hamilton döngüsüne sahiptir.N-PN-PNP Kübik Hamilton grafiklerinde Hamilton çevrimlerinin sayısında en iyi bilinen üst sınır ve alt sınır nedir? Kübik bir Hamilton grafiği göz önüne alındığında, Hamilton çevrimlerinin sayısını bulmanın karmaşıklığı nedir? …

15 cc.complexity-theory  counting-complexity