Logics for complexity classes

A new syntactic characterization of problems complete via Turing reductions is presented. General canonical forms are developed in order to define such problems. One of these forms allows us to define complete problems on ordered structures, and another form to define them on unordered non-Aristotelian structures. Using the canonical forms, logics are developed for complete problems in various complexity classes. Evidence is shown that there cannot be any complete problem on Aristotelian structures for several complexity classes. Our approach is extended beyond complete problems. Using a similar form, a logic is developed to capture the complexity class $NP\cap coNP$ which very likely contains no complete problem.Comment: This article has been accepted for publication in Logic Journal of IGPL Published by Oxford University Press; 23 pages, 2 figure

Універсалії політичного процесу перехідного періоду

Найденко Р. К. Універсалії політичного процесу перехідного періоду / Р. К. Найденко // Людина, суспільство, політика: актуальні виклики сучасності: матеріали ІІ Міжнародної науково-практичної конференції (м. Одеса, 13-14 лютого 2015 р.) / НУ «ОЮА», Одеське відділення Міжнародної асоціації студентів політологічної науки, за заг. ред. Д. В. Яковлева – Одеса : НУ «ОЮА», 2015. – С. 127-128

Природа електромагнітних хвиль

The content is devoted to investigation and ascertainments of the nature of electromagnetic waves, amendment of basics of electrodynamicson the example of waves radiated by electric dipole of Hertz and proof the fact that Maxwell’s theory is not studied yet. Obtained results found to work in the new principle:electromagnetic field tends to occupy maximal possible area of the space. Principle of constant velocity for electromagnetic wave, postulated by A. Einstein is not correctМатериал посвящен исследованию и выяснению природы электромагнитных волн, уточнению основных положенийэлектродинамики на примере волн, излучаемых электрическим диполем Герца, доказательству того, что теория Максвелла ещё до конца не изучена. Приведенные результаты дают основание ввести новый принцип: электромагнитное поле стремится занять максимально возможную область пространства. Принцип постоянности скорости электромагнитной волны, введенный А.Эйнштейном, не веренМатеріал присвячений дослідженню і з’ясуванню природи електромагнітних хвиль, уточнення основних понятьелектродинаміки на прикладі хвиль, випромінюваних електричним диполем Герца, доведення того, що теорія Максвела ще до кінця не вивчена. Наведені результати є підставою ввести новий принцип: електромагнітне поле прагне зайняти максимально можливу область простору. Принцип постійності швидкості електромагнітної хвилі,введений А. Ейнштейном, не вірний

Власні електромагнітні хвилі діелектричної періодичної структури

The dependences are received and the characteristics of own electromagnetic waves of the dielectric periodic structure are designed. The given results completely correspond(meet) to the theorems proved in the monograph - Найденко В. И., Дубровка Ф. Ф. Аксиально-периодические структуры и резонаторы. К.: Вища школа, 1986. 224 с.Получены зависимости и рассчитаны характеристики собственных электромагнитных волн диэлектрической периодической структуры. Приведенные результаты полностью соответствуют теоремам, доказанным в монографии  – Найденко В. И., Дубровка Ф. Ф. Аксиально-периодические структуры и резонаторы. К.: Вища школа, 1986. 224 с.Отримано залежності і виконано розрахунок характеристик власних електромагнітних хвиль діелектричної періодичної структури. Отримані результати повністю підтверджуються теоремами, доведеними в монографії – Найденко В. И., Дубровка Ф. Ф. Аксиально-периодические структуры и резонаторы. К.: Вища школа, 1986. 224 с

Voice breaking and its relation to body mass and testosterone level in the Siberian Crane (Leucogeranus leucogeranus)

Vocal development of cranes (Gruidae) has attracted scientifc interest due to its special stage, voice breaking. During voice breaking, chicks of diferent crane species produce calls with two fundamental frequencies that correspond to those in adult low-frequency and juvenile high-frequency vocalizations. However, triggers that afect voice breaking in cranes are mainly unknown. Here we studied the voice breaking in the Siberian Crane (Leucogeranus leucogeranus) and test its relation to the body mass and testosterone level. We analyzed 5846 calls, 39 body mass measurements and 60 blood samples from 11 Siberian Crane chicks in 8 ages from 2.5 to 18 months of life together with 90 body mass measurements and 61 blood samples from 24 Siberian Crane adults. The individual duration of voice breaking and dates of its onset, culmination and completion depended neither on the body mass nor on the testosterone level at various ages. But we found correlation between the testosterone level and mean deltas of percentages of the high and low frequency components in Siberian Crane calls between the closest recording sessions. We also observed some coincidence in time between the mean dates of voice breaking onset and the termination of body mass gain (at 7.5 months of age), and between the mean dates of voice breaking completion and the start of a new breeding season. Similar relations have been shown previously for some other crane species. We also showed for the frst time that the mean dates of voice breaking culmination correlated with the signifcant increase of the testosterone level (at 10.5 months of age). So, we suggest that voice breaking in cranes may be triggered by the end of chicks’ body growth, is stimulated by the increase of testosterone level and ends soon after adult cranes stop taking care of their chicks

Природа электромагнитных волн

Матеріал присвячений дослідженню і з’ясуванню природи електромагнітних хвиль, уточнення основних понять електродинаміки на прикладі хвиль, випромінюваних електричним диполем Герца, доведення того, що теорія Максвела ще до кінця не вивчена. Наведені результати є підставою ввести новий принцип: електромагнітне поле прагне зайняти максимально можливу область простору. Принцип постійності швидкості електромагнітної хвилі,введений А. Ейнштейном, не вірнийThe content is devoted to investigation and ascertainments of the nature of electromagnetic waves, amendment of basics of electrodynamics on the example of waves radiated by electric dipole of Hertz and proof the fact that Maxwell’s theory is not studied yet. Obtained results found to work in the new principle: electromagnetic field tends to occupy maximal possible area of the space. Principle of constant velocity for electromagnetic wave, postulated by A. Einstein is not correctМатериал посвящен исследованию и выяснению природы электромагнитных волн, уточнению основных положений электродинамики на примере волн, излучаемых электрическим диполем Герца, доказательству того, что теория Максвелла ещё до конца не изучена. Приведенные результаты дают основание ввести новый принцип: электромагнитное поле стремится занять максимально возможную область пространства. Принцип постоянности скорости электромагнитной волны, введенный А.Эйнштейном, не вере

Собственные волны кросс-волновода

Мета статті — отримати алгоритми для розрахунку характеристик власних хвиль у крос-хвилеводі і продемонструвати їх можливості. Гранична задача розв’язана методом частинних областей. Методом моментів системи функціональних рівнянь, що випливають з граничних умов, зведені до однорідних систем лінійних алгебричних рівнянь (СЛАР), порядок яких дорівнює 2М + 2N + 4, де М і N — число доданків у розкладах полів у підобластях. З використанням специфічного вигляду СЛАР зведена до СЛАР меншого порядку, а саме — 2M + 2. Проведено розрахунки критичних довжин хвиль основних Н і Е типів хвиль у крос- хвилеводі. Використано відносно невеликі порядки визначника — дисперсійного рівняння — 4—8. Дано фізичну інтерпретацію зміни критичного хвильового числа основних хвиль зі зміною розміру вставок для двох поляризацій хвилі. Отримані результати показують високу збіжність критичного хвильового числа зі збільшенням порядку визначника і числа доданків у сумах його елементів. Результати можуть бути використані при проектуванні й синтезі НВЧ-пристроїв на основі крос-хвилеводу.The purpose of the article is to obtain the algorithms for calculating the characteristics of its own waves in the cross-waveguide cross and demonstrate their abilities. We solve the boundary value problem by the mode matching method. By employing the moment method functional equations arising from the boundary conditions are reduced to systems of homogeneous linear equations (SLE), whose order is equal to 2М + 2N + 4, where M and N are number of terms in schedules of the fields in subfields specified below. Using the specific form of SLE, SLE is reduced to lower order, namely — 2M + 2. Critical wavelengths of main types of H and E waves in the cross-waveguide are calculated. In addition, we use relatively minor determinant of order — dispersion equation — 4—8. This physical interpretation of the critical wave number changes with the change of boxes size by changing the wave polarization. The obtained results show high convergence of critical wave number with increasing order of the determinant and the number of terms in the sums of its elements. The results can be used in design and synthesis of microwave devices based on cross-waveguide.Цель статьи — получить алгоритмы для расчета характеристик собственных волн в кросс-волноводе и продемонстрировать их возможности. Краевая задача развязана методом частичных областей. Методом моментов системы функциональных уравнений, которые следуют из граничных условий, приведены к однородным системам линейных алгебраических уравнений (СЛАУ), порядок которых составляет 2М + 2N + 4, где М и N — число слагаемых в разложениях полей в подобластях. С использованием специфического вида СЛАУ приведена к СЛАУ меньшего порядка, а именно — 2M + 2. Проведены расчеты критических длин волн основных Н и Е типов волн в кросс-волноводе. Использованы относительно небольшие порядки определителя — дисперсионного уравнения — 4—8. Дана физическая интерпретация изменения критического волнового числа основных волн с изменением размера вставок для двух поляризаций волны. Полученные результаты показывают высокую сходимость критического волнового числа с увеличением порядка определителя и числа слагаемых в суммах его элементов. Результаты могут быть использованы при проектировании и синтезе СВЧ-устройств на основе кросс-волновода

АЛГОРИТМИЧЕСКОЕ ПЕРЕЧИСЛЕНИЕ ЗАДАЧ В КЛАССЕ NPcoNP

The problem of recursive (algorithmic) representation is considered for the complexity class NPcoNP. A new method is proposed for algorithmically enumerating all problems in NPcoNP, using polynomial-time nondeterministic Turing machines.Рассматривается проблема рекурсивного (алгоритмического) представления класса сложности NPcoNP. Предлагается новый метод алгоритмического перечисления всех задач в классе сложности NPcoNP с использованием полиномиальных недетерминированных машин Тьюринга