ГДЗ Алгебра Макарычев 9 класс Номер 91
Содержание
Авторы:Макарычев, Миндюк, Нешков
Изд-во:Просвещение 2019-2020-2021
Вид УМК:учебник
Смотреть правильно оформленное решениe и ответ на задание 91 по алгебре 9 класс автор(ы) Макарычев, Миндюк, Нешков
Скачать решениеСообщи об ошибке или поделись идеей💡
Мне не нравится на сайте, измените:Сделайте так, чтобы можно было:Решение неправильно/опечатка
Содержание
88899091929394959697
Похожие решебники по алгебре 9 класс
Дидактич.
Тетрадь
Контрольные
Тетрадь
Контрольные
Контрольные
КИМ
Дидактич.
Контрольные
Тетрадь
Учебник
Учебник
Учебник
Контрольные
Контрольные
Самостоят.
Тесты
Учебник
-
Дидактич.
Дидактич.
Дидактич.
Контрольные
Тетрадь
Тетрадь
Учебник
Тесты
Тесты
Тесты
Учебник
Учебник
Учебник
Учебник
КИМ
Контрольные
Тетрадь
Тесты
Тесты
Дидактич.
org/Book»>Учебник
org/Book»>Контрольные
ГДЗ Алгебра Макарычев 9 класс Номер 90
Содержание
Авторы:Макарычев, Миндюк, Нешков
Изд-во:Просвещение 2019-2020-2021
Вид УМК:учебник
Смотреть правильно оформленное решениe и ответ на задание 90 по алгебре 9 класс автор(ы) Макарычев, Миндюк, Нешков
Скачать решениеСообщи об ошибке или поделись идеей💡
Мне не нравится на сайте, измените:Сделайте так, чтобы можно было:Решение неправильно/опечатка
Содержание
87888990919293949596
Похожие решебники по алгебре 9 класс
Дидактич.
Контрольные
Тетрадь
Контрольные
Контрольные
Дидактич.
КИМ
Дидактич.
Тетрадь
Учебник
Учебник
Учебник
Контрольные
Самостоят.
Тесты
Учебник
Дидактич.
Учебник
Дидактич.
Дидактич.
Контрольные
Тетрадь
Тетрадь
Учебник
Тесты
Тесты
Учебник
Учебник
Учебник
Учебник
КИМ
Контрольные
Контрольные
Тетрадь
Тесты
Тесты
org/Book»>Тетрадь
org/Book»>Контрольные
org/Book»>Тесты
Домашняя страница Софьи Расходниковой
Домашняя страница Софьи РасходниковойПрофессор компьютерных наук, Колледж искусств и наук, Бостонский университет
Мои исследовательские интересы включают алгоритмы с сублинейным временем (в
в частности, проверка свойств), анализ частных данных, аппроксимация
алгоритмы, рандомизированные алгоритмы и теория сложности. До прихода в BU я был профессором кафедры CSE в Penn State с 2007 по 2017 год.
Я получил докторскую степень в Массачусетском технологическом институте в 2003 г. С осени 2003 г. по
2006 г., я работал в Иврит
Иерусалимский университет,
Институт науки Вейцмана и Институт чистых и прикладных
Математика. В 2013-2014 годах находился в творческом отпуске.
Весной 2014 года я участвовал в проекте «Инструменты конфиденциальности» в Гарвардском университете в рамках специального года конфиденциальности в Бостонском университете.в Институте теории вычислительной техники Саймонса в Беркли. Если вы заинтересованы в присоединении к нашей программе выпускников CS, см.
на http://www.bu.edu/cs/phd-program/
для получения информации о приеме и описание
программа. Стажировки научных сотрудников доступны для сильных кандидатов
интересуется алгоритмами и теорией. Наш отдел получает много заявок, и я не могу просмотреть их все лично. |
Курсы
- CS 537 Случайность в вычислениях, весна 2018 г.
, 2020 г., осень 2021 г., 2022 г. - CS 237 Вероятность в вычислительной технике, весна 2022 г., 2023 г.
- Сублинейные алгоритмы CS 591, осень 2020 г.
- CS 332 Theory of Computing, осень 2017, 2018, 2019
, 2020 г., осень 2021 г., 2022 г.Курсы, преподаваемые в Penn State
- Алгоритмы приближения CSE 597, весна 2017 г.
- Разработка и анализ алгоритмов CSE 565, осень 2007 г., 2011 г., 2016 г.
- CMPSC 464 Введение в теорию вычислений, осень 2008 г., 2009 г., 2010 г. и 2012 г., весна 2016 г.
- Сублинейные алгоритмы CSE 597A, осень 2015 г.
- CMPSC 360 Дискретная математика для компьютерных наук, весна 2015 г.
- Теоретический семинар CSE 598B (можно повторить для получения кредита), осень 2007 и 2009 гг., Весна 2013, Осень 2014, Осень 2016.
- Сублинейные алгоритмы CSE 598A, весна 2012 г.
- CSE 598A Алгоритмические аспекты конфиденциальности данных, весна 2010 г.
- CSE 598B Теория вычислений, весна 2008 г.
- CSE 465 Структуры данных и алгоритмы, весна 2007 г.
Курс, преподаваемый в Weizmann
- Курс сублинейных алгоритмов, Институт Вейцмана, весна 2005 г. (Веб-страница отключена.)
Профессиональная деятельность
- ACM Транзакции по теории вычислений;
- Алгоритмика.
- Конференция CSR 2022, сателлитное мероприятие для Международного конгресса математиков (ICM2022) (июнь 2022 г., планируется в Санкт-Петербурге, Россия, но перенесено в онлайн)
- ВОЛА 2021, июнь 2021 г.
- СЛУЧАЙНОЕ 2013 (21-23 августа 2013 г., Калифорнийский университет в Беркли)
- ИТКС 2022 (31 января — 3 февраля, Беркли, Калифорния)
- КСО 2021 (28 июня – 2 июля 2021 г., Сочи, Россия или онлайн)
- СТОЦ 2020 (22-26 июня 2020 г., Чикаго, Иллинойс или онлайн)
- СЛУЧАЙНЫЙ 2019
(20-22 сентября 2019 г. , Массачусетский технологический институт)
- ИТКС 2019 (10-12 января 2019 г., Сан-Диего, Калифорния)
- ФОКС 2017 (15-17 октября 2017 г., Беркли, Калифорния)
- СТОК 2016 (19-21 июня 2016 г., Кембридж, Массачусетс)
- ФОКС 2012 (20-23 октября 2012 г., Нью-Брансуик, Нью-Джерси)
- Спецназ 2012 (4-6 июля 2012 г., Хельсинки, Финляндия)
- ФОКС 2010 (23-26 октября 2010 г., Лас-Вегас, Невада)
- СЛУЧАЙНОЕ 2010 (1-3 сентября 2010 г., Барселона)
- SODA 2010 (17-19 января 2010 г., Остин, Техас)
- СЛУЧАЙНЫЙ 2007 (20-22 августа 2007 г., Принстонский университет)
, Массачусетский технологический институт)- 4-е собрание TCS Women на STOC 2021, 22 июня 2021 г.
- 3-е собрание TCS Women на STOC 2020, 25 июня 2020 г.
- 2-е собрание TCS Women на STOC 2019, 26 июня 2019 г.
- Первое собрание женщин TCS на фестивале STOC 2018 Theory Fest, 26 июня 2018 г.
- Семинар Sublinear 2016 в Университете Джонса Хопкинса, 7-9 января 2016 г.
- Майк Фест, симпозиум по теоретической информатике по случаю 60-летия Майкла Сипсера, 26 октября 2014 г.
- Sublinear Algorithms 2014 в Бертиноро, 25-29 мая 2014 г.
- Семинар Charles River по частному анализу социальных сетей, 19 мая, 2014.
- День конфиденциальности Чарльз-Ривер, 15 ноября 2013 г.
- Лагерь Сигма: лекция в 2020 г., преподавательский состав в 2021 и 2022 гг.; помощь в проведении конкурса «Задача месяца» (POM) в 2021-2022 и 2022-2023 годах.
- Инструктор кружка математики Беркли, весна 2019 г.
- Первый летний лагерь EECS PSU: Девушки решают социальные проблемы с помощью компьютерных наук, 2017. Видео
- C.A.M.P., 2017.
- Лагерь Эпсилон, 2016 год.
- SICOMP для специального выпуска FOCS 2017;
- Theory of Computing (журнал с открытым доступом) для специального выпуска APPROX-RANDOM 2013.
Слайды: Лекция 1, Лекция 2, Лекция 3, Лекция 4
Постдоки
- Эсти Келман (с января 2023 г.)
- Талия Эден (2021—2022)
Текущий кандидат наук. Студенты
- Людмила Глинских (совместно с Марком Буном)
- Иден Калемай
Выпускники
- Рамеш Кришнан С. Паллавур (доктор философии, 20 лет, Бостонский университет, сейчас в Google)
- Нитин Варма (доктор философии `19, Бостонский университет, первая должность после выпуска: постдоктор Хайфского университета, ныне доцент Математического института Ченнаи, Индия)
- Мейрам Мурзабулатов (Ph.D. `17, Penn State, был ассистентом преподавателя в Penn State, сейчас ассистент профессора в Назарбаев Университете)
- Кашьяп Диксит (доктор философии ’15, Пенсильвания, совместно с Мартином Фюрером)
- Григорий Ярославцев (доктор философии ’14, штат Пенсильвания, первая должность после выпуска: постдоктор в Университете Брауна, затем доцент в Университете Индианы, ныне преподаватель Джорджа Мейсона)
- Мадхав Джа (магистратура ’10, доктор философии ’13, Penn State, первая должность после выпуска: постдоктор в Sandia National Labs, сейчас ученый в Amazon)
- Роксана Балешзар (MS `17, Penn State, сейчас инженер-программист в Google)
- Эдвард Лу (B. S. Honor’s Thesis `13, Penn State)
- Ишан Бехура, стажер-исследователь, Spring ’10, Penn State
- Елена Мельниченко, научный сотрудник, Б.С. ’09, штат Пенсильвания
S. Honor’s Thesis `13, Penn State)Почетные звания и награды
- Мэтью Кипровски, руководитель факультета вычислительной техники, избран маршалом факультета компьютерной инженерии в 2016 году.
- Выбрано как Маршал факультета компьютерных наук Томас Конклинг, маршал студентов-компьютерных наук, 2010 г. (статья о Томе в Centre Daily Times)
- Премия факультета CSE за преподавание, 2010 г.
- Премия NSF КАРЬЕРА, 2009 г.
- Премия Рут и Джоэла Спира за выдающиеся достижения в области преподавания, 2007 г.
- Постдокторская стипендия леди Дэвис, 2003 г.
- Награда за отличную работу в ЮАР, 1999 г.
- Награда губернатора Нью-Йорка за академические успехи, 1994 г.
- 1 место в Белорусской республиканской математической олимпиаде, 19 лет92
Публикации
(представлены в обратном хронологическом порядке их первоначальной публикации)
- Цена дифференциальной конфиденциальности под постоянным наблюдением ,
Палак Джейн, Софья Расходникова, Сатчит Сивакумар и Адам Смит. Рукопись.
- Изопериметрические неравенства для вещественных функций с приложениями к проверке монотонности ,
Хэдли Блэк, Иден Калемай и Софья Расходникова. Рукопись.
Слайды - Дифференциальная конфиденциальность от локально настраиваемых алгоритмов графа: декомпозиция k-ядра, упорядочение с низким исходящим числом и самые плотные подграфы , Лаксман Дхулипала, Цюаньцюань С. Лю, Софья Расходникова, Джессика Ши, Джулиан Шун и Шанди Ю. Материалы 63-го симпозиума IEEE по основам компьютерных наук (FOCS), 2022 г.
- Вычисление в сублинейном времени при наличии онлайновых стираний , Иден Калемай, Софья Расходникова, Нитин Варма. Материалы 12-й конференции «Инновации в теоретической информатике» (ITCS), 90:1-90:25, 2022.
- Дифференциально частная выборка из распределений ,
Софья Расходникова, Сатчит Сивакумар, Адам Смит, Марика Сванберг. Proceedings of the Advances in Neural Information Processing Systems 34 (NeurIPS 2021), 28983-28994, 2021. Выбранный доклад на TPDP 2021.
- Устойчивые к стиранию алгоритмы сублинейного временного графа , Амит Леви, Рамеш Кришнан С. Паллавур, Софья Расходникова, Нитин Варма. Материалы 12-й конференции «Инновации в теоретической информатике» (ITCS), 80: 1–80: 20, 2021 г.
- Аппроксимация расстояния до монотонности булевых функций ,
Рамеш Кришнан С. Паллавур, Софья Расходникова, Эрик Вайнгартен. Материалы 31-го ежегодного симпозиума ACM-SIAM по дискретным алгоритмам (SODA), 1995-2009, 2020.
Предварительная полная версия. - Стирания и ошибки при локальном декодировании и проверке свойств ,
Софья Расходникова, Нога Рон-Зеви, Нитин Варма. Материалы 10-й конференции «Инновации в теоретической информатике» (ITCS), 63:1-63:21, 2019 г..
Предварительная полная версия.
Слайды
Видео моего выступления на семинаре Института Саймонса по сублинейным алгоритмам и поиску ближайших соседей - Двудольные графы малой читабельности ,
Райан Чихи, Владан Йовичич, Стефан Крач, Пол Медведев, Мартин Миланич, Софья Расходникова и Нитин Варма. Теоретическая информатика, 806: 402-415, 2020.
Предварительная версия появилась в Proceedings of Computing and Combinatorics — 24th International Conference (COCOON 2018), 467-479, 2018. - Краткое объявление: устойчивость к стиранию и устойчивость к ошибкам , Софья Расходникова и Нитин Варма. Материалы 45-го Международного коллоквиума по автоматам, языкам и программированию (ICALP), 111:1–111:3, 2018 г.
- Оптимальные тестеры Unateness для вещественных функций: адаптивность помогает ,
Роксана Балешзар, Дипарнаб Чакрабарти, Рамеш Кришнан С. Паллавур, Софья Расходникова, К. Сешадри. Теория вычислительной техники, 16 (3), 1–36, 2020.
Предварительная версия опубликована в материалах 44-го Международного коллоквиума по автоматам, языкам и программированию (ICALP), 5:1–5:14, 2017 г. - Проверка параметризованных свойств функций ,
Рамеш Кришнан С. Паллавур, Софья Расходникова, Нитин Варма. Транзакции ACM по теории вычислений (TOCT) 9 (4): 17: 1–17: 19, 2018 г.
Предварительная версия появилась в Материалы 8-й конференции «Инновации в теоретической информатике» (ITCS), 12:1–12:17, 2017. - Расширения Липшица для статистики частных графов узла и обобщенного экспоненциального механизма , Софья Расходникова и Адам Смит. Материалы 57-го ежегодного симпозиума IEEE по Основы компьютерных наук (FOCS), 495–504, 2016 г.
- Возможности и ограничения однородных образцов при тестировании свойств фигур ,
Петр Берман, Мейрам Мурзабулатов, Софья Расходникова. Алгоритмика, 2018.
Предварительная версия появилась в Материалы 36-й ежегодной конференции IARCS по основам программных технологий и теоретической информатики (FSTTCS), 45:1–45:14, 2016 г. - Проверка свойств устойчивости к стиранию ,
Кашьяп Дикшит, Софья Расходникова, Абхрадип Тхакурта, Нитин Варма. SIAM J. Computing, 47(2), 295–329, 2018 г.
Предварительная версия появилась в Материалы 43-го Международного коллоквиума по автоматам, языкам и программированию (ICALP), 91:1–91:15, 2016 г.
Слайды - Толерантные тестеры свойств изображения , Петр Берман, Мейрам Мурзабулатов, Софья Расходникова. Материалы 43-го Международного коллоквиума по автоматам, языкам и программированию (ICALP), 90:1-90:14, 2016.
- Проверка выпуклости фигур при равномерном распределении ,
Петр Берман, Мейрам Мурзабулатов, Софья Расходникова. Случайные структуры и алгоритмы, 2018.
Предварительная версия появилась в Материалы 32-го Международного симпозиума по вычислительной геометрии (SoCG), 17:1-17:15, 2016. - Проверка сортировки массива , Софья Расходникова. Энциклопедия алгоритмов, 2015. Ссылка Springer.
- Дифференциально-частный анализ графов , Софья Расходникова и Адам Смит. Энциклопедия алгоритмов, 2015. Ссылка Springer.
- Проверка линейности и группового гомоморфизма / Проверка кодов Адамара ,
Софья Расходникова и Ронитт Рубинфельд.
Энциклопедия алгоритмов, 2015. Ссылка Springer.
- О читаемости перекрывающихся орграфов ,
Райан Чихи, Павел Медведев, Мартин Миланич, Софья Расходникова. Дискретная прикладная математика 205: 35-44, 2016.
Предварительная версия появилась в Труды комбинаторного сопоставления шаблонов — 26-й ежегодный симпозиум (CPM), 124–137, 2015 г. - Л р -испытание , Петр Берман, Софья Расходникова и Григорий Ярославцев. Материалы 46-го симпозиума ACM по теории вычислений (STOC), 164–173, 2014 г.
- Нижние границы для проверки свойств функций в доменах гиперсетки ,
Эрик Блейс, Софья Расходникова и Григорий Ярославцев.
Материалы 29-й конференции IEEE по вычислительной сложности (CCC), 309–320, 2014 г.
Предварительная версия появилась в ECCC, TR13-036, 2013. - Анализ графиков с дифференциальной конфиденциальностью узлов ,
Шива Касивисванатан, Кобби Ниссим, Софья Расходникова и Адам Смит.
Материалы 10-й конференции по теории криптографии (TCC), 457–476, 2013 г.
Слайды - Проверка свойства Липшица в распределении продуктов с приложениями к конфиденциальности данных , Кашьяп Дикшит, Мадхав Джа, Софья Расходникова и Абхрадип Тхакурта. Материалы 10-й конференции по теории криптографии (TCC), 418–436, 2013 г.
- Изучение псевдобулевых k-DNF и субмодульных функций , Софья Расходникова и Григорий Ярославцев. Материалы 24-й конференции ACM-SIAM SODA, 1356-1368, 2013.
- Тестирование функций Липшица на доменах гиперсетей ,
Пранджал Авастхи, Мадхав Джа, Марко Молинаро, Софья Расходникова. Algorithmica 74(3): 1055-1081, 2016.
Предварительная версия появилась в Материалы 15-го RANDOM, Springer-Verlag, 387–398, 2012. - Ограничения локальных фильтров липшицевых и монотонных функций ,
Пранджал Авастхи, Мадхав Джа, Марко Молинаро, Софья Расходникова. Транзакции ACM по теории вычислений, 7(1): 2:1–2:16, 2014 г.
Предварительная версия появилась в Материалы 15-го RANDOM, Springer-Verlag, 374–386, 2012. - Тестирование и реконструкция липшицевых функций с приложениями к конфиденциальности данных, Мадхав Джа и Софья Расходникова. SIAM Journal on Computing, 42(2), 700-731, 2013.
Предварительная версия опубликована в Proceedings of the 52nd Annual IEEE Symposium on Основы информатики (FOCS), 433-442, 2011.
Слайды - Частный анализ структуры графа , Вишеш Карва, Софья Расходникова, Адам Смит, Григорий Ярославцев. Материалы Тридцать седьмой Международной конференции по очень большим базам данных (VLDB), 1146–1157, 2011 г.
- Алгоритмы аппроксимации для задач гаечного ключа и направленного леса Штейнера , Петр Берман, Арнаб Бхаттачария, Константин Макарычев, Софья Расходникова, Григорий Ярославцев. Информация и вычисления, 222, 93-107, 2013 г. (специальный выпуск ICALP 2011 г.).
Предварительная версия под названием «Улучшенная аппроксимация задачи направленного гаечного ключа» появилась в материалах 38-го Международного коллоквиума по автоматам, языкам и программированию (ICALP), 1–12, 2011 г. - Гаечные ключи Steiner с переходным затвором для малогабаритных узлов ,
Петр Берман, Арнаб Бхаттачария, Елена Григореску, Софья Расходникова, Дэвид Вудрафф, Григорий Ярославцев.
Комбинаторика 34 (3): 255-277 (2014)
Предварительная версия появилась в Материалы 38-го Международного коллоквиума по автоматам, языкам и программированию (ICALP), 760–772, 2011 г. - Гаечные ключи с переходным замком: обзор ,
Софья Расходникова. В О. Голдрайх, редактор, Property Testing, LNCS 6390, LNCS State-of-the-Art Surveys,
Спрингер, Гейдельберг, 167-19.6, 2010.
Слайды - Поиск разреженных гаечных ключей , Петр Берман, Софья Расходникова, Гэ Руан. Материалы 30-й ежегодной конференции по Основы программных технологий и теоретической информатики (FSTTCS), 424-435, 2010.
- Нижние границы для восстановления локальной монотонности по транзитивно-замыкающим ключам ,
Арнаб Бхаттачария, Елена Григореску, Мадхав Джа, Киомин Юнг, Софья Расходникова, Дэвид Вудрафф. SIAM J. Дискретная математика, 26(2), 618-646, 2012.
Предварительная версия появился в Proceedings of the 14 RANDOM, Springer-Verlag, 448-461, 2010. - Аппроксимационные алгоритмы для задач обобщения минимум-макс , Петр Берман и Софья Расходникова. ACM Transactions on Algorithms, 11(1): 5:1–5:23, 2014 г.
Предварительная версия в Трудах 13-го ПРИБЛ. Springer-Verlag, 53-66, 2010.
Слайды - Ключи переходного замыкания гиперкуба и гиперсетки , Арнаб Бхаттачария, Елена Григореску, Киомин Юнг, Софья Расходникова, Дэвид Вудрафф, Электронный коллоквиум по Вычислительная сложность , TR09-046, 2009.
- Ключи переходного типа , Арнаб Бхаттачария, Елена Григореску, Кёмин Юнг, Софья Расходникова, Дэвид Вудрафф, SIAM Journal on Computing, 41(6), стр. 1380-1425, 2012 г.
Предварительная версия появилась в Материалы 20-й конференции ACM-SIAM SODA, 531–540, 2009 г.
Слайды - Чему мы можем научиться наедине? Шива Касивисванатан, Хомин Ли, Кобби Ниссим, Софья Расходникова, Адам Смит. SIAM Journal on Computing, 40(3), стр. 793–826, 2011 г. (специальный выпуск FOCS 2008 г.).
Предварительная версия появилось в Proceedings of 49th IEEE FOCS, 531-540, 2008. - Строгие нижние границы для аппроксимации размера поддержки распределения и задачи об отдельных элементах ,
Софья Расходникова, Дана Рон, Амир Шпилька, Адам Смит, СИАМ
Журнал по вычислительной технике , 39(3):813-842, 2009.
Предварительная версия появилось в Proceedings of 48th IEEE FOCS, 559-569, 2007. - Гладкая чувствительность и выборка в анализе частных данных , Кобби Ниссим, Софья Расходникова, Адам Смит, Труды
39-й ACM STOC, 75-84, 2007.
Слайды - сублинейный
Алгоритмы аппроксимации сжимаемости строк , Софья Расходникова, Дана Рон, Ронитт Рубинфельд, Адам Смит, Algorithmica, том 65, выпуск 3, стр. 685-709, 2013.
Предварительная версия появилась в Трудах 11-й RANDOM, Springer-Verlag, 609-623, 2007.
Слайды - Заметка об адаптивности при тестировании свойств графов с ограниченными степенями , Софья Расходникова и Адам Смит, Электронный коллоквиум по Вычислительная сложность , TR06-089, 2006.
- Некоторые свойства 3CNF трудно протестировать ,
Эли Бен-Сассон, Прахлад Харша, Софья Расходникова, СИАМ
Журнал по вычислительной технике , 35(1):1-21, 2005. (PDF).
Предварительная версия (PDF) появилось в Трудах 35-й ACM STOC, 345-354, 2003.
Слайды - Проверка свойств: теория и приложения , докторская диссертация, Массачусетский технологический институт, Кембридж, Массачусетс, 2003 г. (PDF)
- Приблизительное тестирование визуального
Недвижимость , Софья Расходникова,
Материалы 7-го RANDOM,
Спрингер-Верлаг,
370-381, 2003.
(PDF)
Слайды - Сублинейный алгоритм слабой аппроксимации расстояния редактирования ,
Тугкан Бату, Фунда Эргун, Джо Килиан, Авнер Маген, Софья
Расходникова, Ронитт Рубинфельд и Рахул Сами, Труды 35-го заседания ACM STOC, 316-324, 2003. (PDF)
- Нижние границы для встраивания расстояния редактирования в нормированные пространства , Александр Андони, Майкл Деза, Анупам Гупта, Петр Индик и Софья Расходникова, Материалы 14-й конференции ACM-SIAM SODA, 523–526, 2003 г. (PDF)
- Тестирование монотонности в общих областях Poset , Эльдар Фишер, Эрик Леман, Илан Ньюман, Софья Расходникова, Ронитт Рубинфельд и Алексей Самородницкий. Материалы 34-й конференции ACM STOC, 474–483, 2002 г. (PDF)
- Улучшенные алгоритмы тестирования на монотонность ,
Евгений Додис,
Одед Голдрайх, Эрик Леман, Софья Расходникова, Дана Рон и Алекс
Самородницкий, Материалы 3-й конференции RANDOM, 97-108,
1999.
(PDF)
Слайды - Проверка монотонности , Магистерская диссертация, Массачусетский технологический институт, Кембридж, Массачусетс, 1999. (PDF)
Рукопись.
Выбранный доклад на TPDP 2021.
Теоретическая информатика, 806: 402-415, 2020. 
SIAM J. Дискретная математика, 26(2), 618-646, 2012. 
SIAM Journal on Computing, 40(3), стр. 793–826, 2011 г. (специальный выпуск FOCS 2008 г.). 
(PDF)Контактная информация
- Email: имя «at» bu.edu
Как произносить мое имя
- Софья: Два слога.
- Первый звучит как Софт без последнего звука.
- Второй, ya , звучит как немецкое «да».
- Расходникова: Единственная хитрость в том, что первая «к» молчит.
- Рас
- ход ( ударение , первый звук как в «шляпе»)
- или
- ка (безударный o произносится как a на русском языке)
- ва
Бумаги
Перейти к основному содержанию- Проблема удовлетворения ограничений: сложность и приближенность
Редакторы: А. Крохин и С. Живны. Серия
Dagstuhl Follow-Ups, том 7, 2017 г.
- Приглашение к проблеме удовлетворения ограничений обещаний
А. Крохин и Ю. Опршал.
Новости ACM SIGLOG, 9(3), 2022, 30-59. - Топология и присоединение в удовлетворении ограничений обещания
А. Крохин, Я. Опршал, М. Врочна, С. Живны.
SIAM Journal on Computing, принято к публикации.
Расширенная версия объединенных документов FOCS’19 и SODA’20. - Алгебраический подход к удовлетворению ограничений обещаний
Л. Барто, Й. Булин, А. Крохин, Й. Опршал.
Journal of the ACM, 66(4), Статья 28, 1–66, 2021 г.
Версия для конференции в STOC’19, 602–613, 2019 г. (Более подходит для первого чтения). - Надежные алгоритмы с полиномиальными потерями для почти единогласных CSP
В. Далмау, М. Козик, А. Крохин, К. Макарычев, Ю. Макарычев и Дж. Опршал.
SIAM Journal on Computing, 48(6), 1763–1795, 2019 г.
Версия конференции в SODA’17, 340–357, 2017 г. - К характеристике аппроксимируемых с постоянным фактором конечнозначных CSP
В. Далмау, А. Крохин и Р. Манокаран
Journal of Computer and System Sciences, 97, 14-27, 2018.
Версия для конференции в SODA’15 , 847-857, 2015. - Бинаризация для задач удовлетворения ограниченных значений
Д. Коэн, М. Купер, П. Дживонс, А. Крохин, Р. Пауэлл и С. Живни.
SIAM Journal on Discrete Mathematics, 31(4), 2279–2300, 2017. - Полиморфизмы и способы их использования
Л. Барто, А. Крохин и Р. Уиллард.
Обследование. В: Проблема удовлетворения ограничений: сложность и аппроксимация, 1-44, 2017. - Сложность оцененных CSP
А. Крохин и С. Живный.
Обследование. В: Проблема удовлетворения ограничений: сложность и аппроксимация, 233-266, 2017. - Сложность общезначных CSP
В. Колмогоров, А. Крохин и М. Ролинек.
SIAM Journal on Computing, 46(3), 1087-1110, 2017 г.
Версия конференции в FOCS’15, 1246-1258, 2015 г. - Об алгебрах со многими симметрическими операциями
К. Карвальо и А. Крохин.
International Journal of Algebra and Computation, 26(5), 1019-1032, 2016. - Характеристики некоторых условий Мальцева
М. Козик, А. Крохин, М. Валериоте и Р. Уиллард.
Algebra Universalis, 73 (3-4), 205-224, 2015. - Сложность оценочного удовлетворения ограничений
П. Джевонс, А. Крохин и С. Живны.
Обследование. Алгоритмическая колонка бюллетеня EATCS, 113, 21-55, 2014 г. (ошибки) - Управляемость косых бисубмодулярных функций Oracle
А. Хубер и А. Крохин.
SIAM Journal on Discrete Mathematics, 28 (4), 1828-1837, 2014. - Косая бисубмодулярность и оцененные CSP
А. Хубер, А. Крохин и Р. Пауэлл.
SIAM Journal on Computing, 43 (3), 1064–1084, 2014.
Версия конференции в SODA’13, 1296-1305, 2013. - Робастная выполнимость для CSP: сложность и алгоритмические результаты
В. Далмау, А. Крохин .
ACM Transactions on Computing Theory, 5 (4), статья 15, 2013 г. - Сложность проблемы гомоморфизма списков для графов
Л. Эгри, А. Крохин, Б. Ларос и П. Тессон.
Theory of Computing Systems, 51 (2), 143-178, 2012.
Версия конференции в STACS’10, LIPics 5, 335-346, 2010. - О трудностях похудения
А. Крохин и Д. Маркс .
ACM Transactions on Algorithms, 8 (2), Article No.19, 2012.
Версия для конференции в ICALP’08, LNCS 5125, 662-673, 2008. - Две новые дуальности гомоморфизма и операции на решетке
К. Карвальо, В. Далмау и А. Крохин.
Journal of Logic and Computation, 21 (6), 1065-1092, 2011.
Версия для конференции (часть этой статьи) в LICS’08, 307-316, 2008. - Двойственность CSP и деревья с ограниченной шириной пути
C , Карвалью, В. Далмау и А. Крохин.
Theoretical Computer Science, 411 (34-36), 3188-3208, 2010. - Ретракции на псевдолеса
Т. Федер, П. Хелл, П. Йонссон, А. Крохин и Г. Норд.
SIAM Journal on Discrete Mathematics, 24 (1), 101–112, 2010. - Проблемы удовлетворения жестких ограничений имеют жесткие пробелы в позиции 1
П. Йонссон, А. Крохин и Ф. Куйвинен.
Theoretical Computer Science, 410 (38-40), 3856-3874, 2009.
Версия конференции в CSR’07, LNCS 4649, 2007, 182-193. - Сложность игр с удовлетворением ограничений и QCSP
Ф. Бурнер, А. Булатов, Х. Чен, П. Дживонс и А. Крохин.
Информация и вычисления, 207 (9), 923-944, 2009 г.
Версия конференции (часть этой статьи) в CSL’03, LNCS 2803, 2003, 58-70. - Двойственности для задач удовлетворения ограничений
А. Булатов, А. Крохин и Б. Ларос.
Survey, In: Complexity of Constraints, LNCS 5250, 93-124, 2008. (Ошибки) - Аппроксимируемость Max CSP с фиксированными ограничениями
В. Дейнеко, П. Йонссон, М. Классон и А. Крохин
Journal of the ACM, 55 (4), Статья №16, 2008 г.
Версия для конференции в Eurocomb’05, DMTCS Proceedings, том AE, 51-56, 2005 г. - Вычислительная сложность аудита дискретных атрибутов в статистических базах данных
П. Йонссон и А. Крохин.
Journal of Computer and System Sciences, 74 (5), 898-909, 2008. - Ограничения большинства имеют ограниченную двойственность ширины пути
В. Далмау, А. Крохин.
European Journal of Combinatorics, 29 (4), 821-837, 2008. - Максимизация супермодулярных функций на решетках произведений с применением к максимальному удовлетворению ограничений
А. Крохин и Б. Ларос.
SIAM Journal on Discrete Mathematics, 22 (1), 312-328, 2008 г.
Версия для конференции (часть этой статьи) в CP’05, LNCS 3709, 2005, 388-402. - Ретракции на последовательно-параллельные частично-упорядоченные множества
В. Далмау, А. Крохин и Б. Ларосе.
Discrete Mathematics, 308 (11), 2104-2114, 2008. - Сложность клаузальных ограничений над цепями
Н. Кренью, М. Германн, А. Крохин и Г. Зальццер.
Theory of Computing Systems, 42 (2), 239-255, 2008. - Замечание о супермодулярных подрешетках в конечных относительно дополняемых решетках
А. Крохин и Б. Ларос.
Универсальная алгебра, 59 (1-2), 2008, 237-241. - Максимальные H-раскрашиваемые подграфы и оптимизация ограничений с произвольными весами
П. Йонссон и А. Крохин.
Journal of Computer and System Sciences, 73 (5), 691-702, 2007. - Определимые задачи ретракции первого порядка для частично-уравненных множеств и рефлексивных графов
В. Далмау, А. Крохин и Б. Ларос.
Journal of Logic and Computation, 17(1), 31–51, 2007 г. Версия конференции
в LICS’04, 2004 г., 232–241. - Сложность удовлетворения мягких ограничений
Д. Коэн, М. Купер, П. Дживонс и А. Крохин.
Журнал искусственного интеллекта, 170 (11), 983-1016, 2006.
Версия для конференции (часть этой статьи) в CP’03, LNCS 2833, 2003, 244–258. - Аппроксимируемость трехзначного Max CSP
П. Йонссон, М. Классон и А. Крохин.
SIAM Journal on Computing, 35 (6), 1329-1349, 2006. - Моноидальный интервал клонов самодуальных функций
А. Крохин и И. Г. Розенберг.
Журнал автоматов, языков и комбинаторики, 11 (2), 2006, 189-208. - Супермодульные функции и сложность Max CSP
Д. Коэн, М. Купер, П. Джевонс и А. Крохин.
Discrete Applied Mathematics, 149 (1-3), 53-72, 2005. Версия конференции
в STACS’04, LNCS 2996, 2004, 152-163. - Сложность удовлетворения ограничений: алгебраический подход
А. Крохин, А. Булатов и П. Дживонс.
Survey, In: Structural Theory of Automata, Semigroups and Universal Algebra (Montreal, 2003),
NATO Science Seiries II: Mathematics, Physics, Chemistry, том 207, 181-213, 2005. - Классификация сложности ограничений с использованием конечных алгебр
А. Булатов, П. Джевонс и А. Крохин.
SIAM Journal on Computing, 34 (3), 720-742, 2005.
Версия конференции в ICALP’00, LNCS 1853, 2000, 272-282. - Классификация сложности в качественных рассуждениях о временных ограничениях
П. Йонссон и А. Крохин.
Журнал искусственного интеллекта, 160 (1-2), 35-51, 2004.
Версия конференции в TIME’02, 2002, 28-35. - Распознавание замороженных переменных в задачах удовлетворения ограничений
П. Йонссон и А. Крохин.
Theoretical Computer Science, 160 (1-3), 93-113, 2004. - Максимальный разрешимый класс мягких ограничений
Д. Коэн, М. Купер, П. Дживонс, А. Крохин.
Журнал исследований искусственного интеллекта, 22, 2004 г., стр. 1–22.
Версия для конференции в IJCAI’03 2003, 209-214. - Задачи выполнения ограничений на интервалы и длины
А. Крохин, П. Джевонс, П. Йонссон.
Журнал SIAM по дискретной математике, 17 (3), 2004 г., стр. 453–477.
Версия для конференции в STACS’02, LNCS 2285, 2002, 443-454. - Рассуждения о темпоральных отношениях: разрешимые подалгебры интервальной алгебры Аллена
А. Крохин, П. Дживонс и П. Йонссон.
Журнал ACM, 50 (5), 2003, 591-640.
Версия конференции в IJCAI’01, 2001, 83-88. - Функции многозначной логики и сложность удовлетворения ограничений: краткий обзор
А. Крохин, А. Булатов, П. Дживонс.
в ИСВЛ’03, 2003, 343-351. - Решение порядковых ограничений в логарифмическом пространстве
А. Крохин и Б. Ларос.
в STACS’03, LNCS 2607, 2003, 379-390. - Квантовые ограничения и сюръективные полиморфизмы
Ф. Бернер, А. Крохин, А. Булатов, П. Дживонс.
Технический отчет PRG-RR-02-11, Оксфордский университет, 2002 г., 25 стр. - Моноидальный интервал изотоновых клонов на конечной цепи
А. Крохин и Б. Ларос.
Acta Sci. Мат. (Сегед), 68 (1-2), 2002, 37-62. - Сложность языков с максимальными ограничениями
А. Булатов, А. Крохин и П. Дживонс.
в STOC’01, 2001, 667-674. - О структуре решеток клонов, II
А. Булатов, А. Крохин, К. Сафин, А. Семигродских, Е. Суханов.
Многозначная логика, 7 (5-6), 2001, 379-389. - Конгруэнции решеток клонов, II
А. Крохин. Приказ
, 18 (2), 2001, 151-159. - О клонах, моноидах преобразований и конечных булевых алгебрах
А. Крохин.
Универсальная алгебра, 46 (1-2), 2001, 231-236. - О клонах, сохраняющих рефлексивное бинарное отношение
А. Крохин и Д. Швайгерт.
Acta Sci. Мат. (Сегед), 67 (3-4), 2001, 461-473. - Конгруэнции решеток клонов, I
А. Крохин и А. Семигродских.
Вклады в общую алгебру, 11, Verlag Johannes Heyn, Klagenfurt, 1999, 137–150. - Максимальные клоны в моноидальных интервалах, I
А. Крохин.
Сиб. Мат. Журнал, 40(3), 1999, 619-631. [Русский; англ.пер.: Сибирский математический журнал, 40(3), 1999, 528-538] - О структуре решетки замкнутых классов полиномов
А. Крохин, К. Сафин, Е. Суханов.
Дискретная математика, 9(2), 1997, 24-39. [Русский; англ.пер.: Discrete Mathematics and Applications, 7(2), 131-146] - Булевы решетки как интервалы в решетках клонов
А. Крохин.
Многозначная логика, 2(3), 1997, 263-271. - О клонах, моноидах трансформации и ассоциативных кольцах
А. Крохин.
Универсальная алгебра, 37(4), 1997, 527-540. - Моноидальные и дистрибутивные интервалы в решетках клонов
А.
Крохин, М. Валериоте и Р. Уиллард. 
Йонссон и А. Крохин. 
Купер, П. Джевонс и А. Крохин. 
Йонссон и А. Крохин. 
Крохин и Б. Ларос. 
Крохин и Д. Швайгерт. 