团组其他

成员姓名、

学院或

部门、

职称、职务

郭龙坤、数学与计算机科学学院、副教授

出访国家

或地区

日本

出访任务

（会议中、

英文名称）

参加第15届计算模型理论与应用年会（TAMC2019）

具体

日程

安排

2019. 04.12  18:10从上海乘坐MU531航班20:50到达日本福冈机场；

2019. 04.13  上午：会议报到+ 注册+欢迎会；

2019. 04.13  下午：参加研讨会+论文发表；

2019. 04.14  上午：会议注册+参与重要事项发表流程；

2019. 04.14  下午：参加论文发表+ 研讨会；

2019. 04.15  上午：会议报到+论文发表+研讨会；

2019. 04.15  下午：论文发表+参加晚宴+乘坐巴士回程；

2019. 04.16  上午：会议报到+论文发表+研讨会；

2019. 04.16  下午：大会结束，17:30会议闭幕式；

2019. 04.17  09:45前往日本福冈机场乘坐MU532航班10:40回到上海。

往返航线

从福州乘坐FM9206航班，前往上海乘坐MU531航班中转至日本福冈机场；

返回由日本福冈机场乘坐MU532航班，前往上海乘坐MU5631航班中转返回福州。

本次出访

经费来源

（须写明该经费的项目名称和经费卡号，卡号含部门编号和项目编号，编号之间用“—”隔开）

不相交QoS路径的理论与应用 0030-83417060

本次出访费用估值

（元人民币/团组，

申请人估算）

25000

邀请

单位

简介

TAMC是计算理论领域有重要国际影响的学术会议，吸引着全世界所有计算理论领域的研究人员。

计算模型理论与应用会议（TAMC）是在中国自然科学基金委员会重大国际合作项目《计算的模型、理论和应用中的新方向》（2003年8月—2006年7月）的基础上发起的国际会议。该会议从2004年起每年举办一次，主要内容涉及计算复杂性理论、算法与数据结构、计算几何、计算博弈论、图论、算法代数学、数论和编码理论等计算理论领域的重要研究内容。

出访人员名单（含领队）

郭龙坤

出访国家（地区）

日本

实际

出访时间

2019年4月13日

至2019年4月16日

实际出访路线

福州->广州->上海->日本北九州->上海->福州

出访任务

在TAMC2019会议上报告题为“On the Complexity of and Algorithms for Min-Max Target Coverage On a Line Boundary”的研究论文

出

访

成

果

报

告

出访的主要成果为在TAMC2019(The 15th Annual Conference on Theory and Applications of Models of Computation)会议上做所发表论文的学术报告，以及听取学术报告并作交流。具体如下(2019/4/13-2019/4/16)：

2019/4/13: 到达日本北九州。

2019/4/14上午: 在北九州国际会议中心听取学习大会主题报告由Maya Dimitrova 带来的 “Disruptive Innovation Based Schools – Are They Possible?”以及由Masahiro Inuiguchi 带来的“Rough Set Approaches to Data Mining”，和Aakash Agrawal等人带来的“Battery Scheduling Problem”和一系列报告等， 参加workshop与poster section讨论，并与参会专家交流。

2019/4/14下午: 听取并学习了由Anthony Bonato and Shahin Kamali 带来的“Approximation Algorithms for Graph Burning”，Thach V. Bui 带来的“Sublinear Decoding Schemes for Non-adaptive Group Testing with Inhibitors”等section的报告，并基于我们所发表论文做题为“On the Complexity of and Algorithms for Min-Max Target Coverage On a Line Boundary”的学术报告。

该报告的主要内容为覆盖线栅栏上的所有目标找到移动传感器初始位置的一种分布方案。为了平衡能量消耗，我们研究了最小最大线障碍目标覆盖(LBTC)问题，该问题的目标是使传感器从原始位置到最终位置的最大运动距离最小化。我们首先证明了当传感器半径为非均匀整数时，即使是一维LBTC (1D-LBTC)这种传感器分布在线段而不是平面上的特殊情况也是NP困难的。这个复杂性结果很有趣，因为覆盖给定线段而不是POIs的LBTC的连续版本是已知多项式可解的问题。在此基础上，通过求解LBTC的决策版本，提出了一种基于均匀半径传感器的LBTC算法。我们证明了我们的算法总是在O(mn(logm+log n))到LBTC的时间范围内找到一个最优解，其中m和n是POIs和传感器的个数。我们的成果引起了与会者的关注，并与多名与会者进行了热烈的讨论。通过这次出行与会议报告，我们在一定程度上增加了在计算机主流理论会议的曝光率，也增加了在计算机领域的影响力与认可度。

在上述参会活动中，通过学术研讨与学术社交，我们初步建立了与北京航空航天大学、新加波南洋理工大学、东京大学等国内外著名大学的同行研究团队之间的联系，并预期将在今后进一步加强这些联系。

2019/4/15: 在北九州国际会议中心听取学习大会主题报告由Akihiro Yamamoto 带来的“Approach to Machine Learning without Neural Networks”以及由Laszlo T. Koczy 带来的“Fuzzy Cognitive Maps in Modelling Real Life Problems”，和 Akitoshi Kawamura等人带来的“Second-Order Linear-Time Computability with Applications to Computable Analysis” 和一系列报告等，并与参会专家交流。

2019/4/16：在北九州国际会议中心听取学习大会主题报告由Angsheng Li 带来的“Structural Information Theory and Its Applications”以及由Dr. T V Gopal带来的“Unconventional Proving Techniques in Cyber – Physical Systems” 和一系列报告等，参加workshop，并与参会专家交流。

该团组已进行事后公示。（对外处公章）　　　　　　　　　　　　　（领队签字）

年    月    日

遵守外事纪律情况（含意见和建议等）：严格遵守外事纪律。