Об экспериментальном доказательстве теоремы «P против NP»

Аннотация

Мы предлагаем простой и интуитивно понятный алгоритм для решения задачи md-DFA с использованием концепций алгоритма в расширенных операторах, наш подход показывает квадратичное полиномиальное время и, следовательно, доказывает эквивалентность между полиномиальными и неполиномиальными классами, мы также показали, что минимальная непустота автомата может быть решена за полиномиальное время с помощью модифицированной конструкции подмножества, а не построения автомата-произведения, что приводит к факториальному размеру памяти и времени, в этой работе мы также использовали множество неразрешимых существующих примеров и вычислили их за полиномиальное время, что гарантирует, что наш алгоритм решает NP-полную задачу за почти линейное полиномиальное время, мы также избежали проблемы автоматов-произведений с помощью алгоритмического подхода, мы также даем отправную точку для доказательства проблемы обратных ссылок, которая обсуждалась ранее, понятие глобально локального приращения также приводится в качестве основного аргумента к разрешению теоремы «P против NP», которая совпадает с термином финитарности в общей математике.