«proofs» etiketlenmiş sorular

Akılda kalıcı bir başlık için üzgünüm. Anlamak istiyorum, Kilise Dönemi tezini doğrulamak için ne yapılması gerekiyor? Okuduğum bir yerde bunu yapmak matematiksel olarak imkansız! Neden? Turing, Rosser vb. Arasında ayrım yapmak için farklı terimler kullanılmıştır: "ne hesaplanabilir" ve "ne bir Turing makinesi tarafından hesaplanabilir". Turing'in bu konudaki 1939 tanımı şöyledir: …

83 computability  proofs  hypercomputation 

Bu sorunun amacı, bilgisayarların sistematik kullanımının yardımcı olduğu teorik bilgisayar biliminden örnekler toplamaktır. Bir teoremi yönlendiren bir varsayım oluşturmada, Bir varsayım veya ispat yaklaşımını tahrif etmek, bir kanıtı oluşturmak / doğrulamak (bölümlerini). Belirli bir örneğiniz varsa, lütfen nasıl yapıldığını açıklayın. Belki de bu, başkalarının günlük araştırmalarında bilgisayarları daha etkili kullanmalarına …

55 proofs  survey  examples 

Belirli bir karmaşıklıkla çözülebilen kanıtlanmış sorunlara referanslarla karşılaştığımı, ancak bu karmaşıklığa gerçekten ulaştığı bilinen bir algoritması olmadığını hatırlıyorum. Zihnimi bunun nasıl olabileceği etrafına sarmakla mücadele ediyorum; Bir algoritmanın varlığı için yapıcı olmayan bir kanıtın nasıl göründüğü. Gerçekten böyle sorunlar var mı? Çok pratik değerleri var mı?

47 ds.algorithms  soft-question  lo.logic  proofs 

MathOverflow'ta Timothy Gowers, "Titizliği göstermenin önemli olduğunu gösterme " başlıklı bir soru sordu . Tartışmanın çoğu, CSTheory'deki insanların muhtemelen ikna edilmelerine gerek duymadıkları ispatın önemini gösteren vakalar hakkındaydı. Tecrübelerime göre, teorik bilgisayar bilimlerinde kanıtların sürekli matematiğin birçok bölümünden daha titiz olması gerekir, çünkü sezgilerimiz çoğu zaman ayrı yapılar için yanlış …

41 big-list  soft-question  proofs 

Bu ilişkili bir sorudur bu bir . Çok fazla tartışmadan sonra tekrar çok daha basit bir formda koymak, tamamen farklı bir soru gibi geldi. Durma sorununun kararsızlığının klasik kanıtı, kendisine varsayımsal bir HALT aldatmacası kararı almaya çalışırken bir çelişki ortaya koymasına dayanır. Bunun sadece, DURD kararının kendisinin durup durmayacağına karar …

40 computability  lo.logic  proofs 

Chernoff sınırının standart kanıtı ( Randomize Algoritmalar ders kitabından) Markov eşitsizliğini ve moment üretme fonksiyonlarını kullanır, biraz Taylor genleşmesinin bir kısmı atılır. Çok zor ama biraz mekanik değildir. Ancak, sonucu süren daha derin bir yapı ortaya çıkaran başka Chernoff sınır delilleri de var. Örneğin, bu yazıda örneklenen türde yöntemi aracılığıyla …

35 big-list  proofs 

Büyüleyici bulduğum spektral grafik teorisine artan bir ilgi duyuyorum ve şu ana kadar sahip olduğumdan daha iyi okumak için sahip olduğum birkaç belgeyi toplamaya başladım. Ancak, ben (örneğin çeşitli kaynaklardan de geçiyor o açıklamada merak ediyorum Oradaki grafik teoride bazı sonuçlar yalnızca spektrum tabanlı teknikler kullanılarak kanıtladı ve o ana …

28 graph-theory  co.combinatorics  proofs  spectral-graph-theory 

Bununla birlikte, kuantum mekaniği / bilgisiyle (örneğin tamamen klasik nesneler hakkında bir şeyler ifade eder) kuantum araçlarıyla hiçbir ilgisi olmayan bir teoremin kuantum araçları kullanılarak kanıtlanabileceği sorunların örnekleriyle ilgileniyorum. Bir anket Kuantum Proofs Klasik Teoremler için (A. Drucker, R. Kurt) bu tür sorunların güzel bir liste verir ama mutlaka çok …

27 quantum-computing  big-list  proofs 

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 

Ocak 2017'deki geri çekilme ve düzeltmeden bu yana bir yıldan fazla bir süre geçti. Haberler var mı Doğrulama bu kadar uzun sürmezse, bu normal değilse? Çok dikkat çekeceğini umardım. Polinom sonucunu desteklemek / şüphe etmek için konuşulan notu olan var mı?

23 cc.complexity-theory  graph-isomorphism  proofs 

" P Versus NP resmi olarak bağımsız mı? " Okuyordum ama şaşırdım. Yaygın olarak karmaşıklık teoride inanılan . Benim sorum bu kanıtlanabilir değilse (söylediklerine hakkındadır Z F C ). (Sadece P ≠ N P'nin Z F C'den bağımsız olduğunu ancak bunun nasıl kanıtlandığı hakkında daha fazla bilgi bulamadığımızı varsayalım .)P≠NPP≠NP\mathsf{P} …

22 cc.complexity-theory  np-hardness  big-picture  proofs  p-vs-np 

Düzenli diller için pompalama lemma , çalışılan dili tanır sonlu durum Otomaton dikkate devletlerin kendi sayısından daha büyük bir uzunluğa sahip bir dize toplama ve pigeonhole prensibini uygulayarak ispat edilebilir. Pompalama bağlam serbest diller için lemma (biraz daha geneldir yanı sıra Ogden lemma) Ancak, çalışılan dilin bir bağlam-dilbilgisi göz önünde …

21 fl.formal-languages  automata-theory  proofs  grammars 

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 

Bir kenar kapak grafiğin her tepe kapağı en az bir kenarına bitişik olacak şekilde bir grafik kenarlarının bir alt kümesidir. Aşağıdaki iki makale, sayma kenarı kapaklarının # P -complete olduğunu söylüyor : Kenar Kapaklarını Saymak ve Yol Grafiklerinin Kenar Kapaklarını Oluşturmak için Basit Bir FPTAS . Ancak, bir şeyi kaçırmadıkça, …

16 reference-request  graph-algorithms  counting-complexity  proofs 

Rastgele bir “kanıtın” deterministik bir kanıttan çok daha kolay olduğu pek çok durum vardır; kanonik örnek polinom kimlik testi. Soru : Rastgele bir kanıtın bilindiği ancak deterministik bir kanıtın bulunmadığı herhangi bir doğal matematiksel "teorem" var mı? Bir ifadenin bir "randomize kanıtı" ile Öyle demekPPP girişini alan rastgele bir algoritma …

15 lo.logic  randomness  randomized-algorithms  proofs