title: Simulations between proof systems
metadata.name: dc.contributor.advisor
metadata.value: Парт Фёдор Александрович
metadata.lang: ru_RU
metadata.name: dc.contributor.advisor
metadata.value: Part Fedor Aleksandrovic
metadata.lang: en_GB
metadata.name: dc.contributor.author
metadata.value: Гаевой Никита Сергеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.author
metadata.value: Gaevoj Nikita Sergeevic
metadata.lang: en_GB
metadata.name: dc.contributor.editor
metadata.value: Гирш Эдуард Алексеевич
metadata.lang: ru_RU
metadata.name: dc.contributor.editor
metadata.value: Girs Eduard Alekseevic
metadata.lang: en_GB
metadata.name: dc.date.accessioned
metadata.value: 2021-07-31T18:17:13Z
metadata.lang: -
metadata.name: dc.date.available
metadata.value: 2021-07-31T18:17:13Z
metadata.lang: -
metadata.name: dc.date.issued
metadata.value: 2021
metadata.name: dc.identifier.other
metadata.value: 047450
metadata.lang: en_GB
metadata.name: dc.identifier.uri
metadata.value: http://hdl.handle.net/11701/30018
metadata.lang: -
metadata.name: dc.description.abstract
metadata.value: Задача существования p-оптимальной пропозициональной системы доказательств является одной из центральных открытых проблем сложности доказательств.
  
  Цель данной работы заключается в изучении частного случая этой задачи, а именно, случая сильных сведений. Мы также вводим понятие ограниченной системы доказательств и изучаем связь между оптимальностью и автоматизируемостью для ограниченных систем доказательств.
metadata.lang: ru_RU
metadata.name: dc.description.abstract
metadata.value: The problem of the existence of an p-optimal propositional proof system is one of the central open problems in proof complexity.
  
  The goal of this work is to study the restricted case of this problem, namely, the case of strong reductions. We also introduce the notion of bounded proof system and study the connection between optimality and automatizability for bounded proof systems.
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: оптимальные системы доказательств
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: автоматизируемость систем доказательств
metadata.lang: ru_RU
metadata.name: dc.subject
metadata.value: proof complexity
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: propositional proof systems
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: optimal proof systems
metadata.lang: en_GB
metadata.name: dc.subject
metadata.value: automatizability of proof systems
metadata.lang: en_GB
metadata.name: dc.title
metadata.value: Simulations between proof systems
metadata.lang: en_GB
metadata.name: dc.title.alternative
metadata.value: Сводимости систем доказательств
metadata.lang: ru_RU
resources.filename: main.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/30018/1/main.pdf
resources.format: Adobe PDF
resources.description: Article
resources.size: 345,75 kB
resources.filename: reviewSV_4_5913500020413303481.pdf
resources.url: https://dspace.spbu.ru/bitstream/11701/30018/2/reviewSV_4_5913500020413303481.pdf
resources.format: Adobe PDF
resources.description: ReviewSV
resources.size: 98,35 kB