Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

1
Sınırlı ağaç genişliğine sahip grafiklerde logspace algoritmaları
Ağaç genişliği grafiğin bir ağaca ne kadar yakın olduğunu ölçer. Ağaç genişliğini hesaplamak NP-zordur. En iyi bilinen yaklaşım algoritması, faktörünü elde eder.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle teoremi , monadik ikinci dereceden mantıkta (MSO2) tanımlanabilen herhangi bir grafik özelliğinin, sınırlı ağaç genişliğine sahip herhangi bir grafik sınıfı üzerinde doğrusal zamanda kararlaştırılabileceğini belirtir . Son …
1
Neredeyse Coğrafyaların Bilgi Çekimi
( Bu soruyu iki hafta önce MathOverflow'a gönderdim , ancak şimdiye kadar çok katı bir cevap vermedim) Yönlendirilmemiş basit grafiklerin grafik genişliği ölçüleri hakkında bir sorum var. Bilindiği gibi, (ayrık sendika ve tamamlama işlemleriyle oluşturulabilen grafikler, izole edilmiş köşelerden başlayarak) grafiklerin en fazla 2 kat daha küçük çaplı olduğu bilinmektedir …
2
Toplar ve Bölmeleri analizi
mmmnnnm≫nm≫nm \gg nXiXiX_iiiiXmaxXmaxX_\maxXminXminX_\minXsec−maxXsec−maxX_{\mathrm{sec-max}}Xi−Xj∼N(0,2m/n)Xi−Xj∼N(0,2m/n)X_i - X_j \sim N(0,2m/n)|Xi−Xj|=Θ(m/n−−−−√)|Xi−Xj|=Θ(m/n)|X_i - X_j| = \Theta(\sqrt{m/n}) i,ji,ji,jXmax−Xmin=O(mlogn/n−−−−−−−−√)Xmax−Xmin=O(mlog⁡n/n)X_{\max} - X_{\min} = O(\sqrt{m\log n/n})n/2n/2n/2 ayrık kutu çifti. Bu (formel olan) bağımsız değişken açar bize beklemek arasındaki boşluk XmaxXmaxX_{\max} ve XminXminX_{\min} olduğunu Θ(mlogn/n−−−−−−−−√)Θ(mlog⁡n/n)\Theta(\sqrt{m\log n/n}) yüksek bir olasılıkla. XmaxXmaxX_\max ve X _ {\ mathrm {sec-max}} arasındaki boşlukla ilgileniyorum Xsec−maxXsec−maxX_{\mathrm{sec-max}}. …
3
Seyrek tamsayılı doğrusal programlama problemlerine yönelik çözümler hakkında bilinenler nelerdir?
Her kısıtlamanın en fazla (örneğin) 4 değişkene sahip olduğu bir dizi doğrusal kısıtlama varsa (-1 negatif olan ve bir -1 katsayısına sahip olabilecek bir değişken hariç tüm değişkenler {0,1} katsayılı), çözüm hakkında ne biliniyorsa uzay? Değişken sayısı ve kısıtlamaların sayısı ve değişkenlerin sayısının bir fonksiyonu olarak, nesnel fonksiyonun minimumunun ne …
6
Kromatik sayının hesaplanmasında polinom zaman algoritmasına sahip grafik aileleri
31 Ağustos'ta güncellenen gönderi : Asıl sorunun altındaki mevcut yanıtların bir özetini ekledim. Tüm ilginç cevaplar için teşekkürler! Tabii ki, herkes herhangi bir yeni bulgu göndermeye devam edebilir. Hangi grafik aileleri için kromatik sayı hesaplamak için bir polinom zaman algoritması vardır ?χ(G)χ(G)\chi(G) Polinom zamanında sorun, (iki taraflı grafikler) olduğunda çözülebilir …
4
Graph Isomorphism'in
Benim yayında Fortnow yorumuyla, motive Grafik İzomorfizma sorun olmadığını kanıtlar -tamamlamakNPNPNP ve gerçeğiyle için aday olacak Ara tepkime sorunu (değil içinde -Komple ne de ), ben bilinen kanıtlar ilgilenen am bu değildir .N P N PGIGIGINPNPNPNPNPNPG I PPPPGIGIGIPPP Bu tür bir kanıt, kısıtlı bir Grafik Otomorfizmi probleminin tamlığıdır (sabit nokta …
2
Harflerin normal bir dilde bir kelime elde etmek için programlanıp programlanmadığını test etme
Bir düzeltmek düzenli dil LLL bir alfabe üzerinde ΣΣ\Sigma ve ben dediğimiz şu sorunu dikkate mektup planlaması için LLL . Gayriresmi olarak, girdi bana nnn harfi ve her harf için bir aralık verir (yani minimum ve maksimum pozisyon) ve hedefim, her harfin aynı pozisyona eşlenmeyeceği şekilde, her harfi kendi aralığına …
2
Vardiya zincirleri iki renklendirilebilir mi?
İçin göstermektedirler ile en küçük elemanına .A⊂[n]bir⊂[n]A\subset [n]aibirbena_iithbenthi^{th}AbirA İki eleman grubu için, , her bir için ise .kkkA,B⊂[n]bir,B⊂[n]A,B\subset [n]A≤Bbir≤BA\le Bai≤biai≤bia_i\le b_iiii Bir düzgün hipergrafiye , herhangi bir hiper köprü için varsa, veya sahipsek bir kaydırma zinciri olarak adlandırılır . (Bir vardiya zincirinde en fazla köprü vardır.)kkkH⊂[n]H⊂[n]{\mathcal H}\subset [n]A,B∈HA,B∈HA, B \in …
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.