A NEW METHOD FOR PROVING LOWER BOUNDS IN THE MODEL OF ALGEBRAIC DECISION TREES

被引：0

|

作者：

UNGER, K

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1990年 / 464卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：271 / 277

页数：7

相关论文

共 50 条

[31] Lower bound on testing membership to a polyhedron by algebraic decision and computation trees
D. Grigoriev
M. Karpinski
N. Vorobjov
Discrete & Computational Geometry, 1997, 17 : 191 - 215
[32] Average-case lower bounds for noisy Boolean decision trees
Evans, W
Pippenger, N
SIAM JOURNAL ON COMPUTING, 1998, 28 (02) : 433 - 446
[33] Lower Bounds for Linear Decision Trees via an Energy Complexity Argument
Uchizawa, Kei
Takimoto, Eiji
MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 568 - 579
[34] A NEW METHOD FOR ESTABLISHING AND PROVING ACCURATE BOUNDS FOR THE WALLIS RATIO
Mortici, Cristinel
MATHEMATICAL INEQUALITIES & APPLICATIONS, 2010, 13 (04): : 803 - 815
[35] A new method of proving a priori bounds for superlinear elliptic PDE
Sirakov, Boyan
JOURNAL DE MATHEMATIQUES PURES ET APPLIQUEES, 2020, 141 : 184 - 194
[36] A UNIFORM METHOD FOR PROVING LOWER BOUNDS ON THE COMPUTATIONAL-COMPLEXITY OF LOGICAL THEORIES
COMPTON, KJ
HENSON, CW
ANNALS OF PURE AND APPLIED LOGIC, 1990, 48 (01) : 1 - 79
[37] ONE MORE METHOD FOR PROVING LOWER BOUNDS ON THE FORMULA COMPLEXITY OF BOOLEAN FUNCTIONS
STETSENKO, VA
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 379 : 503 - 510
[38] T-BOUNDED CONCATENATION, A UNIFORM METHOD FOR PROVING LOWER COMPLEXITY BOUNDS
FLEISCHMANN, K
MAHR, B
SIEFKES, D
JOURNAL OF SYMBOLIC LOGIC, 1977, 42 (03) : 449 - 449
[39] Large Deviation Bounds for Decision Trees and Sampling Lower Bounds for AC0-circuits
Beck, Chris
Impagliazzo, Russell
Lovett, Shachar
2012 IEEE 53RD ANNUAL SYMPOSIUM ON FOUNDATIONS OF COMPUTER SCIENCE (FOCS), 2012, : 101 - 110
[40] On methods for proving lower bounds in propositional logic
Krajicek, J
LOGIC AND SCIENTIFIC METHODS: VOLUME ONE OF THE TENTH INTERNATIONAL CONGRESS OF LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE, FLORENCE, AUGUST 1995, 1997, 259 : 69 - 83

← 1 2 3 4 5 →