Teorik Bilgisayar Bilimi

Bağlanmış bir grafikte gidip gelme zamanı , i düğümü başlayan, i düğümü ziyaret edilmeden ve i i yeniden tekrar erişilmeden önce, rasgele bir yürüyüş için beklenen adım sayısı olarak tanımlanır . Temel olarak H ( i , j ) ve H ( j , i ) çarpma zamanlarının toplamıdır .G …

22 graph-theory  co.combinatorics  random-walks  pr.probability 

Grafik özelliği test olarak, bir algoritma bir hedef ya da belirli bir özelliği ya da olup olmadığını belirlemek için kenarları ve ihtiyaçları varlığında ya da yokluğunda bir hedef grafik sorgular özelliğine sahip arasından -far. (Bir algoritmanın 1 taraflı ya da 2 taraflı hata ile başarılı olması istenebilir.) Yapmak için bir …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

Kategori teorisi açısından geleceklerin veya vaatlerin yararlı bir açıklaması var mı ? Özellikle, Geleceğin kategorik çifti ne olabilir?

22 pl.programming-languages  ct.category-theory  concurrency 

Eşsiz oyun varsayımına dayanan pek çok onaysızlık sonucu vardır. Örneğin, Benzersiz oyunlar varsayım varsayarsak, bir faktör içinde maksimum kesme sorunu yaklaşmak için NP-zor R herhangi sabit için R > R GW . (Burada R GW = 0.878…, Goemans-Williamson algoritmasının yaklaştırma oranıdır.) Bununla birlikte, bazı insanlar “ UG-hard ” terimini şu …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

Birleşme algoritması ile Gauss eleme işlemi arasındaki bağlantıyı kesin olarak açıklayan referansları bilen var mı ? Özellikle üçgen ikameleri ve LU ayrışımları arasındaki ilişkiyle ilgileniyorum . Wayne Snyder ve Jean Gallier, bu analojiden, Yüksek Dereceli Birleşme Yeniden Yapılandı: Komple Dönüşüm Kümelerini yazdıklarında yazdıklarından bahseder .

22 reference-request  lo.logic 

Nonononik LR ayrıştırma ile çalışırken , O ( n 2 ) zamanında tam olarak net olmayan gramerleri tam olarak ayrıştırma yeteneğine sahip bir ayrıştırma yöntemi (sınırsız boyutta tablolarla, biraz pratik değildir ) düşündüm ve daha iyisini yapmanın mümkün olup olmadığını merak ettim. :O ( n2)O(n2)O(n^2) Belirsiz gramerlerin tümü doğrusal zamanda …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

Bir kule savunma oyununda, başlangıç, bitiş ve birçok duvar içeren bir NxM şebekesi vardır. Düşmanlar, herhangi bir duvardan geçmeden en baştan sona kadar en kısa yolu kullanırlar (genellikle ızgaraya sınırlı değildirler, ama sadelik uğruna onlar diyelim ki diyelim. Her iki durumda da, diyagonal "deliklerden" geçemezler) Buradaki sorun (en azından bu …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

Sınırsız bir hesaba izin vermediğinden, Coq mutlaka Turing-complete değildir. Coq'un hesaplayabileceği işlevlerin sınıfı nedir? (ilginç bir özelliği var mı?)

22 computability  pl.programming-languages  coq 

Genel aritmetik devreler hakkındaki bilgilerimizin durumu, Boolean devreleri hakkındaki bilgimizin durumuna benzer gözüküyor, yani iyi düşük sınırlarımız yok. Öte yandan, monoton Boole devreleri için üstel boyutlarda alt sınırlarımız var . Monoton aritmetik devreleri hakkında ne biliyoruz ? Onlar için de benzer alt sınırlarımız var mı? Eğer değilse, monoton aritmetik devreler …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

Ünlü Yao'nun Minimax Prensibi , dağıtım karmaşıklığı ile randomize karmaşıklık arasındaki ilişkiyi belirtir. Let sonlu grubu ile ilgili bir sorun girişlerin ve sonlu bir dizi çözmek için deterministik algoritma . Ayrıca nin giriş dağılımını ve üzerindeki olasılık dağılımını göstermesine izin verin . Daha sonra ilke PPPXX\mathcal{X}AA\mathcal{A}PPPDD\mathcal{D}RR\mathcal{R}AA\mathcal{A}minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for …

22 randomized-algorithms 

Bu soruyu anlamak için hangi makaleleri okumam gerektiğini merak ediyordum. Cebirsel geometri veya daha yüksek kohomoloji gibi matematiğin diğer alanlarına beklenmeyen bir bağlantı. Belki de henüz bir matematik alanı gelişmedi. Belki birileri P'ye karşı NP sorusunu ele almak için matematik için yepyeni bir yön geliştirecektir. - Fortnow 2002’den Sorunun bir …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

2002 tarihli bir Bilim makalesinde, Mezard, Parisi ve Zecchina , rastgele 3SAT için inanç yayılımını sezgisel olarak ortaya koydu . Deneyler, sezgiselin tatmin edici bir ödevin var olabileceği değişken başına kısıtlama oranları için iyi çalıştığını göstermektedir. Benim sorularım: (1) Ya rastgele 3SAT yerine rastgele 3LIN düşünürseniz? (her kısıt GF (2) …

22 ds.algorithms  randomness  linear-equations 

Yasaklanan altyazılarla nitelendirilebilecek grafik dersleri düşünüyorum. Bir grafik sınıfının sınırlı bir yasaklanmış alt küme kümesi varsa, önemsiz bir polinom zaman tanıma algoritması vardır (biri kaba kuvvet kullanabilir). Ancak sonsuz yasaklı alt yazı ailesi, sertlik anlamına gelmez: tanınma aynı zamanda polinom zamanında test edilebilecek, sınırsız alt yazı listesi içeren bazı sınıflar …

22 cc.complexity-theory  graph-theory  np-hardness 

Aşağıdaki sonuç için bir referans arıyorum: Faktörlü gösterimde iki tamsayı eklemek, normal ikili gösterimde iki tamsayı faktoring kadar zordur. (Orada olduğundan eminim, çünkü bu bir noktada merak ettiğim bir şeydi ve nihayet baskıda gördüğümde heyecanlanmıştı.) "Katsayıları gösteriminde iki tamsayı ekleme" sorun: iki sayı asal çarpanlama verilen ve y , çıkış …

22 cc.complexity-theory  reference-request  time-complexity  factoring  encoding 

Vertex Cover Probleminin gerçek dünyada hangi uygulamaları var? Hangi endüstri ya da araştırma projeleri Vertex Cover problemi için teorik sonuçlara dayanan ve uygulamalı yazılımı kullanıyor? Özellikle, kullanılan yazılımda uygulanan aşağıdaki teorik sonuçlardan herhangi biri var mı? Vertex Cover için yaklaşık algoritmalar Vertex Cover için üstel zaman algoritmaları Vertex Cover için …

22 ds.algorithms  graph-theory  graph-algorithms