Daniel Stefankovic

Learn More
We present an improved "cooling schedule" for simulated annealing algorithms for combinatorial counting problems. Under our new schedule the rate of cooling accelerates as the temperature decreases. Thus, fewer intermediate temperatures are needed as the simulated annealing algorithm moves from the high temperature (easy region) to the low temperature(More)
An edge in a drawing of a graph is called even if it intersects every other edge of the graph an even number of times. Pach and Tóth proved that a graph can always be redrawn such that its even edges are not involved in any intersections. We give a new, and significantly simpler, proof of a slightly stronger statement. We show two applications of this(More)
We show that computing the crossing number and the odd crossing number of a graph with a given rotation system is NP-complete. As a consequence we can show that many of the well-known crossing number notions are NP-complete even if restricted to cubic graphs (with or without rotation system). In particular, we can show that Tutte’s independent odd crossing(More)
We show that string graphs can be recognized in nondeterministic exponential time by giving an exponential upper bound on the number of intersections for a drawing realizing the string graph in the plane. This upper bound confirms a conjecture by Kratochv\'{\i}l and Matou\v{s}ek~\cite{KM91} and settles the long-standing open problem of the decidability of(More)
Cyclic linear codes of block length n over a finite field F/sub q/ are linear subspaces of F/sub q//sup n/ that are invariant under a cyclic shift of their coordinates. A family of codes is good if all the codes in the family have constant rate and constant normalized distance (distance divided by block length). It is a long-standing open problem whether(More)
We introduce the complexity class ∃ ℝ $\exists \mathbb {R}$ based on the existential theory of the reals. We show that the definition of ∃ ℝ $\exists \mathbb {R}$ is robust in the sense that even the fragment of the theory expressing solvability of systems of strict polynomial inequalities leads to the same complexity class. Several natural and well-known(More)
We study the computational complexity of approximately counting the number of independent sets of a graph with maximum degree Δ. More generally, for an input graph G = (V,E) and an activity λ > 0, we are interested in the quantity ZG(λ) defined as the sum over independent sets I weighted as w(I) = λ|I|. In statistical physics, ZG(λ) is the partition(More)
Recent inapproximability results of Sly (2010), together with an approximation algorithm presented by Weitz (2006) establish a beautiful picture for the computational complexity of approximating the partition function of the hard-core model. Let λc(T∆) denote the critical activity for the hard-model on the infinite ∆-regular tree. Weitz presented an FPTAS(More)