Discrete Structure 2069

Tribhuwan University
Institute of Science and Technology
2069
Bachelor Level / Second Semester / Science
Computer Science and Information Technology ( CSC-152 )
( Discrete Structure )
Full Marks: 80
Pass Marks: 32
Time: 3 hours
Candidates are required to give their answers in their own words as far as practicable.
The figures in the margin indicate full marks.

Attempt all questions:

Group A (10x2=20)

1. Given propositions p and q, define conjunction and disjunction of p and q.

2 marks view

2. Is the following argument valid?

If taxes are lowered, then income rises.


2 marks view

3. Use mathematical induction to prove that 4n- 1 is divisible by 3.

2 marks view

4. State and prove “the pigeonhole principle”.

2 marks view

5. Develop a “general explicit formula” for a nonhomogeneous recurrence relation of the form: an = rqn-1 +s, where s and r are constants.

2 marks view

6. Define the terms a language over a regular grammar and a regular expression.

2 marks view

7. Distinguish between multi graph and pseudo graph with suitable examples.

2 marks view

8. Let A = {0, 1}. Show that the following expressions are all regular expressions over A

a) 0* (0v1)*     b) 00* (0v1)* 1.

2 marks view

9. Distinguish between undirected and directed graphs with illustrations.

2 marks view

10. Explain non-deterministic finite state automata.

2 marks view

Group B (5x4=20)

11. Let S = {0, 1}. Give the regular expression corresponding to the regular set given:

a) {00, 010, 0110, 011110, ...}

b) {0, 001, 000, 00001, 00000, 0000001, ...}

4 marks view

12. For the Fibonacci sequence, prove that for n ≥ 2.

f2n+1 − fn2 =  fn−1 fn−2

4 marks view

13. Define explicit formula for the sequence: {a1, a2, a3,....}. Write an explicit formula for the sequence 2, 5, 7, 12, 19, 31.

4 marks view

14. Explain the rules of inference for quantified statements.

4 marks view

15. Define isomorphism. Given an example to show that the graphs are not isomorphic.

4 marks view

Group C (5x8=40)

16. Define deterministic finite state automata. When are two finite state automata equivalent? Explain it.

8 marks view

17. Construct the state transition table of the finite state machine whose diagram is shown:


8 marks view

18. Construct truth tables to determine whether the given statement is a tautology, a contingency, or an absurdity:

a) p ⇒ (q ⇒p)

b) q ⇒ (q ⇒p)

c) p ∧ ~ p

8 marks view

19. A phrase structure grammar g is defined to be a 4-tuple (V, S, v0 |→ ), where V=(vo, w, a, b, c}, S={a, b, c}, vo |→ aw, w |→ bbw, w |→ c. Derive a sentence of L(G), the language of this grammar.

OR

Prove that an undirected graph is a tree if and only if there is a unique simple path between any two of its vertices.

8 marks view

20. Explain the concept of network flows and Max-flow Min-cut theorem with suitable examples.

OR

Find a maximum flow in the network shown in the figure.


8 marks view