75 research outputs found
On vertex adjacencies in the polytope of pyramidal tours with step-backs
We consider the traveling salesperson problem in a directed graph. The
pyramidal tours with step-backs are a special class of Hamiltonian cycles for
which the traveling salesperson problem is solved by dynamic programming in
polynomial time. The polytope of pyramidal tours with step-backs is
defined as the convex hull of the characteristic vectors of all possible
pyramidal tours with step-backs in a complete directed graph. The skeleton of
is the graph whose vertex set is the vertex set of and the
edge set is the set of geometric edges or one-dimensional faces of .
The main result of the paper is a necessary and sufficient condition for vertex
adjacencies in the skeleton of the polytope that can be verified in
polynomial time.Comment: in Englis
Polyhedral characteristics of balanced and unbalanced bipartite subgraph problems
We study the polyhedral properties of three problems of constructing an
optimal complete bipartite subgraph (a biclique) in a bipartite graph. In the
first problem we consider a balanced biclique with the same number of vertices
in both parts and arbitrary edge weights. In the other two problems we are
dealing with unbalanced subgraphs of maximum and minimum weight with
nonnegative edges. All three problems are established to be NP-hard. We study
the polytopes and the cone decompositions of these problems and their
1-skeletons. We describe the adjacency criterion in 1-skeleton of the polytope
of the balanced complete bipartite subgraph problem. The clique number of
1-skeleton is estimated from below by a superpolynomial function. For both
unbalanced biclique problems we establish the superpolynomial lower bounds on
the clique numbers of the graphs of nonnegative cone decompositions. These
values characterize the time complexity in a broad class of algorithms based on
linear comparisons
Polütoopide laienditega seotud ülesanded
Väitekirja elektrooniline versioon ei sisalda publikatsiooneLineaarplaneerimine on optimeerimine matemaatilise mudeliga, mille sihi¬funktsioon ja kitsendused on esitatud lineaarsete seostega. Paljusid igapäeva elu väljakutseid võime vaadelda lineaarplaneerimise vormis, näiteks miinimumhinna või maksimaalse tulu leidmist. Sisepunkti meetod saavutab häid tulemusi nii teoorias kui ka praktikas ning lahendite leidmise tööaeg ja lineaarsete seoste arv on polünomiaalses seoses. Sellest tulenevalt eksponentsiaalne arv lineaarseid seoseid väljendub ka ekponentsiaalses tööajas.
Iga vajalik lineaarne seos vastab ühele polütoobi P tahule, mis omakorda tähistab lahendite hulka. Üks võimalus tööaja vähendamiseks on suurendada dimensiooni, mille tulemusel väheneks ka polütoobi tahkude arv. Saadud polütoopi Q nimeta¬takse polütoobi P laiendiks kõrgemas dimensioonis ning polütoobi Q minimaalset tahkude arvu nimetakakse polütoobi P laiendi keerukuseks, sellisel juhul optimaalsete lahendite hulk ei muutu. Tekib küsimus, millisel juhul on võimalik leida laiend Q, mille korral tahkude arv on polünomiaalne.
Mittedeterministlik suhtluskeerukus mängib olulist rolli tõestamaks polütoopide laiendite keerukuse alampiiri. Polütoobile P vastava suhtluskeerukuse leidmine ning alamtõkke tõestamine väistavad võimalused leida laiend Q, mis ei oleks eksponentsiaalne.
Käesolevas töös keskendume me juhuslikele Boole'i funktsioonidele f, mille tihedusfunktsioon on p = p(n). Me pakume välja vähima ülemtõkke ning suurima alamtõkke mittedeterministliku suhtluskeerukuse jaoks. Lisaks uurime me ka pedigree polütoobi graafi. Pedigree polütoop on rändkaupmehe ülesande polütoobi laiend, millel on kombinatoorne struktuur. Polütoobi graafi võib vaadelda kui abstraktset graafi ning see annab informatsiooni polütoobi omaduste kohta.The linear programming (LP for short) is a method for finding an optimal solution, such as minimum cost or maximum profit for a linear function subject to linear constraints. But having an exponential number of inequalities gives the exponential running time in solving linear program. A polytope, let's say P, represents the space of the feasible solution. One idea for decreasing the running time of the problem, is lifting the polytope P tho the higher dimensions with the goal of decresing the number of inequalities. The polytope in higher dimension, let's say Q, is the extension of the original polytope P and the minimum number of facets that Q can have is the extension complexity of P. Then the optimal solution of the problem over Q, gives the optimal solution over P. The natural question may raise is when is it possible to have an extension with a polynomial number of inequalities?
Nondeterministic communication complexity is a powerful tool for proving lower bound on the extension complexity of a polytopes. Finding a suitable communication complexity problem corresponded to a polytope P and proving a linear lower bound for the nondeterministic communication complexity of it, will rule out all the attempts for finding sub-exponential size extension Q of P.
In this thesis, we focus on the random Boolean functions f, with density p = p(n). We give tight upper and lower bounds for the nondeterministic communication complexity and parameters related to it. Also, we study the rank of fooling set matrix which is an important lower bound for nondeterministic communication complexity.
Finally, we investigate the graph of the pedigree polytope. Pedigree polytope is an extension of TSP (traveling salesman problem; the most extensively studied problem in combinatorial optimization) polytopes with a nice combinatorial structure. The graph of a polytope can be regarded as an abstract graph and it reveals meaningful information about the properties of the polytope
The structure and normalized volume of Monge polytopes
A matrix has the Monge property if
for all and . Monge matrices play an important role in
combinatorial optimization; for example, when the transportation problem
(resp., the traveling salesman problem) has a cost matrix which is Monge, then
the problem can be solved in linear (resp., quadratic) time. For given matrix
dimensions, we define the Monge polytope to be the set of nonnegative Monge
matrices normalized with respect to the sum of the entries. In this paper, we
give an explicit description and enumeration of the vertices, edges, and facets
of the Monge polytope; these results are sufficient to construct the face
lattice. In the special case of two-row Monge matrices, we also prove a
polytope volume formula. For symmetric Monge matrices, we show that the Monge
polytope is a simplex and we prove a general formula for its volume
- …