Generalização do teorema de Dilworth para DAGs rotulados

11

Um antichain em um DAG é um subconjunto Um V de vértices que são emparelhados inacessível, ou seja, não há nenhum v v 'Um tal que v é acessível a partir de v ' em E . Do teorema de Dilworth na teoria de ordem parcial, sabe-se que se o DAG não possui antichain de tamanho k N , ele pode ser decomposto em uma união de no máximo k - 1 cadeias disjuntas, ou seja, caminhos direcionados.(V,E)AVvvAvvEkNk1

vλ(v)ΣAVΣAminaΣ|{vAλ(v)=a}| kN, o que posso assumir sobre sua estrutura? Posso decompor de alguma maneira especial? Eu já estou intrigado com o caso de , mas também estou interessado no caso de um conjunto de rótulos finitos gerais.Σ={a,b}

Visualizar isso para , dizer que não possui antichain de tamanho rotulado significa que não há antichain contendo pelo menos vértices rotulados e vértices rotulados ; pode haver antichains arbitrariamente grandes, mas eles devem conter apenas elemento ou apenas elementos , até no máximo exceções . Parece que não permitindo grandes antichains deve impor que a DAG essencialmente "suplentes" entre partes de grande largura de vértices marcados com, e grande largura deΣ={a,b}Gkkakbabk1abcom vértices, mas não pude formalizar essa intuição. (Obviamente, uma caracterização estrutural adequada deve falar sobre os rótulos dos vértices, além da forma do DAG, porque já para e em a condição é satisfeita por DAGs completamente arbitrários sempre que todos os vértices têm o mesmo rótulo.)k1{a,b}

a3nm
fonte
1
@ Saeed, Não, isso não funciona. Sua confusão vem do fato de que, se uma letra não aparecer em um antichain, seu tamanho será . Tomemos, por exemplo, um gráfico bipartido completo G = (A, B, E), cada aresta orientada de A a B. Rotule todos os vértices de A com e todos os vértices de B com . Então cada antichain tem no máximo uma cor e, portanto, possui o tamanho , mas você não pode cobri-lo com cadeias disjuntas. Mesmo com um DAG que você rotular com única. 0ab0m(k1)a
Holf
@holf, certo, eu pensei em contar sobre os rótulos onde eles aparecem no antichain, eu não percebi que min abrange todos os elementos do sigma. Eu acho que é uma definição um pouco estranha.
Saeed #
@Saeed: O objetivo é proibir antichains com uma grande variedade de símbolos. A intuição para isso é que estamos estudando a complexidade de um problema nos DAGs, que se torna trivial quando você tem um grande número de cadeias (ocorrências suficientes de símbolos incomparáveis). Para mostrar a rastreabilidade geral, precisamos apenas lidar com o caso de DAGs onde esse padrão não ocorre, portanto, queremos descobrir como esses DAGs podem ser decompostos para projetar um algoritmo tratável para eles. (No caso não marcado, por exemplo, os fios de decomposição da cadeia a de um algoritmo de dinâmica.)
a3nm

Respostas:

7

Com Charles Paperman , conseguimos obter esse resultado para DAGs rotulados com o alfabeto . Essencialmente, pode-se mostrar que, dado um DAG que tem grandes antichains de elementos marcados com, grandes antichains de marcado com elementos, mas não há grandes antichains contendo tanto muitos marcado com e elementos marcados com, em seguida, existe uma decomposio de como uma partição , em que:{a,b}GababGL1,,Ln

  • a partição é o que chamamos de "camadas", ou seja: L1,...,Ln
    • cada é um conjunto convexa, isto é, se e , em seguida,Lix,yLixzyzLi
    • para todo , não há e tal forma quei<jxLiyLjyx
  • para qualquer antichain de , há alguns tais que está "quase contido" em , ou seja,é menor que uma constanteAGiALi|ALi|
  • para cada , um dos seguintes é verdadeiro: Li
    • Li contém uma grande antichain de elementos marcados com e não contém nenhum grande antichain de marcado com elementosab
    • Li contém uma grande antichain de marcado com elementos, mas não contém nenhuma grande antichain de elementos marcados comba

Além disso, essa partição pode ser calculada em PTIME.

Publiquei nossa prova atual on-line . É muito difícil e, essencialmente, não é revisado porque não temos utilidade para o resultado no momento, mas eu ainda achava mais ordenado adicionar uma resposta a essa pergunta do CStheory com nosso progresso atual. Não hesite em entrar em contato comigo se estiver interessado no resultado, mas não conseguir entender a prova.

a3nm
fonte