On the Hardness of SAT with Community Structure

Recent attempts to explain the effectiveness of Boolean satisfiability (SAT) solvers based on conflict-driven clause learning (CDCL) on large industrial benchmarks have focused on the concept of community structure. Specifically, industrial benchmarks have been empirically found to have good community structure, and experiments seem to show a correlation between such structure and the efficiency of CDCL. However, in this paper we establish hardness results suggesting that community structure is not sufficient to explain the success of CDCL in practice. First, we formally characterize a property shared by a wide class of metrics capturing community structure, including "modularity". Next, we show that the SAT instances with good community structure according to any metric with this property are still NP-hard. Finally, we study a class of random instances generated from the "pseudo-industrial" community attachment model of Gir\'aldez-Cru and Levy. We prove that, with high probability, instances from this model that have relatively few communities but are still highly modular require exponentially long resolution proofs and so are hard for CDCL. We also present experimental evidence that our result continues to hold for instances with many more communities. This indicates that actual industrial instances easily solved by CDCL may have some other relevant structure not captured by the community attachment model.Comment: 23 pages. Full version of a SAT 2016 pape

On peculiar features of speech development in children with auditory perceptual disorders

The article is devoted to the issue of one of the most severe speech disorders in children commonly known as alalia.Статья посвящена проблеме наиболее грубых нарушений развития речи у детей, а именно алалиям

Rigid and flexible brain regions responsible for development of speech

Статья посвящена особенностям речевого развития детей, и в первую очередь его грубым нарушениям. Авторами обсуждаются разные формы алалии. Особое внимание уделяется слуховым агнозиям и артикуляционным апраксиям.The paper deals with the peculiarities of speech development of children and, first of all, dwells in detail on its severe disorders. The authors discuss different forms of alalia, the classification of which is based on the difference between their causal brain mechanisms

Течение саркоидоза у пациентов, получающих системные глюкокортикостероиды

The treatment of sarcoidosis remains uncertain despite 70 years of studies. The conventional approach is to initiate corticosteroids in individuals who require treatment. However, to date, there are no strict dosing regimens for systemic corticosteroids (SСS), and patients who were treated with SСS develop relapses more frequently than those who have not received these drugs. The aim of this work was to evaluate the course and outcomes of pulmonary sarcoidosis in patients who were prescribed systemic corticosteroids. Methods. The study was retrospective and noninterventional. 493 (32.5%) of 1,518 patients with sarcoidosis were prescribed corticosteroids during follow-up. Only 333 cases were selected because they had histologic confirmation and follow-up of 1 year or more. The data at the time of diagnosis and at the time of analysis were compared (patients remained under the supervision of the same physicians thereafter). Results. After at least one year of follow-up, the positive effect of SCS (resolution or stabilization of the process) was achieved only in half of the cases, while the rest of the patients required more courses of SCS or the use of alternative drugs. Worsening was more common when multiple organs were involved, when SCS were administered immediately after diagnosis without a follow-up period, and when the duration of the first course of hormone therapy was less than 7 months. 33.6% of patients treated with SCS had clinically significant adverse events (AEs), and 13.2% had to discontinue or replace one hormonal drug with another. Older age and repeated courses of SCS were associated with the development of fibrosis, whereas transition to second-line drugs was not. Conclusion. SCS remain the first-line drugs in the treatment of sarcoidosis. The analysis performed allows us to recommend them after an observation period (if the patient’s condition allows it) and for at least 6 months. In case of exacerbation or recurrence of sarcoidosis after treatment with SCS, subsequent therapy with second-line drugs is more effective that a repeated course of SCS.  Несмотря на 70 лет исследований саркоидоза, его лечение остается неопределенным. Традиционный подход заключается в назначении глюкокортикостероидов (ГКС) лицам, нуждающимся в лечении. Однако на сегодняшний день строгих схем применения системных ГКС (сГКС) не существует, а при их применении рецидивы происходят чаще, чем в случаях, когда эти препараты не назначались. Целью работы явилась оценка течения и исходов саркоидоза легких у пациентов, которым были назначены сГКС. Методы. В ретроспективное неинтервенционное исследование были включены пациенты (n = 1 518) с саркоидозом. При диспансерном наблюдении сГКС получали 493 (32,5 %) пациента, из них были отобраны больные (n = 333) с гистологически подтвержденным диагнозом, период наблюдения за которыми составил ≥ 1 года. Сравнивались данные на момент установления диагноза и момент проведения анализа (пациенты в дальнейшем оставались под наблюдением одних и тех же врачей). Результаты. Положительный эффект от сГКС (разрешение или стабилизация процесса) при наблюдении за больными в течение ≥ 1 года был достигнут только в 50 % случаев, остальным больным потребовались дополнительные курсы терапии сГКС или применение альтернативных препаратов. Отрицательная динамика чаще наблюдалась при полиорганном поражении, назначении сГКС сразу после установления диагноза без периода наблюдения и при продолжительности 1-го курса гормонотерапии < 7 мес. У 33,6 % пациентов, получавших сГКС, отмечены клинически значимые нежелательные явления, в 13,2 % случаев потребовалась отмена или замена гормонального препарата на альтернативный. Факторами, коррелирующими с развитием фиброза, наряду с пожилым возрастом, являлись повторные курсы сГКС, при этом переход на препараты 2-го ряда не был связан с нарастанием фиброза. Заключение. При лечении саркоидоза препаратами 1-й линии остаются сГКС. По результатам проведенной оценки рекомендуется назначать сГКС после периода наблюдения (если это позволяет состояние больного) и в течение ≥ 6 мес. В случае обострения или рецидива саркоидоза после курса сГКС последующая терапия более эффективна препаратами 2-й линии вместо повторного курса сГКС

Specific features of written speech acquisition by children with non-standard profile of hemispheric asymmetry of the brain

This article describes rare variants of dyslexia and dysgraphia in primary school children.В настоящей статье описаны редкие варианты дислексий и дисграфий у детей младшего школьного возраста

Нейродинамические нарушения речи в постинсультном периоде: патогенез, клиника, диагностика

The results of study, which devoted by diagnostics of neurodynamic speech disorders on the basis of clinical and computed speech transforming finding were shown. 186 patients in the poststroke period were examined. The possibility of using the method of computed transformation of time parameters of speech for objective registration of speech defeat and establishment of diagnosis of aphasia were revealed.Представлены результаты исследования, посвященного диагностике нейродинамических нарушений речи на основании клинических и аналогово-цифровых данных обработки речи. Обследовано 186 больных в различные сроки после перенесенного инсульта. Выявлена возможность использования метода компьютерного преобразования временных параметров речи для объективной оценки выраженности моторного речевого дефекта и установления диагноза субкортикальной афазии

Перспективы фармакотерапии хронической обструктивной болезни легких: возможности комбинированных бронходилататоров и место ингаляционных глюкокортикостероидов. Заключение Совета экспертов

The most important symptoms of chronic obstructive pulmonary disease are dyspnea, cough and sputum production. According to results of several studies, 50% – 70% of COPD patients under regular therapy continue to experience dyspnea. Dyspnea has a great prognostic importance, it often correlates to exacerbation rate and the patients’ survival. Symptom reduction is one of the key outcomes of therapy of COPD. Measuring tools for assessment dyspnea are imperfect as dyspnea is a subjective feature. Nevertheless, available quantitative tools allow assessment symptom severity in COPD patients. Such tools (modified Medical Research Council scale and COPD Assessment Test – САТ) should be adopted to a medical care level (primary, secondary or tertiary care). Long-acting bronchodilators are the essential component of treatment COPD independently on COPD phenotype. COPD phenotype should be diagnosed before administration of combined drugs containing inhaled steroids (ICS). Long-term therapy with ICS is appropriate for the following groups of patients: overlap COPD and asthma phenotype; high risk of exacerbations (FEV1 < 50% pred., > 2 non-infectious exacerbations or > 1 hospitalization related to non-infectious exacerbation during the previous year); patients with sputum eosinophilia > 3% and / or blood eosinophilia > 300 cells × ml-1 with consideration of the disease severity. A physician should consider a risk of adverse events of ICS. ICS should not be administered to COPD patients with FEV1 > 50% pred. or having < 2 acute exacerbations or no one hospitalization related to acute exacerbation of COPD during the previous year. ICS could be withdrawn if their administration did not match these criteria. Patients with persistent symptoms under monotherapy with long-acting bronchodilators, ICS / long-acting b2-agonists and who do not match the criteria for treatment with ICS should be treated with indacaterol / glycopyrronium combination.Наиболее важными симптомами при хронической обструктивной болезни легких (ХОБЛ) являются одышка, кашель и продукция мокроты. По данным различных исследований, у пациентов ХОБЛ на текущей терапии клинически значимая одышка сохраняется в 50–70 % случаев. Одышка имеет важное прогностическое значение, часто коррелирует с частотой обострений и выживаемостью больных. Важные критерии эффективности проводимой терапии – снижение выраженности симптомов (в первую очередь – одышки). Инструменты измерения одышки несовершенны, понятие – субъективно, однако существующие количественные инструменты ее оценки позволяют определить степень выраженности симптомов у пациентов с ХОБЛ. Применяемые инструменты (модифицированная шкала Британского Медицинского cовета – Modified Medical Research Council; COPD Assessment Test – САТ) должны быть адаптированы к уровню оказания медицинской помощи (первичное звено, специалист и т. д.). Длительно действующие бронходилататоры являются обязательным компонентом терапии больного ХОБЛ независимо от его фенотипа. Пациенты, получающие комбинированные лекарственные средства, включающие ингаляционные глюкокортикостероиды (иГКС), должны быть фенотипированы для определения показаний для назначения ГКС. Длительная терапия иГКС показана пациентам следующих групп: с сочетанием бронхиальной астмы и ХОБЛ; с высоким риском обострений (объем форсированного выдоха за 1-ю секунду (ОФВ1) < 50 %долж. при > 2 неинфекционных обострениях в год или > 1 госпитализацией по поводу неинфекционного обострения); с эозинофилией мокроты > 3 % и / или > 300 клеток в 1 мл крови с учетом тяжести течения заболевания. При назначении иГКС необходимо учитывать риск побочных эффектов. Не следует добавлять иГКС при ОФВ1 ≥ 50 %, у пациентов с < 2 обострениями или отсутствием указаний на госпитализацию по поводу обострения ХОБЛ в течение 1 года; иГКС могут быть отменены, если они были назначены не по показаниям. У пациентов с сохраняющейся симптоматикой на фоне монотерапии длительно действующими бронходилататорами, иГКС / длительно действующими b2-агонистами или без четких показаний к назначению иГКС оптимальным выбором может послужить комбинация индакатерол / гликопирроний