Journal or Publication Title:

Математические вопросы кибернетики и вычислительной техники=Կիբեռնետիկայի և հաշվողական տեխնիկայի մաթեմատիկական հարցեր=Mathematical problems of computer science

Date of publication:

2024

Number:

61

ISSN:

2579-2784 ; e-2538-2788

Additional Information:

Мокацян Арсен А., Барсегян Хачатур А., Մոկացյան Արսեն Հ., Բարսեղյան Խաչատուր Ա.

Other title:

P-m-митотические множества и арифметическая иерархия ; P-m-միթոտիկ բազմություններ և թվաբանական աստիճանակարգ

Coverage:

50-61

Abstract:

Let {0,1}∗ be the set of all finite strings of elements from {0,1}, and let P be the class of problems recognized by deterministic Turing machines, which run in polynomial time (a problem is simply a subset of {0,1}∗). This article defines the class P ( and shows that P ( is isomorphic to the class P. Based on the notions of T-mitoticity and T-autoreducibility, K.Ambos-Spies introduced the notions of P-m-mitoticity and P-m-autoreducibility. The notions of P) -m-mitoticity and P)-m-autoreducibility are introduced by analogy with the mentioned notions. The article proves that the index sets {z | W2 is P-m-mitotic} and {z | W2 is P-m-autoreducible} are Σ3-complete.

Publisher:

Изд-во НАН РА

Format:

pdf

Identifier:

oai:arar.sci.am:377895

Location of original object:

ՀՀ ԳԱԱ Հիմնարար գիտական գրադարան