图及布尔函数的判定树复杂性研究
基本信息
批准号：10171095
项目类别：面上项目
资助金额：13.00
负责人：高随祥
学科分类：
依托单位：中国科学院大学
批准年份：2001
结题年份：2004
起止时间：2002-01-01 - 2004-12-31
项目状态： 已结题
项目参与者：杨德庄,尹红霞
关键词：
图布尔函数判定树复杂性
结项摘要
..本.课.题.研.究.图.性.质.和.布尔函数.的.判.定.树.复.杂.性.理.论.。.我.们.将.运.用.代.数.拓.扑.及.置.换.群.理.论.等.数.学.工.具.来.研.究.判定树复杂性.，.建.立.新.的.、.有.效.的.途.经.和.理.论.框.架.，.推.进.该.领.域.两.个.悬.而.未.决.的.重.要.猜.想.的.解.决.，.确.定.一.些.重.要.的.图.性.质.和.布.尔.函.数.的.判.定.树.复.杂.性.。.同.时.，.解.决.一.批.有.关.的.公.开.问.题.。............
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
复杂系统科学研究进展
复杂系统科学研究进展
DOI：10.12202/j.0476-0301.2022178
发表时间：2022
2
基于多色集合理论的医院异常工作流处理建模
基于多色集合理论的医院异常工作流处理建模
DOI：
发表时间：2020
3
基于MCPF算法的列车组合定位应用研究
基于MCPF算法的列车组合定位应用研究
DOI：
发表时间：2016
4
基于直观图的三支概念获取及属性特征分析
基于直观图的三支概念获取及属性特征分析
DOI：10.3778/j.issn.1673-9418.2104120
发表时间：
5
“阶跃式”滑坡突变预测与核心因子提取的平衡集成树模型
“阶跃式”滑坡突变预测与核心因子提取的平衡集成树模型
DOI：10.16031/j.cnki.issn.1003-8035.2019.05.04
发表时间：2019
高随祥的其他基金
批准号：10671204
批准年份：2006
资助金额：18.00
项目类别：面上项目
相似国自然基金
1
布尔函数判定树复杂性的理论与方法
批准号：10671204
批准年份：2006
负责人：高随祥
学科分类：A0410
资助金额：18.00
项目类别：面上项目
2
布尔可满足性算法和单调布尔函数的复杂性
批准号：61502300
批准年份：2015
负责人：Dominik Scheder
学科分类：F0201
资助金额：21.00
项目类别：青年科学基金项目
3
并发程序复杂性度量和树图算法复杂性分析
批准号：69343001
批准年份：1993
负责人：王振宇
学科分类：F0202
资助金额：4.00
项目类别：专项基金项目
4
树图算法的复杂性分析和程序的复杂性度量
批准号：68773008
批准年份：1987
负责人：王振宇
学科分类：F0201
资助金额：2.00
项目类别：面上项目