BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) Question Paper 2079 Nepal
This is the official BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) question paper for 2079, as set in the regular annual examination. It carries 80 full marks and a time allowance of 180 minutes, across 11 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 2079 paper is a great way to practise under real exam conditions.
Section A: Long Answer Questions
Attempt all / any as specified.
(a) State the principle of mathematical induction. Using induction, prove that for every positive integer ,
(6)
(b) Solve the recurrence relation for , with initial conditions and . Show all steps including the formation and solution of the characteristic equation. (6)
(a) Principle of Mathematical Induction and proof of the sum of squares
Principle of Mathematical Induction. Let be a statement about a positive integer . If
- Basis step: is true, and
- Inductive step: for every , ,
then is true for all positive integers .
To prove:
Basis step (): LHS . RHS . So holds.
Inductive step: Assume is true, i.e.
Add to both sides:
Taking common:
This is exactly , which is .
Since the basis and inductive steps hold, by the principle of mathematical induction is true for all positive integers .
(b) Solving the recurrence
This is a linear homogeneous recurrence of degree 2. The characteristic equation is obtained by substituting :
The roots are and (distinct), so the general solution is
Apply initial conditions:
From the first, . Substituting: , hence .
Final solution:
Check: , , , and . ✓
(a) Define a tautology, a contradiction, and a contingency. Construct a truth table for the compound proposition and determine its type. (5)
(b) Using rules of inference, show that the following argument is valid. State the rule used at each step.
Premises: , , . Conclusion: . (4)
(c) Translate the statement "Every student in this class has visited either Pokhara or Lumbini" into a logical expression using quantifiers and predicates, clearly defining the universe of discourse and each predicate. (3)
(a) Tautology, contradiction, contingency and the truth table
- Tautology: a compound proposition that is true for every assignment of truth values to its variables (e.g. ).
- Contradiction: a compound proposition that is false for every assignment (e.g. ).
- Contingency: a compound proposition that is true for some assignments and false for others (neither a tautology nor a contradiction).
Truth table for :
| T | T | T | T | T | T |
| T | T | F | T | F | F |
| T | F | T | F | T | F |
| T | F | F | F | T | F |
| F | T | T | T | T | T |
| F | T | F | T | F | F |
| F | F | T | T | T | T |
| F | F | F | T | T | T |
The final column contains both T and F, so the proposition is a contingency.
(b) Validity by rules of inference
Premises: (1) , (2) , (3) . Conclusion: .
| Step | Statement | Justification |
|---|---|---|
| 1 | Premise | |
| 2 | Premise | |
| 3 | Premise | |
| 4 | Equivalence of (2): | |
| 5 | Hypothetical syllogism on (1) and (4) | |
| 6 | Modus tollens on (5) and (3) |
Hence the conclusion follows, so the argument is valid.
(c) Translation with quantifiers
Universe of discourse: all students in this class. Let : " has visited Pokhara", and : " has visited Lumbini".
This reads: for every student in the class, has visited Pokhara or Lumbini (inclusive or).
(a) Define a connected graph, a Hamiltonian circuit, and an Euler circuit. State the necessary and sufficient condition for a connected graph to contain an Euler circuit. (4)
(b) Apply Dijkstra's algorithm to find the shortest path from vertex to all other vertices of the following weighted graph. Edges and weights: - = 4, - = 2, - = 1, - = 5, - = 8, - = 10, - = 2, - = 6, - = 3. Show the table of tentative distances at each iteration. (8)
(a) Definitions
- Connected graph: a graph in which there is a path between every pair of distinct vertices.
- Hamiltonian circuit: a closed walk that visits every vertex exactly once and returns to the starting vertex.
- Euler circuit: a closed walk that traverses every edge exactly once and returns to the starting vertex.
Necessary and sufficient condition (Euler circuit): A connected graph (with at least one edge) contains an Euler circuit if and only if every vertex has even degree.
(b) Dijkstra's algorithm from
Edges (undirected): .
Start: , all others . At each step pick the unvisited vertex of least tentative distance, mark it permanent (✓), and relax its neighbours.
| Iteration | Chosen (perm.) | A | B | C | D | E | Z |
|---|---|---|---|---|---|---|---|
| Init | — | 0 | ∞ | ∞ | ∞ | ∞ | ∞ |
| 1 | A (0) | 0✓ | 4 | 2 | ∞ | ∞ | ∞ |
| 2 | C (2) | 0✓ | 3 | 2✓ | 10 | 12 | ∞ |
| 3 | B (3) | 3✓ | 8 | 12 | ∞ | ||
| 4 | D (8) | 8✓ | 10 | 14 | |||
| 5 | E (10) | 10✓ | 13 | ||||
| 6 | Z (13) | 13✓ |
Relaxation notes: from C, , , . From B, . From D, , . From E, .
Shortest distances from :
Shortest paths: (2); (3); (8); (10); (13).
(a) Let be a relation defined on the set of integers by if and only if is divisible by 5. Prove that is an equivalence relation and describe its equivalence classes. (6)
(b) State and prove the principle of inclusion-exclusion for two finite sets and . In a survey of 120 students, 70 like tea, 60 like coffee, and 30 like both. How many students like neither tea nor coffee? (6)
(a) on : is an equivalence relation
We verify the three properties.
- Reflexive: for any , , which is divisible by 5, so . ✓
- Symmetric: if then for some integer . Then is divisible by 5, so . ✓
- Transitive: if and , then and . Adding, is divisible by 5, so . ✓
Hence is reflexive, symmetric and transitive, so it is an equivalence relation.
Equivalence classes. Two integers are related iff they leave the same remainder on division by 5. So there are exactly five classes (the residue classes mod 5):
where . These five classes partition .
(b) Inclusion–exclusion for two sets
Statement. For finite sets and ,
Proof. When we add and , every element of is counted twice — once in and once in — while elements in exactly one set are counted once. Subtracting removes the double count, leaving each element of counted exactly once. Hence .
Numerical part. Let = tea drinkers, = coffee drinkers, total . , , .
Students who like neither
Section B: Short Answer Questions
Attempt all / any as specified.
(a) Define injective, surjective, and bijective functions with one example of each. (4)
(b) Let be defined by . Show that is a bijection and find its inverse function . (4)
(a) Injective, surjective, bijective functions
Let .
- Injective (one-to-one): distinct inputs give distinct outputs, i.e. . Example: (injective but, on , also surjective; on , is injective only).
- Surjective (onto): every element of the codomain is an image, i.e. for all there is with . Example: is surjective.
- Bijective: both injective and surjective (a one-to-one correspondence). Example: .
(b) is a bijection; find
Injective: Suppose . Then . So is one-to-one.
Surjective: Let . Solve , and . So every is attained; is onto.
Being injective and surjective, is a bijection.
Inverse: set and solve for : . Renaming,
Check: ✓
(a) How many distinct strings can be formed by rearranging the letters of the word "ENGINEERING"? (4)
(b) In how many ways can a committee of 4 members be selected from a group of 7 men and 5 women if the committee must contain at least 2 women? (4)
(a) Rearrangements of "ENGINEERING"
The word has 11 letters. Letter counts:
- E: 3, N: 3, G: 2, I: 2, R: 1.
(Check: .) The number of distinct arrangements is the multinomial
(b) Committee of 4 with at least 2 women (7 men, 5 women)
"At least 2 women" means 2, 3, or 4 women (the rest men).
- 2 women, 2 men:
- 3 women, 1 man:
- 4 women, 0 men:
Total ways.
(a) State the basic postulates of Boolean algebra. Prove the absorption law using the postulates. (4)
(b) Simplify the Boolean function using a Karnaugh map and draw the resulting logic circuit. (4)
(a) Postulates of Boolean algebra and the absorption law
A Boolean algebra satisfies, for all :
- Closure under and .
- Identity: , .
- Commutativity: , .
- Distributivity: and .
- Complement: , .
Proof of absorption :
(b) K-map simplification of
Minterms in order: .
K-map (rows = , columns = in Gray order ):
| 00 | 01 | 11 | 10 | |
|---|---|---|---|---|
| 0 | 1 (m0) | 1 (m1) | 0 (m3) | 1 (m2) |
| 1 | 1 (m4) | 1 (m5) | 0 (m7) | 0 (m6) |
Grouping:
- The whole and columns (m0,m1,m4,m5) form a quad (since throughout).
- m0 and m2 (cells , ) form a pair .
Simplified expression:
Logic circuit (described): invert with a NOT gate to get ; invert and to get and feed them into a 2-input AND gate producing ; feed and into a 2-input OR gate. The OR gate output is .
(a) Define an adjacency matrix and an incidence matrix of a graph. Write the adjacency matrix for a simple undirected graph on vertices with edges . (4)
(b) Determine whether the two given graphs are isomorphic, justifying your answer using graph invariants such as degree sequence and number of edges. (4)
(a) Adjacency and incidence matrices
- Adjacency matrix: an matrix (for vertices) where = number of edges between vertices and (1 if adjacent, 0 otherwise, for a simple graph). It is symmetric for undirected graphs.
- Incidence matrix: an matrix (vertices edges) where if vertex is an endpoint of edge , else (each column has exactly two 1's for an undirected graph).
Graph: vertices , edges .
Adjacency matrix (rows/columns ordered ):
(Vertex 1 is adjacent to 2,3,4; vertex 2 to 1,3; vertex 3 to 1,2,4; vertex 4 to 1,3. Degrees: 3,2,3,2.)
(b) Testing graph isomorphism using invariants
Two graphs and are isomorphic if there is a bijection between their vertex sets that preserves adjacency. Necessary conditions (graph invariants) — they must agree for the graphs to possibly be isomorphic:
- Same number of vertices.
- Same number of edges.
- Same degree sequence (multiset of vertex degrees).
- Same number/length of cycles, same connectivity, etc.
Method: Compute the degree sequence of each graph. If the degree sequences (or any other invariant) differ, the graphs are not isomorphic. If all checked invariants match, attempt to construct an explicit adjacency-preserving bijection; if one exists, the graphs are isomorphic.
Worked illustration: if has degree sequence and has , they have the same number of vertices but different degree sequences, so they are not isomorphic. If instead both have degree sequence and equal edge counts, we map the two degree-3 vertices of to the two degree-3 vertices of and verify adjacencies; a consistent mapping confirms isomorphism.
(a) Define a binary search tree. Construct a binary search tree by inserting the following keys in order: 50, 30, 70, 20, 40, 60, 80. (4)
(b) Write the preorder, inorder, and postorder traversals of the binary search tree obtained in part (a). (4)
(a) Binary search tree (BST)
A binary search tree is a binary tree in which, for every node, all keys in its left subtree are less than the node's key and all keys in its right subtree are greater than the node's key.
Insert 50, 30, 70, 20, 40, 60, 80:
- 50 → root.
- 30 < 50 → left of 50.
- 70 > 50 → right of 50.
- 20 < 50, < 30 → left of 30.
- 40 < 50, > 30 → right of 30.
- 60 > 50, < 70 → left of 70.
- 80 > 50, > 70 → right of 70.
Resulting tree:
50
/ \
30 70
/ \ / \
20 40 60 80
This is a complete, balanced BST of height 2.
(b) Traversals
- Preorder (Root, Left, Right):
- Inorder (Left, Root, Right): (sorted, as expected for a BST)
- Postorder (Left, Right, Root):
(a) Set up a recurrence relation for the number of binary strings of length that do not contain two consecutive 0's, and give the initial conditions. (4)
(b) Using a generating function, or otherwise, find the number of ways to distribute 10 identical chocolates among 3 distinct children so that each child receives at least one chocolate. (4)
(a) Recurrence for binary strings of length with no two consecutive 0's
Let be the number of binary strings of length containing no two consecutive 0's. Classify by the last bit:
- If the last bit is 1, the first bits form any valid string of length : ways.
- If the last bit is 0, the previous bit must be 1 (to avoid "00"), and the first bits form any valid string of length : ways.
Hence
with initial conditions (strings: "0","1") and (strings: "01","10","11"; "00" excluded). This is the Fibonacci recurrence.
(b) Distribute 10 identical chocolates among 3 distinct children, each at least one
We need positive-integer solutions of with each . The number of such solutions is
Generating-function view: each child contributes , so the generating function is
The number of ways is the coefficient of , i.e. the coefficient of in , which is
(a) For the sets and , list all elements of the Cartesian product and determine the total number of relations from to . (4)
(b) Define a partial order relation. Draw the Hasse diagram for the divisibility relation on the set and identify the maximal and minimal elements. (4)
(a) Cartesian product and number of relations
, . The Cartesian product has ordered pairs:
A relation from to is any subset of . Since , the number of relations is
(b) Partial order and Hasse diagram for divisibility on
Partial order relation: a relation on a set that is reflexive, antisymmetric, and transitive. A set with such a relation is a partially ordered set (poset). Divisibility () is a partial order.
Cover relations (draw below when and there is no intermediate divisor):
- ,
- ,
Hasse diagram (described):
12
|
6
/ \
2 3
\ /
1
Element 1 is at the bottom; 2 and 3 are above 1; 6 is above both 2 and 3; 12 is at the top above 6.
- Minimal element: (nothing below it). It is also the least element.
- Maximal element: (nothing above it). It is also the greatest element.
Frequently asked questions
- Where can I find the BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) question paper 2079?
- The full BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2079 (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) 2079 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) 2079 paper?
- The BE Computer Engineering (IOE, TU) Discrete Structure (IOE, CT 551) 2079 paper carries 80 full marks and is meant to be completed in 180 minutes, across 11 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.