summaryrefslogtreecommitdiff
path: root/2d/_collisions
diff options
context:
space:
mode:
authorMatthew Kosarek <mattkae@protonmail.com>2021-06-24 15:54:37 -0400
committerMatthew Kosarek <mattkae@protonmail.com>2021-06-24 15:54:37 -0400
commit6fa7b10d244b226c7651747d88ffdfaa5c5814e2 (patch)
tree0e61a0f84e7c4b973ccbcf6c90cb21e3f31e05c4 /2d/_collisions
parent410a072c3862481f729c293402ddd49c5ae98769 (diff)
(mkosarek) A description of the separating axis theorem with images
Diffstat (limited to '2d/_collisions')
-rw-r--r--2d/_collisions/polygon_polygon.html62
-rw-r--r--2d/_collisions/polygon_polygon.html.content62
-rw-r--r--2d/_collisions/polygon_polygon/images/1.pngbin0 -> 8299 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2.pngbin0 -> 7962 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2a.pngbin0 -> 8434 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2b.pngbin0 -> 8006 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2c.pngbin0 -> 8022 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2d.pngbin0 -> 10826 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2e.pngbin0 -> 11330 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/2f.pngbin0 -> 9354 bytes
-rw-r--r--2d/_collisions/polygon_polygon/images/3.pngbin0 -> 8105 bytes
11 files changed, 116 insertions, 8 deletions
diff --git a/2d/_collisions/polygon_polygon.html b/2d/_collisions/polygon_polygon.html
index e8fe7ea..c1c3a2e 100644
--- a/2d/_collisions/polygon_polygon.html
+++ b/2d/_collisions/polygon_polygon.html
@@ -76,25 +76,79 @@
<section>
<h2>Explanation of Separating Axis Theorem</h2>
<p>
- SAT makes use of vector projection to figure out whether or not two concave polygons are intersecting. The way to think about it is this:
+ SAT makes use of vector projection to figure out whether or not two concave polygons are intersecting. I believe the best way to describe it is to show you the instance where two polygons do <b>not</b> intersect.
<br/>
<br/>
- Given two shapes <b>A</b> and <b>B</b>.
+ Images two shapes <b>A</b> and <b>B</b> as shown below (they are triangles here, but they can be anything really).
+ <br/>
+
+ <div class='image'>
+ <img src="polygon_polygon/images/1.png" />
+ </div>
+
+ <br/>
+ We know inutitively that if we were able to draw a line between the two objects, that means that they're not intersecting. In this case, that line is a vertical-ish line:
+ <br/>
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2.png' />
+ </div>
- Imagine we could isolate a single edge of A and shine a light on it.
+ <br/>
+ That line could be any of the infinite number of lines between the objects, so we can't really select that <i>exact</i> line. So the problem becomes: how do we <i>infer</i> that the vertical line shown in the previous diagram is a line that splits the objects? That is where the Separating Axis Theorem comes in.
+
+ <br />
+ <br/>
+ To do separating axis theorem, we iterate all of the edges of <b>both</b> shapes. For each edge, we get the normal at that edge (In two-dimensions, this amounts to getting the perpendicular of the line segment defined by the two points of the edge).
+ <br />
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2a.png' />
+ </div>
+
+ <br />
+
+ We then, in our heads, extend this normal to create an axis across our scene (keep in mind that you won't have to do any "extending" of this axis in code; the normal will do just fine).
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2d.png' />
+ </div>
+
+ <br />
+
+ At this point, you will see that I named the three vertices on each of the triangles. Triangle <b>A</b> is made of vertices <i>a1, a2, a3</i> and triangle <b>B</b> is made of vertices <i>b1, b2, b3</i>. At this point, we project the shape onto the axis. To do this, we project the vertices of each shape onto the axis to figure out which one <i>maximizes</i> the dot product and which one <i>minimizes</i> the dot product. The projection of the shape is then the range defined by this min and max value.
+
+ <br />
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2e.png' />
+ </div>
+
+ <br />
+
+ Finally, we check if the two ranges overlap. If they don't overlap, then the shapes do <b>not</b> intersect. If they do overlap, we repeat the process for all of the other edges. If all of these ranges overlap, then the shape overlaps, and there is no separating line between them.
+
+ <br />
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2f.png' />
+ </div>
+
+ <br />
</p>
</section>
<section>
<h2>Algorithm for Finding the Intersection</h2>
<p>
+
Given two polygons <b>A</b> and <b>B</b>:
<ol>
<li>For each edge on <b>A</b>, get the normal <i>n</i> of that edge.</li>
- <li>Project each vertex <i>v</i> of <b>A</b> onto <i>n</i>. Return the minimum and maximum projection of all vertices.</li>
+ <li>Project each vertex <i>v</i> of <b>A</b> onto <i>n</i>. Return the minimum and maximum projection of all vertices as the projection of the shape.</li>
<li>Repeat Step 2 for polygon <b>B</b>.</li>
<li>If the min and max projections found in Steps 2 and 3 do <b>NOT</b> overlap, the polygons are not intersecting. Return false.</li>
<li>If the projections overlap for each edge of both shapes, the shapes are intersecting. Return true.</li>
diff --git a/2d/_collisions/polygon_polygon.html.content b/2d/_collisions/polygon_polygon.html.content
index ffa9b15..a0da872 100644
--- a/2d/_collisions/polygon_polygon.html.content
+++ b/2d/_collisions/polygon_polygon.html.content
@@ -24,25 +24,79 @@
<section>
<h2>Explanation of Separating Axis Theorem</h2>
<p>
- SAT makes use of vector projection to figure out whether or not two concave polygons are intersecting. The way to think about it is this:
+ SAT makes use of vector projection to figure out whether or not two concave polygons are intersecting. I believe the best way to describe it is to show you the instance where two polygons do <b>not</b> intersect.
<br/>
<br/>
- Given two shapes <b>A</b> and <b>B</b>.
+ Images two shapes <b>A</b> and <b>B</b> as shown below (they are triangles here, but they can be anything really).
+ <br/>
+
+ <div class='image'>
+ <img src="polygon_polygon/images/1.png" />
+ </div>
+
+ <br/>
+ We know inutitively that if we were able to draw a line between the two objects, that means that they're not intersecting. In this case, that line is a vertical-ish line:
+ <br/>
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2.png' />
+ </div>
- Imagine we could isolate a single edge of A and shine a light on it.
+ <br/>
+ That line could be any of the infinite number of lines between the objects, so we can't really select that <i>exact</i> line. So the problem becomes: how do we <i>infer</i> that the vertical line shown in the previous diagram is a line that splits the objects? That is where the Separating Axis Theorem comes in.
+
+ <br />
+ <br/>
+ To do separating axis theorem, we iterate all of the edges of <b>both</b> shapes. For each edge, we get the normal at that edge (In two-dimensions, this amounts to getting the perpendicular of the line segment defined by the two points of the edge).
+ <br />
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2a.png' />
+ </div>
+
+ <br />
+
+ We then, in our heads, extend this normal to create an axis across our scene (keep in mind that you won't have to do any "extending" of this axis in code; the normal will do just fine).
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2d.png' />
+ </div>
+
+ <br />
+
+ At this point, you will see that I named the three vertices on each of the triangles. Triangle <b>A</b> is made of vertices <i>a1, a2, a3</i> and triangle <b>B</b> is made of vertices <i>b1, b2, b3</i>. At this point, we project the shape onto the axis. To do this, we project the vertices of each shape onto the axis to figure out which one <i>maximizes</i> the dot product and which one <i>minimizes</i> the dot product. The projection of the shape is then the range defined by this min and max value.
+
+ <br />
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2e.png' />
+ </div>
+
+ <br />
+
+ Finally, we check if the two ranges overlap. If they don't overlap, then the shapes do <b>not</b> intersect. If they do overlap, we repeat the process for all of the other edges. If all of these ranges overlap, then the shape overlaps, and there is no separating line between them.
+
+ <br />
+
+ <div class='image'>
+ <img src='polygon_polygon/images/2f.png' />
+ </div>
+
+ <br />
</p>
</section>
<section>
<h2>Algorithm for Finding the Intersection</h2>
<p>
+
Given two polygons <b>A</b> and <b>B</b>:
<ol>
<li>For each edge on <b>A</b>, get the normal <i>n</i> of that edge.</li>
- <li>Project each vertex <i>v</i> of <b>A</b> onto <i>n</i>. Return the minimum and maximum projection of all vertices.</li>
+ <li>Project each vertex <i>v</i> of <b>A</b> onto <i>n</i>. Return the minimum and maximum projection of all vertices as the projection of the shape.</li>
<li>Repeat Step 2 for polygon <b>B</b>.</li>
<li>If the min and max projections found in Steps 2 and 3 do <b>NOT</b> overlap, the polygons are not intersecting. Return false.</li>
<li>If the projections overlap for each edge of both shapes, the shapes are intersecting. Return true.</li>
diff --git a/2d/_collisions/polygon_polygon/images/1.png b/2d/_collisions/polygon_polygon/images/1.png
new file mode 100644
index 0000000..0e4268a
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/1.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2.png b/2d/_collisions/polygon_polygon/images/2.png
new file mode 100644
index 0000000..3dd2020
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2a.png b/2d/_collisions/polygon_polygon/images/2a.png
new file mode 100644
index 0000000..02bfa02
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2a.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2b.png b/2d/_collisions/polygon_polygon/images/2b.png
new file mode 100644
index 0000000..1cfc780
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2b.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2c.png b/2d/_collisions/polygon_polygon/images/2c.png
new file mode 100644
index 0000000..d9ca28b
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2c.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2d.png b/2d/_collisions/polygon_polygon/images/2d.png
new file mode 100644
index 0000000..8e6f6cc
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2d.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2e.png b/2d/_collisions/polygon_polygon/images/2e.png
new file mode 100644
index 0000000..fdaeae3
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2e.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/2f.png b/2d/_collisions/polygon_polygon/images/2f.png
new file mode 100644
index 0000000..9a862b5
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/2f.png
Binary files differ
diff --git a/2d/_collisions/polygon_polygon/images/3.png b/2d/_collisions/polygon_polygon/images/3.png
new file mode 100644
index 0000000..0e6d218
--- /dev/null
+++ b/2d/_collisions/polygon_polygon/images/3.png
Binary files differ