Finding $K_{3,3}$-subdivision when adding edge to maximal planar graph.
$begingroup$
I'm working on the following problem.
Show that adding a new edge to a maximal planar graph
of order at least 6 always produces subdivisions of both $K_5$ of $K_{3,3}$.
I had no trouble getting the subdivision of $K_5$ (I had to modify my attempt a bit based in the sketch of a solution I found here, since there were some cases I hadn't covered).
But I have trouble getting the subdivision of $K_{3,3}$.
So, with the notation from the link, I am here:
Let $G$ be maximal planar, $v_1,v_2$ two vertices; we want to build some edge between them and see this ends up with a graph having a subdivision of $K_{3,3}$.
We also have three $u-v$ vertex disjoint paths, say, $P_1,P_2,P_3$, each of them only having one neighbor of $v$, say, $u_1,u_2,u_3$. We also have that the neighbors of $v$ form a cycle since $G$ is a triangulation of the plane.
Also as they say, we have a new vertex $w$, which we may suppose is (given, if necessary, a rotation of the sphere which interchanges some faces) inside one of the regions bounded by the cycles determined by $P_i$ and $P_j$, say, $P_1$ and $P_2$. In this case, by Menger's theorem we have three paths to $u_1,u_2$ and $v_2$.
Anyways, we have the following sketch of the situation:
The curly 'edges' mean they are paths, the red dashed edge means it's the edge we want to add. In the solution they say that with this we get a subdivision of $K_{3,3}$ with partition given by $A={u,w,u_3}$ and $B={u_1,u_2,v}$. In the picture suppose the $u_1-u_2,u_2-u_3,u_3-u_1-$ paths are $zeta_1,zeta_2,zeta_3$. If the three paths from $w$ don't meet $zeta_2$ or $zeta_3$ we don't have much trouble and that's indeed a partition of those six vert which, with the edges and paths we already have and $v_1v_2$ make a subdivision of $K_{3,3}$. But if the paths from $w$ somehow meet $zeta_2$ or $zeta_3$ we may need to change the vertices which make the subdivision.
So, are those both cases possible? If they are, is there some way to handle them?
Edit: There is also this question but they only talk about how some solution (a bit different from mine) is wrong.
graph-theory planar-graph
$endgroup$
add a comment |
$begingroup$
I'm working on the following problem.
Show that adding a new edge to a maximal planar graph
of order at least 6 always produces subdivisions of both $K_5$ of $K_{3,3}$.
I had no trouble getting the subdivision of $K_5$ (I had to modify my attempt a bit based in the sketch of a solution I found here, since there were some cases I hadn't covered).
But I have trouble getting the subdivision of $K_{3,3}$.
So, with the notation from the link, I am here:
Let $G$ be maximal planar, $v_1,v_2$ two vertices; we want to build some edge between them and see this ends up with a graph having a subdivision of $K_{3,3}$.
We also have three $u-v$ vertex disjoint paths, say, $P_1,P_2,P_3$, each of them only having one neighbor of $v$, say, $u_1,u_2,u_3$. We also have that the neighbors of $v$ form a cycle since $G$ is a triangulation of the plane.
Also as they say, we have a new vertex $w$, which we may suppose is (given, if necessary, a rotation of the sphere which interchanges some faces) inside one of the regions bounded by the cycles determined by $P_i$ and $P_j$, say, $P_1$ and $P_2$. In this case, by Menger's theorem we have three paths to $u_1,u_2$ and $v_2$.
Anyways, we have the following sketch of the situation:
The curly 'edges' mean they are paths, the red dashed edge means it's the edge we want to add. In the solution they say that with this we get a subdivision of $K_{3,3}$ with partition given by $A={u,w,u_3}$ and $B={u_1,u_2,v}$. In the picture suppose the $u_1-u_2,u_2-u_3,u_3-u_1-$ paths are $zeta_1,zeta_2,zeta_3$. If the three paths from $w$ don't meet $zeta_2$ or $zeta_3$ we don't have much trouble and that's indeed a partition of those six vert which, with the edges and paths we already have and $v_1v_2$ make a subdivision of $K_{3,3}$. But if the paths from $w$ somehow meet $zeta_2$ or $zeta_3$ we may need to change the vertices which make the subdivision.
So, are those both cases possible? If they are, is there some way to handle them?
Edit: There is also this question but they only talk about how some solution (a bit different from mine) is wrong.
graph-theory planar-graph
$endgroup$
add a comment |
$begingroup$
I'm working on the following problem.
Show that adding a new edge to a maximal planar graph
of order at least 6 always produces subdivisions of both $K_5$ of $K_{3,3}$.
I had no trouble getting the subdivision of $K_5$ (I had to modify my attempt a bit based in the sketch of a solution I found here, since there were some cases I hadn't covered).
But I have trouble getting the subdivision of $K_{3,3}$.
So, with the notation from the link, I am here:
Let $G$ be maximal planar, $v_1,v_2$ two vertices; we want to build some edge between them and see this ends up with a graph having a subdivision of $K_{3,3}$.
We also have three $u-v$ vertex disjoint paths, say, $P_1,P_2,P_3$, each of them only having one neighbor of $v$, say, $u_1,u_2,u_3$. We also have that the neighbors of $v$ form a cycle since $G$ is a triangulation of the plane.
Also as they say, we have a new vertex $w$, which we may suppose is (given, if necessary, a rotation of the sphere which interchanges some faces) inside one of the regions bounded by the cycles determined by $P_i$ and $P_j$, say, $P_1$ and $P_2$. In this case, by Menger's theorem we have three paths to $u_1,u_2$ and $v_2$.
Anyways, we have the following sketch of the situation:
The curly 'edges' mean they are paths, the red dashed edge means it's the edge we want to add. In the solution they say that with this we get a subdivision of $K_{3,3}$ with partition given by $A={u,w,u_3}$ and $B={u_1,u_2,v}$. In the picture suppose the $u_1-u_2,u_2-u_3,u_3-u_1-$ paths are $zeta_1,zeta_2,zeta_3$. If the three paths from $w$ don't meet $zeta_2$ or $zeta_3$ we don't have much trouble and that's indeed a partition of those six vert which, with the edges and paths we already have and $v_1v_2$ make a subdivision of $K_{3,3}$. But if the paths from $w$ somehow meet $zeta_2$ or $zeta_3$ we may need to change the vertices which make the subdivision.
So, are those both cases possible? If they are, is there some way to handle them?
Edit: There is also this question but they only talk about how some solution (a bit different from mine) is wrong.
graph-theory planar-graph
$endgroup$
I'm working on the following problem.
Show that adding a new edge to a maximal planar graph
of order at least 6 always produces subdivisions of both $K_5$ of $K_{3,3}$.
I had no trouble getting the subdivision of $K_5$ (I had to modify my attempt a bit based in the sketch of a solution I found here, since there were some cases I hadn't covered).
But I have trouble getting the subdivision of $K_{3,3}$.
So, with the notation from the link, I am here:
Let $G$ be maximal planar, $v_1,v_2$ two vertices; we want to build some edge between them and see this ends up with a graph having a subdivision of $K_{3,3}$.
We also have three $u-v$ vertex disjoint paths, say, $P_1,P_2,P_3$, each of them only having one neighbor of $v$, say, $u_1,u_2,u_3$. We also have that the neighbors of $v$ form a cycle since $G$ is a triangulation of the plane.
Also as they say, we have a new vertex $w$, which we may suppose is (given, if necessary, a rotation of the sphere which interchanges some faces) inside one of the regions bounded by the cycles determined by $P_i$ and $P_j$, say, $P_1$ and $P_2$. In this case, by Menger's theorem we have three paths to $u_1,u_2$ and $v_2$.
Anyways, we have the following sketch of the situation:
The curly 'edges' mean they are paths, the red dashed edge means it's the edge we want to add. In the solution they say that with this we get a subdivision of $K_{3,3}$ with partition given by $A={u,w,u_3}$ and $B={u_1,u_2,v}$. In the picture suppose the $u_1-u_2,u_2-u_3,u_3-u_1-$ paths are $zeta_1,zeta_2,zeta_3$. If the three paths from $w$ don't meet $zeta_2$ or $zeta_3$ we don't have much trouble and that's indeed a partition of those six vert which, with the edges and paths we already have and $v_1v_2$ make a subdivision of $K_{3,3}$. But if the paths from $w$ somehow meet $zeta_2$ or $zeta_3$ we may need to change the vertices which make the subdivision.
So, are those both cases possible? If they are, is there some way to handle them?
Edit: There is also this question but they only talk about how some solution (a bit different from mine) is wrong.
graph-theory planar-graph
graph-theory planar-graph
edited Jan 10 at 2:49
Henning Makholm
239k17304541
239k17304541
asked Jan 5 at 2:51
David MolanoDavid Molano
1,376720
1,376720
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
I know it has a bit of irony that I found a way to solve it just after putting the bounty. I had proven before that every $3-$connected nonplanar graph contains a $K_{3,3}-$minor, but hadn't really realized that it also has a $K_{3,3}-$subdivision (In my proof there was a part when I couldn't find such subdivision but I still was able to get a minor so since that's what I wanted to find I didn't worry about that; now, after verifying that part, I see that such subdivision can be easily found given what I already had).
So, I can use the proof of the lemma 3.4 here.
In this case I can find a subdivision of $K_{3,3}$ in any $3-$connected nonplanar graph, in particular one built by adding an edge to a maximal planar graph.
$endgroup$
add a comment |
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
autoActivateHeartbeat: false,
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062357%2ffinding-k-3-3-subdivision-when-adding-edge-to-maximal-planar-graph%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
I know it has a bit of irony that I found a way to solve it just after putting the bounty. I had proven before that every $3-$connected nonplanar graph contains a $K_{3,3}-$minor, but hadn't really realized that it also has a $K_{3,3}-$subdivision (In my proof there was a part when I couldn't find such subdivision but I still was able to get a minor so since that's what I wanted to find I didn't worry about that; now, after verifying that part, I see that such subdivision can be easily found given what I already had).
So, I can use the proof of the lemma 3.4 here.
In this case I can find a subdivision of $K_{3,3}$ in any $3-$connected nonplanar graph, in particular one built by adding an edge to a maximal planar graph.
$endgroup$
add a comment |
$begingroup$
I know it has a bit of irony that I found a way to solve it just after putting the bounty. I had proven before that every $3-$connected nonplanar graph contains a $K_{3,3}-$minor, but hadn't really realized that it also has a $K_{3,3}-$subdivision (In my proof there was a part when I couldn't find such subdivision but I still was able to get a minor so since that's what I wanted to find I didn't worry about that; now, after verifying that part, I see that such subdivision can be easily found given what I already had).
So, I can use the proof of the lemma 3.4 here.
In this case I can find a subdivision of $K_{3,3}$ in any $3-$connected nonplanar graph, in particular one built by adding an edge to a maximal planar graph.
$endgroup$
add a comment |
$begingroup$
I know it has a bit of irony that I found a way to solve it just after putting the bounty. I had proven before that every $3-$connected nonplanar graph contains a $K_{3,3}-$minor, but hadn't really realized that it also has a $K_{3,3}-$subdivision (In my proof there was a part when I couldn't find such subdivision but I still was able to get a minor so since that's what I wanted to find I didn't worry about that; now, after verifying that part, I see that such subdivision can be easily found given what I already had).
So, I can use the proof of the lemma 3.4 here.
In this case I can find a subdivision of $K_{3,3}$ in any $3-$connected nonplanar graph, in particular one built by adding an edge to a maximal planar graph.
$endgroup$
I know it has a bit of irony that I found a way to solve it just after putting the bounty. I had proven before that every $3-$connected nonplanar graph contains a $K_{3,3}-$minor, but hadn't really realized that it also has a $K_{3,3}-$subdivision (In my proof there was a part when I couldn't find such subdivision but I still was able to get a minor so since that's what I wanted to find I didn't worry about that; now, after verifying that part, I see that such subdivision can be easily found given what I already had).
So, I can use the proof of the lemma 3.4 here.
In this case I can find a subdivision of $K_{3,3}$ in any $3-$connected nonplanar graph, in particular one built by adding an edge to a maximal planar graph.
edited Jan 10 at 4:58
answered Jan 7 at 4:05
David MolanoDavid Molano
1,376720
1,376720
add a comment |
add a comment |
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3062357%2ffinding-k-3-3-subdivision-when-adding-edge-to-maximal-planar-graph%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown