Пожалуйста, используйте этот идентификатор, чтобы цитировать или ссылаться на этот ресурс:
http://hdl.handle.net/11701/40181
Полная запись метаданных
Поле DC | Значение | Язык |
---|---|---|
dc.contributor.advisor | Головнев Александр Гарникович | ru_RU |
dc.contributor.advisor | Golovnev Aleksandr Garnikovic | en_GB |
dc.contributor.author | Эмдин Григорий Дмитриевич | ru_RU |
dc.contributor.author | Emdin Grigorij Dmitrievic | en_GB |
dc.contributor.editor | Куликов Александр Сергеевич | ru_RU |
dc.contributor.editor | Kulikov Aleksandr Sergeevic | en_GB |
dc.date.accessioned | 2023-04-06T21:50:00Z | - |
dc.date.available | 2023-04-06T21:50:00Z | - |
dc.date.issued | 2022 | |
dc.identifier.other | 068936 | en_GB |
dc.identifier.uri | http://hdl.handle.net/11701/40181 | - |
dc.description.abstract | Минимальное число клозов в КНФ представлении функции четности $x_1 \oplus x_2 \oplus \dotsb \oplus x_n$ - это $2^{n-1}$. Можно получить более компактную КНФ - кодировку, используя дополнительные переменные. Мы доказали следующие нижние оценки, которые почти совпадают с верхними, на число клозов $m$ и максимальную ширину клоза $k$: 1)~если использовать не больше $s$~дополнительных переменных, то $m \ge \Omega\left(2^{n/(s+1)}/n\right)$ и $k \ge n/(s+1)$; 2)~минимальное число клозов - хотя бы $3n$. Мы получили первые две оценки из Satisfiability Coding Lemma авторов ~Paturi, Pudl{\'{a}}k, и Zane. | ru_RU |
dc.description.abstract | The minimum number of clauses in a~CNF representation of the parity function $x_1 \oplus x_2 \oplus \dotsb \oplus x_n$ is $2^{n-1}$. One can obtain a~more compact CNF encoding by~using non-deterministic variables (also known as~guess or~auxiliary variables). We prove the following lower bounds, that almost match known upper bounds, on~the number~$m$ of~clauses and the maximum width~$k$ of clauses: 1)~if there are at~most $s$~auxiliary variables, then $m \ge \Omega\left(2^{n/(s+1)}/n\right)$ and $k \ge n/(s+1)$; 2)~the minimum number of clauses is at~least~$3n$. We~derive the first two bounds from the Satisfiability Coding Lemma due to~Paturi, Pudl{\'{a}}k, and Zane. | en_GB |
dc.language.iso | ru | |
dc.subject | кодировки | ru_RU |
dc.subject | функция четности | ru_RU |
dc.subject | нижние оценки | ru_RU |
dc.subject | булевы схемы | ru_RU |
dc.subject | КНФ | ru_RU |
dc.subject | encoding | en_GB |
dc.subject | parity | en_GB |
dc.subject | lower bounds | en_GB |
dc.subject | circuits | en_GB |
dc.subject | CNF | en_GB |
dc.title | CNF encodings of parity | en_GB |
dc.title.alternative | КНФ- кодировки функции четности | ru_RU |
Располагается в коллекциях: | BACHELOR STUDIES |
Файлы этого ресурса:
Файл | Описание | Размер | Формат | |
---|---|---|---|---|
st068936.pdf | Article | 313,5 kB | Adobe PDF | Просмотреть/Открыть |
reviewSV_emdin.pdf | ReviewSV | 55,32 kB | Adobe PDF | Просмотреть/Открыть |
Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.