Machine-translated by Google. Questions are authored in English.
Top

GATE CS 2026: Computer Science and Information Technology Session 2

  • Shift: 2
  • Paper code: CS2
  • Language: English
  • 42 pages
GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 1 of 42
Page 1 of 42
Text of page 1
Computer Science & Information Technology (CS2)




General Aptitude (GA)
Q.1 – Q.5 Carry ONE mark Each

 Q.1         Expedite, Hasten, Hurry, __________

             Fill the blank by choosing a word with a meaning similar to that of the words
             given above.




 (A)         Accelerate


 (B)         Retard


 (C)         Provide


 (D)         Disable




Organizing Institute: IIT Guwahati           Page 1 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 2 of 42
Page 2 of 42
Text of page 2
Computer Science & Information Technology (CS2)




 Q.2         A black square PQRS has been cut into two parts. One part of it is shown in
             Panel I. Which one of the shapes in Panel II is the other part?




 (A)         (i)


 (B)         (ii)


 (C)         (iii)


 (D)         (iv)




Organizing Institute: IIT Guwahati          Page 2 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 3 of 42
Page 3 of 42
Text of page 3
Computer Science & Information Technology (CS2)




 Q.3         A day can only be cloudy or sunny. The probability of a day being cloudy is 0.5,
             independent of the condition on other days. What is the probability that in any
             given four days, there will be three cloudy days and one sunny day?




 (A)         1/4


 (B)         3/4


 (C)         2/3


 (D)         3/8




Organizing Institute: IIT Guwahati           Page 3 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 4 of 42
Page 4 of 42
Text of page 4
Computer Science & Information Technology (CS2)




 Q. 4        The values of Stock A and Stock B on a particular day are Rs. 50 and Rs. 80,
             respectively. An investor invests Rs. 100 in Stock A and Rs. 80 in Stock B. He
             sells all the stocks the next day when the value of Stock A is Rs. 55 and Stock B
             is Rs. 70. The profit made by the investor is Rs. ________




 (A)         0


 (B)         5


 (C)         10


 (D)         20




 Q.5         ‘When it is raining, peacocks dance.’

             Based only on this sentence, which one of the following options is necessarily
             true?




 (A)         Peacocks dance only when it is raining.


 (B)         When peacocks dance, it is raining.


 (C)         When peacocks are not dancing, it is not raining.


 (D)         When it is not raining, peacocks do not dance.




Organizing Institute: IIT Guwahati           Page 4 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 5 of 42
Page 5 of 42
Text of page 5
Computer Science & Information Technology (CS2)




Q.6 – Q.10 Carry TWO marks Each

 Q.6         Water : P :: Food : Q

             Choose the P and Q combination from the options below to form a meaningful
             analogy.




 (A)         P = Thirst; Q = Hunger


 (B)         P = Drink; Q = Hunger


 (C)         P = Thirst; Q = Satiated


 (D)         P = Wet; Q = Critic




Organizing Institute: IIT Guwahati         Page 5 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 6 of 42
Page 6 of 42
Text of page 6
Computer Science & Information Technology (CS2)




 Q.7         Two tiles are missing in Panel I. Which one of the options in Panel II is the
             appropriate choice for the missing tiles?




 (A)         (i)


 (B)         (ii)


 (C)         (iii)


 (D)         (iv)




Organizing Institute: IIT Guwahati            Page 6 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 7 of 42
Page 7 of 42
Text of page 7
Computer Science & Information Technology (CS2)




 Q.8         Figures (i) and (ii) represent intercity highway systems. The black dots represent
             cities and the line segments between them represent intercity highways.
             A salesperson needs to make a trip. She needs to start from a city, visit each of the
             remaining cities exactly once, and finally return to the same city from which she
             started.

             Which one of the following options is then true?




 (A)         Such a trip is possible for (i), but not for (ii).


 (B)         Such a trip is possible for (ii), but not for (i).


 (C)         Such a trip is possible for both (i) and (ii).


 (D)         Such a trip is possible neither for (i) nor for (ii).




Organizing Institute: IIT Guwahati               Page 7 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 8 of 42
Page 8 of 42
Text of page 8
Computer Science & Information Technology (CS2)




 Q. 9        The figure in Panel I below is a grid of cells with four rows and four columns.
             The numbers on the top and on the left represent the number of cells that are to
             be shaded in that column and row, respectively. Which one of the options shown
             in Panel II below represents the grid shaded correctly?




 (A)         (i)


 (B)         (ii)


 (C)         (iii)


 (D)         (iv)




Organizing Institute: IIT Guwahati          Page 8 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 9 of 42
Page 9 of 42
Text of page 9
Computer Science & Information Technology (CS2)




 Q.10        An unbiased six-faced dice whose faces are marked with numbers 1, 2, 3, 4, 5,
             and 6 is rolled twice in succession and the number on the top face is recorded
             each time. The probability that the sum of the two recorded numbers is a prime
             number is ________




 (A)          3
             36

 (B)         13
             36

 (C)         15
             36

 (D)         19
             36




Organizing Institute: IIT Guwahati          Page 9 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 10 of 42
Page 10 of 42
Text of page 10
Computer Science & Information Technology (CS2)




Q.11 – Q.35 Carry ONE mark Each



 Q.11        For two different persons x and y, the predicate M(x, y) denotes that x knows y.
             Consider the following statement.

             There is a person who does not know anyone else, but that person is known by
             everyone else.

             Which one of the following expressions represents the above statement?




 (A)         (∃y)(∀x) ((x ≠ y) → (M(x, y) ∧ ¬M(y, x)))


 (B)         (∀y)(∃x) ((x ≠ y) → (M(x, y) ∧ ¬M(y, x)))


 (C)         (∃y)(∃x) ((x ≠ y) → (M(x, y) ∧ ¬M(y, x)))


 (D)         (∀y)(∀x) ((x ≠ y) → (M(x, y) ∧ ¬M(y, x)))




Organizing Institute: IIT Guwahati         Page 10 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 11 of 42
Page 11 of 42
Text of page 11
Computer Science & Information Technology (CS2)




 Q.12        The set T represents various traversals over binary tree. The set S represents the
             order of visiting nodes during a traversal.


                                           T                          S


                                     I: Inorder      L: left subtree, node, right subtree


                                     II: Preorder    M: node, left subtree, right subtree


                                     III: Postorder N: left subtree, right subtree, node


             Which one of the following is the correct match from T to S ?




 (A)         I – L, II – M, III – N


 (B)         I – M, II – L, III – N


 (C)         I – N, II – M, III – L


 (D)         I – L, II – N, III – M




Organizing Institute: IIT Guwahati                  Page 11 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 12 of 42
Page 12 of 42
Text of page 12
Computer Science & Information Technology (CS2)




 Q.13        Which one of the following statements is equivalent to the following assertion?
                                     Turing machine M decides the language L ⊆ {0,1}∗




 (A)         Turing machine M halts on all input strings in {0,1}∗


 (B)         Turing machine M accepts all input strings in L


 (C)         Turing machine M rejects all input strings in {0,1}∗ − L


 (D)         Turing machine M accepts all input strings in L and rejects all input strings in
             {0,1}∗ − L




 Q.14        The probability density function f(x) of a random variable X which takes real
             values is

                                                1                     x2
                                     f(x ) =           exp(−               ),   x ∈ (−∞, +∞)
                                               3√2π                   18

             Which one of the following statements is correct about the random variable X ?




 (A)         X is an exponential random variable


 (B)         X is a normal random variable


 (C)         X is a Poisson random variable


 (D)         X is a uniform random variable




Organizing Institute: IIT Guwahati                    Page 12 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 13 of 42
Page 13 of 42
Text of page 13
Computer Science & Information Technology (CS2)




 Q.15        In the context of DBMS, consider the two sets T and S given below.


                                         T                              S


                                I: Logical schema        L: Views


                                II: Physical schema      M: File organization and indexes


                                III: External schema N: Relations


             Which one of the following is the correct match from T to S ?




 (A)         I – L, II – M, III – N


 (B)         I – M, II – L, III – N


 (C)         I – N, II – M, III – L


 (D)         I – N, II – L, III – M




Organizing Institute: IIT Guwahati                  Page 13 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 14 of 42
Page 14 of 42
Text of page 14
Computer Science & Information Technology (CS2)




 Q.16        Which one of the following options is not a property of Boolean Algebra?

             Note: + is OR operation, . is AND operation, and ′ is NOT operation




 (A)         a+b =b+a

 (B)         a . a′ = 1

 (C)         a + a′ = 1

 (D)         a .b = b .a




 Q.17        In C runtime environment, which one of the following is stored in heap?




 (A)         A static variable declared inside a function


 (B)         An array of integers declared inside a function


 (C)         A dynamically allocated array of integers created using malloc() function call


 (D)         Return address of a function




Organizing Institute: IIT Guwahati           Page 14 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 15 of 42
Page 15 of 42
Text of page 15
Computer Science & Information Technology (CS2)




 Q.18        Consider the following two statements about interrupt handling mechanisms in a
             CPU.

             S1: In non-vectored interrupt mechanism, it usually takes more time to start the
             Interrupt Service Routine (ISR) when compared to that in a vectored interrupt
             mechanism.

             S2: In daisy-chain interrupt mechanism, the CPU polls all the input devices
             individually to determine the source of the interrupt.

             Which one of the following options is correct with respect to S1 and S2 ?




 (A)         Both S1 and S2 are true


 (B)         Both S1 and S2 are false


 (C)         S1 is true and S2 is false


 (D)         S1 is false and S2 is true




Organizing Institute: IIT Guwahati          Page 15 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 16 of 42
Page 16 of 42
Text of page 16
Computer Science & Information Technology (CS2)




 Q.19        Consider the following three ANSI-C programs, P1, P2, and P3.




                               P1                     P2                        P3


                #include <stdio.h> #include <stdio.h> #include <stdio.h>

                int a=5;                 int main(){                int main(){
                int main(){                int a=5;                   int a=5;
                  int a=7;                 int a=7;                   float a=7;
                  return(0);               return(0);                 return(0);
                }                        }                          }




             Which one of the following statements is true?




 (A)         Only P1 will compile without any error


 (B)         Only P2 will compile without any error


 (C)         Only P3 will compile without any error


 (D)         All three programs P1, P2, and P3 will compile without any error




Organizing Institute: IIT Guwahati          Page 16 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 17 of 42
Page 17 of 42
Text of page 17
Computer Science & Information Technology (CS2)




 Q.20        Consider concurrent execution of two transactions T1 and T2 in a DBMS, both of
             which access a data object A. For these two transactions to not conflict on A, which
             one of the following statements must be true?




 (A)         Both T1 and T2 only read A


 (B)         T1 reads A and T2 writes A


 (C)         T1 writes A and T2 reads A


 (D)         Both T1 and T2 write A




             Consider a file of size 4 million bytes being transferred between two hosts
 Q.21
             connected via a path consisting of three consecutive links of bandwidth 2 Mbps,
             500 kbps, and 1 Mbps, respectively. All processing delays and propagation delays
             are negligible. Assume that there is no other background traffic over the path and
             no other additional overhead to transfer the file.
             Which one of the following is the total time (in seconds) to transfer the file?
             Note: 1M=106, 1k=103




 (A)         731


 (B)         64


 (C)         8


 (D)         16




Organizing Institute: IIT Guwahati            Page 17 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 18 of 42
Page 18 of 42
Text of page 18
Computer Science & Information Technology (CS2)




 Q.22        Which one of the following protocols may need to broadcast some of its messages?




 (A)         SMTP


 (B)         FTP


 (C)         DHCP


 (D)         HTTP




 Q.23        Which one of the following CPU scheduling algorithms cannot be preemptive?




 (A)         Shortest Remaining Time First (SRTF) Scheduling


 (B)         First Come First Serve (FCFS) Scheduling


 (C)         Round Robin Scheduling


 (D)         Priority Scheduling




Organizing Institute: IIT Guwahati         Page 18 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 19 of 42
Page 19 of 42
Text of page 19
Computer Science & Information Technology (CS2)




 Q.24        Consider the following functions, where n is a positive integer.

                                     n1/3 , log(n) , log(n!), 2log(n)
             Which one of the following options lists the functions in increasing order of
             asymptotic growth rate?

             Note: Assume the base of log to be 2.




 (A)          log(n) , n1/3 , 2log(n) , log(n!)

 (B)         n1/3 , log(n) , log(n!) , 2log(n)

 (C)         log(n) , n1/3 , log(n!) , 2log(n)

 (D)          2log(n) , n1/3 , log(n) , log(n!)




Organizing Institute: IIT Guwahati           Page 19 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 20 of 42
Page 20 of 42
Text of page 20
Computer Science & Information Technology (CS2)




 Q.25        Which of the following can be recurrence relation(s) corresponding to an algorithm
             with time complexity Θ(n)?




 (A)         T(n) = T(n − 1) + 1,        T(1) = 1


 (B)                    n
             T(n) = 2T ( ) + 1,        T(1) = 1
                        2

 (C)                    n
             T(n) = 2T ( ) + n,        T(1) = 1
                        2

 (D)         T(n) = T(n − 1) + n,        T(1) = 1




 Q.26        Let R be a binary relation on the set {1, 2, … , 10}, where (x, y) ∈ R if the product
             of x and y is square of an integer. Which of the following properties is/are satisfied
             by R?




 (A)         Reflexive


 (B)         Symmetric


 (C)         Transitive


 (D)         Antisymmetric




Organizing Institute: IIT Guwahati            Page 20 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 21 of 42
Page 21 of 42
Text of page 21
Computer Science & Information Technology (CS2)




 Q.27                                           1
             For a real number a, let I(a) = ∫−1(3x 2 − ax + 1) dx . Which of the following
             statements is/are true?




 (A)         The value of I(a) is independent of the value of a


 (B)         The value of I(a) can vary with the value of a


 (C)         There exists a ∈ (−∞, +∞) such that I(a) is a positive real number


 (D)         There exists a ∈ (−∞, +∞) such that I(a) is a negative real number




 Q.28        In a system, numbers are represented using 4-bit two’s complement form. Consider
             four numbers N1 =1011, N2 =1101, N3 =1010 and N4 =1001 in the system.
             Which of the following operations will result in arithmetic overflow?




 (A)         N1 + N2


 (B)         N2 + N3


 (C)         N3 − N4


 (D)         N1 + N4




Organizing Institute: IIT Guwahati          Page 21 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 22 of 42
Page 22 of 42
Text of page 22
Computer Science & Information Technology (CS2)




 Q.29        Which of the following grammars is/are ambiguous?




 (A)         S → aSb | ε


 (B)         E → E + E | E ∗ E | id


 (C)         S → aS | Sa | ε


 (D)         S → aS | ε




 Q.30        The keys 5, 28, 19, 15, 26, 33, 12, 17, 10 are inserted into a hash table using the
             hash function ℎ(k) = k mod 9. The collisions are resolved by chaining. After all
             the keys are inserted, the length of the longest chain is __________. (answer in
             integer)


 Q.31        Consider the system of linear equations given below.

                                                 ax + y = b

                                               16x + ay = 24

             Suppose the values of a and b are chosen such that the system of linear equations
             produce multiple solutions. Then the product of a and b is __________. (answer in
             integer)


 Q.32        Consider an array A = [10, 7, 8, 19, 41, 35, 25, 31]. Suppose the merge sort
             algorithm is executed on array A to sort it in increasing order. The merge sort
             algorithm will carry out a total of 7 merge operations.

             A merge operation on sorted left array L and sorted right array R is said to be void
             if the output of the merge operation is the elements of array L followed by the
             elements of array R.

             The number of void merge operations among these 7 merge operations
             is __________. (answer in integer)




Organizing Institute: IIT Guwahati           Page 22 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 23 of 42
Page 23 of 42
Text of page 23
Computer Science & Information Technology (CS2)




 Q.33        If an IP network uses a subnet mask of 255.255.240.0, the maximum number of IP
             addresses that can be assigned to network interfaces is __________. (answer in
             integer)


 Q.34        The 32-bit IEEE 754 single precision representation of a number is 0xC2710000.
             The number in decimal representation is ________. (rounded off to two decimal
             places)


 Q.35        A lexical analyzer uses the following token definitions

                       letter → [A − Za − z]
                       digit → [0 − 9]
                       id → letter (letter | digit)*
                       number → digit +
                       ws → (blank | tab | newline)+

             For the string given below,

                                     x1 23mm 78 y 7z zz5 14A 8H AaYcD

             the number of tokens (excluding ws) that will be produced by the lexical analyzer
             is __________. (answer in integer)




Organizing Institute: IIT Guwahati            Page 23 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 24 of 42
Page 24 of 42
Text of page 24
Computer Science & Information Technology (CS2)




Q.36 – Q.65 Carry TWO marks Each

 Q.36        Consider a complete graph Kn with n vertices (n > 4). Note that multiple spanning
             trees can be constructed over Kn . Each of these spanning trees is represented as a
             set of edges. The Jaccard coefficient between any two sets is defined as the ratio of
             the size of the intersection of the two sets to the size of the union of the two sets.

             Which one of the following options gives the lowest possible value for the Jaccard
             coefficient between any two spanning trees of Kn ?




 (A)         1
             n

 (B)           1
             2n − 3

 (C)         0


 (D)          1
             n−1




Organizing Institute: IIT Guwahati            Page 24 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 25 of 42
Page 25 of 42
Text of page 25
Computer Science & Information Technology (CS2)




 Q.37        Let G be a weighted directed acyclic graph with m edges and n vertices. Given G
             and a source vertex s in G, which one of the following options gives the worst case
             time complexity of the fastest algorithm to find the lengths of shortest paths from s
             to all vertices that are reachable from s in G?




 (A)         Θ(m + n)


 (B)         Θ(m + n log(n))


 (C)         Θ(nm)


 (D)         Θ(n3 )




 Q.38        Consider an array A of integers of size n. The indices of A run from 1 to n. An
             algorithm is to be designed to check whether A satisfies the condition given below.

             ∀i, j ∈ {1, … , n − 1} such that i > j, (A[i + 1] − A[i]) > (A[j + 1] − A[j])

             Which one of the following gives the worst case time complexity of the fastest
             algorithm that can be designed for the problem?




 (A)         Θ(n)


 (B)         Θ(log(n))


 (C)         Θ(n log(n))


 (D)         Θ(n2 )




Organizing Institute: IIT Guwahati           Page 25 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 26 of 42
Page 26 of 42
Text of page 26
Computer Science & Information Technology (CS2)




 Q.39        Consider a table T, where the elements T[i][j], 0 ≤ i, j ≤ n, represent the cost of
             the optimal solutions of different subproblems of a problem that is being solved
             using a dynamic programming algorithm. The recursive formulation to compute the
             table entries is as follows:

                        T[0][k] = T[k][0] = 1                     for k = 0,1,2, … , n

                        T[i][j] = 2T[i − 1][j] + 3T[i][j − 1] for 1 ≤ i, j ≤ n

             Consider the following two algorithms to compute entries of T. Assume that for
             both the algorithms, for all 0 ≤ i, j ≤ n, T[i][j] has been initialized to 1.
               Algorithm B1: For i = 1, 2, … , n
                                     For j = 1, 2, … , n
                                          T[i][j] = 2T[i − 1][j] + 3T[i][j − 1]


               Algorithm B2: For s = 2, 3, … , 2n
                                      For i = 1, 2, … , n
                                           For j = 1, 2, … , n
                                                If (i + j == s)
                                                     T[i][j] = 2T[i − 1][j] + 3T[i][j − 1]


             Algorithm Bk , k ∈ {1,2} is said to be correct if and only if it calculates the correct
             values of T[i][j], for all 0 ≤ i, j ≤ n, (as per the recursive formulation) at the end
             of the execution of the algorithm Bk .

             Which one of the following statements is true?




 (A)         Both algorithms B1 and B2 are correct


 (B)         Algorithm B1 is correct, but algorithm B2 is incorrect


 (C)         Algorithm B2 is correct, but algorithm B1 is incorrect


 (D)         Both algorithms B1 and B2 are incorrect




Organizing Institute: IIT Guwahati              Page 26 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 27 of 42
Page 27 of 42
Text of page 27
Computer Science & Information Technology (CS2)




 Q.40        Consider the following 4-variable Boolean function

                                     F(A, B, C, D) = Σm(0, 1, 2, 3, 8, 9, 10, 11)

             Consider A as MSB, D as LSB. Which one of the following options represents the
             minimal sum of products form for the above function?

             Note: + is OR operation, . is AND operation, ′ is NOT operation




 (A)         A′ + B′ + C ′ + D′

 (B)         B′

 (C)         A′ . B′ + A . B

 (D)         A′




Organizing Institute: IIT Guwahati               Page 27 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 28 of 42
Page 28 of 42
Text of page 28
Computer Science & Information Technology (CS2)




 Q.41        Consider the canonical LR(0) parsing of the grammar below using terminals
             {a, b, c} and non-terminals {A, B, C, S} with S as the start symbol.

                        S → ACB

                        A → aA | ε

                        C → cC | ε

                        B → bB | b

             Which one of the following options gives the number of shift-reduce conflicts that
             will occur in the LR(0) ACTION table?




 (A)          2


 (B)          3


 (C)          4


 (D)          5




Organizing Institute: IIT Guwahati          Page 28 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 29 of 42
Page 29 of 42
Text of page 29
Computer Science & Information Technology (CS2)




 Q.42        In the context of schema normalization in relational DBMS, consider a set F of
             functional dependencies. The set of all functional dependencies implied by F is
             called the closure of F. To compute the closure of F, Armstrong’s Axioms can be
             applied. Consider X, Y, and Z as sets of attributes over a relational schema. The three
             rules of Armstrong’s Axioms are described as follows.

             Reflexivity: If Y ⊆ X , then X → Y
             Augmentation: If X → Y, then XZ → YZ for any Z
             Transitivity: If X → Y and Y → Z, then X → Z

             The additional rule of Union is defined as follows.

             Union: If X → Y and X → Z, then X → YZ

             It can be proved that the additional rule of Union is also implied by the three rules
             of Armstrong’s Axioms. Listed below are four combinations of these three rules.
             Which one of these combinations is both necessary and sufficient for the proof ?




 (A)         Reflexivity, Augmentation, and Transitivity


 (B)         Reflexivity and Augmentation


 (C)         Transitivity


 (D)         Augmentation and Transitivity




Organizing Institute: IIT Guwahati            Page 29 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 30 of 42
Page 30 of 42
Text of page 30
Computer Science & Information Technology (CS2)




 Q.43        Consider the transmission of data bits 110001011 over a link that uses Cyclic
             Redundancy Check (CRC) code for error detection. If the generator bit pattern is
             given to be 1001, which one of the following options shows the remainder bit
             pattern appended to the data bits before transmission?




 (A)         011


 (B)         101


 (C)         000


 (D)         100




 Q.44        Consider a processor that has 16 general purpose registers and it uses 2-byte
             instruction format for all its instructions. Variable-sized opcodes are permitted.
             There are three different types of instructions; M-type, R-type, and C-type. Each
             M-type instruction has 2 register operands and a 6-bit immediate operand. Each R-
             type instruction has 3 register operands. Each C-type instruction has a register
             operand and a 6-bit offset value. If there are 2 unique M-type opcodes and 7 unique
             R-type opcodes, which one of the following options gives the maximum number of
             unique opcodes possible for C-type instructions?




 (A)         8


 (B)         4


 (C)         64


 (D)         16




Organizing Institute: IIT Guwahati          Page 30 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 31 of 42
Page 31 of 42
Text of page 31
Computer Science & Information Technology (CS2)




 Q.45        Consider the control flow graph given below.




             Which one of the following options is the set of live variables at the exit point of
             each basic block?




 (A)         B1:{a, b, c, e, f}, B2:{d, e}, B3:{b, c, e, f}, B4:∅


 (B)         B1:∅, B2:{d, e}, B3:{a, c, f}, B4:∅


 (C)         B1:{a, b, c, e, f}, B2:{d, e}, B3:{c, e, f}, B4:∅


 (D)         B1:∅, B2:{d, e, f}, B3:{a, b, c, e, f}, B4:∅




Organizing Institute: IIT Guwahati            Page 31 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 32 of 42
Page 32 of 42
Text of page 32
Computer Science & Information Technology (CS2)




             An index in a DBMS is said to be dense if an index entry appears for every
 Q.46
             search-key value in the indexed file. Otherwise it is called a sparse index. Consider
             the following two statements.
             S1: A hash index must be a dense index
             S2: A B + tree index can be a sparse index


             Which one of the following options is correct?




 (A)         Both S1 and S2 are true


 (B)         Both S1 and S2 are false


 (C)         S1 is true and S2 is false


 (D)         S1 is false and S2 is true




Organizing Institute: IIT Guwahati           Page 32 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 33 of 42
Page 33 of 42
Text of page 33
Computer Science & Information Technology (CS2)




 Q.47        Consider the following two finite automata D1 and D2 .




             Which of the following statements is/are true?




 (A)         L(D1 ) = L(D2 )


 (B)         L(D1 ) is a proper subset of L(D2 )


 (C)         L(D1 ) ∩ L(D2 ) = { ε}

                                     ∗
 (D)         (L(D1 ) ∪ L(D2 )) consists of all strings in {0,1}∗ whose length is divisible by 3




Organizing Institute: IIT Guwahati            Page 33 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 34 of 42
Page 34 of 42
Text of page 34
Computer Science & Information Technology (CS2)




 Q.48        Let Σ = {a, b, c, d} and let L = {ai b j c k d ℓ ∣ i, j, k, ℓ ≥ 0}.
             Which of the following constraints ensure(s) that the language L is context-free?




 (A)         i+k = j + ℓ

 (B)         i = k and j = ℓ

 (C)         i = ℓ and j = k

 (D)         i+j = k + ℓ




Organizing Institute: IIT Guwahati           Page 34 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 35 of 42
Page 35 of 42
Text of page 35
Computer Science & Information Technology (CS2)




 Q.49        Consider a binary search tree (BST) with n leaf nodes (n > 0). Given any node V,
             the key present in the node is denoted as Val(V). All the keys present in the given
             BST are distinct. The keys belong to the set of real numbers.
             For a node V, let Suc(V) denote the node that is its inorder successor. If a node V
             does not have an inorder successor, then Suc(V) is NULL. As there are no
             duplicates, if Suc(V) is not NULL, then Val(V) < Val(Suc(V)).


             Corresponding to every leaf node Li that has a non-NULL Suc(Li ), a new key ki
             with the following property is to be inserted into the BST.

                                       Val(Li ) < ki < Val(Suc(Li ))


             Let K represent the list of all such new keys to be inserted into the BST.

             Which of the following statements is/are true?




 (A)         K cannot have any duplicates


 (B)         K will have at least one element


 (C)         After inserting all keys from K, the height of the BST can increase at most by one


 (D)         Number of nodes in the BST will double after inserting all keys from K




Organizing Institute: IIT Guwahati           Page 35 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 36 of 42
Page 36 of 42
Text of page 36
Computer Science & Information Technology (CS2)




 Q.50        Consider a stack S and a queue Q. Both of them are initially empty and have the
             capacity to store ten elements each. The elements 1, 2, 3, 4, and 5 arrive one by one,
             in that order. When an element arrives, it is assigned either to S (pushed on S ) or
             to Q (enqueued to Q). Once all the five elements are stored, the output is generated
             in two steps. First, stack S is emptied by popping all elements. Then queue Q is
             emptied by dequeueing all elements. The output obtained by following this process
             is 4 3 1 2 5 .
             Given the output, the objective is to predict whether an element was assigned to S
             or Q.

             Which of the following options is/are possible valid assignment(s) of the
             elements?

             Note: In the options, the notation xS denotes that element x was assigned to S and
             yQ denotes that element y was assigned to Q.




 (A)         1S, 2Q, 3S, 4S, 5Q


 (B)         1Q, 2Q, 3S, 4S, 5Q


 (C)         1Q, 2Q, 3Q, 4S, 5S


 (D)         1S, 2S, 3S, 4Q, 5Q




Organizing Institute: IIT Guwahati            Page 36 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 37 of 42
Page 37 of 42
Text of page 37
Computer Science & Information Technology (CS2)




 Q.51        Consider three processes P1, P2, and P3 running identical code, as shown in the
             pseudocode below. A and B are two binary semaphores initialized to 1 and 0,
             respectively. X is a shared variable initialized to 0. Each line in the pseudocode is
             executed atomically.

             Pseudocode of P1, P2, and P3

                                Wait(A);
                                Print(*);
                                X = X+1;
                                If (X == 2)
                                   {
                                      Print($);
                                      Signal(B);
                                   }
                                Signal(A);
                                Wait(B);
                                Print(#);
                                Signal(B);

             Assume that any of the three processes can start to execute first and context
             switching can happen between these processes at any arbitrary time and in any
             arbitrary order.

             Which of the following patterns is/are possible to be generated as an outcome of the
             execution of these three processes?




 (A)         **$*###


 (B)         **$#*##


 (C)         **$##*#


 (D)         ***$###




Organizing Institute: IIT Guwahati           Page 37 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 38 of 42
Page 38 of 42
Text of page 38
Computer Science & Information Technology (CS2)




 Q.52        Consider a system with a processor and a 4 KB direct mapped cache with block size
             of 16 bytes. The system has a 16 MB physical memory. Four words P, Q, R, and S
             are accessed by the processor in the same order 10 times. That is, there are a total
             of 40 memory references in the sequence P, Q, R, S, P, Q, R, S,…

             Assume that the cache memory is initially empty. The physical addresses of the
             words are given below (1 word =1 byte).

                               P: 0x845B32, Q: 0x845B26, R: 0x845B36, S: 0x846B32

             Which of the following statements is/are true?

             Note: 1K=210 and 1M=220




 (A)         Every access to P results in a cache miss


 (B)         Every access to R results in a cache hit


 (C)         Every access to Q results in a cache miss


 (D)         Except the first access to S, all subsequent accesses to S result in cache hits




 Q.53        To keep track of free blocks in a file system, one of the two approaches is generally
             used – using bitmaps (bit vectors) or using linked lists. Consider that the linked list
             approach is used to keep track of free blocks in a file system. Assume that the disk
             size is 16 GB, block size is 2 KB, and block numbers used are 32-bit long. A single
             pointer of size 4 bytes is used in each block of the list to point to the next block of
             the list. The number of blocks required to hold the free disk block numbers is
             ____________. (answer in integer)

             Note: 1K=210 and 1G=230




Organizing Institute: IIT Guwahati             Page 38 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 39 of 42
Page 39 of 42
Text of page 39
Computer Science & Information Technology (CS2)




 Q.54        A system has a Translation Lookaside Buffer (TLB) that has a reach of 1 MB. TLB
             reach is defined as the total amount of physical memory that can be accessed
             through the TLB entries. The paging system uses pages of size 4 KB. The virtual
             address space is 64 GB and physical address space is 1 GB. If each TLB entry stores
             a 4-bit process id, page number, frame number, and a 2-bit control field, then the
             size of the TLB (in bytes) is ___________. (answer in integer)

             Note: 1K=210, 1M=220, 1G=230


 Q.55        Consider contiguous allocation of physical memory to processes using variable
             partitioning scheme. Suppose there are 8 holes in the memory of sizes 20 KB, 4 KB,
             25 KB, 18 KB, 7 KB, 9 KB, 15 KB, and 12 KB. Assume that no two holes are
             adjacent. Two processes P1 of size 16 KB and P2 of size 9 KB arrive in that order,
             and they are allocated memory using the best-fit technique. After allocating space
             to P1 and P2, the number of holes of size less than 8 KB is ____________. (answer
             in integer)

             Note: 1K=210


 Q.56        Consider a system with 1 MB physical memory and a word length of 1 byte. The
             system uses a direct mapped cache, with block numbers starting from 0. The word
             with physical address 0xA2C28 is mapped to the cache block number 17610. The
             maximum possible size of the cache (in KB) for this configuration is ___________.
             (answer in integer)

             Note: 1K=210 and 1M=220


 Q.57        A non-pipelined instruction execution unit that operates at 1.6 GHz clock takes an
             average of 5 clock cycles to complete the execution of an instruction. To improve
             the performance, the system was pipelined with a goal of achieving an average
             throughput of one instruction per clock cycle. However, it could operate only at
             1.2 GHz due to pipeline overheads. While executing a program in the pipelined
             design, 30% of instructions encountered a stall of 2 cycles due to pipeline hazards.
             The speed-up obtained by the pipelined design over the non-pipelined one for this
             program is ___________. (rounded off to two decimal places)

             Note: 1G=109




Organizing Institute: IIT Guwahati           Page 39 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 40 of 42
Page 40 of 42
Text of page 40
Computer Science & Information Technology (CS2)




 Q.58        Consider a new TCP connection between a sender and a receiver. The receiver
             advertised window is constant at 48 KB, the maximum segment size (MSS) is
             2 KB, and the slow start threshold for TCP congestion control is 16 KB. Assume
             that there are no timeouts or duplicate acknowledgements. The number of rounds
             of transmission required for the congestion control algorithm of the TCP connection
             to reach the congestion avoidance phase is ___________. (answer in integer)

             Note: 1K=210


 Q.59        Consider the digital circuit shown below with two input lines A and B, two select
             lines S0 and S1, and an output line Y. The blocks Q and M represent active high
             2:4 decoder and 4-to-1 multiplexer, respectively. Out of 16 possible input
             combinations, the number of combinations that produce Y=1 is ____________.
             (answer in integer)

             Note: One input combination is an instance of [A B S1 S0].




 Q.60        Consider the following ANSI-C program.

             #include <stdio.h>

             int main(){

                           int *ptr, a, b, c;
                           a=5; b=11; c=20;
                           ptr=&a; *ptr=c; ptr=&c;
                           a=*(&b); c=*ptr-a;
                           printf("%d",c);
                           return(0);
             }

             The output of this program is ____________. (answer in integer)

             Note: Assume that the program compiles and runs successfully.




Organizing Institute: IIT Guwahati           Page 40 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 41 of 42
Page 41 of 42
Text of page 41
Computer Science & Information Technology (CS2)




 Q.61        Consider the following ANSI-C function.

             int func(int start, int end){
                           int length=end+1-start;
                           if((length<1)||(start<0)||(end<0)){ return(0); }
                           if(length%3==0){
                                     return(func(start+1, end));
                           } else if(length%3==1){
                                     return(1+func(start, end-1));
                           } else {
                                     return(func(start+2, end));
                           }
             }

             The maximum possible value that can be returned from this function is
             ____________. (answer in integer)

             Note: Ignore syntax errors (if any) in the function.


 Q.62        The determinant of a 4 × 4 matrix A is 3. The value of the determinant of 2A is
             ____________. (answer in integer)


 Q.63        Suppose an unbiased coin is tossed 6 times. Each coin toss is independent of all
             previous coin tosses. Let E1 be the event that among the second, fourth, and sixth
             coin tosses, there are at least two heads. Let E2 be the event that among the first,
             second, third, and fifth coin tosses, there are equal number of heads and tails.

             The conditional probability P(E1 | E2 ) is equal to ____________. (rounded off to
             one decimal place)


 Q.64        Consider a function f: (0,1) → {0, 1} defined as follows.

             For a real number r ∈ (0,1) , f(r) = 1 if the second digit after the decimal point
             in r is one of the four digits 2, 3, 6 and 7. Otherwise, f(r) is equal to 0.

             The number of points in (0,1) at which f is discontinuous is ___________. (answer
             in integer)




Organizing Institute: IIT Guwahati            Page 41 of 42

GATE CS 2026 question paper, GATE 2026, Computer Science and Information Technology Session 2, page 42 of 42
Page 42 of 42
Text of page 42
Computer Science & Information Technology (CS2)




 Q.65        It is necessary to design a link-layer protocol between two hosts that are directly
             connected over a lossless link of length 3000 kilometers. Assume that the link
             bandwidth is 108 bits per second and that the propagation delay in the link is 5
             nanoseconds per meter. Every transmitted data byte is assigned a unique sequence
             number.

             Let N be the minimum number of bits needed for the sequence number field in the
             protocol header such that

                 i.     the sequence numbers do not wrap around before 60 seconds, and
                ii.     the maximum utilization of the link is achieved.

             The value of N is ______. (answer in integer)




Organizing Institute: IIT Guwahati            Page 42 of 42

Page 1 of 42

Source: GATE. Question paper published by GATE.