|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|序列折半划分问题的形式化推导

序列折半划分问题的形式化推导

左正康 梁赞杨 苏崴 黄箐 王渊 王昌晶

计算机工程与科学2022，Vol.44Issue(6)：1063-1071,9.
✕
计算机工程与科学2022，Vol.44Issue(6)：1063-1071,9.DOI:10.3969/j.issn.1007-130X.2022.06.014

序列折半划分问题的形式化推导

Formal derivation of the sequence dimidiate partition problem

左正康 1梁赞杨 1苏崴 1黄箐 1王渊 2王昌晶1

作者信息

  • 1. 江西师范大学计算机信息工程学院,江西 南昌 330022
  • 2. 江西师范大学软件学院,江西 南昌 330022
  • 折叠

摘要

关键词

折半划分/形式化推导/分划递推/程序求精

分类

信息技术与安全科学

引用本文复制引用

左正康,梁赞杨,苏崴,黄箐,王渊,王昌晶..序列折半划分问题的形式化推导[J].计算机工程与科学,2022,44(6):1063-1071,9.

基金项目

国家自然科学基金(61862033,61902162) （61862033,61902162）

江西省自然科学基金(20202BABL202026,20202BABL202025,20202BAB202015) （20202BABL202026,20202BABL202025,20202BAB202015）

江西省教育厅科学技术重点研究项目(GJJ210307) （GJJ210307）

计算机工程与科学

OA北大核心CSCDCSTPCD

1007-130X

访问量0
|
下载量0
段落导航相关论文