HAL Id: inria-00115826
https://hal.inria.fr/inria-00115826v2
Submitted on 24 Nov 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
construction d’une hiérarchie binaire implicative ; niveaux et noeuds significatifs
Israël-César Lerman
To cite this version:
Israël-César Lerman. Analyse logique, combinatoire et statistique de la construction d’une hiérarchie binaire implicative ; niveaux et noeuds significatifs. [Research Report] PI 1827, 2006, pp.45. �inria- 00115826v2�
I R I
S A
IN STITUT D
E R
ECHERCHEE N IN
FORMATIQU
EET SYSTÈ MES
ALÉ
ATOIRES
P U B L I C A T I O N I N T E R N E
N
oI R I S A
CAMPUS UNIVERSITAIRE DE BEAULIEU - 35042 RENNES CEDEX - FRANCE
ISSN 1166-8687
1827
ANALYSE LOGIQUE, COMBINATOIRE ET STATISTIQUE DE LA CONSTRUCTION D’UNE HIÉRARCHIE BINAIRE IMPLICATIVE ;
NIVEAUX ET NOEUDS SIGNIFICATIFS.
ISRAËL-CÉSAR LERMAN
INSTITUT DERECHERCHE EN INFORMATIQUE ETSYSTÈMESALÉATOIRES
Campus de Beaulieu – 35042 Rennes Cedex – France Tél. : (33) 02 99 84 71 00 – Fax : (33) 02 99 84 71 71 http://www.irisa.fr
!
! "# $% & #&" "# ! !& ' "#
" "& $"& ' " ( &( ) *# &
"# " " ! + && &) * & " & !&& "
! #, ! $-).!"#""&&& " "&!!&
!/)0 )&" $"!!1
" "! $&& $)2 !& " 3&"" &+
" & " ! "# " "& !!& '&) * !! && (& "
"# ! $&" &)4'+ "$% !& !
#"! " " " 1 " ! , ' $- "# "
' "# ! $)
5 ! + ' " ( &( &+ ! $+ 1
", ' $-
Centre National de la Recherche Scientifique Institut National de Recherche en Informatique (UMR6074) Université de Rennes 1 – Insa de Rennes et en Automatique – unité de recherche de Rennes
6! " ! '("$" +!
"" $" ( ( ' )7( ("( ""
""!"/)0") " ! 8+ 9
:"" (+ ;( ( " < ! ) 6( ( !
; " ;" ( !!()7( $ $" ";
1 " ; " !! ) = " $ ; !
$ ( " ( ! $ " (")7( ( !! $ (
$( ! " ") > + ; : ! " !
$ : ( , '- " ( , '- " $ ( !
)
6! + ""( ( ' + ! +, '-
+, '-"
)
) !! "
@ A &( "! " ' &B
@ A &( "$(+ " &" ' &1! !! &&$
"#( &( ! 8 &9
@ 6"& (& ""& $"#( &( !
?) # $ !! "
@ 6" B " "# ! "# &
@ ! && ( "#. ' 5"A &( 6!
) " %&'($ !! "
@ 6"
@ . "#"&
@ . "#"&
@ 2
) #
C!!#1 "# "#"&' "# &)
!D &! +&&"" + ' ! E
) !& & " !1 8 9
" )
& "1 & " + + ' ! +
#1! !# 8 9 89) " " $ !!"
$% #"!"# "!DF! &"!,!"-
& " ")." 8 9,!-
" 89+ 8 9 ,Æ- " 89+ !" &) C"
! DF" ! !"" 1! GH " E
" +"# # "#&)I# +D""#
8 9 89+ ! "&& "'+ "&!""" 1" 8 9
" 89)
I $%+ #& !& "" ! " ! $
" # ! B "# "#!! 8" &( 9
" )6$ "" ",IJ -+#!$&"
&&8))"#""! " + !9). "!& #&
!&" ! "&' "# " & "&! ! E
!& ! G+H)
& &+# " !!! "" Æ(&"#41 ". "
I&84.I9 " ",'-GH)6# + !! "# ! +
"!! " E&E "#E8 9K 88 99 88 99+
89"" # "&
"1 )
6!DF & # " "# ! " & ) +&$&
E"$% ! 1! E &&"& + " !!&
!$ & !!!!8 9) #!! ," &"#"#E
-+" 3& " " & & !D!!&" &)
*#"#& "$"" " !""& "
# "! G?+ +++?H)
4 3+ " " " 1 + "
$ '1& ! "(& # $ ""& " #1 " )4E
+ "1 !" && "&& < !( & B 1"
' &" ) 4 & " &
+! "# !(" "".)>G H " E
' "&("5L*85 "L "* 9G++?H)
I"# & ! +! !D ! !
&&"&("5L*+/)0G+?+HD "!("# ! +# !! &"
" "" " "(& ).!( &&)6
"# & & !& 8 9 "&' ! & !
" )*'1 ! " "& " ' & "# + ! "#
!( " # !+!# ( " J "&! 1)I
!! " " " ! # &D " " " ) C !
"!( ", &-""#1# # " "&' !!! 8
! &9 " 8)) !( & G?H9B + "
!( "# ! " E" " ) . +
! +!""&' "$% $ !! "!(&
""& !(" )
4 "& && + " $ ! " '
! (& "# !( & " & & ! "# ) .# "#
!!& ')4 " $"# !& " &1 !
!( & E")C,"&-""# #DF" "
("&' !' " !) I " " "# & ! +
!D &" "&!!$ !( ! $+ , ! $ " ' -
!" ! $"E).#!& &
&&!!&!/) 0G?+ +H#!! ",( &( ! -)
6 # " ! "# ! 8 ! " 9 ($ 8 E
9 & " ( " ) !! & " "&( + "
!!()"&' $"!" + +#!
&&1! &) "&" !!( !! &&& "#$
"#& & " + , &-) . "&' !! && & "#
"$"1"#( &( & " ' "
& ).# ! " !!() "&'
"&!!"!&"" )
*# Æ(&" (( "#( &( ! "& " ,&-
!1! 8 9+$ !(& ""& GH)*!!(
)? # "Æ )(( & " "&
" $ "(& ""& # !& "& &#E
"#( &( ! )
5 "# " ' +( &( ! D ! "#
" & ! + " &+ ! " "# ) * ! " "&!
"&' "# B & " "&" " "
& ! ) * " " # "
&&&"" ! "# )!?( 1
"!& " GH) !! ( 1 & !" " !! &&(&
( # !" "&" "#" ' 8 +
$"& 9)
6& !"! $&"# ! $&("
" " 1" &" !, ' $-"#" E
' ) .&("$ ! &" ' "( &( 5L*).&("
" & ! " " 1 " #+ "#
!& &+ #"& ! !" "& E
&" # &G+?+ ?H)*#& " $
)6# " ! "! &! &&&
" # &)I1 " &&"&!!&)! + E
" " & ! "+ & ).#
" " & ,!&"-+# "! " !!& GH ) . "
(& &!! "!!!#"$)*#"
!!( !& & ' " ! "&'
$ " "#"& ) I "& "&& D
!"GH)J + "&! ! "! !" "#
&& " " &B ! ! !1 &
!"" "! !" ")((
" & "& "# "#"& ( &( '
&G?+M+ ?H !!D! !&& "$%! +
"& " 1", ' $-"#" ' & &
& ! )
! " #! "&"& "&' !!!(
)6&& &! &&!&!)N:8
&
4( "#2 &
" 9" ,/ >!( ". ' - 8O"19)&!"!
$ !& !& ! + $
& B " #""&!!)." !""#
!& '!!"!&(" & "#( &( ! )
! "
I& ! # &+" " !" )2 ! $"
" !!( " "&' # $ ( &( ! ) .! " " "
" G?+ + H+ ! &$ " ' B
"1 &" ( " ) " " ! "
" ( &( " ! ! !& "
' &! +! "&1 " " 1)*#"
&&) " + ! # ! " $ !& ' "
" !"1! $""&' "#( &( ! )
)' *+, 8 9
8 9
8 9
8 8 9 8 9 9 K K K
" "!# ( &( " ! ! &"
!D& "#1 ! " "( &( B 89
( &( )
5 ( &( " ! 8 9 ! " " 3& $%+ " 'E
"1&! $ " " " $ "# ") * " 3& $% !"
1" 3& "&1 ! """#"(E"!& &&&"
( &( 8 9) J + % !"&' "# !
)
)' *+* ! "
# "
P$
! % $ & & #
$ # & &
!
$
& ! ' $ "
$
P
& ( $
) $
." " ( & $ )
" # " ' ( & " !E
"! " !
! 1"1 !
+ ) .!"+ !
+ ! ! " !
!$ ,D!-)5 !D1! + "!1!!
! <
K
89
! <
K
89
&"#$ B + #!"D"<
K
8?9
! # 1 $ ! )
O ! &&GH+ 1" ' E
)43+#! "$ "" !"&" "( &(
! ) 5 + ! "# ( &( " ! 8 9+ !
"" 3&$%! " ' )!& &+
)' *+- ! ! 8 9
8 9 $"
!
"+ '& E"+( &( "! 8 9)"&' <
)' *+. *+ & $ 8 9$ 8
9
$ 8 9$ #$
K
& 8 9 &
$
C! ! ++& <
K
89
! " && " 8 9) 43
& "#1 "1
! +&&"( &( )
K #)
D !&& ! $ " #
+ ! ) 5+ ( !
89 " " "#+ &
! &
)
.( 8 9+ " (DF ! " ! ! D E
& )/ !
" ! "+!
"&' & " 8 9 , ! ! -
" $ 89
E")C!"& !<
K
8 9
#"(DF!! "" 3& )
J + "1 (DF ! , - & B #EE" + ' E
" )!& &+ <
K 8
9
K 8
9 89
"1 (DF! " 8K9)61 & " " !
"<
8
9K8
9 89
43+ " $%
K K)
5 "# + "& #1!
!" &&"&" )*"1(DF! <