Generalized Hex and logical characterizations of polynomial space

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalized Hex and Logical Characterizations of Polynomial Space We Consider a Particular Logical Characterization of the Complexity Class Pspace Using Rst-order Logic, with a Built-in Successor Relation, Extended

We answer a question posed by Makowsky and Pnueli and show that the logic (HEX) FO s ], where HEX is the operator (i.e., uniform sequence of Lindstrr om quantiiers) corresponding to the well-known PSPACE-complete decision problem Generalized Hex, collapses to the fragment HEX 1 FO s ] and, moreover, that this logic has a particular normal form which results in the problem HEX being complete for...

متن کامل

Characterizations of Certain Marshall-Olkin Generalized Distributions

Several characterizations of Marshall-Olkin generalized distributions, introduced by Gui (2013) and by Al-Saiari et al. (2014) are presented. These characterizations are based on: (i) a simple relationship between two truncated moments ; (ii) the hazard function.

متن کامل

Logical and Algebraic Characterizations of Rational Transductions

Rational word languages can be defined by several equivalent means: finite state automata, rational expressions, finite congruences, or monadic second-order (MSO) logic. The robust subclass of aperiodic languages is defined by: counter-free automata, star-free expressions, aperiodic (finite) congruences, or first-order (FO) logic. In particular, their algebraic characterization by aperiodic con...

متن کامل

Characterizations of Generalized Quadrangles by Generalized Homologies

Let S= (P, B, I) be a generalized quadrangle of order (s, t). For X, y E P, X+ y. let X(x, y) be the group of all collineations of S fixing x and y linewise. If ZE (4 YJL> then the set of all points incident with the line xz (resp. y;) is denoted by z(resp. 3. The generalized quadrangle S = (P, B, I) is said to be (x, y)-transitive, x+ y, if X(x, y) is transitive on each set Z{x, z} and jZ’-{ y...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Information Processing Letters

سال: 1997

ISSN: 0020-0190

DOI: 10.1016/s0020-0190(97)00116-6