Structured Bitmap-to-Mesh Triangulation for Geometry-Aware Discretization of Image-Derived Domains
本文提出了一种模板驱动的三角剖分框架,通过将图像衍生边界嵌入规则三角网格并仅重剖分相交三角形,实现了无需全局更新、支持并行执行且几何保真度更高的稳定偏微分方程离散化。
37 篇论文
本文提出了一种模板驱动的三角剖分框架,通过将图像衍生边界嵌入规则三角网格并仅重剖分相交三角形,实现了无需全局更新、支持并行执行且几何保真度更高的稳定偏微分方程离散化。
本文通过推广 Rutschmann 和 Wettstein 定义的链(chains)上的凸和与凹和操作,研究了手性(chirotopes)的分解方法及其在计算平面点集三角剖分数目中的应用,并利用函数方程和核方法获得了双圆(double circle)三角剖分数目的精确渐近估计。
该论文通过引入新的常数时间原语,证明了在联合移动模型下无需辅助假设即可实现可编程物质的亚线性时间通用重配置,具体给出了将任意结构在轮内重配置为规范线段结构的算法,并解决了 Padalkin 等人提出的开放性难题。
该研究提出了一种结合形态设计与贝叶斯优化的计算框架,通过优化波动游泳模式、波长和频率,显著提升了二维波动游泳者的推进效率(较传统模式提高 16% 至 35%),为自主水下推进系统及仿生运动设计提供了高效的新策略。
该论文提出了识别正则镶嵌图(包括球面、欧几里得平面和双曲平面情形)子图的算法,证明了欧几里得情形下存在次指数时间算法,并作为主要贡献展示了在固定度数 时,双曲平面情形下的子图同构判定可在拟多项式时间内完成。
本文结合数论中的三间隙定理与拓扑数据分析中的持久 Künneth 公式,提出了一种基于信号谱的快速且理论上可证明的方法,用于近似拟周期函数滑动窗口嵌入的持久图。
本文研究了超立方体图绘图中的平面子结构,通过构造特定绘图限制了平面子图、路径和匹配的最大规模,证明了凸位置直线绘图中必然存在特定长度的平面路径,并刻画了在所有绘图中均存在的平面子图结构特征。
本文针对多保护组下的公平 Top- 选择问题,揭示了现有假设下的计算不可行性并提出了针对小规模 的高效算法,同时引入效用损失作为新的差异度量以增强评分函数的稳定性,最终通过工程权衡在真实数据集上实现了优异性能。
本文通过引入二次极性函数,将 Legendre 极性推广为变形形式,并定义了极 Fenchel-Young 散度以统一 Bregman 散度,从而利用线性代数工具和信息几何视角深化了对参考对偶性的理解。
本文提出了一种计算平面直线排列中包含给定点集合中至少一个点的所有面的最优算法,其时间复杂度为 ,该结果在代数决策树模型下与下界匹配,是自 1988 年该问题被首次研究以来的首个最优算法。
该论文研究了在每块正方形机器人仅允许沿任意曲线滑动常数次限制下的多机器人运动规划问题,证明了除单位尺寸且无标签的情形外,该问题在大多数情况下仍为 NP 难问题。
本文研究了凸位置点集上平面生成树的最短翻转序列的结构性质,验证并反驳了关于“幸福边”、“停车边”及“重复停车”的三个相关猜想,揭示了这些猜想仅在特定条件下成立而在一般情形下不成立。
本文研究了完全图绘制中平面结构的成因,证明了在相邻边不交叉或非相邻边最多交叉一次的条件下,大量不相交曲线是不可避免的,同时展示了如何构造所有曲线均相交的绘制方案,并分析了不同规则下平面结构的涌现特征。
该论文针对无人机空中交通管制中利用固定站点以最小能耗追踪移动目标的问题,从理论上证明了在恒定速度直线运动场景下无法在多项式时间内获得最优覆盖解,同时提出了一种基于几何洞察的算法,能够高效求解最小化峰值功耗的变体问题并实现实时运行。
本文研究了平面双色点集中四种顶点构成的单色几何结构的存在性,通过改进上下界,为 Erdős-Szekeres 类型几何组合问题中关于凸空单色四边形等长期未决猜想提供了新的几何洞察。
本文将单位圆盘图的几何修改操作从固定半径缩放推广至区间半径缩放,证明了该问题在多项式可识别图类中属于 XP 类,并针对团图、完全图和连通图分别给出了 NP 难且 FPT、多项式时间可解以及 W[1]-难的复杂性分类结果,从而回答了 Fomin 等人提出的开放问题并推广了相关硬度结论。
该论文提出了一种针对有界树宽复形上最优莫尔斯匹配问题的 $2^{O(k \log k)} n2^{o(k \log k)} n^{O(1)}$ 时间的算法,从而确定了该问题关于树宽参数的紧确复杂度。