中文
相关论文

相关论文: The complexity of the Structure and Classification…

200 篇论文

By analogy with the invariant Q-category defined by Scheerer, Stanley and Tanr\'e, we introduce the notions of Q-sectional category and Q-topological complexity. We establish several properties of these invariants. We also obtain a formula…

代数拓扑 · 数学 2017-01-23 Lucía Fernández Suárez , Lucile Vandembroucq

In this talk, I will survey recent progress made on the classification of von Neumann algebras arising from countable groups and their actions on probability spaces. In particular, I will present the first results which provide classes of…

算子代数 · 数学 2012-12-04 Adrian Ioana

One approach to confronting computational hardness is to try to understand the contribution of various parameters to the running time of algorithms and the complexity of computational tasks. Almost no computational tasks in real life are…

计算复杂性 · 计算机科学 2011-11-23 Rodney G. Downey , Dimitrios M. Thilikos

In this paper we prove Chaitin's ``heuristic principle'', {\it the theorems of a finitely-specified theory cannot be significantly more complex than the theory itself}, for an appropriate measure of complexity. We show that the measure is…

逻辑 · 数学 2007-05-23 Cristian S. Calude , Helmut Juergensen

Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…

量子代数 · 数学 2007-05-23 Steven Duplij , Wladyslaw Marcinek

We consider Proof Complexity in light of the unusual binary encoding of certain combinatorial principles. We contrast this Proof Complexity with the normal unary encoding in several refutation systems, based on Resolution and Integer Linear…

计算机科学中的逻辑 · 计算机科学 2022-04-06 Stefan Dantchev , Nicola Galesi , Abdul Ghani , Barnaby Martin

We study from the perspective of Borel complexity theory the classification problem for multiplier algebras associated with operator algebraic varieties. These algebras are precisely the multiplier algebras of irreducible complete…

算子代数 · 数学 2020-09-23 Michael Hartz , Martino Lupini

We prove some constructive results that on first and maybe even on second glance seem impossible.

逻辑 · 数学 2019-04-26 Hannes Diener , Matthew Hendtlass

Complexity theory as practiced by physicists and computational complexity theory as practiced by computer scientists both characterize how difficult it is to solve complex problems. Here it is shown that the parameters of a specific model…

无序系统与神经网络 · 物理学 2013-05-29 S. N. Coppersmith

This article summarises a Web-book on "Complexity" that was developed to introduce undergraduate students to interesting complex systems in the biological, physical and social sciences, and the common tools, principles and concepts used for…

物理教育 · 物理学 2007-05-23 Rajesh R. Parwani

An important problem in the theory of finite dynamical systems is to link the structure of a system with its dynamics. This paper contains such a link for a family of nonlinear systems over the field with two elements. For systems that can…

组合数学 · 数学 2024-11-19 Omar Colon-Reyes , Reinhard Laubenbacher , Bodo Pareigis

Due to the increased complexity of software development projects more and more systems are described by models. The sheer size makes it impractical to describe these systems by a single model. Instead many models are developed that provide…

软件工程 · 计算机科学 2014-09-24 Christoph Herrmann , Holger Krahn , Bernhard Rumpe , Martin Schindler , Steven Völkel

Classification problems have been introduced by M. Ziegler as a generalization of promise problems. In this paper we are concerned with solvability and unsolvability questions with respect to a given set or language family, especially with…

计算机科学中的逻辑 · 计算机科学 2015-07-01 Hermann K. -G. Walter , Ulrike Brandt

We introduce a version of Farber's topological complexity suitable for investigating mechanical systems whose configuration spaces exhibit symmetries. Our invariant has vastly different properties to the previous approaches of Colman-Grant,…

代数拓扑 · 数学 2018-01-09 Zbigniew Błaszczyk , Marek Kaluba

This essay aims to propose construction theory, a new domain of theoretical research on machine construction, and use it to shed light on a fundamental relationship between living and computational systems. Specifically, we argue that…

适应与自组织系统 · 物理学 2009-09-29 Hiroki Sayama

We introduce two numerical conjugacy invariants for dynamical systems -- the complexity and weak complexity indices -- which are well-suited for the study of "completely integrable" Hamiltonian systems. These invariants can be seen as "slow…

动力系统 · 数学 2009-07-31 Jean-Pierre Marco

We develop a framework to give upper bounds on the "practical" computational complexity of stability problems for a wide range of nonlinear continuous and hybrid systems. To do so, we describe stability properties of dynamical systems using…

系统与控制 · 计算机科学 2014-06-05 Sicun Gao , Soonho Kong , Edmund Clarke

Many branches of theoretical and applied mathematics require a quantifiable notion of complexity. One such circumstance is a topological dynamical system - which involves a continuous self-map on a metric space. There are many notions of…

范畴论 · 数学 2024-03-12 Suddhasattwa Das

We consider dynamical systems for which the spatial extension plays an important role. For these systems, the notions of attractor, epsilon-entropy and topological entropy per unit time and volume have been introduced previously. In this…

动力系统 · 数学 2009-11-11 Claudio Bonanno , Pierre Collet

This paper classifies the complexity of various teaching models by their position in the arithmetical hierarchy. In particular, we determine the arithmetical complexity of the index sets of the following classes: (1) the class of uniformly…

逻辑 · 数学 2016-10-28 Achilles A. Beros , Ziyuan Gao , Sandra Zilles