- Trending Categories
- Data Structure
- Networking
- RDBMS
- Operating System
- Java
- iOS
- HTML
- CSS
- Android
- Python
- C Programming
- C++
- C#
- MongoDB
- MySQL
- Javascript
- PHP

- Selected Reading
- UPSC IAS Exams Notes
- Developer's Best Practices
- Questions and Answers
- Effective Resume Writing
- HR Interview Questions
- Computer Glossary
- Who is Who

# Prove that the vertex cover is NP complete in TOC

It is the subset(minimum size) of vertices of a graph G such that every edge in G incident to at least one vertex in G.

## Vertex Cover (VC) Problem

To prove VC is NP-complete we have to prove the following −

VC is Non-deterministic Polynomial (NP).

A NPC problem can be reduced into VC.

To prove VC is NP, find a verifier which is a subset of vertices which is VC and that can be verified in polynomial time. For a graph of n vertices it can be proved in O(n2). Thus, VC is NP.

Now consider the “clique” problem which is NPC and reduce it into VC to prove NPC. Clique of a graph G is a subset of vertices such that these vertices form a complete subgraph in the given graph G.

The two graphs titles (a) and (b) are given below for the VC problem −

Consider graph (a), here clique is {a,b,c,d}.

Now calculate a graph as shown in (b) which is as follows −

Completed graph of all the vertices in (a) – (a)

For the graph (b), we can say that the vertex cover is {s,t} which covers all the edges of the (b). This {s,t} = {a,b,c,d,s,t} – {Clique of (a)} Thus conversely, we can say that we can reduce clique into the VC problem and conversely can find both VC and clique of a given undirected graph. This means VC is NP-complete reducible.

Hence proved that VC is an NPC.

- Related Questions & Answers
- Prove that the Hamiltonian Path is NP-Complete in TOC
- Prove that the polynomial time reduction is from the Clique problem to the Vertex Cover problem
- Vertex cover Problem
- What is NP-completeness in TOC?
- Why the NP-complete problems are significant?
- Prove that Linear bounded automata LBA ⊂ PSPACE in TOC?
- What are the P class and NP class in TOC?
- C++ Program to Implement a Heuristic to Find the Vertex Cover of a Graph
- Prove that the interface for a primitive type is an empty array in Java
- C++ program to find minimum vertex cover size of a graph using binary search
- Prove that the Cartesian product of a finite number of countable sets is countable?
- How to prove that only one instance of the object is created for static class?
- Prove that CFL is closed under union and star but not under intersection?
- Number of digits that divide the complete number in JavaScript
- What is the decision problem in TOC?