算法半代数几何与拓扑--最新进展与 未解决的问题

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

摘要翻译：
本文综述了计算半代数集拓扑不变量的算法，重点介绍了计算半代数集Betti数的算法设计的最新进展。除了描述这些结果之外，我们还简要地讨论了这些问题的背景和重要性，并描述了算法半代数几何和代数拓扑的主要工具，这些工具使这些进展成为可能。我们最后列出了一系列未解决的问题。
---
英文标题：
《Algorithmic Semi-algebraic Geometry and Topology -- Recent Progress and
  Open Problems》
---
作者：
Saugata Basu
---
最新提交年份：
2007
---
分类信息：

一级分类：Mathematics        数学
二级分类：Geometric Topology        几何拓扑
分类描述：Manifolds, orbifolds, polyhedra, cell complexes, foliations, geometric structures
流形，轨道，多面体，细胞复合体，叶状，几何结构
--
一级分类：Computer Science        计算机科学
二级分类：Computational Complexity        计算复杂度
分类描述：Covers models of computation, complexity classes, structural complexity, complexity tradeoffs, upper and lower bounds. Roughly includes material in ACM Subject Classes F.1 (computation by abstract devices), F.2.3 (tradeoffs among complexity measures), and F.4.3 (formal languages), although some material in formal languages may be more appropriate for Logic in Computer Science. Some material in F.2.1 and F.2.2, may also be appropriate here, but is more likely to have Data Structures and Algorithms as the primary subject area.
涵盖计算模型，复杂度类别，结构复杂度，复杂度折衷，上限和下限。大致包括ACM学科类F.1（抽象设备的计算）、F.2.3（复杂性度量之间的权衡）和F.4.3（形式语言）中的材料，尽管形式语言中的一些材料可能更适合于计算机科学中的逻辑。在F.2.1和F.2.2中的一些材料可能也适用于这里，但更有可能以数据结构和算法作为主要主题领域。
--
一级分类：Computer Science        计算机科学
二级分类：Computational Geometry        计算几何
分类描述：Roughly includes material in ACM Subject Classes I.3.5 and F.2.2.
大致包括ACM课程I.3.5和F.2.2中的材料。
--
一级分类：Mathematics        数学
二级分类：Algebraic Geometry        代数几何
分类描述：Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology
代数簇，叠，束，格式，模空间，复几何，量子上同调
--
一级分类：Mathematics        数学
二级分类：Algebraic Topology        代数拓扑
分类描述：Homotopy theory, homological algebra, algebraic treatments of manifolds
同伦理论，同调代数，流形的代数处理
--

---
英文摘要：
  We give a survey of algorithms for computing topological invariants of semi-algebraic sets with special emphasis on the more recent developments in designing algorithms for computing the Betti numbers of semi-algebraic sets. Aside from describing these results, we discuss briefly the background as well as the importance of these problems, and also describe the main tools from algorithmic semi-algebraic geometry, as well as algebraic topology, which make these advances possible. We end with a list of open problems.
---
PDF链接：
https://arxiv.org/pdf/0708.2854

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏0 回帖

关键词：最新进展 代数几何 新进展 Developments Computation 综述 代数 算法 这些 重点