https://zbmath.org/atom/cc/68W10 2024-04-15T15:10:58.286558Z Werkzeug公司 https://zbmath.org/1530.05049 2024-04-15T15:10:58.286558Z “库切拉，卢德克” https://zbmath.org/authors/？q=ai:kucera.ludek 摘要：给出了一个并行（CRCW PRAM）算法，用于求解从具有（n）个顶点的（k）-可着色图族中随机抽取的图的（k\）-着色，其中（k=log^{O（1）}n）。该算法的平均运行时间是恒定的，处理器的数量等于\（|V|+|E|\），其中\（|V |\）、\（|E |\）分别为。是顶点、边的数量。输入图形的。关于整个集合，请参见[Zbl 0825.00128]。 https://zbmath.org/1530.65190 2024-04-15T15:10:58.286558Z “通、阳、越” https://zbmath.org/authors/？q=ai:duong-短跑。 “永安，阮氏” https://zbmath.org/authors/？q=ai:vinh.nuyen-的 “秋，Yeol Je” https://zbmath.org/authors/？q=ai:cho.yeol-日本 介绍了求解单调变分不等式和Lipschitz连续变分不等式问题的两种新的迭代方法。第一种方法结合了惯性次梯度法和粘度法。第二种迭代方法将惯性次梯度法与Mann型方法耦合。给出了所提出算法在适当条件下的强收敛性定理。在数值实验的框架下与Maingé方法、Kraikaew和Saejung方法进行了比较，表明了新方法的优越性，特别是在计算时间方面。审查人：Dana Petcu（Timišoara） https://zbmath.org/1530.68147 2024-04-15T15:10:58.286558Z “天哪，埃里克” https://zbmath.org/authors/？q=ai:goles-查克埃里克 “佩德罗·蒙塔雷格里” https://zbmath.org/authors/？q=ai:montealegre.pedro “里奥斯·威尔逊，马丁” https://zbmath.org/authors/？q=ai:rios-威尔逊·马汀 “他们，纪尧姆” https://zbmath.org/authors/？q=ai:theyssier.guillaume 摘要：自动机网络是由实体组成的网络，每个实体都持有有限集的状态，并根据仅依赖于网络图中其邻居的本地更新规则进行进化。如果状态有一个顺序，使得任何节点的状态演化在任何轨道上都是非递减的，那就是冻结状态。它们通常用于模拟流行病传播、扩散现象，如自举渗流或晶体生长。本文建立了字母表大小、树宽和底层图的最大度是如何影响有限冻结自动机网络整体计算复杂性的关键参数。首先，我们定义了一个通用的规范检查问题，它捕获了许多经典的决策问题，如预测、幂零性、前导、异步可达性。然后，我们提出了一种快速并行算法，该算法解决了当三个参数有界时的一般问题，从而表明该问题在\textbf{NC}中。最后，我们从两个不同的角度表明，这些问题很难解决。首先，一般的问题是\textbf{W}[2]-当将树宽或字母表作为单个参数并修复其他参数时很难。其次，当经典问题局限于具有足够大树宽的图族时，它们在各自的类中是很困难的。整个系列见[Zbl 1482.68017]。 https://zbmath.org/1530.68198 2024-04-15T15:10:58.286558Z “常义军” https://zbmath.org/authors/？q=ai:chang.yi-六月 “曼努埃拉·菲舍尔” https://zbmath.org/authors/？q=ai:fischer.manuela网址 “Ghaffari，Mohsen” https://zbmath.org/authors/？q=ai:ghaffari.mohsen “Uitto，Jara” https://zbmath.org/authors/？q=ai:uitto.jara “郑宇凡” https://zbmath.org/authors/？q=ai:zheng.yufan https://zbmath.org/1530.68224 2024-04-15T15:10:58.286558Z “吴秀国” https://zbmath.org/authors/？q=ai:wu.xiugou （无摘要）