scholarly journals Isoperimetric Functions of Groups and Computational Complexity of the Word Problem

2002 ◽  
Vol 156 (2) ◽  
pp. 467 ◽  
Author(s):  
J.-C. Birget ◽  
A. Yu Ol'shanskii ◽  
E. Rips ◽  
M. V. Sapir
Keyword(s):  
Computational Complexity ◽  
Word Problem ◽  
Isoperimetric Functions

scholarly journals FUNCTIONS ON GROUPS AND COMPUTATIONAL COMPLEXITY

2004 ◽  
Vol 14 (04) ◽  
pp. 409-429 ◽  
Author(s):  
JEAN-CAMILLE BIRGET
Keyword(s):  
Computational Complexity ◽  
Symmetric Space ◽  
Word Problem ◽  
Exponential Inequality ◽  
Isoperimetric Function ◽  
Length Functions ◽  
Finitely Presented Groups ◽  
Double Exponential ◽  
Context Free ◽  
Finitely Presented

We give some connections between various functions defined on finitely presented groups (isoperimetric, isodiametric, Todd–Coxeter radius, filling length functions, etc.), and we study the relation between those functions and the computational complexity of the word problem (deterministic time, nondeterministic time, symmetric space). We show that the isoperimetric function can always be linearly decreased (unless it is the identity map). We present a new proof of the Double Exponential Inequality, based on context-free languages.

scholarly journals Computational complexity of the word problem in modal algebras

2021 ◽  
pp. 5-17
Author(s):  
Михаил Николаевич Рыбаков
Keyword(s):  
Computational Complexity ◽  
Word Problem ◽  
Complexity Class ◽  
Complete Problem ◽  
Modal Algebras

Приводится доказательство $\mathrm{PSPACE}$-полноты проблемы равенства слов в классе всех нуль-порождённых модальных алгебр, или, эквивалентно, проблемы равенства константных слов в классе всех модальных алгебр. Также рассматривается вопрос о сложности равенства слов в произвольном многообразии модальных алгебр. Доказывается, что уже проблема равенства константных слов в многообразии модальных алгебр может быть сколь угодно трудной (включая как классы сложности, так и степени неразрешимости). Показано, как построить соответствующие многообразия. The paper deals with the word problem for modal algebras. It is proved that, for the variety of all modal algebras, the word problem is $\mathrm{PSPACE}$-complete if only constant modal terms or only $0$-generated modal algebras are considered. We also consider the word problem for different varieties of modal algebras. It is proved that the word problem for a variety of modal algebras can be $C$-hard, for any complexity class or unsolvability degree $C$ containing a $C$-complete problem. It is shown how to construct such varieties.

Bipolar Abstract Argumentation with Dual Attacks and Supports

2020 ◽  
Author(s):  
Nico Potyka
Keyword(s):  
Computational Complexity ◽  
Decision Problems ◽  
Abstract Argumentation ◽  
Stable Semantics ◽  
Support Relations ◽  
Support Relationships ◽  
Computational Properties ◽  
Inherent Tendency

Bipolar abstract argumentation frameworks allow modeling decision problems by defining pro and contra arguments and their relationships. In some popular bipolar frameworks, there is an inherent tendency to favor either attack or support relationships. However, for some applications, it seems sensible to treat attack and support equally. Roughly speaking, turning an attack edge into a support edge, should just invert its meaning. We look at a recently introduced bipolar argumentation semantics and two novel alternatives and discuss their semantical and computational properties. Interestingly, the two novel semantics correspond to stable semantics if no support relations are present and maintain the computational complexity of stable semantics in general bipolar frameworks.

Sign in / Sign up

Export Citation Format

Share Document