Teorik Bilgisayar Bilimi

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 

+ 1, -1 girişli bir A matrisinin işaret sırası, A ile aynı işaret desenine sahip olan bir B matrisinin en düşük sırasıdır (yani, tüm i'ler için , j ). Bu kavram iletişim karmaşıklığı ve öğrenme teorisi için önemlidir.AijBij>0AijBij>0A_{ij}B_{ij}>0i,ji,ji,j Sorum şu: Bir matrisin işaret sırasını faktörüne yaklaştıran bilinen (uzatılabilir zaman) algoritmaları …

25 lg.learning  open-problem  communication-complexity  matrices 

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 

İki (en az) DFA'nın n durumuyla kesişimi, O (n 2 ) zaman ve boşluk kullanılarak hesaplanabilir . Bu, genel olarak optimaldir, çünkü elde edilen (minimum) DFA, n 2 durumuna sahip olabilir . Bununla birlikte, elde edilen minimal DFA z durumları varsa, z = O (n) olduğu takdirde , bazı sabit …

25 automata-theory  dfa 

Tabii ki, bazı karmaşıklık sonuçları tek diller için çökebilir, ancak bu durumda bilinen sonuçları özetleyen bir anket olup olmadığını merak ediyorum: tek diller için bir tür karmaşıklık hayvanat bahçesi. Böyle bir referansı biliyor musunuz?

25 cc.complexity-theory  reference-request  big-list 

Bugün aşağıdaki sorunu GPS cihazımla oynarken formüle ettim. İşte burada : Let yönlendirilmiş bir grafiktir, örneğin eğer olacak E = ( u , v ) ∈ e daha sonra ( V , U ) ∉ e , yani G yatan yönsüz grafiğin bir yönlendirmesidir. Aşağıdaki işlemleri göz önünde bulundurun:G(V,E)G(V,E)G(V,E)e=(u,v)∈Ee=(u,v)∈Ee=(u,v) \in …

25 ds.algorithms  graph-algorithms 

Bu sorunun çözüldüğünü düşünün. Hepsi konuyu anlamada katkıda bulundukları için en iyi cevabı almayacağım. Öngörü mantığının anlambilgisini resmen tanımlayarak ne gibi faydalarımız olduğuna emin değilim. Ancak resmi bir ispat hesabına sahip olmanın değerini görüyorum. Demek istediğim ispat calculi'nin çıkarım kurallarını haklı çıkarmak için biçimsel anlambilime ihtiyacımız olmayacak. Teoremleri ispatlamak için …

25 lo.logic  semantics 

Sanırım çok fazla iddialı CoRR makalesi okudum . Buradaki sorun, bu makalelerin hakem tarafından gözden geçirilmemesi, çoğu zaman ilginç gelmesi ve temel uygunluk kontrollerinden geçmesidir. Ya da belki yapmazlar ve benim uygunluk kontrollerimi iyileştirmem gerekiyor. İşte bu tür makalelerin son bir örneği: Teklik Ağaçları: Grafik İzomorfizmi Sorununa Olası Bir Polinom …

24 soft-question  graph-isomorphism  paper-review  ppad 

Wang çini kullanan bir Berger sonucu, bir çini grubunun uçağı döşeyip kirleyemeyeceğini belirlemenin kararsız olduğunu biliyorum . Benim sorum, verilen tek bir kiremitin düzlem döşeyebilip döşenmeyeceğini , bir tek yüzlü döşemenin fayans olup olmadığını tespit etmenin kararsız olup olmadığıdır . Eğer bu kararsız kalırsa, kararsızlık kanıtı olan bir karo grubunun …

24 reference-request  co.combinatorics  decidability  undecidability 

Agda ve Coq arasında tür teorileri arasındaki en iyi bilinen ayrımlarla açıkça ilgili olmayan kafa karıştırıcı bir anlaşmazlık içinde bulundum (örneğin, (im) öngörüşlülük, indüksiyon özyinmesi vb.). Özellikle, aşağıdaki tanım Agda tarafından kabul edilmiştir: data Ty : Set0 -> Set0 where c1 : Ty ℕ c2 : Ty (Ty ℕ) buna …

24 type-theory  coq 

Cormen, Leiserson, Rivest ve Stein'in "Algoritmalara Giriş" gibi standart ders kitaplarında anlatılanların ötesine geçen gelişmiş veri yapıları üzerine bir kitap arıyorum. MIT'deki Erik Demaine ve André Schulz'un İleri Veri Yapıları dersi gibi ileri veri yapıları üzerine lisans düzeyinde bir ders vermek için kullanılabilecek bir kitap . Veri yapılarının ansiklopedik el …

24 soft-question  ds.data-structures  survey  books 

Verdiği cevap ise bu soruya , Stephane Gimenez doğrusal mantık provalar için bir polinom zamanlı normalleştirme algoritmasına beni işaret etti. Girard'ın makalesinde bulunan kanıt, aslında pek fazla bilmediğim bir doğrusal mantık yönü olan kanıt ağlarını kullanır. Şimdi, daha önce kanıt ağlarına ilişkin makaleleri okumaya çalıştım ( Pierre-Louis Curien'in bunlarla ilgili …

24 lo.logic  soft-question  pl.programming-languages  linear-logic