1 research outputs found

    Π₯арактСристики слоТности: ΠΊΠ»ΠΈΠΊΠΎΠ²ΠΎΠ΅ число Π³Ρ€Π°Ρ„Π° ΠΌΠ½ΠΎΠ³ΠΎΠ³Ρ€Π°Π½Π½ΠΈΠΊΠ° ΠΈ число ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΎΠ³ΠΎ покрытия

    Get PDF
    In the 1980s V.A. Bondarenko found that the clique number of the graph of a polytope in many cases corresponds to the actual complexity of the optimization problem on the vertices of the polytope. For an explanation of this phenomenon he proposed the theory of direct type algorithms. This theory asserts that the clique number of the graph of a polytope is the lower bound of the complexity of the corresponding problem in the so-called class of direct type algorithms. Moreover, it was argued that this class is wide enough and includes many classical combinatorial algorithms. In this paper we present a few examples, designed to identify the limits of applicability of this theory. In particular, we describe a modification of algorithms that is quite frequently used in practice. This modification takes the algorithms out of the specified class, while the complexity is not changed. Another, much closer to reality combinatorial characteristic of complexity is the rectangle covering number of the facet-vertex incidence matrix, introduced into consideration by M. Yannakakis in 1988. We give an example of a polytope with a polynomial (with respect to the dimension of the polytope) value of this characteristic, while the corresponding optimization problem is NP-hard.Π’ 1980-Ρ… Π³Π³. Π’.А. Π‘ΠΎΠ½Π΄Π°Ρ€Π΅Π½ΠΊΠΎ ΠΎΠ±Π½Π°Ρ€ΡƒΠΆΠΈΠ», Ρ‡Ρ‚ΠΎ ΠΊΠ»ΠΈΠΊΠΎΠ²ΠΎΠ΅ число Π³Ρ€Π°Ρ„Π° ΠΌΠ½ΠΎΠ³ΠΎΠ³Ρ€Π°Π½Π½ΠΈΠΊΠ° Π²ΠΎ ΠΌΠ½ΠΎΠ³ΠΈΡ… случаях соотвСтствуСт Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΠΉ слоТности Π·Π°Π΄Π°Ρ‡ΠΈ ΠΎΠΏΡ‚ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ Π½Π° Π²Π΅Ρ€ΡˆΠΈΠ½Π°Ρ… этого ΠΌΠ½ΠΎΠ³ΠΎΠ³Ρ€Π°Π½Π½ΠΈΠΊΠ°. Для объяснСния этого Ρ„Π΅Π½ΠΎΠΌΠ΅Π½Π° Π±Ρ‹Π»Π° ΠΏΡ€Π΅Π΄Π»ΠΎΠΆΠ΅Π½Π° тСория Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠΎΠ² прямого Ρ‚ΠΈΠΏΠ°, ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π°ΡŽΡ‰Π°Ρ, Ρ‡Ρ‚ΠΎ ΠΊΠ»ΠΈΠΊΠΎΠ²ΠΎΠ΅ число Π³Ρ€Π°Ρ„Π° ΠΌΠ½ΠΎΠ³ΠΎΠ³Ρ€Π°Π½Π½ΠΈΠΊΠ° являСтся Π½ΠΈΠΆΠ½Π΅ΠΉ ΠΎΡ†Π΅Π½ΠΊΠΎΠΉ слоТности ΡΠΎΠΎΡ‚Π²Π΅Ρ‚ΡΡ‚Π²ΡƒΡŽΡ‰Π΅ΠΉ Π·Π°Π΄Π°Ρ‡ΠΈ Π² Ρ‚Π°ΠΊ Π½Π°Π·Ρ‹Π²Π°Π΅ΠΌΠΎΠΌ классС Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠΎΠ² прямого Ρ‚ΠΈΠΏΠ°. Π‘ΠΎΠ»Π΅Π΅ Ρ‚ΠΎΠ³ΠΎ, ΡƒΡ‚Π²Π΅Ρ€ΠΆΠ΄Π°Π»ΠΎΡΡŒ, Ρ‡Ρ‚ΠΎ этот класс являСтся достаточно ΡˆΠΈΡ€ΠΎΠΊΠΈΠΌ, Π²ΠΊΠ»ΡŽΡ‡Π°ΡŽΡ‰ΠΈΠΌ Π² сСбя ΠΌΠ½ΠΎΠ³ΠΈΠ΅ классичСскиС ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½Ρ‹Π΅ Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΡ‹. Π’ настоящСй Ρ€Π°Π±ΠΎΡ‚Π΅ приводится нСсколько ΠΏΡ€ΠΈΠΌΠ΅Ρ€ΠΎΠ², ΠΏΡ€ΠΈΠ·Π²Π°Π½Π½Ρ‹Ρ… ΠΎΠ±ΠΎΠ·Π½Π°Ρ‡ΠΈΡ‚ΡŒ Π³Ρ€Π°Π½ΠΈΡ†Ρ‹ примСнимости этой Ρ‚Π΅ΠΎΡ€ΠΈΠΈ. Π’ частности, описана довольно часто ΠΈΡΠΏΠΎΠ»ΡŒΠ·ΡƒΠ΅ΠΌΠ°Ρ Π½Π° ΠΏΡ€Π°ΠΊΡ‚ΠΈΠΊΠ΅ модификация Π°Π»Π³ΠΎΡ€ΠΈΡ‚ΠΌΠΎΠ², выводящая ΠΈΡ… ΠΈΠ· ΡƒΠΊΠ°Π·Π°Π½Π½ΠΎΠ³ΠΎ класса (порядок трудоСмкости ΠΏΡ€ΠΈ этом Π½Π΅ мСняСтся). Π”Ρ€ΡƒΠ³ΠΎΠΉ, Π·Π½Π°Ρ‡ΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ Π±ΠΎΠ»Π΅Π΅ Π±Π»ΠΈΠ·ΠΊΠΎΠΉ ΠΊ Ρ€Π΅Π°Π»ΡŒΠ½ΠΎΡΡ‚ΠΈ, ΠΊΠΎΠΌΠ±ΠΈΠ½Π°Ρ‚ΠΎΡ€Π½ΠΎΠΉ характСристикой слоТности являСтся число ΠΏΡ€ΡΠΌΠΎΡƒΠ³ΠΎΠ»ΡŒΠ½ΠΎΠ³ΠΎ покрытия ΠΌΠ°Ρ‚Ρ€ΠΈΡ†Ρ‹ ΠΈΠ½Ρ†ΠΈΠ΄Π΅Π½Ρ†ΠΈΠΉ фасСт-Π²Π΅Ρ€ΡˆΠΈΠ½, Π²Π²Π΅Π΄Π΅Π½Π½ΠΎΠ΅ Π² рассмотрСниС М. Яннакакисом Π² 1988 Π³. ΠœΡ‹ ΠΏΡ€ΠΈΠ²ΠΎΠ΄ΠΈΠΌ ΠΏΡ€ΠΈΠΌΠ΅Ρ€ ΠΌΠ½ΠΎΠ³ΠΎΠ³Ρ€Π°Π½Π½ΠΈΠΊΠ° с ΠΏΠΎΠ»ΠΈΠ½ΠΎΠΌΠΈΠ°Π»ΡŒΠ½Ρ‹ΠΌ (ΠΎΡ‚Π½ΠΎΡΠΈΡ‚Π΅Π»ΡŒΠ½ΠΎ размСрности ΠΌΠ½ΠΎΠ³ΠΎΠ³Ρ€Π°Π½Π½ΠΈΠΊΠ°) Π·Π½Π°Ρ‡Π΅Π½ΠΈΠ΅ΠΌ этой характСристики, Π·Π°Π΄Π°Ρ‡Π° ΠΎΠΏΡ‚ΠΈΠΌΠΈΠ·Π°Ρ†ΠΈΠΈ Π½Π° Π²Π΅Ρ€ΡˆΠΈΠ½Π°Ρ… ΠΊΠΎΡ‚ΠΎΡ€ΠΎΠ³ΠΎ NP-Ρ‚Ρ€ΡƒΠ΄Π½Π°
    corecore