title: Novel approach to search of potential proofs
metadata.name: dc.contributor.advisor
metadata.value: Гасников Александр Владимирович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Gasnikov Aleksandr Vladimirovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Беляков Артем Алексеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Belakov Artem Alekseevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Петров Федор Владимирович
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Petrov Fedor Vladimirovic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2024-07-25T11:48:10Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2024-07-25T11:48:10Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2024
metadata.name: dc.identifier.other
metadata.value: 068908
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/45898
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: В данной работе мы развиваем подход (Taylor et al. ((2018))) по поиску
  потенциалов. Обычно для доказательства через потенциалы требуется решить
  задачу полуопределенного программирования(SDP) из O(k) линейных мат-
  ричных неравенств(LMIs), где k - количество итераций. В нашем же подходе
  мы показываем, что в определенных случаях достаточно использовать лишь
  константное количество неравенств. В качестве демонстрации эффективности
  нашего подхода мы приводим альтернативное доказательство сходимости по-
  следней итерации экстраградиентного метода для отрицательно комонотонного
  случая, по аналогии с  (Gorbunov et al. ((2022b))).
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: In this work we elaborate on the approach of (Taylor et al. ((2018))) on potential search. Due to standard approach one has to solve problem of Semidefinite programming(SDP) consisting of O(k) linear matrix inequalities(LMIs). Meanwhile, our approach allows to use only constant number of LMIs in certain cases. To demonstrate the effectiveness of our approach we provide alternative proof of last-iterate rate of convergence of extragradient method for negative comonotone case oposed to (Gorbunov et al. ((2022b))).
metadata.lang: en_GB
metadata.name: dc.language.iso
metadata.value: ru
metadata.name: dc.subject
metadata.value: оптимизация
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: компьютерная алгебра
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: optimization
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: computer algebra
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Novel approach to search of potential proofs
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Новый подход к поиску доказательств через потенциалы
metadata.lang: ru_RU
resources.filename: Diplom_Potencialy.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45898/2/Diplom_Potencialy.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 281,77 kB
resources.filename: reviewSV_otz_ABD.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/45898/3/reviewSV_otz_ABD.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 241,14 kB