Guessing a card Alice hides a card x

Slides:



Advertisements
Similar presentations
Polygon Triangulation
Advertisements

Efficient access to TIN Regular square grid TIN Efficient access to TIN Let q := (x, y) be a point. We want to estimate an elevation at a point q: 1. should.
Dynamic Planar Convex Hull Operations in Near- Logarithmic Amortized Time TIMOTHY M. CHAN.
2/14/13CMPS 3120 Computational Geometry1 CMPS 3120: Computational Geometry Spring 2013 Planar Subdivisions and Point Location Carola Wenk Based on: Computational.
Brute-Force Triangulation
EECS 4101/5101 Prof. Andy Mirzaian. References: [M. de Berge et al ’00] chapter 3 [Preparata-Shamos’85] chapter 6 [O’Rourke’98] chapter 1 [M. de Berge.
2/3/15CMPS 3130/6130 Computational Geometry1 CMPS 3130/6130 Computational Geometry Spring 2015 Triangulations and Guarding Art Galleries II Carola Wenk.
UNC Chapel Hill M. C. Lin Polygon Triangulation Chapter 3 of the Textbook Driving Applications –Guarding an Art Gallery –3D Morphing.
9/12/06CS 6463: AT Computational Geometry1 CS 6463: AT Computational Geometry Fall 2006 Triangulations and Guarding Art Galleries II Carola Wenk.
Classes of Polygons Planar polygons Non-planar polygons Simple
The Maths of Pylons, Art Galleries and Prisons Under the Spotlight John D. Barrow.
Feb Polygon Triangulation Shmuel Wimer Bar Ilan Univ., School of Engineering.
Applied Combinatorics, 4th Ed. Alan Tucker
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann 1 l-Monotone Convex polygons are easy to triangulate. Unfortunately the partition.
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann 1 Polygon Triangulation Motivation: Guarding art galleries Art gallery theorem.
Computational Geometry The art of finding algorithms for solving geometrical problems Literature: –M. De Berg et al: Computational Geometry, Springer,
Lecture 3: Polygon Triangulation Computational Geometry Prof. Dr. Th. Ottmann Polygon Triangulation Motivation: Guarding art galleries Art gallery theorem.
Point Location Computational Geometry, WS 2007/08 Lecture 5 Prof. Dr. Thomas Ottmann Algorithmen & Datenstrukturen, Institut für Informatik Fakultät für.
Art Gallery Problems Prof. Silvia Fernández. Star-shaped Polygons A polygon is called star-shaped if there is a point P in its interior such that the.
Polygon Triangulation Computational Geometry, WS 2007/08 Lecture 9 Prof. Dr. Thomas Ottmann Algorithmen & Datenstrukturen, Institut für Informatik Fakultät.
CS4670: Computer Vision Kavita Bala Lecture 7: Harris Corner Detection.
Art Gallery Theorem Computational Geometry, WS 2006/07 Lecture 8, Part 1 Prof. Dr. Thomas Ottmann Algorithmen & Datenstrukturen, Institut für Informatik.
MATH 310, FALL 2003 (Combinatorial Problem Solving) Lecture 4, Monday, September 8.
The Art Gallery Problem
Brute-Force Triangulation
The Art Gallery Problem
9/7/06CS 6463: AT Computational Geometry1 CS 6463: AT Computational Geometry Fall 2006 Triangulations and Guarding Art Galleries Carola Wenk.
Basics of Rendering Pipeline Based Rendering –Objects in the scene are rendered in a sequence of steps that form the Rendering Pipeline. Ray-Tracing –A.
UNC Chapel Hill M. C. Lin Point Location Reading: Chapter 6 of the Textbook Driving Applications –Knowing Where You Are in GIS Related Applications –Triangulation.
Planar Graphs: Euler's Formula and Coloring Graphs & Algorithms Lecture 7 TexPoint fonts used in EMF. Read the TexPoint manual before you delete this box.:
Draw rotations in the coordinate plane.
CENG 789 – Digital Geometry Processing 02- Polygons and Triangulations Asst. Prof. Yusuf Sahillioğlu Computer Eng. Dept,, Turkey.
Computational Geometry Piyush Kumar (Lecture 10: Point Location) Welcome to CIS5930.
Art gallery theorems for guarded guards T.S. Michael, Val Pinciub Computational Geometry 26 (2003) 247–258.
Chapter 10.8 Graph Coloring
Computational Geometry Polygon Triangulation and The Art Gallery Problem Joachim Gudmundsson NICTA, Sydney.
Planar Graphs Lecture 10: Oct 21. This Lecture Today we will talk about planar graphs, and how to color a map using 6 colors. Planar graphs Euler’s formula.
1/29/15CMPS 3130/6130 Computational Geometry1 CMPS 3130/6130 Computational Geometry Spring 2015 Triangulations and Guarding Art Galleries Carola Wenk.
Great Theoretical Ideas in Computer Science for Some.
9/8/10CS 6463: AT Computational Geometry1 CS 6463: AT Computational Geometry Fall 2010 Triangulations and Guarding Art Galleries Carola Wenk.
Polygon Triangulation
CMPS 3130/6130 Computational Geometry Spring 2017
3. Polygon Triangulation
Great Theoretical Ideas In Computer Science
Geometric Transformations
Computational Geometry
Lap Chi Lau we will only use slides 4 to 19
CENG 789 – Digital Geometry Processing 02- Polygons and Triangulations
Topics in Algorithms Lap Chi Lau.
An Introduction to Computational Geometry
Tucker, Applied Combinatorics, Sec 2.4
Grids Geometry Computational Geometry
Grids Geometry Computational Geometry
The Art Gallery Problem
Grids Geometry Computational Geometry
Computational Geometry Capter:1-2.1
The Art Gallery Problem
Polygon Triangulation
Objective Identify and draw reflections..
Chapter 10.8 Graph Coloring
I. The Problem of Molding
Intersection problem.
Chapter 10.8 Graph Coloring
Chapter 10.8 Graph Coloring
Ray Tracing Polyhedra ©Anthony Steed
Triangulation of a polygon
Great Theoretical Ideas In Computer Science
Chapter 10.8 Graph Coloring
Computational Geometry
Overlay of Two Subdivisions
Presentation transcript:

Guessing a card Alice hides a card x Bob asks Yes-No questions to Alice k times Alice honestly answer Yes or No Find a strategy to attain minimum k

Data query You type “仙台” to obtain info in 0.2 seconds. How to attain this? The number of Web sites exceeds 50 billion The number of Web pages exceeds trillion   Naturally, O(n) algorithm is too slow. A similar idea to binary searching works (Altavista) to find 100M candidates Then, the page-rank algorithm of Google selects what you want. Sergey Brin Larry Page Rajeev Motwani, Jeff Ulmann

Intersection of two convex polygons P, Q convex polygons The list of edges in counter-clockwise order is given for each polygon Then, the intersection can be detected in O( log n) time, where n is the number of edges. Extend P at top and bottom vertices to the right (resp. left) with horizontal lines to have open polygons P(R) and P(L). Similarly, Q(R) and Q(L) Lemma (prove it !) P intersects Q if and only P(R) intersects Q(L) and P(L) intersects Q(R) Then, a clever binary-search algorithm works Hope that everyone knows binary searching Eliminating half (or constant portion) of data in O(1) step.

Intersection of polytopes in 3D Given two polytopes P and Q We can preprocess them in O( n log n) time to make a data structure for efficient intersection This data structure can be used if the polytopes are moved (translation, rotation, scaling) A sophisticated O(log n) time algorithm was given by Dobkin and Kirkpatrick in 1983. Not too much difficult to read the paper, but it is difficult to explain to you by a lecture. Dvid Dobkin Princeton U. (Dean of CS 2003-14) Dvid Kirkpatrick UBC.

How to represent a polygon P? The list of vertices v(1), v(2),..,v(n) in counter clockwise order, such that v(i) = (x(i), y(i)). The list of edges e(1), e(2),..,e(n) in counter clockwise order, such that e(i) = (v(i), v(i+1)) (considering mod n ). If P is transformed by an Affine transformation T, then the transformation is recorded, instead of changing all coordinate values of vertices Affine transformation : T(v) = A v + q for a matrix A and a vector q q corresponds to the translation vector. If A is an orthogonal matrix, T is called a motion. If A is an orthogonal matrix with determinant 1 and q = 0, T is called a rotation. If A = a E, where E is the unit matrix, T is called a scaling For vectors u and v and a real value a, T( au + (1-a)v ) = aT(u) + (1-a)T(v)

Convexity is invariant for affine transformation A region P is convex if and only if for any vector u and v in P, tu + (1-t) v is in P for 0 < t < 1. It can be proven from this that convexity is invariant for affine transformation. That is, if P is convex, then T(P) is convex for any affine transformation T. So, Dobkin-Kirkpatrick algorithm works even if P and Q are transformed by affine transformations. We can detect intersection for T(P) and S(Q) for two affine transformations T and S in O( log n) time for any T and S (without additional preprocessing) ANY QUESTION?

Solution of your homework: Area computation How to compute an area of a simple polygon? Simple polygon: Connected, No hole, No self-crossing, No cutting point Counterclockwise list of vertices v(1),v(2),..,v(n) How about for a convex polygon (easier case)?

How to prove the formula? The formula ( someone should give on the white board) Story of the proof (usually, I only remember the story of a proof) Any simple polygon has an ear (what is ear?? I will show) Then, induction works How to prove the existence of an ear? You know you have two ears. Any simple polygon does have (at least) two ears, too. Because a simple polygon P has a triangulation What is a triangulation ?? I will show How to prove the existence of a triangulation ?? Because a polygon has a “diagonal” (what is a diagonal?? I will show) How to prove the existence of a diagonal ??

Art Gallery Problem Suppose we have an art museum with a simple polygonal shape P with n vertices (n ≧3) How many guards are enough to watch P A guard has 360 degree vision, but not through the wall. Guards are stationary: Sit on chairs, and do not walk Theorem (V. Chavatal, 1975) [n/3] guards are enough (and necessary for the worst case) Elegant proof by S. Fisk (1978) Examples requiring many guards (Chavatal’s comb) Will be illustrated on the whiteboard (by students! ) First, find a polygon (with smallest possible number of vertices) for which two guards are necessary. Then, how about three guards? Then general example for k guards. Václav (Vašek) Chvátal with Jin Akiyama at their 60th birthday conference

Power of Graph + Geometry Graph   G=(V, E) V: set of vertices, E: set of edges (Geometric) Graph drawing   Vertices are located as points in the plane, and edges are line segments connecting vertices Topological Graph drawing Vertices are located as points in the plane (or surface), and edges are curves connecting vertices Planar graph drawing (or plane graph) : Graph drawing without intersection of edges Planar graph: A graph that has a planar graph drawing

Graph coloring Graph (vertex) coloring : Give colors to vertices of a graph so that no edge connect same colored vertices. Coloring problem: Color a graph with a given set of colors Coloring number: Minimum number of colors to color a graph Famous problems Four coloring problem Any planar graph can be colored by using at most four colors? Even a primary school student can understand, but unsolved for long time Solved by Appel and Harken but …………. K- Colorability computation Given a graph and a number k, decide whether the graph is colored by using k colors 2 colorablity is easy to solve ( 2-colorable graph is called bipartite graph) 3-colarability is difficult for a general graph

Polygon triangulation and graph Dual Graph Primal graph

Coloring of the primal triangulation graph Three colors are necessary (of course) Three colors are enough! WHY?

Coloring and art gallery problem Locate guards at red vertices [n/3] guards are enough Why ?