踪迹

图的正则标号中的搜索空间收缩研究了图的正则标号和自同构群的个性化求精范式。介绍了一种新的算法设计,旨在减少相关搜索空间的大小,并提出了一种新的工具,称为“痕迹”,连同实验结果和与现有软件,如McKay的“NUTY”的比较。结果表明,这里提出的方法导致搜索空间的巨大减少,从而使计算对于几类图形是可行的,这对于文献中的所有主要规范标记工具都是困难的。


ZBMaX中的参考文献(99篇)1标准条款

显示结果1至20的99。
按年份排序(引文
  1. Chudnovsky,玛丽亚;Goedgebeur,简;施考特,奥利弗;钟,明仙:六个顶点上没有诱导路径的三个着色图的障碍(2020)
  2. 达南,Eiran;Falcn,R.L.M.;KaTaLa,达尼;马尔巴赫,Trent G.;石头,Rebecca J.:计算部分拉丁矩形自变性群的精炼不变量(2020)
  3. 欧斯金,GrHaMe.GrigsS,Try;Ir Ar,Joeff:关于块大小为3(2020)的对称配置的上嵌入
  4. Ghorbani,Ebrahim;Kamali,萨拉;克什洛夫沙希,Gholamreza B.;Krotov,丹尼斯:论交易量和仿射类型(2020)
  5. Junttila,Tommi;Karppa,Matti;Kaski,Petteri;Kohonen,尤卡:一种对称前缀的自适应前缀分配技术(2020)
  6. Abrosimov,MikHa BulISOVICH;Kamil,Ikhab AAbdzhuldzhabbar Kamil;Lobov,Aleksandr Andreevich:用正则表示法构造图的所有非同构最小顶点扩张(2019)
  7. 爱科技、N、ZG、伊恩、基塔耶夫、谢尔盖、赞塔玛、汉斯:Word可表示图理论中的计算问题求解(2019)
  8. Atserias、艾伯特、曼·因斯卡、劳拉、罗伯逊、David E.、阿玛尔、罗伯特、塞维尼、Simone、瓦尔维西奥提斯、安东尼奥斯:量子与非信号图同构(2019)
  9. Bachmeier,格奥尔;勃兰特,菲利克斯;盖斯特,克里斯汀;哈伦斯坦,保罗;Kardel,KeVAN;彼得斯,彼得斯;SeigDy,(k)-多数有向图和投票人数的坚韧性(2019)
  10. Bohn,亚当;法恩莎,尤里;菲奥里尼,塞缪尔;Fisikopoulos,VISARION;麦基亚,马珂;Pashkovich,Pashkovich:2级多面体的计数(2019)
  11. 勃兰特,马德琳;狄金森,威廉;Ellsworth,AnnaVictoria;肯克尔,珍妮佛;史米斯,汉森:平平环面上两到四个相等圆的最优填充(2019)
  12. 布劳沃,Andries E.;Poalk,Sven C.:半定规划码的唯一性(2019)
  13. Bukoac,佐伊;Farr,格雷厄姆;摩根,Kerri:色等价的短证书(2019)
  14. CoDead,米迦勒;Miller,爱丽丝;普罗瑟,帕特里克;StutKy,Peter J.:图表示中对称破缺的约束(2019)
  15. Dawar,Anuj;可汗,卡希夫:构造图同构的硬例子(2019)
  16. DyBiBasi-Sk.Jaunz;NeNCA,安娜:笛卡尔积的方向色数和路的强乘积(2019)
  17. El Shanhans,Andreas Stephan;KLüsNes,JürGe:数域的子域及其在伽罗瓦群计算中的应用(2019)
  18. Geyer、Andrew J.、BulutGoLu、Dursun A.、赖安、Kenneth J.:求等式约束的Lp的对称群及其在正交表分类中的应用(2019)
  19. GoeGeBeUr,J.MaaajaVaa.,EdITa;Koviaa,马丁:具有奇数4和循环连接性4的最小SNARs具有顺序44(2019)。
  20. GoeGeebe,J.;Ozeki,小林建太;Van Cleemput,尼可;Wiener,GaBor:三次图的最小叶数(2019)