9,804 research outputs found
Construction of near-optimal vertex clique covering for real-world networks
We propose a method based on combining a constructive and a bounding heuristic to solve the vertex clique covering problem (CCP), where the aim is to partition the vertices of a graph into the smallest number of classes, which induce cliques. Searching for the solution to CCP is highly motivated by analysis of social and other real-world networks, applications in graph mining, as well as by the fact that CCP is one of the classical NP-hard problems. Combining the construction and the bounding heuristic helped us not only to find high-quality clique coverings but also to determine that in the domain of real-world networks, many of the obtained solutions are optimal, while the rest of them are near-optimal. In addition, the method has a polynomial time complexity and shows much promise for its practical use. Experimental results are presented for a fairly representative benchmark of real-world data. Our test graphs include extracts of web-based social networks, including some very large ones, several well-known graphs from network science, as well as coappearance networks of literary works' characters from the DIMACS graph coloring benchmark. We also present results for synthetic pseudorandom graphs structured according to the Erdös-Renyi model and Leighton's model
Solving Hard Computational Problems Efficiently: Asymptotic Parametric Complexity 3-Coloring Algorithm
Many practical problems in almost all scientific and technological
disciplines have been classified as computationally hard (NP-hard or even
NP-complete). In life sciences, combinatorial optimization problems frequently
arise in molecular biology, e.g., genome sequencing; global alignment of
multiple genomes; identifying siblings or discovery of dysregulated pathways.In
almost all of these problems, there is the need for proving a hypothesis about
certain property of an object that can be present only when it adopts some
particular admissible structure (an NP-certificate) or be absent (no admissible
structure), however, none of the standard approaches can discard the hypothesis
when no solution can be found, since none can provide a proof that there is no
admissible structure. This article presents an algorithm that introduces a
novel type of solution method to "efficiently" solve the graph 3-coloring
problem; an NP-complete problem. The proposed method provides certificates
(proofs) in both cases: present or absent, so it is possible to accept or
reject the hypothesis on the basis of a rigorous proof. It provides exact
solutions and is polynomial-time (i.e., efficient) however parametric. The only
requirement is sufficient computational power, which is controlled by the
parameter . Nevertheless, here it is proved that the
probability of requiring a value of to obtain a solution for a
random graph decreases exponentially: , making
tractable almost all problem instances. Thorough experimental analyses were
performed. The algorithm was tested on random graphs, planar graphs and
4-regular planar graphs. The obtained experimental results are in accordance
with the theoretical expected results.Comment: Working pape
-WORM colorings of graphs: Lower chromatic number and gaps in the chromatic spectrum
A -WORM coloring of a graph is an assignment of colors to the
vertices in such a way that the vertices of each -subgraph of get
precisely two colors. We study graphs which admit at least one such
coloring. We disprove a conjecture of Goddard et al. [Congr. Numer., 219 (2014)
161--173] who asked whether every such graph has a -WORM coloring with two
colors. In fact for every integer there exists a -WORM colorable
graph in which the minimum number of colors is exactly . There also exist
-WORM colorable graphs which have a -WORM coloring with two colors
and also with colors but no coloring with any of colors. We
also prove that it is NP-hard to determine the minimum number of colors and
NP-complete to decide -colorability for every (and remains
intractable even for graphs of maximum degree 9 if ). On the other hand,
we prove positive results for -degenerate graphs with small , also
including planar graphs. Moreover we point out a fundamental connection with
the theory of the colorings of mixed hypergraphs. We list many open problems at
the end.Comment: 18 page
On vertex coloring without monochromatic triangles
We study a certain relaxation of the classic vertex coloring problem, namely,
a coloring of vertices of undirected, simple graphs, such that there are no
monochromatic triangles. We give the first classification of the problem in
terms of classic and parametrized algorithms. Several computational complexity
results are also presented, which improve on the previous results found in the
literature. We propose the new structural parameter for undirected, simple
graphs -- the triangle-free chromatic number . We bound by
other known structural parameters. We also present two classes of graphs with
interesting coloring properties, that play pivotal role in proving useful
observation about our problem. We give/ask several conjectures/questions
throughout this paper to encourage new research in the area of graph coloring.Comment: Extended abstrac
On First-Order Definable Colorings
We address the problem of characterizing -coloring problems that are
first-order definable on a fixed class of relational structures. In this
context, we give several characterizations of a homomorphism dualities arising
in a class of structure
- …