A Space-efficient Godel Numbering with Chinese Remainder Theorem

Proc. of the 19th Workshop on Combinatorial
Mathematics and Computation Theory
Æ £
Ý
Æ ! " #! $ % &" '" #! " ( $ % $ " " $ ) ! "
# !$ ! % ! &'(()(*'#
Ý + +
, !
" Þ # !
" -, -( *&.,# /
0 %
1
£
192
Þ
&" '! " #" ! Æ * + ! ,
* + " ( * - + " #!" ( . ( /" 0" 1!" ( Æ 2 % ( /!
" " " "
! . 3 * +
4 5 * +
6 7 8!" "
" ( ) $ % 6 " #!
Proc. of the 19th Workshop on Combinatorial
Mathematics and Computation Theory
" 4 & " 9 4 * - &+ 4 * - +
4 ( " 4 * &+: 4 & - "
& " > -& - * +" " * +" & " 5 * - &+* - +" 4 * - &+ 4 * - +
% . &
? * +
* +
. & & * #+
. & " 4 #" ,"
& 4 ( ;
4 * &+:;
# 4 & ( 1 4 & - ;
8 " $ * +" 4 &;
. &
' ;
) ? , - & - " ;
" & 4 & *" +; 4 *& - +;
&#@&0
! < % " . &" $ *+ 4 * - +
*= +4*= *& ++4* :+" *
+ 4 * - +
" % $
< " 3 " 193
9 "
4 - ** - + +4 - ** - &+ +"
" 4 -** + +4 - * +" ¾
Proc. of the 19th Workshop on Combinatorial
Mathematics and Computation Theory
* +
* #+ & * 44 #+ * +;
9 ;
# 9 ( ;
1 9 4 - ** - + +;
8 6 ;
' * + 0
$ " ;
/
" $ * - &+ * - + ;
- * - +*
+ * * - &+* - ++ A
6 ;
&5 * + ;
&& * - &+;
¼
¼
¼
¼
¼
# ; & 4 #;
*
#+;
# ,% ;
1 * + 8
9 $ ;
'
9 ;
0
* + /
9 $ ;
A
6 *
* - &++ ;
&5
6 *
* - ++ ;
&&
4- ;
& 9 ;
&# * + &1
6 ;
&8
4 - &;
&' 6 *
* - &++ ;
&0
6 *
* - ++ ;
&/
4- ;
&A 4 ;
5 ;
¼
¼
¼
¼
¼
¼
¼
$ 194
Proc. of the 19th Workshop on Combinatorial
Mathematics and Computation Theory
. 3 % ( * +
4 #" B ,
# - &
" # 4 1 > . 4 " - & ) # ) * + " . " ) *+ ( * + " ) * + ?(" % ( 9 6 " ) > * +" * + *
+ *+ % * +" * - + $
%
"
" % ) &! < CD 9" # E" F G"
&A/A
! B B G 6 > @ 6 " " >
$ G " &AA'
#! H I 2 J3 G"
2 G" " 9" E"
&AA#
1! BK B 7 7 (" C L > "
555
8! 7 7 6 <2
9" C 6 *&8+"
&0 #8" &AA8
'! E 2 2
" I ?" G" &A'1
0! G ("
6 G "" &AA8
%
& /! 2 > " G> G " &AA0
Æ *
+ *+ * +
4 ( Æ 195