BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) Question Paper 2078 Nepal
This is the official BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) question paper for 2078, as set in the regular annual examination. It carries 80 full marks and a time allowance of 180 minutes, across 12 questions. On Kekkei you can attempt this Discrete Structure (IOE, CT 551) past paper online with a timer, get instant AI feedback and step-by-step solutions, and track the topics where you lose marks — completely free. Whether you are revising for your BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) exam or solving previous years' question papers, this 2078 paper is a great way to practise under real exam conditions.
Section A: Long Answer Questions
Attempt all / any as specified.
(a) Define a relation on a set . State the conditions for to be (i) reflexive, (ii) symmetric, (iii) anti-symmetric and (iv) transitive. Let and . Determine whether is an equivalence relation, and if so, find the corresponding partition of . (6)
(b) For arbitrary sets , and , prove the distributive law using the definition of set membership. Verify the same result using a Venn diagram. (6)
(a) Relations and Equivalence Relation
A relation on a set is any subset of the Cartesian product ; i.e. . We write (or ) to mean is related to .
Properties: For all ,
- (i) Reflexive: for every .
- (ii) Symmetric: if then .
- (iii) Anti-symmetric: if and then .
- (iv) Transitive: if and then .
Checking on :
- Reflexive: are all present. ✔
- Symmetric: The only off-diagonal pairs are and , which occur together. ✔
- Transitive: ✔; ✔; all other chains stay within reflexive pairs. ✔
Since is reflexive, symmetric and transitive, is an equivalence relation.
Partition (equivalence classes):
The corresponding partition of is .
(b) Distributive Law
Proof by membership (mutual inclusion):
Let be arbitrary.
Applying the distributive law of logic :
Since every step is an equivalence, the two sets contain exactly the same elements, hence
Venn diagram verification: Draw three overlapping circles , , . Shade (everything inside or ); intersecting with leaves the parts of that overlap or . Separately shade and and take their union — the same regions are shaded. Both diagrams shade identical regions, confirming the identity.
(a) Without using truth tables, show that the compound proposition is logically equivalent to . State the laws of logic used at each step. (6)
(b) Define a tautology and a contradiction. Translate the following statement into a logical expression using quantifiers and hence write its negation in words: "Every student in the class has solved at least one problem." Use appropriate predicates and clearly state the universe of discourse. (6)
(a)
Starting from the left-hand side and using the conditional-disjunction equivalence :
Hence the two propositions are logically equivalent.
(b) Tautology, Contradiction and Quantified Translation
- A tautology is a compound proposition that is true for every assignment of truth values to its variables (e.g. ).
- A contradiction is a compound proposition that is false for every assignment of truth values (e.g. ).
Translation of: "Every student in the class has solved at least one problem."
- Universe of discourse: = set of students in the class; = set of problems.
- Predicate: = "student has solved problem ."
Logical expression:
Negation:
In words: "There is at least one student in the class who has not solved any problem (has solved none of the problems)."
(a) Solve the recurrence relation for , with the initial conditions and , using the characteristic-equation method. (6)
(b) Find the particular and general solution of the non-homogeneous recurrence relation , , given . (6)
(a) Solve ,
Characteristic equation: assume :
Distinct roots, so the general solution is
Apply initial conditions:
From the first, . Substituting: , hence .
(Check: ✔, ✔.)
(b) Solve ,
Homogeneous solution: characteristic root of is , so .
Particular solution: since is not a characteristic root, try . Substituting:
Thus , giving , so .
General solution:
Apply : .
(Check: ✔; , and recurrence gives ✔.)
(a) Define an Euler circuit and a Hamiltonian circuit in a graph. State and justify the necessary and sufficient condition for a connected graph to possess an Euler circuit. Determine, with reasoning, whether the complete graph has an Euler circuit. (6)
(b) Define the chromatic number of a graph. Find the chromatic number of the complete bipartite graph and justify your answer. (4)
(a) Euler and Hamiltonian Circuits
- An Euler circuit is a closed walk that traverses every edge of the graph exactly once and returns to the starting vertex.
- A Hamiltonian circuit is a closed walk that visits every vertex exactly once (except the start/end vertex) and returns to the starting vertex.
Necessary and sufficient condition (Euler's theorem): A connected graph has an Euler circuit if and only if every vertex has even degree.
Justification: In a closed trail, each time the walk enters a vertex through one edge it must leave through another unused edge, so edges at every vertex pair up — every vertex must have even degree. Conversely, if the graph is connected and all degrees are even, such a circuit can always be constructed (e.g. by Fleury's/Hierholzer's algorithm).
Is there an Euler circuit in ? In every vertex is joined to the other 4 vertices, so each vertex has degree , which is even. is connected and all degrees are even, therefore has an Euler circuit. ✔
(b) Chromatic Number
The chromatic number is the minimum number of colours needed to colour the vertices of so that no two adjacent vertices share the same colour.
: is bipartite with parts and ; edges join to only. Colour all of with colour 1 and all of with colour 2 — no edge joins two same-coloured vertices. Since the graph has edges, 1 colour is impossible, so
In general every bipartite graph with at least one edge is 2-chromatic.
Section B: Short Answer Questions
Attempt all / any as specified.
Define injective, surjective and bijective functions. For the function defined by , prove that is a bijection and find its inverse function .
Injective, Surjective, Bijective
For a function :
- Injective (one-to-one): distinct inputs give distinct outputs — .
- Surjective (onto): every has some with .
- Bijective: both injective and surjective (a one-to-one correspondence), and therefore invertible.
, is a bijection
Injective: Suppose . Then
Hence is injective.
Surjective: Take any . Choose . Then
So every is attained, and is surjective.
Being both injective and surjective, is a bijection.
Inverse function: Let . Therefore
Using the principle of mathematical induction, prove that for every positive integer :
Proof by Mathematical Induction
Claim: for all integers .
Basis step ():
So holds.
Inductive step: Assume is true for some :
We show :
Combine the bracket over 6:
Factor :
This is exactly .
Conclusion: By the principle of mathematical induction, the formula holds for every positive integer .
(a) State the Pigeonhole Principle. Show that among any 13 people, at least two of them are born in the same month. (3)
(b) In how many ways can a committee of 3 men and 2 women be formed from a group of 7 men and 5 women? (3)
(a) Pigeonhole Principle
Statement: If objects are placed into boxes and , then at least one box contains two or more objects. (More generally, some box holds at least objects.)
Application: Treat the 12 months as boxes (pigeonholes) and the 13 people as objects (pigeons). Since , by the pigeonhole principle at least one month must contain at least two people. Hence among any 13 people, at least two are born in the same month.
(b) Committee Selection
Choose 3 men from 7 and 2 women from 5 (independent choices, multiply):
There are ways to form the committee.
(a) Find the coefficient of in the expansion of using the Binomial Theorem. (3)
(b) How many distinct arrangements can be made from the letters of the word "MISSISSIPPI"? (3)
(a) Coefficient of in
By the Binomial Theorem, the general term of is
For we need and , so :
The coefficient of is .
(b) Arrangements of "MISSISSIPPI"
The word has 11 letters with repetitions: = 1, = 4, = 4, = 2. The number of distinct arrangements is
There are distinct arrangements.
Define a spanning tree and a minimum spanning tree of a weighted connected graph. Using Kruskal's algorithm, find a minimum spanning tree and its total weight for the graph with the following edge weights: . Show the order in which edges are selected.
Spanning Tree and Minimum Spanning Tree
- A spanning tree of a connected graph is a subgraph that is a tree (connected, acyclic) and includes all vertices of . For vertices it has exactly edges.
- A minimum spanning tree (MST) of a weighted connected graph is a spanning tree whose total edge weight is the smallest among all spanning trees.
Kruskal's Algorithm
Vertices (so the MST will have edges). Sort edges by weight:
| Edge | Weight |
|---|---|
| DE | 1 |
| BC | 2 |
| AC | 3 |
| AB | 4 |
| CE | 4 |
| BD | 5 |
| CD | 6 |
Process in increasing order, adding an edge only if it does not form a cycle:
- DE (1) — add. Components: {D,E}, ... ✔
- BC (2) — add. Components: {B,C}, {D,E} ✔
- AC (3) — add (joins A to {B,C}). ✔ → {A,B,C}
- AB (4) — A and B already connected → forms a cycle, reject.
- CE (4) — add (joins {A,B,C} to {D,E}). ✔ → all 5 vertices connected.
Now 4 edges selected; stop.
MST edges (in order selected): .
Total weight: .
State the basic postulates of Boolean algebra. Using Boolean algebra laws, simplify the expression and draw the logic circuit for the simplified expression.
Basic Postulates of Boolean Algebra
For a Boolean algebra over with operations (OR), (AND) and (NOT):
- Identity: , .
- Complement: , .
- Commutative: , .
- Distributive: , .
- (Derived) Identity element existence and , and closure under .
Simplify
Logic Circuit (described)
The simplified expression uses two NOT gates, two 2-input AND gates and one 2-input OR gate:
- NOT gate 1: input → output .
- NOT gate 2: input → output .
- AND gate 1: inputs and → output .
- AND gate 2: inputs and → output .
- OR gate: inputs and → output .
x ──┬─────────────────┐
│ │
└─[NOT]─x'─┐ [AND]──xy'──┐
z ────────────┴[AND]─x'z─┐ │
└──[OR]── F
y ──[NOT]─y'─────────────────────┘
(a) Define the adjacency matrix of a graph. Write the adjacency matrix for a simple undirected graph with vertices and edges . (3)
(b) State the conditions under which two graphs are said to be isomorphic. (3)
(a) Adjacency Matrix
The adjacency matrix of a simple undirected graph on vertices is the matrix where if there is an edge between and , and otherwise. For a simple undirected graph it is symmetric with zero diagonal.
Edges: . Adjacencies:
- :
- :
- :
- :
(rows/columns ordered ).
(b) Conditions for Graph Isomorphism
Two graphs and are isomorphic if there exists a bijection that preserves adjacency: .
Necessary conditions (must all match — used to test isomorphism):
- Same number of vertices.
- Same number of edges.
- Same degree sequence (same number of vertices of each degree).
- Preservation of structural invariants (e.g. same number of cycles/connected components, corresponding subgraphs).
If an adjacency-preserving bijection exists, the graphs are isomorphic.
Define a partially ordered set (poset). Draw the Hasse diagram for the poset , where is the set of all positive divisors of 12 and denotes the "divides" relation.
Partially Ordered Set (Poset)
A poset is a set together with a relation that is reflexive, anti-symmetric and transitive:
- Reflexive: ;
- Anti-symmetric: and ;
- Transitive: and .
It is denoted .
Hasse Diagram of
Divisors of 12: , ordered by "" ( divides ).
Covering relations (draw above with an edge when and nothing lies strictly between):
- is covered by and .
- is covered by and .
- is covered by .
- is covered by .
- is covered by .
Hasse diagram (bottom = 1, top = 12):
12
/ \
4 6
| / \
| / 3
| / /
2 /
\ /
1
More precisely, edges are: , , , , , , . The least element is and the greatest element is .
Frequently asked questions
- Where can I find the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) question paper 2078?
- The full BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2078 (regular) question paper is available free on Kekkei. You can read every question online and attempt the paper under timed exam conditions.
- Does the Discrete Structure (IOE, CT 551) 2078 paper come with solutions?
- Yes. Every question on this Discrete Structure (IOE, CT 551) past paper includes a step-by-step solution, plus instant AI feedback when you attempt it on Kekkei.
- How many marks is the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2078 paper?
- The BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2078 paper carries 80 full marks and is meant to be completed in 180 minutes, across 12 questions.
- Is practising this Discrete Structure (IOE, CT 551) past paper free?
- Yes — reading and attempting this Discrete Structure (IOE, CT 551) past paper on Kekkei is completely free.