|
|
|
|
| LEADER |
02835nab a2200301 c 4500 |
| 001 |
vtls000708538 |
| 003 |
RU-ToGU |
| 005 |
20240925160917.0 |
| 007 |
cr | |
| 008 |
200325|2020 ru s c rus d |
| 024 |
7 |
|
|a 10.17223/20710410/47/8
|2 doi
|
| 035 |
|
|
|a to000708538
|
| 040 |
|
|
|a RU-ToGU
|b rus
|c RU-ToGU
|
| 100 |
1 |
|
|a Рыбалов, Александр Николаевич
|
| 245 |
1 |
0 |
|a О генерической NP-полноте проблемы выполнимости булевых схем
|c А. Н. Рыбалов
|
| 246 |
1 |
1 |
|a On generic NP-completeness of the problem of Boolean circuits satisfiability
|
| 504 |
|
|
|a Библиогр.: 7 назв.
|
| 520 |
3 |
|
|a Генерический подход к алгоритмическим проблемам предложен Каповичем, Мясниковым, Шуппом и Шпильрайном в 2003 г. В рамках этого подхода алгоритмическая проблема рассматривается не на всём множестве входов, а на некотором подмножестве «почти всех» входов. Понятие «почти все» формализуется введением естественной меры на множестве входных данных. В 2017 г. А. Н. Рыбалов ввёл понятие полиномиальной генерической сводимости алгоритмических проблем, которое сохраняет свойство разрешимости проблемы для почти всех входов и обладает свойством транзитивности, и доказал, что классическая проблема выполнимости булевых формул является полной относительно этой сводимости в генерическом аналоге класса NP. При этом булевы формулы представлялись в виде двоичных размеченных деревьев. В данной работе доказывается генерическая NP-полнота проблемы выполнимости для булевых схем.
|
| 653 |
|
|
|a булевы формулы
|
| 653 |
|
|
|a генерическая сложность
|
| 653 |
|
|
|a проблемы выполнимости булевых функций
|
| 653 |
|
|
|a NP-полнота
|
| 655 |
|
4 |
|a статьи в журналах
|
| 773 |
0 |
|
|t Прикладная дискретная математика
|d 2020
|g № 47. С. 101-107
|x 2071-0410
|w 0210-48760
|
| 852 |
4 |
|
|a RU-ToGU
|
| 856 |
4 |
|
|u http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000708538
|
| 908 |
|
|
|a статья
|
| 999 |
|
|
|c 465419
|d 465419
|
