Center for Discrete Mathematics and Theoretical Computer Science

离散数学与理论计算机科学中心

• 批准号: 8809648
• 负责人: Diane Souvaine
• 金额: $ 588.46万
• 依托单位: Rutgers University New Brunswick
• 依托单位国家: 美国
• 项目类别: Cooperative Agreement
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-02-01 至 1994-10-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8809648&HistoricalAwards=false
• 关键词: Center; Discrete; Mathematics; Theoretical; Computer

This proposal from Rutgers University, in cooperation with Princeton University, AT&T Bell Laboratories (Bell Labs), and Bell Communications Research (Bellcore), requests funds to establish a Science and Technology Center for Discrete Mathematics and Theoretical Computer Science. The Director of the Center will be Professor Daniel Gorenstein of Rutgers University. The Center in Discrete Mathematics and Theoretical Computer Science will strengthen the development of these two overlapping areas by focussing research activity in a continuing series of year-long research programs, workshops and conferences. Approximately seventy researchers from the four collaborating institutions provide the background coherence and direction for this activity. The core of the research activity will be carried out by a vigorous program of visitors (both senior and junior) from other institutions (academic, industrial, government laboratory). Postdoctoral fellows and graduate students will be affiliated with the Center for varying lengths of time. Each year the Center will designate specific areas for special attention, inviting leading experts in the designated fields to organize a research program in those areas of concentration. These areas will be chosen to take advantage of the expertise of the participating personnel from the collaborating institutions while addressing questions of demonstrable interest to researchers in both the discrete mathematics and theoretical computer science communities. Within these general guidelines, there are several avenues of potential emphasis that involve both serious theoretical inquiry and relevant application. For example, our modern "information society" depends on clear, efficiently designed and reliable telecommunications and communications systems. These are easily described by network theory and can be modeled using linear programming techniques. Transportation problems require similar techniques; and optimization and linear programming, possibly enhanced by parallel computations, are critical in VLSI design and manufacture. Discrete and computational geometry are foundational disciplines for computer graphics and robotics. As the geometries required for the applications become increasingly more complex, research in computational geometry becomes ever more important. Yet there are fundamental questions in discrete and computational geometry that must be addressed before the applications can be realized.

这项提案由罗格斯大学与普林斯顿大学、AT&T 贝尔实验室（Bell Labs）和贝尔通信研究中心（Bellcore）合作提出，请求资金建立离散数学和理论计算机科学科学技术中心。 该中心主任将由罗格斯大学的 Daniel Gorenstein 教授担任。 离散数学和理论计算机科学中心将通过将研究活动集中在一系列持续一年的研究计划、研讨会和会议上，加强这两个重叠领域的发展。 来自四个合作机构的大约七十名研究人员为这项活动提供了背景一致性和方向。 研究活动的核心将由来自其他机构（学术、工业、政府实验室）的参观者（高级和初级）进行。 博士后研究员和研究生将在该中心工作不同时间。 中心每年都会指定特定的重点领域，邀请指定领域的顶尖专家在这些重点领域组织研究项目。 选择这些领域是为了利用合作机构参与人员的专业知识，同时解决离散数学和理论计算机科学界研究人员明显感兴趣的问题。 在这些一般准则中，有几种潜在的重点途径，涉及严肃的理论探究和相关应用。 例如，我们的现代“信息社会”依赖于清晰、设计高效且可靠的电信和通信系统。 这些很容易用网络理论来描述，并且可以使用线性规划技术来建模。 运输问题需要类似的技术；优化和线性编程（可能通过并行计算得到增强）在 VLSI 设计和制造中至关重要。 离散几何和计算几何是计算机图形学和机器人学的基础学科。 随着应用所需的几何形状变得越来越复杂，计算几何的研究变得越来越重要。 然而，在实现应用之前，必须解决离散几何和计算几何中的一些基本问题。