Teorik Bilgisayar Bilimi

GF alanındaki vektörlerle ilgili cebirsel bir problemim var (2). Let boyutunun -vectors olabilir (0,1) , n , ve m, = N O ( 1 ) . Bulan bir polinom zaman algoritması bul (0,1) -vector u aynı boyutta olacağı şekilde U herhangi bir toplamı değildir ( log n ) O ( …

13 ds.algorithms  linear-algebra 

1973 yılında Weiner ilk doğrusal-zaman eki yapımını verdi. Algoritma 1976'da McCreight ve 1995'te Ukkonen tarafından basitleştirildi. Yine de, Ukkonen'in algoritmasının kavramsal olarak nispeten ilgili olduğunu düşünüyorum. 1995'ten beri Ukkonen algoritmasında basitleştirmeler var mı?

13 ds.algorithms 

Düzlemsel bir grafik verildiğinde, bir ızgarasına serbest doğrusal geçiş içine gömülebilir. Herhangi bir verimli algoritmalar düz çizgi bilinen bir düzlemsel grafik geçiş ızgara, bazı küçük , böylece iki kenar arasındaki minimum açı en üst düzeye gömülü bilinen olup olmadığını merak ediyorum ?n c × n c cn×nn×nn \times nnc×ncnc×ncn^c \times …

13 reference-request  graph-theory  graph-drawing 

Kordo grafiklerin alt sınıfları olan bazı belirli grafik sınıflarında hakim küme sorununun (DSP) karmaşıklığıyla ilgileniyorum . Bir grafik, yönlendirilmemiş bir ağaçtaki bir yol ailesinin tepe-kesişme grafiği ise yönlendirilmemiş bir yol grafiğidir . UP, yönlendirilmemiş yol grafiklerinin sınıfı olsun. Bir grafik, yönlendirilmemiş bir ağaçtaki yol ailesinin kenar kesişim grafiğiyse bir EPT …

13 reference-request  graph-theory  graph-algorithms  np-hardness 

Arkadaşlarımdan biri bana ağaç üzerinde aşağıdaki zamanlama sorununu soruyor. Çok temiz ve ilginç buluyorum. Referans var mı? Sorun: Bir ağaç , her kenarın 1 simetrik seyahat maliyeti var . Her tepe , son teslim tarihi önce yapılması gereken bir görev vardır . Görev ayrıca olarak . Her görevin eşit değer …

13 ds.algorithms  graph-algorithms  np-hardness 

Ramsey sayılarının tanımı şöyledir: Let en az bir düzen her grafik şekilde pozitif bir sayı ya da bir klik içeren köşe ya da sabit bir dizi köşe.R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)R(a,b)aaabbb Ramsey Sayılarının bazı uzantıları üzerinde çalışıyorum. Çalışmanın teorik bir ilgisi olsa da, bu sayıların motivasyonunu bilmek önemlidir. Daha spesifik olarak Ramsey sayılarının (teorik …

13 reference-request  co.combinatorics  ramsey-theory 

Raz en Paralel pretition teoremi PCP, inapproximation vb şöyle teoremi fomalized edilir önemli bir sonuçtur. Bir oyun , burada sonlu kümelerdir, üzerinde bir dağılımdır ve yüklemini yapar . Oyunun değerini tanımlayın Ve n- oyun G ^ n = (\ mathcal {S} ^ n, \ mathcal {T} ^ n, \ mathcal …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

Bağımlı tip teorisinde, nesne yönelimli programlamadan nesneleri modellemekle ilgileniyorum. Olası bir uygulama olarak, zorunlu programlama dillerinin farklı özelliklerini tanımlayabildiğim bir model istiyorum. Bağımlı tür teorisinde nesneleri modelleme üzerine sadece bir tane kağıt bulabildim, yani: Bağımlı tür teorisinde A. Setzer (2006) tarafından nesne yönelimli programlama Bu konuda kaçırdığım başka referanslar var …

13 reference-request  pl.programming-languages  type-theory  coq  dependent-type 

Biraz tavsiye ve geri bildirim arıyorum. Arkaplan: Teorik bilgisayar bilimi (hesaplama karmaşıklığı, grafik teorisi, kombinatorik) ile ilgilenen bir lisans matematik öğrencisiyim. Bilgisayar Bilimi alanında doktora yapmak ve teoriye odaklanmak istiyorum. Geçmişim bilgisayar biliminin matematiksel olarak yoğun alanlarındadır, ancak bilgisayar bilimlerinde daha uygulamalı bir geçmişim yok. Özellikle bir Doktora programının ön …

13 soft-question  career 

Ben SERF-indirgenebilirlik ilgili bir sorum var Impagliazzo, Paturi ve Zane ve altüssel algoritmalar. SERF indirgenebilirliğinin tanımı aşağıdakileri verir: Eğer SERF indirgenebilir için ve orada için algoritma her , daha sonra orada için algoritma her . (Her iki problem için sertlik parametresi ile gösterilir .)P 2 O ( 2 ε n …

13 cc.complexity-theory  reference-request 

Bu soruna bilgisayar bilimlerinden oldukça uzak bir fizik alanında rastladım, ancak CS'de incelenen soru türü gibi görünüyor, bu yüzden burada sormayı şansımı denedim. Size nokta kümesi verildiğini ve noktaları arasındaki bazı mesafelerin bir listesini düşünün . Bu noktaları yerleştirmeniz gereken alanın minimum boyutsallığını belirlemenin en etkili yolu nedir? Başka bir …

13 ds.algorithms  cg.comp-geom 

Mobius fonksiyonu olarak tanımlanır , eğer karesi ana faktör vardır ve tüm farklıysa. O hesaplamak mümkün mü ait asal çarpanlara bilgisayar olmadan ?μ ( 1 ) = 1 μ ( n ) = 0 n μ ( p 1 … p k ) = ( - 1 ) k p …

13 comp-number-theory 

Lambda hesabını öğrenmeye devam etmek için devam eden arayışımda, Hindley ve Seldin'in "Lambda-Calculus ve Kombinatörleri Giriş" ifadesi, aynı olan tek indirgenebilir ifadenin (modulo alfa dönüşümü) kendisine kanıt olduğunu kanıtlayan aşağıdaki makaleden (Bruce Lercher tarafından) bahsediyor. olduğu: .( λ x . x x ) ( λ x . x x )(λx.xx)(λx.xx)(\lambda …

13 lo.logic  lambda-calculus 

(Güçlü) sabit parametre izlenebilirliği tanımında, bağlanan süre formunun bir ifadesidir . s ( | x | ) , giriş, örneğin burada ( x , k ) parametresi, k , s bir polinomdur ve f a, hesaplanabilir fonksiyonu.f(k).p(|x|),f(k).p(|x|),f(k).p(|x|),(x,k)(x,k)(x,k)kkkpppfff İndirgeme kavramı benzer şekilde kısıtlandığı sürece için hesaplanabilirlik gereksinimini diğer işlev sınıflarıyla değiştirmek …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

Kare olsun gerçek matris bir ve iki vektör x ve b uzunluğu n , öyle ki bir x = b . İçin çözme x standart Gauss Önlenmesi şekilde, hemen hemen bir agrega karmaşıklığı verir O ( n, 3 ) . Bununla birlikte, x için çözmenin (veya ϵ -yaklaşık çözmenin) O …

13 cc.complexity-theory  linear-algebra  matrices