«co.combinatorics» etiketlenmiş sorular

Wang çini kullanan bir Berger sonucu, bir çini grubunun uçağı döşeyip kirleyemeyeceğini belirlemenin kararsız olduğunu biliyorum . Benim sorum, verilen tek bir kiremitin düzlem döşeyebilip döşenmeyeceğini , bir tek yüzlü döşemenin fayans olup olmadığını tespit etmenin kararsız olup olmadığıdır . Eğer bu kararsız kalırsa, kararsızlık kanıtı olan bir karo grubunun …

24 reference-request  co.combinatorics  decidability  undecidability 

Yeniden yapılanma varsayımı , grafiklerin (en az üç köşeli), köşe silinen alt sayfaları tarafından benzersiz bir şekilde belirlendiğini söylüyor. Bu varsayım, beş yıllık. İlgili literatür taramasında, aşağıdaki grafik sınıflarının yeniden yapılandırılabildiğini biliyorum: ağaçlar bağlantısı kesilmiş grafikler, tamamlayıcısı bağlantısı kesilmiş grafikler düzenli grafikler Maximal Outerplanar Grafikleri maksimum düzlemsel grafikler dış düzlemsel …

24 reference-request  graph-theory  co.combinatorics  treewidth 

Kararlı Evlilik Sorunu: http://en.wikipedia.org/wiki/Stable_marriage_problem Bir SMP örneği için, Gale-Shapley algoritmasının geri döndürdüğünden başka birçok istikrarlı evlilik yapılabileceğini biliyorum. Ancak, eğer sadece , erkek / kadın sayısı verilirse , şu soruyu sorarız - Maksimum istikrarlı evlilik sayısını veren bir tercih listesi yapabilir miyiz? Böyle bir sayıya üst sınır nedir?nnn

24 ds.algorithms  co.combinatorics  graph-algorithms  heuristics  matching 

O trivially üzerinde OR fonksiyonu bilmek nnn değişkenleri x1, … , Xnx1,…,xnx_1,\ldots, x_n tam olarak polinom ile temsil edilebilir p ( x1, … , Xn)p(x1,…,xn)p(x_1,\ldots,x_n) , örneğin: p ( x1, … , Xn) = 1 - ∏ni = 1( 1 - xben)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , ki bu derecedir …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials 

I ne kadar yakın çalışıyorum ve E [ t ağırlık ( G ) ] gerçekten, G ∈ G ( n , p = C / n ) ve c > 1 , sabit bir çok (n bağlı olarak değil, E [ t w ( G ) ] = Θ ( …

23 graph-theory  co.combinatorics  treewidth  random-graphs 

Bir grup göz önüne alındığında, onları büyüklüğündeki masalarda bir dizi yemek için oturmak istiyorum . (Tabii ki, her yemek için ye oturmak için yeterli masa var .) Bunu, hiç kimsenin aynı kişiyle aynı masayı iki kez paylaşmayacak şekilde ayarlamak istiyorum. Tipik değerler ve ve 6 ila 10 öğündür.kSSSkkk| S | …

23 graph-theory  co.combinatorics 

Gerçek hayat problemleriyle ilgili grafikleri nereden bulabilirim? Bildiğim iki depo: Florida Üniversitesi Seyrek Matrix Koleksiyonu Bodlaender'in TreewidthLib

23 graph-theory  big-list  co.combinatorics  data-sets 

( 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 …

23 graph-theory  co.combinatorics  cliquewidth 

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 …

23 co.combinatorics  integer-programming 

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 …

23 ds.algorithms  graph-theory  co.combinatorics 

İç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 …

23 co.combinatorics  graph-colouring  hypergraphs 

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 

Son birkaç aydır sosyal seçim, ok teoremi ve ilgili sonuçlar hakkında ders vermeye başladım. Seminal sonuçları okuduktan sonra, kısmi sipariş tercihlerinde neler olduğunu kendime sordum, cevabı Pini ve ark. : Kısmen sipariş edilen tercihlerin bir araya getirilmesi: imkansızlık ve olasılık sonuçları . Sonra kabul edilebilir sosyal seçim işlevlerinin bir karakterizasyonunu …

22 co.combinatorics  gt.game-theory  boolean-functions  social-sciences 

Peter Shor , n × n × n Rubiks küpünün çözülmesinin karmaşıklığına dair daha önceki bir soruyu cevaplama girişimi ile ilgili ilginç bir nokta ortaya koydu. NP'de bulunması gerektiğini göstermek için oldukça saf bir girişim yayınlamıştım. Peter'ın belirttiği gibi, benim yaklaşımım bazı durumlarda başarısız oluyor. Böyle bir örneğin olası bir …

22 co.combinatorics  puzzles 

Araştırmam sırasında aşağıdaki sonuçla karşılaştım. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 burada m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) ve a_1, \ cdots, a_m [n] 'a1,⋯,ama1,⋯,ama_1,\cdots,a_m den rasgele seçildi .[n][n][n] Bir referans / doğrudan bir kanıt arıyorum. MO üzerinde crossposted

21 reference-request  co.combinatorics  pr.probability