图及布尔函数的判定树复杂性研究
基本信息
批准号：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.11918/j.issn.0367-6234.201804030
发表时间：2019
2
基于FTA-BN模型的页岩气井口装置失效概率分析
基于FTA-BN模型的页岩气井口装置失效概率分析
DOI：10.16265/j.cnki.issn1003-3033.2019.04.015
发表时间：2019
3
基于协同表示的图嵌入鉴别分析在人脸识别中的应用
基于协同表示的图嵌入鉴别分析在人脸识别中的应用
DOI：10.3724/sp.j.1089.2022.19009
发表时间：2022
4
CT影像组学对肾上腺乏脂腺瘤与结节样增生的诊断价值
CT影像组学对肾上腺乏脂腺瘤与结节样增生的诊断价值
DOI：
发表时间：2022
5
金属锆织构的标准极图计算及分析
金属锆织构的标准极图计算及分析
DOI：10.16112/j.cnki.53-1223/n.2019.02.003
发表时间：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
项目类别：面上项目