«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

4
Kaos ve
"Kaos" veya daha geniş anlamda dinamik sistemler ile sorusu arasındaki bağlantıları öğrenmekle ilgileniyorum . İşte aradığım literatürün bir örneği:P= NPP=N-PP{=}NP Ercsey-Ravasz, Mária ve Zoltán Toroczkai. "Kısıt memnuniyeti için analog bir yaklaşımda geçici kaos olarak optimizasyon sertliği." Doğa Fiziği 7, no. 12 (2011): 966-970. ( Dergi bağlantısı .) Anket yazmış veya …
2
için devre üst sınırlarının
P'ye karşı NP için resmi Clay problem tanımında " E'deki her dilin ( deterministik bir Turing makinesiyle üstel zamanda tanınabilir diller sınıfı) bir Boole devre ailesi tarafından hesaplanabileceğini göstermesi gerektiği belirtiliyor. < B , n > en az bir böyle olduğu n , B , n bir Boole fonksiyonu hesaplamak …
2
Bir bitişiklik matrisinin karesinden kurtarılmasının karmaşıklığı
Aşağıdaki sorunla ilgileniyorum: matrisi verildiğinde , bitişiklik matrisi o matris olan köşelerinde yönlendirilmemiş bir grafik var mı?n×nn×nn\times nnnn Bu sorunun hesaplama karmaşıklığı biliniyor mu? Uyarılar: Tabii ki, bu da matris verilen bir arama sorunu olarak ifade edilebilir için , bir yönsüz grafiğin bir bitişiklik matrisi ve problem (bir yönsüz grafiğin) …
1
İzomorfizm Anlaşmasına karşı doğal aday mı?
Berman ve Hartmanis'in ünlü İzomorfizm Konjonktürü , tüm dillerin birbirlerine polinom zaman izomorfik (p-izomorfik) olduğunu söylüyor . Konjonktürün temel önemi . 1977'de yayınlandı ve destekleyici bir kanıt, o zamanlar bilinen tüm problemlerin gerçekten de p-izomorfik olduğuydu. Aslında, hepsi doldurulabilirdi , bu güzel, doğal bir özelliktir ve p-izomorfizmi önemsiz bir şekilde …
2
Girdilerin küçük bir kısmı hariç verimli çözümle ilgili sorunlar
Turing makineleri için durma problemi, belki de kanonik kararsız kümedir. Bununla birlikte, neredeyse tüm örneklerine karar veren bir algoritma olduğunu kanıtlıyoruz. Bu nedenle durma problemi, karmaşıklık teorisinin “kara delik” fenomenini sergileyenlerin artan koleksiyonu arasındadır; bu da, olanaksız veya kararsız bir sorunun zorluğunun, sorunun dışında olduğu çok küçük bir bölgeye, bir …
5
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını test etmek mümkün müdür?
Hesaplanabilir bir sayının rasyonel veya tamsayı olup olmadığını algoritmik olarak test etmek mümkün müdür? Başka bir deyişle, uygular hesaplanabilir sayılar işlevleri sağlamak için bir kütüphane için mümkün olacağını isIntegerya isRational? Bunun mümkün olmadığını ve bunun bir şekilde iki sayının eşit olup olmadığını test etmenin mümkün olmadığı gerçeğiyle ilgili olduğunu tahmin …
18 computability  computing-over-reals  lambda-calculus  graph-theory  co.combinatorics  cc.complexity-theory  reference-request  graph-theory  proofs  np-complete  cc.complexity-theory  machine-learning  boolean-functions  combinatory-logic  boolean-formulas  reference-request  approximation-algorithms  optimization  cc.complexity-theory  co.combinatorics  permutations  cc.complexity-theory  cc.complexity-theory  ai.artificial-intel  p-vs-np  relativization  co.combinatorics  permutations  ds.algorithms  algebra  automata-theory  dfa  lo.logic  temporal-logic  linear-temporal-logic  circuit-complexity  lower-bounds  permanent  arithmetic-circuits  determinant  dc.parallel-comp  asymptotics  ds.algorithms  graph-theory  planar-graphs  physics  max-flow  max-flow-min-cut  fl.formal-languages  automata-theory  finite-model-theory  dfa  language-design  soft-question  machine-learning  linear-algebra  db.databases  arithmetic-circuits  ds.algorithms  machine-learning  ds.data-structures  tree  soft-question  security  project-topic  approximation-algorithms  linear-programming  primal-dual  reference-request  graph-theory  graph-algorithms  cr.crypto-security  quantum-computing  gr.group-theory  graph-theory  time-complexity  lower-bounds  matrices  sorting  asymptotics  approximation-algorithms  linear-algebra  matrices  max-cut  graph-theory  graph-algorithms  time-complexity  circuit-complexity  regular-language  graph-algorithms  approximation-algorithms  set-cover  clique  graph-theory  graph-algorithms  approximation-algorithms  clustering  partition-problem  time-complexity  turing-machines  term-rewriting-systems  cc.complexity-theory  time-complexity  nondeterminism 
2
tamlık teorisinde Karp-redüksiyonlarını kullanma motivasyonu
Polinom zaman azaltma kavramı (Aşçı azaltma) çok sezgisel bir kavramın soyutlamasıdır: farklı bir problem için bir algoritma kullanarak bir problemi etkin bir şekilde çözme. Ancak, teorik olarak -completeness, kavramı -hardness haritalama indirimleri (Karp indirimleri) üzerinden yakalanır. Bu "kısıtlı" indirimler kavramı çok daha az sezgiseldir (en azından benim için). Hatta biraz …
2
Kategori teorisi / soyut cebir ve hesaplama karmaşıklığını birleştiren bir teori var mı?
Kategori teorisi ve soyut cebir, fonksiyonların diğer fonksiyonlarla birleştirilme biçimini ele alır. Karmaşıklık teorisi, bir fonksiyonun hesaplanmasının ne kadar zor olduğu ile ilgilenir. Böyle doğal çiftler gibi göründüklerinden, bu çalışma alanlarını kimsenin birleştirmediğini görmek garip. Bunu daha önce kimse yaptı mı? Motive edici bir örnek olarak, monoidlere bir göz atalım. …
2
Mafya ne kadar zor?
Mafya partilerde popüler bir rol yapma oyunudur, ayrıntılı açıklama wikipedia http://en.wikipedia.org/wiki/Mafia_%28game%29 adresinde mevcuttur . Temel olarak, aşağıdaki gibi çalışır: Başlangıçta, oyuncuların her birine gizlice Mafya veya Kasaba ile uyumlu bir rol verilir. Her rolün özel yetenekleri olabilir; bunun hakkında daha sonra.N-N-N İki oyun aşaması vardır: Gündüz ve Gece. Geceleri, Mafya …
1
Rastgele 2-SAT'ın sayım karmaşıklığı nedir?
# 2-SAT'ın rastgele örneklerinin karmaşıklığının , yan tümce yoğunluğuna göre nasıl değiştiği konusunda herhangi bir çalışma yapıldı mı? Yani: Rastgele üretilen 2-SAT örneğine tatmin edici çözümler saymanın zorluğu , madde yoğunluğu değiştikçe nasıl değişir? Özellikle, kritik eşikler ile ilgili bilinen kesin sonuçlar var mı? Tabii ki, çünkü 2-SAT ∈ P …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.