Desenha gráficos com poucos vértices "afiados"?

15

Para uma incorporação planar de um gráfico planar em um plano com arestas retas, defina um vértice como um vértice nítido se o ângulo máximo entre duas arestas consecutivas em torno dele for maior que 180. Ou, em outras palavras, se houver uma linha passando por ele vértice na incorporação, de modo que todas as arestas incidentes nesse vértice estejam em um lado da linha, então o vértice é "agudo", caso contrário, não é. Além disso, vamos nos preocupar apenas com vértices com grau pelo menos 3.

Quero desenhar gráficos planares com poucos vértices afiados. Alguém já estudou esses desenhos antes?

Em particular, quero desenhar gráficos planares com grau máximo 3, de modo que o número de vértices acentuados de grau 3 na incorporação seja e as coordenadas dos vértices possam ser escritas com um número polinomial de bits.O(logn)


Aqui está o que posso encontrar depois de passar algum tempo no Google Scholar:

Minha medida de nitidez de um vértice está relacionada a um conceito já estudado chamado Resolução Angular . Da Wikipedia:

A resolução angular de um desenho de um gráfico refere-se ao ângulo mais nítido formado por duas arestas que se encontram em um vértice comum do desenho.

Assim, um desenho planar com resolução angular torno de vértices de grau 3 será bom para o meu propósito.π/2

Para um vértice com grau no desenho, a resolução angular ao seu redor pode ser no máximo 2 πd .2π/d

A questão de saber se isso é justo já foi estudada no passado, mas só consigo encontrar resultados assintóticos. Por exemplo, Malitz e Papakostas provam que qualquer gráfico planar com grau máximo pode ser desenhado com uma resolução angular de α d . Mas esse resultado não fornece bons limites para o caso quando d = 3 .dαdd=3

Vinayak Pathak
fonte
2
Não tenho certeza do que isso significa. Se você desenhar qualquer polígono convexo comum, o ângulo máximo em torno dele será superior a 180. E um polígono convexo comum com n grande está muito longe de ser "nítido".
Suresh Venkat
Estou definindo a nitidez como uma propriedade de um vértice, não o desenho inteiro. Portanto, se para um vértice, uma linha reta pode ser desenhada de modo que todas as arestas incidentes nesse vértice estejam em um lado da linha reta, então o vértice é "agudo", caso contrário, não é. Hummm, devo escrever isso na pergunta original.
Vinayak Pathak
@ Vinayak: e os vértices com graus 1 e 2?
Marzio De Biasi
Eles podem ser ignorados.
Vinayak Pathak
Se a resolução angular é o que você deseja, isso faz sentido, porque esse é o ângulo MÍNIMO entre as arestas adjacentes. isso é bem diferente do que você definiu antes.
Suresh Venkat

Respostas:

13

É possível construir gráficos planares regulares com Θ(n)componentes biconetados (veja, por exemplo, a fig.16 deste documento ), cada um dos quais deve conter pelo menos um vértice acentuado.

Por outro lado, se você precisar de níveis mais altos de conectividade, poderá evitar ter muitos vértices nítidos. Em particular, se você possui um gráfico planar de 3 conexões, ele pode ser desenhado (por exemplo, usando o teorema de Steinitz para encontrar uma representação poliédrica e, em seguida, formando uma projeção em perspectiva) de forma que todas as faces sejam convexas, o que causa apenas a face externa para ser nítida. Porém, todo gráfico planar de 3 conexões pode ser incorporado de tal maneira que a face externa tenha no máximo cinco vértices (o pior caso é um dodecaedro) para que você possa desenhar todos os gráficos planares de 3 conexões (3 regulares ou não) com pelo menos mais cinco vértices afiados.

David Eppstein
fonte