Suponha que tenhamos um multigráfico (mais tarde, um hiperhipógrafo). Um clique de aresta é um conjunto de arestas que se cruzam em pares (com pelo menos um vértice comum). Então, qualquer clique de borda em uma multigráfica sempre cai em uma de duas categorias:
- Uma estrela : existe um vértice de modo que todas as arestas de contêm
- Um triângulo : existem três vértices, de modo que cada aresta de passa entre dois deles
Isso leva a um algoritmo fácil de tempo para calcular a maior clique de borda.
Tenho certeza de que é possível mostrar de maneira mais geral que, para cada , em multi-hipergráficos com tamanho máximo de aresta , você pode provar um certo teorema de estrutura para hiper-cliques e obter um algoritmo de tempo polinomial para encontrar a camarilha máxima.
Existe alguma coisa relacionada a esse resultado conhecida? Além disso, o algoritmo que tenho em mente é um polinômio de alto grau; seria bom obter algo com o tempo de execução ou melhor.
Achei isso interessante, já que o clique máximo na borda é um limite inferior no número cromático da borda (também conhecido como índice cromático).
Edit: Na postagem cruzada, a referência sobre kernels leva a um algoritmo de tempo : adivinhe o kernel e adivinhe a restrição da camarilha ao kernel.