110,197 research outputs found
On Murty-Simon Conjecture II
A graph is diameter two edge-critical if its diameter is two and the deletion
of any edge increases the diameter. Murty and Simon conjectured that the number
of edges in a diameter two edge-critical graph on vertices is at most
and the extremal graph is the complete
bipartite graph .
In the series papers [7-9], the Murty-Simon Conjecture stated by Haynes et al.
is not the original conjecture, indeed, it is only for the diameter two
edge-critical graphs of even order. In this paper, we completely prove the
Murty-Simon Conjecture for the graphs whose complements have vertex
connectivity , where ; and for the graphs whose
complements have an independent vertex cut of cardinality at least three.Comment: 9 pages, submitted for publication on May 10, 201
Simplest random K-satisfiability problem
We study a simple and exactly solvable model for the generation of random
satisfiability problems. These consist of random boolean constraints
which are to be satisfied simultaneously by logical variables. In
statistical-mechanics language, the considered model can be seen as a diluted
p-spin model at zero temperature. While such problems become extraordinarily
hard to solve by local search methods in a large region of the parameter space,
still at least one solution may be superimposed by construction. The
statistical properties of the model can be studied exactly by the replica
method and each single instance can be analyzed in polynomial time by a simple
global solution method. The geometrical/topological structures responsible for
dynamic and static phase transitions as well as for the onset of computational
complexity in local search method are thoroughly analyzed. Numerical analysis
on very large samples allows for a precise characterization of the critical
scaling behaviour.Comment: 14 pages, 5 figures, to appear in Phys. Rev. E (Feb 2001). v2: minor
errors and references correcte
- …