О вычислениях над упорядоченными кольцами

ИВ Латкин, АВ Селиверстов - Сибирские электронные …, 2022 - mathnet.ru
We consider generalized register machines over ordered rings with an auxiliary binary
operation. In particular, we consider the ring of integers, its infinite Cartesian power, and …

On the P–NP problem over real matrix rings

A Rybalov - Theoretical computer science, 2004 - Elsevier
We prove that P≠ DNP over rings of matrices with real elements in a restricted Blum–Shub–
Smale computational model. The restriction is that machines can use only two constants …

Сложность вычислений в алгебраических системах

АН Рыбалов - Сибирский математический журнал, 2004 - mathnet.ru
В работе [1] впервые были рассмотрены вычислимость и сложность вычислений над
полями вещественных и комплексных чисел. Этот подход был обобщен для …

On the P vs NP problem over reals with integer oracle

AN Rybalov - 2016 Dynamics of Systems, Mechanisms and …, 2016 - ieeexplore.ieee.org
Relativized complexity classes are actively studied in the computation complexity theory
since 1975. Classical result of Baker, Gill and Solovay states that there exist two oracles A …

[PDF][PDF] Demons: A party along with the set of Reals

A Lo - academia.edu
In this party, we want to discuss some of the points when two computational theoretic
framework models working on the set of real numbers are the Blum–Shub–Smale machine …

Полиномиальные классы сложности над вещественными алгебрами с нильпотентными элементами

АН Рыбалов - Вестник Омского университета, 2010 - cyberleninka.ru
Рассматирвается теория сложности вычислений над произвольными алгебраическими
системами, развитая Рыбаловым на основе подхода к обобщенной вычислимости …

Two situations with unit-cost: ordered abelian semi-groups and some commutative rings

M Prunescu - Journal of Complexity, 2005 - dl.acm.org
The paper presents two situations where unit-cost complexity results are closely related with
results from the classical computability.* In Section 2 we study an important theorem by …

23rd Workshop on Logic, Language, Information and Computation (WoLLIC 2016)

J Väänänen, R Queiroz, MO Galindo, CZ Cortés… - 2017 - academic.oup.com
254 Conferences committee, assisted by a number of external reviewers, has led to the
acceptance of 23 papers for presentation at the meeting and inclusion in the Proceedings …

[PDF][PDF] The Symmetric Subset-Sum Problem over the Complex Numbers.

M Prunescu - Algorithmic Algebra and Logic, 2005 - mathematik.uni-freiburg.de
A problem naturally arizing in the unit-cost complexity class NP over the field а of complex
numbers consists in deciding if an input of length 2n belongs to a special absolutely …

[引用][C] 价值与重量相等的0/1 背包问题的一种解法

许兆美 - 成组技术与生产现代化, 2009