Model-Equivalent Reductions

机译：模型等效约简

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

In this paper, the notions of polynomial-time model equivalent reduction and polynomial-space model equivalent reduction are introduced in order to investigate in a subtle way the expressive power of different theories. We compare according to these notions some classes of propositional formulas and quantified Boolean formulas. Our results show that classes of theories with the same complexity might have different representation strength under some conjectures which are widely believed to be true in computation complexity theory.

机译：本文介绍了多项式时间模型当量约简和多项式空间模型当量约简的概念，以巧妙地研究不同理论的表达力。根据这些概念，我们比较了几类命题公式和量化的布尔公式。我们的结果表明，在某些猜想下，具有相同复杂度的理论类别可能具有不同的表示强度，这在计算复杂度理论中被普遍认为是正确的。

著录项

来源
《International Conference on Theory and Applications of Satisfiability Testing(SAT 2005); 20050619-23; St Andrews(GB)》|2005年|P.355-370|共16页
会议地点 St Andrews(GB)
作者
Xishun Zhao; Hans Kleine Buening;
展开▼
作者单位

Institute of Logic and Cognition, Sun Yat-sen University, 510275 Guangzhou, P.R. China;

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类计算数学;理论、方法;
关键词

相似文献

外文文献
中文文献
专利

1. Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction [J] . Xi-Shun Zhao, Yu-Ping Shen Journal of Computer Science & Technology . 2007,第4期

机译：基于模型等效约简的逻辑逻辑程序语义比较
2. Comparison of Semantics of Disjunctive Logic Programs Based on Model-Equivalent Reduction [J] . Xi-Shun Zhao, Yu-Ping Shen 计算机科学技术学报（英文版） . 2007,第004期

机译：基于等价模型归约的逻辑逻辑程序语义比较
3. Scientific Opinion on the substantiation of health claims related to very low calorie diets (VLCDs) and reduction in body weight (ID 1410), reduction in the sense of hunger (ID 1411), reduction in body fat mass while maintaining lean body mass (ID 1412), reduction of post‐prandial glycaemic responses (ID 1414), and maintenance of normal blood lipid profile (1421) pursuant to Article 13(1) of Regulation (EC) No 1924/2006 [J] . EFSA Journal . 2011,第6期

机译：关于证实与低热量饮食（VLCD）和体重减轻（ID 1410），饥饿感（ID 1411），减轻体脂同时保持瘦体重（ID）有关的健康主张的科学意见1412），降低餐后血糖反应（ID 1414）和维持正常血脂状况（1421），符合（EC）1924/2006号法规第13（1）条的规定
4. Model-Equivalent Reductions [C] . Xishun Zhao, Hans Kleine Buening International Conference on Theory and Applications of Satisfiability Testing . 2005

机译：模型等效减少
5. Correlation Between Body Pigment Reduction and Eye Reduction in Subterranean Fish and Crustaceans [D] . Farley, Josiah. 2021

机译：地下鱼类和甲壳类动物身体色素减少和眼睛减少的相关性
6. Reduction and functional outcome of open reduction plate fixation versus minimally invasive reduction with percutaneous screw fixation for displaced calcaneus fracture: a retrospective study [O] . Ye Peng, Jianheng Liu, Gongzi Zhang, 2019

机译：切开复位钢板固定与经皮螺钉固定微创复位治疗跟骨移位的复位效果比较：一项回顾性研究
7. EFSA Panel on Dietetic Products, Nutrition and Allergies (NDA); Scientific Opinion on the substantiation of health claims related to very low calorie diets (VLCDs) and reduction in body weight (ID 1410), reduction in the sense of hunger (ID 1411), reduction in body fat mass while maintaining lean body mass (ID 1412), reduction of post-prandial glycaemic responses (ID 1414), and maintenance of a normal blood lipid profile (1421) pursuant to Article 13(1) of Regulation (EC) No 1924/2006 [O] . Tetens Inge 2011

机译：EFsa饮食产品，营养和过敏专家组（NDa）;关于证实与极低热量饮食（VLCDs）和体重减轻（ID 1410），减少饥饿感（ID 1411），减少体脂肪量同时保持瘦体重（ID 14）有关的健康声明的科学意见1412），根据法规（EC）No 1924/2006第13（1）条减少餐后血糖反应（ID 1414），维持正常血脂（1421）

Model-Equivalent Reductions

摘要

著录项

相似文献

相关主题

期刊订阅