Enhancing Group Search with Graph Techniques

使用图技术增强群组搜索

基本信息

  • 批准号:
    EP/Y000609/1
  • 负责人:
  • 金额:
    $ 21.05万
  • 依托单位:
  • 依托单位国家:
    英国
  • 项目类别:
    Research Grant
  • 财政年份:
    2023
  • 资助国家:
    英国
  • 起止时间:
    2023 至 无数据
  • 项目状态:
    未结题

项目摘要

Group theory is a field in mathematics which investigates algebraic structures called groups, which can be used to describe the symmeties of any object. Thus, group theory has wide-reaching applications in virology, quantum computing, cyber security and communications theory. Groups are also used in finding and reducing symmetries within search problems, which is vital in modern Artificial Intelligence. So finding groups, their properties and computing fundamental group operations as fast as possible, is at the core of many UK world leading research areas and will have wide reaching impact in economic successes.There is an inherit circular improvement that will come from the research in algorithms in group theory, as one of the computational techniques used in finding subgroups, their properties or computing operations is a type of search algorithm itself. Thus, improving search in groups will improve the search for other applications as well.The current search techniques in groups are advanced but are still struggling with scaling issues. We are proposing to use search techniques commonly used in graph search problems and apply them to group theoretical search algorithms. Such techniques are(1) (learned) nogood clauses during search which then will inform further search steps, (2) restarting the search from the top at well defined intervals, and (3) using weighted orderings on the search decisions.We have found that using these techniques in graph problems sped up the search by at least two orders of magnitude. We expect the performance improvements to be the same or better across the board in group problems.Further, these techniques allow for a simple way of parallelising the current sequential algorithms, without the need to design/engineer a whole new algorithm. Speeding up algorithms which solve group problems and enabling them to be easily parallelisable will further impact applications such as virology, where group theory is used to describe the structural and geometrical properties of viruses.
群论是数学中的一个领域,它研究称为群的代数结构,它可以用来描述任何对象的对称性。因此,群论在病毒学、量子计算、网络安全和通信理论中有着广泛的应用。群还用于寻找和减少搜索问题中的对称性,这在现代人工智能中是至关重要的。因此,尽快发现群及其性质并计算基本的群运算,是许多英国世界领先的研究领域的核心,并将对经济成功产生广泛的影响。群论中的算法研究将带来继承的循环改进,因为寻找子群的计算技术之一,其性质或计算运算本身就是一种搜索算法。因此,改进分组搜索也将提高对其他应用程序的搜索。目前的分组搜索技术是先进的,但仍在为扩展问题而苦苦挣扎。我们建议使用图搜索问题中常用的搜索技术,并将其应用于分组理论搜索算法。这些技巧是(1)(习得的)搜索过程中的不好的子句,然后将通知进一步的搜索步骤,(2)以明确定义的间隔从顶部重新开始搜索,以及(3)对搜索决策使用加权排序。我们发现,在图问题中使用这些技术可以将搜索速度加快至少两个数量级。我们预计,在群体问题中,性能的提高将是相同的或更好的。此外,这些技术允许以一种简单的方式并行化当前的顺序算法,而不需要设计/设计全新的算法。加速解决群体问题的算法,使它们能够很容易地并行化,将进一步影响病毒学等应用,在病毒学中,群体理论被用来描述病毒的结构和几何特性。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Ruth Hoffmann其他文献

Correlation between calmodulin-dependent increase in the rate of calcium transport and calmodulin-dependent phosphorylation of cardiac sarcoplasmic reticulum. Characterization of calmodulin-dependent phosphorylation.
钙调素依赖性钙转运速率增加与钙调素依赖性心脏肌浆网磷酸化之间的相关性。
  • DOI:
  • 发表时间:
    1983
  • 期刊:
  • 影响因子:
    0
  • 作者:
    B. Plank;Christian Pifl;G. Hellmann;W. Wyskovsky;Ruth Hoffmann;J. Suko
  • 通讯作者:
    J. Suko
Zur Capillarresistenzbestimmung an der Bindehaut des Auges
Geoelektrische Messungen zur Bestimmung von Grundwasserfließrichtungen und -geschwindigkeiten
  • DOI:
    10.1007/s00767-004-0045-8
  • 发表时间:
    2004-09-01
  • 期刊:
  • 影响因子:
    1.300
  • 作者:
    Ruth Hoffmann;Peter Dietrich
  • 通讯作者:
    Peter Dietrich
Memory Consistency Models using Constraints
使用约束的内存一致性模型
  • DOI:
  • 发表时间:
    2018
  • 期刊:
  • 影响因子:
    0
  • 作者:
    Ruth Hoffmann;Ozgur Akgun;Susmit Sarkar
  • 通讯作者:
    Susmit Sarkar
Collaborative models for autonomous systems controller synthesis
自主系统控制器综合的协作模型
  • DOI:
    10.1007/s00165-020-00508-1
  • 发表时间:
    2020
  • 期刊:
  • 影响因子:
    1
  • 作者:
    Douglas Fraser;R. Giaquinta;Ruth Hoffmann;Murray L. Ireland;Alice Miller;G. Norman
  • 通讯作者:
    G. Norman

Ruth Hoffmann的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

相似国自然基金

分泌蛋白IGFBP2在儿童Group3/Group4型髓母细胞瘤恶性进展中的作用与机制研究
  • 批准号:
  • 批准年份:
    2022
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
大兴安岭火山湖Group I长链烯酮冷季节温标研究与过去2000年温度定量重建
  • 批准号:
    42073070
  • 批准年份:
    2020
  • 资助金额:
    61 万元
  • 项目类别:
    面上项目
近海沉积物中Marine Group I古菌新类群的发现、培养及其驱动碳氮循环的机制
  • 批准号:
    92051115
  • 批准年份:
    2020
  • 资助金额:
    81.0 万元
  • 项目类别:
    重大研究计划
MicroRNA靶向的漆酶基因及其所在Group 1 亚家族成员 调控水稻产量性状的功能机制
  • 批准号:
  • 批准年份:
    2019
  • 资助金额:
    257 万元
  • 项目类别:
超级增强子驱动的核心转录调控环路在Group_3亚型髓母细胞瘤的发病和治疗中的作用和机制
  • 批准号:
    81972646
  • 批准年份:
    2019
  • 资助金额:
    55.0 万元
  • 项目类别:
    面上项目
东北地区火山湖GroupⅠ类型的长链烯酮研究及其不饱和度温标的应用
  • 批准号:
    41702187
  • 批准年份:
    2017
  • 资助金额:
    26.0 万元
  • 项目类别:
    青年科学基金项目
中国源毕氏肠微孢子虫group 2基因型人兽共患特征的研究
  • 批准号:
    31502055
  • 批准年份:
    2015
  • 资助金额:
    21.0 万元
  • 项目类别:
    青年科学基金项目
人源Group IIE分泌型磷脂酶A2蛋白的结构生物学研究
  • 批准号:
    31300670
  • 批准年份:
    2013
  • 资助金额:
    22.0 万元
  • 项目类别:
    青年科学基金项目
连锁群选育法(Linkage Group Selection)在柔嫩艾美耳球虫表型相关基因研究中应用
  • 批准号:
    30700601
  • 批准年份:
    2007
  • 资助金额:
    17.0 万元
  • 项目类别:
    青年科学基金项目
原核生物基因内含子-group II intron 的研究
  • 批准号:
    30770463
  • 批准年份:
    2007
  • 资助金额:
    30.0 万元
  • 项目类别:
    面上项目

相似海外基金

A Search for Gravitational Radiation at LIGO: Oregon Experimental Relativity Group
在 LIGO 寻找引力辐射:俄勒冈实验相对论小组
  • 批准号:
    1607336
  • 财政年份:
    2016
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Continuing Grant
A Search for Gravitational Radiation at LIGO: Oregon Experimental Relativity Group
在 LIGO 寻找引力辐射:俄勒冈实验相对论小组
  • 批准号:
    1307401
  • 财政年份:
    2013
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Continuing Grant
Genetic analysis and virulence gene search of Bacillus cereus group bacteria isolated in Japan
日本分离蜡样芽孢杆菌群细菌的遗传分析及毒力基因检索
  • 批准号:
    25460556
  • 财政年份:
    2013
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
A Search for Gravitational Radiation at LIGO: Oregon Experimental Relativity Group
在 LIGO 寻找引力辐射:俄勒冈实验相对论小组
  • 批准号:
    1205952
  • 财政年份:
    2012
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Standard Grant
Fossils of Reionization: The Search for the Most Metal-Poor Stars in the Local Group
再电离化石:寻找本星系群中最贫金属的恒星
  • 批准号:
    1108811
  • 财政年份:
    2011
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Standard Grant
Reaction Search and Function Development for the Unsaturated Bonding Systems between Transition Metals and Heavier Group 14 Elements
过渡金属与较重第 14 族元素之间的不饱和键合体系的反应搜索和功能开发
  • 批准号:
    22350024
  • 财政年份:
    2010
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
Collaborative research: Theoretical and experimental approaches to search problems in group theory
协作研究:群论中搜索问题的理论和实验方法
  • 批准号:
    0914773
  • 财政年份:
    2009
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Standard Grant
A Search for Gravitational Radiation at LIGO: Oregon Experimental Relativity Group
在 LIGO 寻找引力辐射:俄勒冈实验相对论小组
  • 批准号:
    0855686
  • 财政年份:
    2009
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Standard Grant
Collaborative Research: Theoretical and experimental approaches to search problems in group theory
协作研究:群论中搜索问题的理论和实验方法
  • 批准号:
    0914778
  • 财政年份:
    2009
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Standard Grant
A Search for Gravitational Radiation at LIGO: Oregon Experimental Relativity Group
在 LIGO 寻找引力辐射:俄勒冈实验相对论小组
  • 批准号:
    0555985
  • 财政年份:
    2006
  • 资助金额:
    $ 21.05万
  • 项目类别:
    Continuing Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了