Teorik Bilgisayar Bilimi

Bir 3CNF formül için CCC izin M(C)M(C)M(C) için bir atama memnun maddeleri, maksimum sayıda olması CCC . Max-3SAT'ın yaklaşık olarak zor olduğu (P ≠ NP'ye tabi) olduğu, yani girişi bir 3CNF formül CCC olan ve çıktısının M′M′M' olan M(C)M(C)M(C) olduğu bir çoklu zaman algoritması olmadığı bilinmektedir. M> ' den çarpımsal …

26 cc.complexity-theory  sat 

İçinde herhangi bir doğal sorunları var mı değilsiniz (olduğu bilinen / olduğu düşünülen) ?NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP Açıkçası, herkesin bildiği büyük olanı , faktoringin karar versiyonudur (n'nin en fazla k boyutunda bir faktörü yoktur), ama aslında .NP∩coNPNP∩coNPNP \cap coNPUP∩coUPUP∩coUPUP \cap coUP

26 cc.complexity-theory  complexity-classes  np 

Bu çok iyi bilinmektedir yönlendirilmiş St-bağlantı olup -Komple. Reingold atılım sonucu olduğunu gösterdi yönsüz st-bağlantı içindedir L . Düzlemsel yönelimli bağlantıların U L ∩ c o U L olduğu bilinmektedir . Cho ve Huynh parametreli bir sırt çantası problemini tanımladı ve L ve N L arasında bir problem hiyerarşisi sergiledi …

26 cc.complexity-theory  space-bounded 

Eşzamanlılığın Aktör Modeli ile eşzamanlılığın İletişimsel Sıralı Süreçler (CSP) modeli arasındaki gerçek farkların etrafını sarmaya çalışıyorum. Şimdiye kadar bulabildiğim en iyisi Aktör Modelinin, düğümlerin sabit bir yapıya sahip olmasına rağmen, düğümlerin sayısının ve düzeninin değişmesine izin vermesidir.

26 concurrency 

Aşağıdaki sorun NP zor mu? Bir tahta konfigürasyonunu Verilen uluslararası taslaklar , tek bir tüzel hamleyi bulmak.n × nn×nn\times n Amerikan damaları için (yani İngilizce taslaklar) buna karşılık gelen problem polinom zamanında önemsiz bir şekilde çözülebilir. Bu iki oyun arasında üç ana fark var.n × nn×nn\times n İlk ve en …

26 cc.complexity-theory  np-hardness  open-problem  board-games 

Şu anda Hindley ve Seldin tarafından " Lambda-Matematik ve Birleştiriciler " i okuyorum. Ben bir uzman değilim ama lambda hesabına, işlevsel programlamaya katılımı (Lisp ve SICP ile ve şimdi de R ve Haskell ile) ilgilenmesi nedeniyle her zaman ilgi duydum. " İkili Lambda Matematik ve Birleşme Mantığı" nda , John …

26 combinatory-logic  functional-programming  lambda-calculus 

Boole formülü B'yi Horn cümlelerinin eşdeğer bir birleşimine çevirmek mümkün mü? HornSAT hakkındaki Wikipedia makalesi , bunun olduğu anlamına geliyor gibi görünüyor, ancak hiçbir referansı takip edemedim . "Polinom zamanında" değil, "hiç" anlamına gelmediğimi unutmayın.

26 reference-request  lo.logic  sat 

Minimum set kapağı problemini aşağıdaki kısıtlamalarla düşünün : her set en fazla kkk elementi içerir ve evrenin her elementi en fazla fff setinde oluşur . Örnek: k = 4k=4k = 4 ve f= 2f=2f = 2 durumu, maksimum derece 4 olan grafiklerde minimum köşe örtüsü sorununa eşittir. Let a ( …

26 cc.complexity-theory  reference-request  approximation-algorithms  set-cover  np-hardness 

Herhangi İçin , bir dizi olduğunu söylemek ler tamsayılar içinde { 1 , ... , n } ise n -tamamlamak , eğer her permütasyon için p ait { 1 , ... , n } , pairwise farklı tamsayılar dizisi şeklinde yazılı p 1 , ... , p , n , …

25 cc.complexity-theory  co.combinatorics  np-hardness  permutations 

ACSL (Ansi C Spesifikasyon Dili), C kodunun resmi olarak doğrulanmasını sağlayan özel yorumlarla not edilen C kodunun bir özelliğidir. Araştırmamıştım , ancak ACSL doğrulayıcılarında kullanılan resmi yöntemlerin Hoare Logic'e benzer olacağını hayal ediyorum. Haskell gibi saf işlevsel diller için, resmi doğrulama için ne tür bir formalizmin kullanılacağını hayal edemiyorum. ACSL'ye …

25 lo.logic  pl.programming-languages  functional-programming  formal-methods  haskell 

Göre Hertog, doğrusal, ikinci ve konveks Programlama, 1994 İç Nokta Yaklaşımı den D , olan bir doğrusal programı değişkenleri, kısıtlamaları ve hassas içinde çözülebilir olduğu zaman. Bu iyileştirildi mi?nnnnnnLLLO(n3L)O(n3L)O(n^3L)

25 cc.complexity-theory  reference-request  linear-programming 

Bir (tercihen doğal) NP bütünleşik bir dil var , öyle ki, her için n ≥ 1 | L ∩ { 0 , 1 } n | = 2 n - 1 tutar mı? Başka bir deyişle, L içeren tam yarım hepsinden n bitlik örnekleri.L⊆{0,1}∗L⊆{0,1}∗L\subseteq \{0,1\}^*n≥1n≥1n\geq 1 |L∩{0,1}n|=2n−1|L∩{0,1}n|=2n−1|L\cap \{0,1\}^n|=2^{n-1}LLLnnn

25 cc.complexity-theory  np  np-complete 

-SAT örneklerinin iyi bilinen bir özelliği, cümlelerinin sayısının değişken sayısı üzerine , yani " " oranına oranıdır . Her için için st \ eşik değeri vardır , çoğu örnek tatmin edicidir ve çoğu örnek tatmin edilemez. Sorunları için yapılan bir çok araştırma olmuştur ve yeterince küçük olan sorunlar için ,kkkmmmnnnρ=m/nρ=m/n\rho …

25 cc.complexity-theory  sat  random-k-sat  phase-transition 

Karmaşıklık teorisindeki (standart) varsayımların diğer matematik alanlarındaki (yani teorik bilgisayar bilimi dışındaki) ilginç sonuçlarını biliyor musunuz? Cevapları tercih ederim nerede: karmaşıklık teorisi varsayımı mümkün olduğunca genel ve standarttır; Belirli sorunların sertliğinin sonuçlarıyla da iyiyim, ancak sorunların çok zor olduğuna inanılıyorsa (ya da en azından birkaç makalede daha fazla çalışılmışsa) iyi …

25 cc.complexity-theory  conditional-results 

ve SAT için hızlı bir doğrusal zaman algoritmasının yarın göründüğünü varsayalım . Birden bire RSA güvensiz, modern iletişim sistemimizin çoğu bozuldu ve birbirinden nasıl sır saklanacağını yeniden düşünmemiz gerekiyor.P=NPP=NPP = NP Soru: Kriptoda (ve müttefiki "güvenlik" alanında) intraktabilite varsayımları olmadan mümkün olanın büyük bir resmini elde etmek için iyi bir …

25 cr.crypto-security