70240183 (Fall 2006)
-Fib(sqr(sqr(0!+1)))+2*sqr(3)+sqr(4)^5*67-8!/sqrt(9) =
70240183
0*1+2345-6*7*8-sqrt(9) =
2006
-
课程简介
- 来自不同领域的人,对“计算几何”一词的理解不尽相同。例如,从事几何造型方面研究的人,将曲线、曲面的设计与计算称为“计算几何”(《计算几何》,苏步青、刘鼎元编,上海科技出版社,1980年12月第一版)。在诸如《高等数据结构》和《算法设计与分析》等课程中,有的也会涉及到一些计算几何的问题。
- 现代意义上的计算几何,借鉴算法理论、优化理论、几何学和组合学(尤其是图论)等学科的成果和方法,旨在更为有效地解决各种应用领域中的实际问题。Shamos的博士学位论文(M.
I. Shamos. Computational Geometry. Ph.D. thesis, Dept. Comput. Sci., Yale
Univ., New Haven, CT,
1978),标志着计算几何已经从算法设计与分析中分离出来,逐渐形成了一个独立的学科方向。从那时起,人们越来越清楚地看到,许多问题从本质上看都可以转化为几何问题。而且,从计算几何的角度来看,许多表面上毫不相干的问题,都可以统一为某个几何问题,甚至完全等价。因此,计算几何首先要研究的问题,就是如何将具体问题转化为具有一般性的几何问题,找出不同问题之间的共同点,并进而运用统一的方法来加以解决。计算几何讨论的对象限于离散的、有限的几何结构,但所涉及的问题范围很广,从计算机图形学、几何造型到地理信息系统,从计算机视觉到模式识别,从机器人学到计算机网络及通讯,从宏观的天文学到微观的分子生物学,都能够见到计算几何的身影。
-
当然,正是由于其覆盖范围广泛,即使是在计算几何领域内部,不同人对她的理解和侧重点也差别很大。有些人强调几何算法的复杂度分析,有些人强调几何数据结构的具体设计;有些人直接将计算几何定义为“研究二维欧氏平面上离散几何结构的学科”,但计算几何的很多文献讨论的问题都是三维(甚至任意维)的,而另一些研究工作则已经不限于欧氏空间
。
-
总共48学时的本课程,不应该也不可能对计算几何的每个方向都面面俱到,因此我们将尽可能结合实例,来讲解从实际问题到几何模型的转化、由此而得出的几何算法
,并设计和利用相关的数据结构加以实现。我们将着重讨论二维欧氏平面上的几何结构,如凸包、三角剖分、Voronoi图、直线排列和子区域划分等。对于有关的基础性理论(包括新近的发展),也将做简要介绍。
-
将本课程的重点放在上述方面的另外一个原因在于,授课教师与计算几何界的大多数研究者一样,都认为无论是就其本质还是目标而言,计算几何都应该是一门更加强调可构造性与构造过程的学科。
-
教学目标
-
1.
使学生建立起对计算几何的总体性认识,从而在今后的研究工作中,能够尝试从计算几何的角度来思考、分析问题
-
2. 掌握计算几何的基本概念与方法
-
3. 懂得利用计算几何的有关数据结构及算法,去转化并解决实际的应用问题
-
最后一点最为重要,这也是本课程强调动手实验的原因
-
主要知识点
-
Convex hull
-
(Delaunay) triangulation
-
Voronoi diagram
-
(Planar) arrangement
-
(Planar) configuration / dissection
-
(Planar) point location
-
(Planar) range search
-
Geometric Intersection
-
教材&课外阅读资料
[Sch03] |
|
Computational Algebraic Geometry, by H. Schenck, Cambridge University
Press, November 2003, (ISBN: 0-521-82964-X) |
[GPA03] |
|
Discrete and Computational Geometry: The Goodman-Pollack Festschrift
(Algorithms and Combinatorics, 25), by J. E. Goodman, R. Pollack , &
B. Aronov (eds), Springer Verlag, July
2003 (ISBN: 3-540-00371-1) |
[AKU01] |
|
Discrete
and Computational Geometry, by J. Akiyama, M. Kano, & M. Urabe (eds),
Springer-Verlag, December 2001 (ISBN: 3-540-42306-0) |
[MMMO00] |
|
Computational Geometry: Algorithms
and Applications, by Mark de Berg, Marc van
Kreveld, Mark Overmars,
and Otfried Schwarzkopf, 2nd
edition, Springer-Verlag, February 2000 (ISBN: 3-540-65620-0)(中译本) |
[SU00] |
|
Handbook of Computational Geometry, by
J. R. Sack &
J. Urrutia (eds),
North-Holland, January 2000 (ISBN: 0-444-82537-1) |
[Or98] |
|
Computational
Geometry in C, by J. O’Rourke,
2nd edition, Cambridge University Press, Cambridge, December 1998 (ISBN:
0-521-64010-5(Hardback) or 0-521-64976-5(Paperback)) |
[BY98] |
|
Algorithmic Geometry, by
J.-D. Boissonnat & M. Yvinec, translated by H. Bronniman,
Cambridge University Press, March 1998 (ISBN: 0-521-56529-4) |
[Mul98] |
|
Computational Geometry: An Introduction Through Randomized Algorithms, by K.
Mulmuley, Pearson Education POD, February 1998 (ISBN: 0-133-36363-5 ) |
[GO97] |
|
Handbook of Discrete and Computational Geometry, by J. E. Goodman and
J. O’Rourke (eds), CRC Press LLC,
Boca Raton, FL, July 1997 (ISBN: 0-849-38524-5) |
[La96] |
|
Computational Geometry in C++, by Laszlo, Prentice-Hall, 1996 (ISBN
0-132-90842-5) |
[PA95] |
|
Combinatorial Geometry, by J. Pach & P. K. Agarwal, Wiley-Interscience, New
York, October 1995 (ISBN: 0-471-58890-3 ) |
[BETT99] |
|
Graph Drawing: Algorithms for the Visualization of Graphs, by G. Battista,
P. Eades, R. Tamassia, and I. G. Tollis, Prentice-Hall 1999 (ISBN:
0-133-01615-3) |
[SA95] |
|
Davenport-Schinzel
Sequences and Their Geometric Applications, by M. Sharir & P. K. Agarwal, Cambridge
University Press, July 1995 (ISBN: 0-521-47025-0) |
[Pa93] |
|
New Trends in Discrete and Computational Geometry (Algorithms and
Combinatorics, Vol. 10), by J. Pach (eds), Springer Verlag, March 1993 (ASIN:
0-387-55713-X) |
[Ed87] |
|
Algorithms in Combinatorial Geometry, by
H. Edelsbrunner, Springer-Verlag,
November 1987 (ISBN: 0-387-13722-X) |
[Or87] |
|
Art Gallery Theorems and
Algorithms, by J. O’Rourke,
Oxford University Press, November 1987 (ISBN: 0-195-03965-3) |
[PS85] |
|
Computational Geometry: An Introduction, by F. P. Preparata & M. I. Shamos,
Springer-Verlag, January 1985 (ISBN: 0-387-96131-3) |
[Me84] |
|
Data Structures and Efficient Algorithms 3: Multi-dimensional Searching
and Computational Geometry, by K. Mehlhorn, EATCS Monographs in
Computer Science 3, Springer-Verlag, 1984 |
-
评分标准
-
最终成绩 = 课堂测验*50% + 课程大实验(选题/检查/报告/口试)*50%
-
(根据实际情况,最终评分标准可能会做适当调整,请留意相应的更新。)
-
作业
-
本课程2006年秋季未能获得助教指标,作业将无法批改,故不记入最终成绩。
-
尽管如此,还是希望并鼓励同学自己完成一定量的作业。
-
课程大实验
-
同学每三人自愿组合,围绕一个问题,以实验小组为单位合作完成实验
-
同组内三人的实验得分相同
-
第11周之前,各组完成大实验选题并提交《选题报告》
-
第15周之前,约定各组的实验检查时间、地点
-
第16周,按组检查实验
-
第17周周末前,各组提交一份《课程实验报告》
|