2
Чи логічно завершено NP-логічне скорочення?
Це питання було перенесено із переповнення стека, оскільки на нього можна відповісти на інформаційній стеці. Мігрували 7 років тому . Визначення проблеми логічного мінімуму (LMC) Припустимо, що - невагомий диграф, і - дві вершини , а досягається з . Проблема LMC вивчає, як ми можемо зробити недоступним для , видаливши …