论文部分内容阅读
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变形背包问题的算法推导过程,有效保证了算法程序的可靠性,并可将采用的推导方法在子集和问题、船装载等问题中加以推广应用.
3个变形背包问题的形式化推导
【摘 要】
：
在对0-1背包问题的若干变形问题进行深入研究的基础上,使用二进制数组的方式形式化描述了几种背包问题的程序规约,通过程序规约变换技术获取问题求解的递推关系,给出了3个变
【机 构】
：
江西师范大学计算机信息工程学院
【出 处】
：
江西师范大学学报：自然科学版
【发表日期】
：
2017年2期
【基金项目】
：
国家自然科学基金（61363013）资助项目
其他文献
本文从微观层面上，通过对绵阳市游仙区长明村农户生计资本状况的剖析，得出农户生计的可持续性在很大程度上取决于各种生计资本的整合运用和生计策略的选择，并为构建农户可持续生
很多人部因为曹植曾经说过“辞赋小道”而认为曹植对文学的重要性没有足够的认识，但这种观点与曹植在创作上的成绩相矛盾。事实上，曹植很重视文学的，他十分重视民间文学，学习继承
克里普克为了枇判弗雷格和罗素的名称摹状词理论提出了三粪论证，即模态论证、认识论的论证和语义的论证。一些人认为，唐纳兰关于限定摹状词的两种用法，即归属性用法和指称性用法
我国是统一的多民族的社会主义国家。汉语是我国各民族交流思想和文化的工具。新疆是以维吾尔族为主的多民族地区,为适应社会和经济发展的需要,培养大批兼通双语的少数民族建
获得准确的姿态角对于无人机的控制来说是十分重要的.考虑到平方根容积卡尔曼滤波算法(square-root cubature Kalman filter,SCKF),既能够克服扩展卡尔曼滤波(EKF)方法因线性
由南京工学院等七所工科院校主编,马文蔚、柯景风改编的《物理学》(1978年2月第1版、1981年第2版、1982年6月第一次印刷)是一套理工科院校普遍使用的普通物理教材。该书中册
简单回顾一些有关Caffarelli-Kohn-Nirenberg不等式相关方面的成果,并利用Emden-Fowler变换对特殊的CKN不等式∫RN｜u｜^p/｜x｜^p（1＋t）dx≤（p/（N-p-pt））^p∫RN｜▽u｜^p/｜x｜^ptdx,u∈Cc^∞（R^N／{0
根据几年来中学历史教师专科进修班的教学实践来看,对于进修的中学历史教师,不仅使他们学到一定的系统的历史知识,培养其分析历史问题的能力,而且更应该重视对他们的思想教育
<正> 社会主义初级阶段的理论是我们党首次提出的。它同马克思所设想的社会主义是有一定区别的。国外有些报刊说我们提出“社会主义初级阶段”是表示中国逐渐放弃马克思主义