INTRODUÇÃO Seja S um conjunto finito de curvas no plano. Dizemos que duas curvas a, b ∈ S se intersectam se eles têm ao menos um ponto em comum e denotaremos por a ∩ b ≠ ∅. O grafo G = (V, E) tal que V = S e ab ∈ E se, e somente se, as curvas a e b se intersectam é o grafo de interseção de S. E um grafo G é string se existe um conjunto de curvas no plano no qual G é o grafo de interseção de S e dizemos que S é uma representação de curvas de G. Como cada curva corresponde a um vértice, utilizaremos os termos _vértice_ e _curva_ indistintamente. Formalizando as definições, uma curva é uma função $\gamma: I \rightarrow \R^2$ homeomorfa a sua imagem, onde I = [0, 1]. E duas curvas γ e δ se intersectam se existem s, t ∈ I tais que γ(s)=δ(t). _TODO incluir exemplos_ Todo grafo string possui uma representação de string satisfazendo: 1. duas curvas se intersectam um número finito de vezes, 2. por cada ponto passam no máximo duas curvas, e 3. se deg(u)≤2, então a curva de u possui somente um ponto de interseção com cada um de seus vizinhos. 1. _TODO trivial?!_ 2. Sempre podemos alterar as curvas localmente em torno do ponto de interseção entre três ou mais curvas de modo que haja somente interseções entre duas curvas. 3. Temos dois casos. Primeiramente, se deg(u)=1, então basta reduzirmos a curva u de forma a ter somente uma única interseção com o seu único vizinho. Se deg(u)=2 e γ é a curva representando u, então existem s < t ∈ I tais que γ(s) é uma interseção com um dos vizinhos de u, γ(t) é uma interseção com o outro vizinho de u e γ não possui nenhuma interseção no intervalo (s, t). Então, podemos substituir a curva γ por γ′=γ|[s − ϵ₀, t + ϵ₁] para algum ϵ₀, ϵ₁ > 0. Mostraremos agora que a classe de grafos string é um subconjunto próprio do conjunto de grafos através do seguinte resultado. Dado um grafo G, seja G′ o grafo resultante da subdivisão de cada aresta de G. Temos que G′ é grafo string se, e somente se, G é planar. Se G é planar, então G′ também é planar. Logo, G′ é grafo string (ver [prop:planar]). Por outro lado, assuma que G′ é grafo string. Seja R uma representação de curvas de G. Temos que os vértices de G em G′ estão representadas por curvas que só possuem interseção com as curvas que representam os vértices da subdivisão. Estes, por sua vez, têm exatamente duas interseções: uma para cada vértice de G adjacente. Assim, sem perda, podemos assumir que as interseções dessas curvas ocorrem exatamente nos extremos. Se contrairmos as curvas que representam os vértices de G a um ponto, teremos uma representação plana de G. Portanto, G é planar. O grafo resultante da subdivisão das arestas do K₅ não é grafo string. _TODO incluir figuras_