A characterization of tree-like Resolution size
نویسندگان
چکیده
منابع مشابه
A characterization of tree-like Resolution size
We explain an asymmetric Prover-Delayer game which precisely characterizes proof size in treelike Resolution. This game was previously described in a parameterized complexity context to show lower bounds for parameterized formulas [BGL11] and for the classical pigeonhole principle [BGL10]. The main point of this note is to show that the asymmetric game in fact characterizes tree-like Resolution...
متن کاملA Characterization of Tree-Like Resolution SizeI
We explain an asymmetric Prover-Delayer game which precisely characterizes proof size in tree-like Resolution. This game was previously described in a parameterized complexity context to show lower bounds for parameterized formulas [BGL13] and for the classical pigeonhole principle [BGL10]. The main point of this note is to show that the asymmetric game in fact characterizes tree-like Resolutio...
متن کاملA Game Characterisation of Tree-like Q-resolution Size
Article history: Received 25 June 2015 Received in revised form 6 October 2016 Accepted 27 November 2016 Available online xxxx
متن کاملThe Strength of Parameterized Tree-like Resolution
We examine the proof-theoretic strength of parameterized tree-like resolution—a proof system for the coW[2]complete set of parameterized tautologies. Parameterized resolution and, moreover, a general framework for parameterized proof complexity was introduced by Dantchev, Martin, and Szeider (FOCS’07). In that paper, Dantchev et al. show a complexity gap in parameterized tree-like resolution fo...
متن کاملPARTICLE SIZE CHARACTERIZATION OF NANOPARTICLES – A PRACTICALAPPROACH
Abstract: Most properties of nanoparticles are size-dependent. In fact, the novel properties of nanoaprticles do not prevail until the size has been reduced to the nanometer scale. The particle size and size distribution of alumina nanoparticle, as a critical properties, have been determined by transmission electron microscopy (TEM), photon correlation spectroscopy (PCS), surface area analysis ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information Processing Letters
سال: 2013
ISSN: 0020-0190
DOI: 10.1016/j.ipl.2013.06.002