i want the formulate no need to code

My sudject :Artificial Inttelegence

Question 1: Consider the design of a program that solves the problem "Is bigger Smarter? . Formulate the 'Is Bigger Smarter?' problem as a search problem. 11.6 Problems 11.6.1 Is Bigger Smarter? PC/UVa IDs: 111101/10131, Popularity: B, Success rate: high Level: 2 Some people think that the bigger an elephant is, the smarter it is. To disprove this, you want to analyze a collection of elephants and place as large a subset of elephants as possible into a sequence whose weights are increasing but IQ's are decreasing. Input The input will consist of data for a bunch of elephants, at one elephant per line termi- nated by the end-of-file. The data for each particular elephant will consist of a pair of integers: the first representing its size in kilograms and the second representing its IQ in hundredths of IQ points. Both integers are between 1 and 10,000. The data contains information on at most 1,000 elephants. Two elephants may have the same weight, the same IQ, or even the same weight and IQ. Output The first output line should contain an integer n, the length of elephant sequence found. The remaining n lines should each contain a single positive integer representing an elephant. Denote the numbers on the ith data line as w[i] and Sli). If these sequence of n elephants are a[1], a[2],..., a[n) then it must be the case that W[a[1]] S[a[2]] > ... > S[a[n]]i In order for the answer to be correct, n must be as large as possible. All inequalities are strict: weights must be strictly increasing, and IQs must be strictly decreasing. Your program can report any correct answer for a given input. Sample Output Sample Input 6008 1300 6000 2100 500 2000 1000 4000 1100 3000 6000 2000 8000 1400 6000 1200 2000 1900