«reference-request» etiketlenmiş sorular

XORification her değişken değiştirerek bir Boole fonksiyonu ya da formül zorlaştırmaya tekniktir ve XOR ile k ≥ 2 farklı değişkenler X 1 ⊕ ... ⊕ x k . xxxk≥2k≥2k\geq 2x1⊕…⊕xkx1⊕…⊕xkx_1 \oplus \ldots \oplus x_k Bu tekniğin kanıt karmaşıklığı içindeki kullanımlarının farkındayım, özellikle çözünürlük tabanlı kanıtlama sistemleri için alandan daha düşük …

18 cc.complexity-theory  reference-request  boolean-functions  proof-complexity 

Zaman karmaşıklığı veya devre alt sınırları ile doğrudan çalışmak korkutucu. Bu nedenle, alt sınırların üstesinden gelmek için sorgu karmaşıklığı (veya karar ağacı karmaşıklığı) gibi araçlar geliştiriyoruz. Her sorgu en az bir birim adım attığından ve sorgular arasındaki hesaplamalar serbest olarak sayıldığından, zaman karmaşıklığı en azından sorgu karmaşıklığı kadar yüksektir. Ancak, …

18 cc.complexity-theory  reference-request  time-complexity  query-complexity 

Son zamanlarda Bitcoin adı verilen merkezi olmayan bir çevrimiçi para birimi oluşturma yaklaşımı biraz ilgi çekmektedir. Amaç, merkezi bir otorite olmadan ve çift harcama ya da sahtecilik yapmadan para transferi yapabilmenin bir yoludur. Yaklaşımları, ağdaki tüm düğümlerin bir iş kanıtı hesaplaması yaparak bir işlemi doğrulamaya çalışmasını sağlamaktır ve daha sonra …

18 reference-request  cr.crypto-security 

O zaman içinde polinom hiyerarşi çözülebilir içinde sorunlar olduğunu doğru mudur içinde çözülebilir değildir (polinom hiyerarşinin bazı düzeyde makineyi Turing ardışımı ile) O ( n k - 1 ) herhangi seviyesindeki polinom hiyerarşisi? Başka bir deyişle - polinom hiyerarşisi için P ve NP'de olduğu gibi bir zaman hiyerarşisi teoremi var …

18 cc.complexity-theory  reference-request  polynomial-hierarchy  time-hierarchy 

Hesaplamalı geometriler veya cebirciler için 2 soru: Ben sadece hesaplama geometrisine dalmaya başlıyorum ve onu seviyorum =) Delaunay nirengi algoritması uygulamak için Guibas ve Stolfi tarafından "Genel alt bölümlerin manipülasyonu ve Voronoi Diyagramlarının hesaplanması için ilkeller " adlı ünlü makaleyi okumaya çalışıyorum . Tüm teorik bilgileri atlamak ve zaman kazanmak …

18 reference-request  cg.comp-geom  algebra 

Brzozowski'nin türev yöntemi, düzenli ifadelerden güzel bir cebirsel olarak deterministik otomata oluşturmak için çok güzel bir tekniktir. Bazı daha büyük gramer sınıflarını işlemek için bu tekniğin bazı sevimli genellemelerini yaptım, ancak algoritmalar daha önce keşfedilmeleri oldukça mümkün görünüyor. Ancak bu tekniğin torunları için Google'a yapılan atıflar çok fazla görünmüyor. Bir …

18 reference-request  fl.formal-languages  parsing 

Sorun: Bize tamsayı uzunlukları olan bir dizi çubuk verilir. Uzunluklarının toplamı n (n + 1) / 2'dir. Polinom zamanında büyüklüğünde çubuklar elde etmek için onları parçalayabilir miyiz ? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Şaşırtıcı bir şekilde, bu sorun için bulduğum tek referans bu eski tartışma: http://www.iwriteiam.nl/cutsticks.html Sorun hakkında …

18 reference-request  complexity-classes  puzzles 

Aşağıdaki sorunla ilgileniyorum: Bir X kümesi ve X_1, ..., X_n alt kümeleri verildiğinde, X öğelerinin k renkleriyle renklendirilmesini bulun, böylece her X_i'deki öğeler farklı renktedir. Daha spesifik olarak, tüm X_i'nin k boyutunda olduğu duruma bakıyorum. Bu literatürde bir isim altında biliniyor mu? Renklendirilebilir örneklerin karakteristiklerini ve karmaşıklık ile ilgili sonuçları …

18 cc.complexity-theory  reference-request  np-hardness  hypergraphs 

Gerçeklenebilirlik sorun, tabii ki, teorik CS temel bir sorundur. Sorunun bir versiyonuyla sonsuz sayıda değişkenle oynuyordum.\newcommand{\sat}{\mathrm{sat}} \newcommand{\unsat}{\mathrm{unsat}} Temel kurulum. boş olmayan ve muhtemelen sonsuz bir değişkenler kümesi olmasına izin verin . Bir değişmez ya x ∈ X değişkeni ya da ¬ x negatifidir . A madde C bir ayrılmasıdır sonlu …

18 reference-request  lo.logic  sat  topology  lattice 

In Sakarovitch kitabından otomata teorisi üzerine, ilgili bölüme giriş bölümünde yazılır serbest gruptaki rationals malzeme içinde sunulan "bağlamdan-bağımsız dillerin gerçekten matematiksel teorinin temeli" oluşturmasındadır. Bununla birlikte, bağlam içermeyen diller ve aşağı itilen otomatik veriler kitabın kapsamı dışında olduğundan, bu açık değildir. Özgür grupların (ve özellikle de Sakarovitch'in dahil edici monoidler …

17 context-free  automata-theory  reference-request 

Eşlik işlevini hesaplayan devrelerinin minimum boyutunun tam olarak olduğu bilinmektedir . Alt sınır kanıtı kapı eleme yöntemine dayanır. 3 ( n - 1 )U2U2U_23(n−1)3(n−1)3(n-1) Son zamanlarda, kapı eliminasyon yönteminin belirsiz olmayan devreleri için de iyi çalıştığını fark ettim ve parite fonksiyonunu hesaplayan belirsiz olmayan devrelerinin boyutu için alt sınırını kanıtlayabiliriz. …

17 cc.complexity-theory  reference-request  circuit-complexity 

Aşağıdaki grafik sınıfı literatürde biliniyor mu? Grafiklerin sınıfı pozitif tamsayılar parametreli ve , her grafik bulunmaktadır , öyle ki her bir köşe için , alt grafiği en mesafe tüm noktalar üzerinde uyarılan den içinde treewthth en fazla .dddtttG=(V,E)G=(V,E)G=(V,E)v∈Vv∈Vv\in VGGGdddG tvvvGGGttt Yerel olarak sınırlandırılmış trewidth kavramını genelleştirir ve grafiklerde yerel yapıları …

17 reference-request  graph-theory  treewidth 

İktisatçıları karmaşıklık teorisinin baskıdaki önemi konusunda ikna etmeye çalışırken, atıfta bulunmak için standart bir referans var mı? Ben aşinayım Noam Nisan adlı üyenin blog post , Tim Roughgarden'in anket ait ve bölüm 11 Scott Aaronson adlı makalesinde . Bu görevlere bilgisayar bilimcileri tarafından erişilebilir, ancak iktisatçıların dilini kullanmazlar ve genellikle …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Verimli algoritmaların doğal örneklerini arıyorum (yani polinom zamanında) st bunların doğru ve verimlilik (örneğin yapıcı ispat edilebilir PRAPRAPRA veya HAHAHA ), ancak sadece etkili kavramları kullanan hiçbir kanıt bilinmemektedir (yani veya S 1 2'de doğruluklarını ve verimliliklerini nasıl kanıtlayacağımızı bilmiyoruz ).TV0TV0TV^0S12S21S^1_2 Yapay örnekleri kendim yapabilirim. Ancak ilginç doğal örnekler istiyorum, …

17 cc.complexity-theory  reference-request  lo.logic  proof-complexity  constructive-mathematics 

Bu ilginç konuyla ilgili okuduğum sitelerin çoğu satır boyunca bir şey ifade ediyor "Bu sırayla ortaya çıkan ikisinin tek güçleri (2'den başka), asal üslü olanlardır" (MathWorld) veya "2'den sonra, bu dizi 2'nin şu güçlerini içerir: [...]. 2'nin en büyük güçleri." (Vikipedi) Bu dikkatli formülasyonlar, dizide üretilen 2'lik kuvvetler kümesinin 2'nin …

17 reference-request  primes