As correntes de mudança são bicolores?


23

Para A[n] designam por ai o ith menor elemento de A .

Para dois conjuntos de elementos k , A,B[n] , dizemos que AB se aibi para cada i .

Um k -uniform hipergrafo H[n] é chamado uma cadeia turno , se por qualquer hiperarestas, A,BH , temos ou . (Portanto, uma cadeia de turnos tem no máximo hiperedges.)ABBAk(nk)+1

Dizemos que um hipergrafo é bicolor (ou que possui a Propriedade B) se pudermos colorir seus vértices com duas cores, de modo que nenhuma hiper-borda seja monocromática.H

É verdade que as cadeias de mudança são bicolores se for grande o suficiente?k

Observações A primeira vez que publiquei esse problema no mathoverflow , mas ninguém comentou.

O problema foi investigado no 1º Workshop Emlektabla para obter alguns resultados parciais, consulte o livreto .

A questão é motivada pela decomposição de múltiplas coberturas do avião por traduções de formas convexas; existem muitas questões em aberto nessa área. (Para mais, veja minha tese de doutorado .)

Para existe um contra-exemplo trivial: (12), (13), (23).k=2

Um contra-exemplo muito mágico foi dado para k=3 por Radoslav Fulek com um programa de computador:

(123), (124), (125), (135), (145), (245), (345), (346), (347), (357),

(367), (467), (567), (568), (569), (579), (589), (689), (789).

Se permitirmos que o hipergrafo seja a união de duas cadeias de mudança (com a mesma ordem), existe um contraexemplo para qualquer k .

Atualizar. Recentemente, consegui mostrar que uma versão mais restrita das cadeias de turnos é bicolor nesta pré-impressão .

Recompensa permanente! Estou feliz em conceder uma recompensa de 500 por uma solução a qualquer momento!


2
A propriedade B é mais comumente chamada de 2 cores.
Colin McQuillan

11
@Colin McQuillan: Eu também pensava, porque nunca tinha ouvido o nome "Propriedade B". No entanto, parece que "Propriedade B" é um nome comum na literatura. pt.wikipedia.org/wiki/Property_B
Tsuyoshi Ito 12/11

2
Eu estou corrigido. Eu também apaguei minha resposta errada.
Colin McQuillan

Respostas:


13

Esta não é uma resposta. O que se segue é uma prova simples de que a construção para k = 3 é realmente um contra-exemplo. Eu acho que o solicitante conhece essa prova, mas eu a publicarei de qualquer maneira, porque a prova é boa e isso pode ser útil quando as pessoas consideram o caso de k maior .

É fácil verificar se é uma cadeia de turnos. Vamos mostrar que ele não possui a propriedade B.

De fato, o sub-hipergrafo {(123), (145), (245), (345), (346), (347), (357), (367), (467), (567), (568), (569), (789)} já não consegue satisfazer a propriedade B. para ver isto, suponho que este hipergrafo tem um 2-coloração e deixar c i ser a cor do vértice i . Veja três hipervedades (145), (245), (345). Se c 4 = c 5 , todos os 1, 2 e 3 devem ter a cor oposta a c 4 , mas isso daria uma hiper-borda monocromática (123). Portanto, deve ser o caso que c 4c 5 . Similarmente,

  • c 3c 4 comparando as três hipervedades (345), (346), (347) e observando uma hiper-margem (567).
  • c 6c 7 comparando as três hipervedidas (367), (467), (567) e observando uma hiper-borda (345).
  • c 5c 6 comparando as três hiperedotas (567), (568), (569) e observando uma hiper-borda (789).

Portanto, temos c 3c 4c 5c 6c 7 . Mas isso implica c 3 = c 5 = c 7 , tornando a hipérbere (357) monocromática. Isso contradiz a suposição da coloração 2.


3
Muito bem colocado, o autor da pergunta gosta da sua prova. Obrigado por anotá-lo!
Domotorp 13/11

1

Talvez esteja faltando alguma coisa, mas acho que há um bom limite inferior com o método probabilístico:

1/22(12)k=2k+1B

k(nk)+12k1e1.
k=Ω(log(n))nlog(n)ncn

O(k/ln(k)2k)kB


2
Você está certo que se k for grande o suficiente em comparação com n, a afirmação será verdadeira (por exemplo, k = n trivialmente). O problema é provar que se k é maior que alguma constante absoluta, ou seja, 4, a afirmação é verdadeira para todo n.
domotorp

Ok, então simplesmente ignorar a resposta :)
Marc Bury
Ao utilizar nosso site, você reconhece que leu e compreendeu nossa Política de Cookies e nossa Política de Privacidade.
Licensed under cc by-sa 3.0 with attribution required.