«cc.complexity-theory» etiketlenmiş sorular

Bu cevap için Major teorik bilgisayar bilimi sorunları çözümsüz? Soru, NP'deki belirli bir sorunun zaman gerektirmesi durumunda açık olduğunu belirtir .Ω(n2)Ω(n2)\Omega(n^2) Cevap altındaki yorumlara bakmak beni şaşırttı: Dolgu ve benzer püf noktalarının yanı sıra, NP'deki ilginç bir problem için (doğal olarak belirtilmiş ) deterministik bir RAM makinesinde (veya çoklu-bant deterministik …

25 cc.complexity-theory  np  p-vs-np 

Son zamanlarda, Ryan Willams, Doğal karmaşıklık sınıflarının ayrılmasını sağlamak için kaçınılmaz olduğunu kanıtladı: ve . N E X PN-EXP\mathsf{NEXP}T C0TC0\mathsf{TC}^{0} Doğal , devre karmaşıklığındaki tüm birleşimsel kanıtların yerine getirdiği ve (veya başka bir "zor" karmaşıklık sınıfında) hedef işlevinin , çalışan bir algoritma tarafından "zor" bir özelliğe sahip olup olmadığına karar …

25 cc.complexity-theory  complexity-classes  circuit-complexity  gct  barriers 

Bu soru saf meraktan ortaya çıkıyor ( bir ipi karıştırmayı düşünürken ortaya çıktı , ama aslında bunun ilişkili olup olmadığından emin değilim) bu yüzden umarım uygun olur. Çeşitli grafik ürünleri var ve bunlardan herhangi biriyle ilgileniyorum. grafiğinin önemsiz bir ürün için izomorfik olup olmadığını belirlemenin karmaşıklığı nedir ? (Kesinlikle Kartezyen …

25 cc.complexity-theory  graph-algorithms 

Yönlendirilmemiş ve ağırlıklandırılmamış bir grafik ve eşit bir tamsayı göz önüne alındığında tepe noktalarının sayımının hesaplamalı karmaşıklığı nedir; öyle ki ve tepe kümesine sınırlı alt mükemmel bir eşleşme kabul ediyor? Karmaşıklık # P-tamamlandı mı? Bu problem için referans var mı?k S ⊆ V | S | = K G GG=(V,E)G=(V,E)G=(V,E)kkkS⊆VS⊆VS\subseteq …

25 cc.complexity-theory  co.combinatorics  counting-complexity 

Birkaç makalede, tek yönlü işlevlerin varlığının yaygın bir şekilde inanıldığını okudum . Birisi bunun neden böyle olduğuna ışık tutabilir mi? Tek yönlü işlevlerin varlığını desteklemek için hangi argümanlara sahibiz?

25 cc.complexity-theory  cr.crypto-security  big-picture  one-way-function 

Bir mı deterministik aşağıdaki sorun için bilinen polinom zamanlı algoritması: Giriş: doğal sayı (ikili kodlamada)nnn Çıktı: asal sayı .p>np>np > n (Leonard Adleman’ın açık sorunlarının bir listesine göre, sorun 1995’te açılmıştır.)

25 cc.complexity-theory  open-problem  nt.number-theory  polynomial-time  primes 

Soru: En iyi bilinen formül boyutu AC içinde müstehcen fonksiyon için bağlı düşük değerler nedir 0 ? alt sınırına sahip belirgin bir işlev var mı ?Ω(n2)Ω(n2)\Omega(n^2) Arka fon: Çoğu alt sınır gibi, formül büyüklüğündeki düşük sınırların elde edilmesi zordur. {#, VEYA, DEĞİL} standart evrensel geçit setine göre daha düşük sınır …

25 cc.complexity-theory  lower-bounds  circuit-complexity  formulas 

Kesinlikle çok sayıda standart referansta olması gereken bir soru sormak için özür dilerim. Başlıktaki soruyu tam olarak merak ediyorum, özellikle Boolean devreleri düşünüyorum, derinliği bağlı değil. "En küçük" ifadesini, bir üst çizginin bağlı olduğu bilinen, birbirini içermediği bilinen, birden fazla farklı sınıfın bulunma ihtimaline izin vermek için koyarım.

25 cc.complexity-theory  circuit-complexity 

Arora, Barak ve Steurer, Eşsiz Oyunlar ve İlgili Sorunlar İçin Eklemsel Algoritmalar'ın son sonuçlarının ışığında, ek süre zarfında algoritmaları olan ancak polinom olarak çözülemeyeceğine inanılan grafik problemleriyle ilgileniyorum. Ünlü bir örnek, çalışma zamanının subexponential algoritmasına sahip grafik izomorfizmidir . Başka bir örnek ise yarı polinom zamanında çözülebilen log-Clique problemidir ( …

25 cc.complexity-theory  reference-request 

Farz edelim ki bir sınıf nesnemiz (örneğin grafikler, dizeler) ve bu nesneler üzerinde bir denklik ilişkimiz var. Grafikler için bu grafik izomorfizmi olabilir. Dizeler için, birbirlerinin anagramları ise, iki dizgiyi eşdeğer ilan edebiliriz. Bir eşdeğerlik sınıfı için bir temsilci hesaplamakla ilgileniyorum. Başka bir deyişle, f () işlevini, x, y, f …

25 cc.complexity-theory 

Hey numarasının karmaşıklık sınıflarını yukarı - örneğin . Dönüşüm çalışan, girdi "şişirme" eserlerini doldurma (diyelim dan söylemek için sen yastıklı girişine çalışabilir bir "sihirli" algoritmasını verir). Bu teknik anlamda mantıklı olsa da, bunun nasıl çalıştığını iyi anlayamıyorum. Burada tam olarak ne oluyor? Dolgu ne için basit bir benzetme var mı?N …

25 cc.complexity-theory  complexity-classes  padding 

Aşağıdaki problemi göz önünde bulundurun: bir CNF formülü ve bu formüle uyan bir ödev verildiğinde, bu formül için tatmin edici başka bir ödev var mı? Bu sorunun karmaşıklığı nedir? (Kesinlikle elbette NP’de, ama aynı zamanda NP zor mu?) Peki size ödev verilmezse ve formülün benzersiz bir tatmin edici ödev olup …

25 cc.complexity-theory  np-hardness  sat  unique-solution 

RP , polinom zamanında sona eren ve aynı zamanda tek taraflı bir hataya izin verilen, belirli olmayan bir Turing makinesi tarafından çözülebilen sorunların sınıfıdır. P, polinom zamanında sonlanan deterministik bir Turing makinesi tarafından çözülebilen olağan problem sınıfıdır. P = RP, devre karmaşıklığındaki bir ilişkiden sonra gelir. Impagliazzo ve Wigderson , …

25 cc.complexity-theory  derandomization  conditional-results  randomized-algorithms 

Bunu kapsayan herhangi bir referans var mı?

25 cc.complexity-theory  reference-request  np-hardness  factoring 

P-NP sorusunu çözen herhangi bir kanıtın görelilik , doğal kanıtlar ve cebirleştirme engellerinin üstesinden gelmesi gerektiği iyi bilinmektedir . Aşağıdaki şemada "prova alanı" farklı bölgelere ayrılmıştır. Örneğin, göreceli ve doğallaşmış bir dizi karşılık gelir. (Geometrik Karmaşıklık Teorisi) elbette kesinlikle dış bölgedir.G Cı TR NR,N-RNG CTG,CTGCT Bazı ispatları ait oldukları en …

25 cc.complexity-theory  proofs  barriers  p-vs-np