Để giải quyết bài toán này, ta cần xác định số lượng tối đa bò mà nông dân John có thể tặng quà với ngân sách b mà ông có. Bài toán có một yếu tố đặc biệt là ông có thể sử dụng một phiếu giảm giá cho một món quà của con bò nào đó để giảm giá nó xuống một nửa.

### Cách tiếp cận:

1. **Tính toán chi phí**: Đối với mỗi con bò, chúng ta sẽ tính hai loại chi phí:
- **Chi phí mà không sử dụng phiếu giảm giá**: `cost_without_coupon[i] = p[i] + s[i]`
- **Chi phí khi sử dụng phiếu giảm giá**: `cost_with_coupon[i] = p[i] / 2 + s[i]`

2. **Sắp xếp**: Ta sẽ sắp xếp danh sách các chi phí để có thể chọn tiêu tốn ngân sách vào các bò sao cho tối đa số lượng bò được tặng. Nếu không sử dụng phiếu giảm giá cho một con bò, chúng ta sẽ chọn con có chi phí thấp nhất trước.

3. **Tính toán số bò tối đa**:
- Lần lượt cộng dồn chi phí từ chi phí thấp đến cao cho cả hai trường hợp (có và không có phiếu giảm giá).
- Cần kiểm tra cả hai trường hợp:
1. Không dùng phiếu giảm giá cho con bò nào và tính xem bao nhiêu con bò có thể tặng.
2. Dùng phiếu giảm giá cho từng con bò, tính lại chi phí và xem có thể tặng thêm nhiều bò hơn không.

### Ví dụ chi tiết:

1. **Input**:
```
n = 3, b = 10
p = [4, 6, 8]
s = [1, 2, 3]
```

2. **Tính chi phí cho mỗi con bò**:
```
cost_without_coupon = [4 + 1, 6 + 2, 8 + 3] = [5, 8, 11]
cost_with_coupon = [4 / 2 + 1, 6 / 2 + 2, 8 / 2 + 3] = [3, 5, 7]
```

3. **Sắp xếp chi phí**:
```
Chi phí không có giảm giá (sắp xếp): [5, 8, 11]
Chi phí có giảm giá (sắp xếp): [3, 5, 7]
```

4. **Tính số bò tối đa**:
- Nếu không dùng phiếu giảm giá, kiểm tra từ chi phí thấp nhất:
- Tặng bò đầu tiên (5), còn 5.
- Tặng bò thứ hai (8), không đủ tiền --> Có 1 bò.
- Nếu dùng phiếu giảm giá cho từng bò, lặp lại như vậy và kiểm tra ngân sách.

### Mã giả thuật (Pseudo-code):

```python
n, b = map(int, input().split())
goods = []
for i in range(n):
p, s = map(int, input().split())
goods.append((p, s))

# Tính chi phí
costs_normal = [(p + s) for (p, s) in goods]
costs_discounted = [(p // 2 + s) for (p, s) in goods]

# Sort the costs
costs_normal.sort()
costs_discounted.sort()

max_cows = 0

# Chưa sử dụng phiếu giảm giá
total_cost = 0
for i in range(n):
total_cost += costs_normal[i]
if total_cost > b:
break
max_cows += 1

# Dùng phiếu giảm giá cho từng bò một và kiểm tra
for i in range(n):
total_cost = costs_discounted[i] # Sử dụng phiếu cho bò i
count = 1 # Bò i được tặng
for j in range(n):
if j == i:
continue
total_cost += costs_normal[j]
if total_cost > b:
break
count += 1
max_cows = max(max_cows, count)

print(max_cows)
```

### Đầu ra:
Chương trình trên sẽ in ra số lượng tối đa các con bò mà nông dân John có thể tặng quà.