Принцип Дирихле

Ниже приведена таблица задачи ВЫП для принципа Дирихле для 3 клеток и 4 кроликов.

Соответствие столбцов и высказываний:
0 — первый кролик в первой клетке
1 — первый кролик во второй клетке
2 — первый кролик в третьей клетке
3 — второй кролик в первой клетке
4 — второй кролик во второй клетке
5 — второй кролик в третьей клетке
6 — третий кролик в первой клетке
7 — третий кролик во второй клетке
8 — третий кролик в третьей клетке
9 — четвёртый кролик в первой клетке
10 — четвёртый кролик во второй клетке
11 — четвёртый кролик в третьей клетке

Таблица задачи ВЫП для принципа Дирихле для 3 клеток и 4 кроликов
/̅ 0 1 2 3 4 5 6 7 8 9 10 11
1                   τ̅ T T
2                 τ     T*
3               τ     T*  
4             τ     T*    
5             τ̅ T T      
6           τ           T*
7           τ     T*      
8         τ           T*  
9         τ     T*        
10       τ           T*    
11       τ     T*          
12       τ̅ T T            
13     τ                 T*
14     τ           T*      
15     τ     T*            
16   τ                 T*  
17   τ           T*        
18   τ     T*              
19 τ                 T*    
20 τ           T*          
21 τ     T*                
22 τ̅ T T                  

Аналогично строится таблица задачи ВЫП для принципа Дирихле для 4 клеток и 5 кроликов.

Таблица задачи ВЫП для принципа Дирихле для 4 клеток и 5 кроликов
/̅ 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19
1                                 τ̅ T T T
2                               τ       T*
3                             τ       T*  
4                           τ       T*    
5                         τ       T*      
6                         τ̅ T T T        
7                       τ               T*
8                       τ       T*        
9                     τ               T*  
10                     τ       T*          
11                   τ               T*    
12                   τ       T*            
13                 τ               T*      
14                 τ       T*              
15                 τ̅ T T T                
16               τ                       T*
17               τ               T*        
18               τ       T*                
19             τ                       T*  
20             τ               T*          
21             τ       T*                  
22           τ                       T*    
23           τ               T*            
24           τ       T*                    
25         τ                       T*      
26         τ               T*              
27         τ       T*                      
28         τ̅ T T T                        
29       τ                               T*
30       τ                       T*        
31       τ               T*                
32       τ       T*                        
33     τ                               T*  
34     τ                       T*          
35     τ               T*                  
36     τ       T*                          
37   τ                               T*    
38   τ                       T*            
39   τ               T*                    
40   τ       T*                            
41 τ                               T*      
42 τ                       T*              
43 τ               T*                      
44 τ       T*                              
45 τ̅ T T T