The rules of mathematical logic specify methods of reasoning mathematical statements. Greek philosopher, Aristotle, was the pioneer of logical reasoning. Logical reasoning provides the theoretical base for many areas of mathematics and consequently computer science. It has many practical applications in computer science like design of computing machines, artificial intelligence, ... Read More

Let 'G−' be a simple graph with some vertices as that of 'G' and an edge {U, V} is present in 'G−', if the edge is not present in G. It means, two vertices are adjacent in 'G−' if the two vertices are not adjacent in G.If the edges that ... Read More

Graph coloring is nothing but a simple way of labelling graph components such as vertices, edges, and regions under some constraints. In a graph, no two adjacent vertices, adjacent edges, or adjacent regions are colored with minimum number of colors. This number is called the chromatic number and the graph ... Read More

Let 'G' be a connected graph with 'n' vertices and 'm' edges. A spanning tree 'T' of G contains (n-1) edges.Therefore, the number of edges you need to delete from 'G' in order to get a spanning tree = m-(n-1), which is called the circuit rank of G.This formula is ... Read More

The center of a tree is a vertex with minimal eccentricity. The eccentricity of a vertex X in a tree G is the maximum distance between the vertex X and any other vertex of the tree. The maximum eccentricity is the tree diameter. If a tree has only one center, ... Read More

Bipartite Graph - If the vertex-set of a graph G can be split into two disjoint sets, V1 and V2 , in such a way that each edge in the graph joins a vertex in V1 to a vertex in V2 , and there are no edges in G that ... Read More

A graph is a set of points, called nodes or vertices, which are interconnected by a set of lines called edges. The study of graphs, or graph theory is an important part of a number of disciplines in the fields of mathematics, engineering and computer science.Graph TheoryDefinition − A graph ... Read More

To reach a conclusion on quantified statements, there are four rules of inference which are collectively called as Inference Theory of the Predicate Calculus.Table of Rules of InferenceRule of InferenceName$$\begin{matrix} \forall x P(x) \ \hline \therefore P(y) \end{matrix}$$Rule US: Universal Specification$$\begin{matrix} P(c) \text { for any c} \ \hline \therefore ... Read More

Independent sets are represented in sets, in whichthere should not be any edges adjacent to each other. There should not be any common vertex between any two edges.there should not be any vertices adjacent to each other. There should not be any common edge between any two vertices.Independent Line SetLet ... Read More

Independent sets are represented in sets, in whichthere should not be any edges adjacent to each other. There should not be any common vertex between any two edges.there should not be any vertices adjacent to each other. There should not be any common edge between any two vertices.Independent Vertex SetLet ... Read More