1 23456789 0 :;4 01 <4=5<=42 00 78 08 2<>;4? 01 572852 0 - PowerPoint PPT Presentation

1 23456789 0 :;4 01 <4=5<=42 00 78 08 2<>;4? 01 572852 0 @ A374 0B-01 =AA7C38 0 !"#$%$&$'()*+(,*-.&$/$%*"/0(/"1(23.'+%-'"$/0(4/$5'-/$%6#(7!,2849( :*+;#5*.(*"(4/$5'-/$%6#(%"(</$/(=6%'"6'( >&0?(@AB(CADE( -./0123*4//1506) !"#$%&'(""$)#*+*,'(-./(0 !"#$%&'()*!+',!') 0 http://www.csc.ncsu.edu/faculty/bdsullivan

VMG$)#G$M*0 .07)689: 0D0E!$F0/#G#H0$'0 F%G I0 0 0 0 0 0 • ! 6(J#*0!%#$*I0KL@0*.(%M*'N0OP0'Q*#RG$,0"$*S'0 • ! 5"$J#G.0'$J("#G$M*I0TUVW0F%$/0,.""'N0OXXW0)#%$#!".'N0OXXX0Q.#%'00 • ! 9.*MJ.I0Y@0*(,".MG$/.'N0UX?0F.*.'N0O-T?0B830G%#*',%$RG$M*0Z#,GM%'0 • ! 1M,$#"08.G[M%S'I0:#,.!MMSN0<[$GG.%0.#,\0\#).0]O@0('.%'N0(R0GM0LXX?0 G[..G'^J$*N0T-_@0"$S.'^/#QN0#)F-0LLK0Z%$.*/'0^0UXK0ZM""M[.%'0R.%0('.%- ) ( 2 !-/G'#(6+'1%$(7H($*(89I(:JK4%""(L,M(6*"#*+$%&-B(<*N+*0%#('$(/0OB(L&-/"(P'"*-'(M+*Q'6$B(R'.5*+%/(

VMG$)#G$M*0 ;<<7)689:) D0F%#R\'0*#G(%#""Q0.*,M/.0%."#G$M*'\$R'`00 0 0 0 0 0 • ! 6(J#*0!%#$*I0KL@0*.(%M*'N0OP0'Q*#RG$,0"$*S'0 • ! 5"$J#G.0'$J("#G$M*I0TUVW0F%$/0,.""'N0OXXW0)#%$#!".'N0OXXX0Q.#%'00 • ! 9.*MJ.I0Y@0*(,".MG$/.'N0UX?0F.*.'N0O-T?0B830G%#*',%$RG$M*0Z#,GM%'0 • ! 1M,$#"08.G[M%S'I0:#,.!MMSN0<[$GG.%0.#,\0\#).0]O@0('.%'N0(R0GM0LXX?0 G[..G'^J$*N0T-_@0"$S.'^/#QN0#)F-0LLK0Z%$.*/'0^0UXK0ZM""M[.%'0R.%0('.%- ) ( 3 !-/G'#(6+'1%$(7H($*(89I((L/G-/""('$(/0B(:+%G5$('$(/0B(S/?/;('$(/0B(/"1(:'"G('$(/0(

5\#"".*F.'0 U1(5*6(-'$5*1#( 23%#$%"G(/"/0?#%#(V"1#(*"0?(0*6/0( ./$$'+"#(*+(G0*F/0(.+*.'+$%'#( L%G5(6*-.&$/$%*"/0(6*-.0'3%$?( L/+1($*(6*-./+'(1/$/(6*00'6$'1( /$(N/+%'1(+'#*0&$%*"#( 8/"1*-(#/-.0%"G(%#(*)$'"( %"'W'6$%N' ( 23/-.0'I(-*$%)(6*&"$%"G(6&++'"$0?( #6/0'#($*(./$$'+"#(*)(#%X'(E(7*+(Y9Z( 0 <\.%.0$'0#*0 42=86>)6887) ZM%0*.[0J.G\M/'0GM0 ?406>1>0>158/@)060/@A8) !"##$%&'()*+"!$,-'./"01# ) #*/0G\.$%0,MJRM*.*G'0 46782)46B82>016>@C)) 4 ,O(20'G/"#(%-/G'(F?(T*+-%;*$;/#(

;(%03RR%M#,\0 5

<M/#Qa'0<#"S0 X-06#%/0R%M!".J'0 /+'"\$(/0[/?#(5/+1( O-04.#"b[M%"/0*.G[M%S'0\#).0 4:8D4/):E02:8):>24B>428 0D00 !MG\0 $5'*+'$%6/00? 0#*/0 '-.%+%6/00?( U-01R#%'.0'G%(,G(%.0".#/'0GM0 D0:>)0/=<21>FG: 00 )*+($5%"G#(['(6/+'(/F*&$ `0 0 L C)+GE/8G86>0>1<6 `00 30R%MMZbMZb,M*,.RG0 R$R."$*.0ZM%0JMG$Z0,M(*G$*F0 6

:#'G0c9%#R\d03"FM%$G\J'e0 2",34 (4*#$(%"$'+'#$%"G(G+/.5(.+*F0'-#(/+'(( 567,8!09&3& ()*+(G'"'+/0(G+/.5#( • ! V#f0,"$g(.0hR%MG.$*0F%M(R'i0 • ! C.%G.f0,M).%0h!$M$*ZM%J#G$,'N0'.*'M%'i0 • ! 9%#R\0,M"M%$*F0h',\./("$*FN01(/MS(i0 • ! 1(!F%#R\0$'MJM%R\$'J0hJMG$Z'i0 7 !-/G'(6+'1%$I(P/+'?(](>*5"#*"(7H9B(:%;%-'1%/(789(

305"#''$,02f#JR".0 C 24<2j 5 ;C24 I0 :$*/0J$*-0*(J!.%0MZ0).%G$,.'0G\#G0\$G0#""0./F.'-0 0 0 0 0 0 8 !-/G'(6+'1%$I(:*0)+/-(U0.5/(

k#%#J.G.%$l#G$M*0GM0G\.0%.',(.`0 C 24<2j 5 ;C24 I0 :$*/0J$*-0*(J!.%0MZ0).%G$,.'0G\#G0\$G0#""0./F.'-0 0 0 0 0 0 ? bC 24<2j 5 ;C24 I0 5#*0QM(0m*/0#G0JM'G0 ; 0).%G$,.'0\$GG$*F0#""0./F.'e0 • ! .24>8)D<2B8H 0,M*'$/.%0#""0'(!'.G'0MZ0'$l.0 ;( • ! <\$'0#"FM%$G\J0G#S.'0G$J.0 "I + : )J) ,/"(['(1*(F'$$'+^( 9 !-/G'(6+'1%$I(:*0)+/-(U0.5/(

V#S$*F0G\.0.#'Q0,\M$,.'0 • ! ? bC 24<2j 5 ;C24 I0 3%.0G\.%.0#G0JM'G0 ; 0).%G$,.'0\$GG$*F0#""0./F.'e0 0 ;2887@)(4/8H 0:$*/0#0).%G.f0 N 0MZ0/.F%..0#G0".#'G0 ;_DO 03//0 N 0GM0G\.0,M).%N0 /.".G.0 N 0Z%MJ090h[$G\0#""0#/n#,.*G0./F.'iN0/.,%.J.*G0 ; -0 • ! :5?(/+'(['(G&/+/"$''1($5%#(1*'#"\$(65/"G'($5'(/"#['+^( • ! L*[(-/"?($%-'#(6/"(?*&(/..0?($5%#(+&0'^( 10

<\$'0$'0E?.%*."$l#G$M*H0 • ! ? bC 24<2j 5 ;C24 I0 3%.0G\.%.0#G0JM'G0 ; 0).%G$,.'0\$GG$*F0#""0./F.'e0 ;2887@)(4/8H 0:$*/0#0).%G.f0)0MZ0/.F%..0#G0".#'G0 ;_DO 03//0$G0GM0G\.0,M).%N0 #*/0/.".G.0$G0Z%MJ0G\.0F%#R\0h[$G\0#""0#/n#,.*G0./F.'i-0 6M[0GM0:$*/0#0?.%*."I0 • ! 4.R.#G./"Q0#RR"Q09%../Q04(".0(*G$"0*M0).%G$,.'0MZ0/.F%..0o0 ; -0 ;1"3<#'9&=3'$#'31&':&/+&9>' • ! 6M[0!$F0,#*0$G0!.e00 !)($5'+'(/+'(-*+'($5/"(; C( N'+$%6'#B(6/"($5'+'(F'(/(6*N'+(*)(#%X'(/$(-*#$(;^ ( 6M[0GM01M").0G\.0?.%*."I0 • ! @%(G.bZM%,.0%.J#$*/.%0$*0G$J.0;h C ;C i-0 :5/$\#($5'(*N'+/00(+&""%"G($%-'(*)($5%#(/0G*+%$5-^(!#(%$(F'$$'+($5/"(`7" ; 9^ ( 11

k#%#J.G.%$l./05MJR".f$GQ0$*0#0*(G'\.""0 • ! ,$ I0'M")#!".0[$G\0*M*b/.G.%J$*$'G$,0<(%$*F0J#,\$*.0 • ! K$ I00\#'0#*0;h " )7;9 i0#"FM%$G\J-00 • ! L$& I0\#'0#*0 )7;9" `7D9 ( #"FM%$G\J-0 • ! $</@MN8268/ I0G\.0S.%*."0\#'0'$l.0S `7D9 00 12

>\#G0$Z0G\.0R%M!".J0'$l.0$'*aG0'J#""e0 13

<\.0G%$,S00 • ! `&+(G+/.5(%#"\$(Q&#$( /"?(*01(G+/.5a( • ! 4.#"b[M%"/0*.G[M%S'0MZG.*0\#).0 6*--&"%$?(#$+&6$&+' I0 G\.Qa%.0E"M,#""Q0/.*'.H0#*/0EF"M!#""Q0'R#%'.H00 14

='.Z("01R#%'$GQ0h)-0 !"#$ I0<%..01G%(,G(%.0 58',*,9&#'!":&#'31$+.#'&"#*? )) • ! V 3j >71I0:$*/0G\.0 -/3%-&-(['%G5$'1(%"1'.'"1'"$(#'$ 0$*0 P( (17,15) U0 (8,10) (7,5) O0 p0 (3,6) (4,1) L0 T0 L0 U0 (3,0) (2,0) ( L0 U0 O0 O0 ( (3,0) (2,0) (1,0) (1,0) &F1:),$MF027)E2<O/8G)F0:)0)/16802)0/=<21>FG)<6)>288:P) 15 [Some prefer to think of belief propagation -- also efficient (and exact) on trees]

1R#%'$GQ0O-OI0@M(*/./0<%..[$/G\0 • ! 30F%#R\0,"#''0 P 0\#'0 F*&"1'1($+''[%1$5( $Z0.).%Q0F%#R\0 \#'0#0 $+''(1'6*-.*#%$%*"( MZ0[$/G\0#G0JM'G0 6 -00 0 0 0 0 0 %:8D4/68::H) 0VM'G0#"FM%$G\J'0[\$,\0#%.0RM"Q*MJ$#"bG$J.0M*0G%..'0 0,#*0!.0.fG.*/./0GM0 246)16)E</@M>1G8)<6)O<46787)>288917>F 00 hQM(0R#Q0#*0.fRM*.*G$#"0Z#,GM%0$*0G.%J'0MZ0G\.0[$/G\i0 16 !-/G'(6+'1%$(:%;%.'1%/(

� � � � 1R#%'.09%#R\06$.%#%,\Q0 Nowhere dense r Locally bounded r Locally excluding Bounded expansion expansion a minor Excluding a topological minor r Locally bounded Excluding a minor treewidth Bounded genus Planar Bounded treewidth Bounded degree Outerplanar Bounded treedepth Forests Star forests Linear forests 17

:k<03"FM%$G\J'0q09%#R\01G%(,G(%.I0k%M'0q05M*'0 H*$# 0MZ0R%M!".J'0!.,MJ.0:k<I0 0 • ! 1 <27824 0< 422 0h!M(*/./0/.F.*.%#,Qi0 • ! 1 =@943k6 7 1;V;4k671V 0h!M(*/./0.fR#*'$M*i0 • ! B ;V783<789 1 2< 0h!M(*/./0F.*('i0 • ! V 3j >710h!M(*/./0G%..[$/G\i00 0 3*/0G\.%.0#%.0J.G#bG\.M%.J'`00 • ! :;bJM/."0,\.,S$*F0 *"("*[5'+'K1'"#'(G+/.5#b 0h ; 0r0ZM%J("#0'$l.i00 • ! 2V1;bJM/."0,\.,S$*F0 ./+/-'$'+%X'1(F?($+''[%1$5 ' @AB' ( C&"97D8/9)'+&3D8/:#' -%G5$("*$()/00(%"$*(/"?(*)($5'#'(6/$'G*+%'#Z(( :*+#'B(%$\#( 1"/)'38'3&#3' -'-F'+#5%.(7]('3%#$%"G(+'#&0$#(/+'("'G/$%N'9( T5'(/0G*+%$5-#(*)$'"(5/N'(c5&G'd( 1$))&+',8+#3"+3#'' 18 *Recall, this was broadest class. And lots of problems are expressible in FO-logic.

6M[0/M0[.0S*M[0$Z0*.G[M%S'00 #%.0'G%(,G(%#""Q0'R#%'.e0 19

5M**.,G$*F 0 h[$G\i 0G\.0/MG'00 • ! 5\#"".*F.I0 %"#$/"6'#(N#O(60/##'#( • ! 9M#"I0,"#''$ZQ0*.G[M%S'0!Q0G\.$%0Z.#G(%.'^,\#%#,G.%$'G$,'0 • ! <QR$,#"03RR%M#,\I0m*/0 +/"1*-%X'1(-*1'0#( G\#G0J#G,\0 /.'$%./0Z.#G(%.'0D0('.0G\.'.0GM0%.R%.'.*G0G\.0,"#''00 $ # ! " e/+/F/#%KU0F'+$( 7.+')O(/$$/65-'"$9( # # $ # g0'%"F'+G( ! 8/"1*-(!"$'+#'6$%*"( " 7#-/00([*+019( P+/.5#(( 7#5/+'1(/$$+%F&$'#9( # # ,*"VG&+/$%*"f(,5&"GKH&( 71'G+''(1%#$+%F&$%*"9( 20

30!$G0MZ0!#/0*.['s0 .<46787)38=288H) • ! 2%/t'b4u*Q$00b0;h"MF0 " i0 • ! VM""MQb4../0c/.R.*/'0M*0'R.,$m./0/.F%..0'.g(.*,.d0 • ! 4#*/MJ07*G.%'.,G$M*09%#R\'0h h 0v0Oi0 .<46787)38=86820B@H) • ! @#%#!#'$b3"!.%G00 • ! 4#*/MJ07*G.%'.,G$M*09%#R\'0h h 0v0Oi ) .<46787)&288917>FH) • ! 2%/t'b4u*Q$00b0;h " i00c9#MN0UXXwd0 • ! @#%#!#'$b3"!.%G0D0;h " i0c9#MN0UXXwd00 21

1R#%'$GQ0U-XI0@M(*/./02fR#*'$M*0 • ! 30F%#R\0,"#''0 P 0\#'0 F*&"1'1('3./"#%*"( $Z0.).%Q0 + b'\#""M[0 hGMRM"MF$,#"i0J$*M%0\#'0/.*'$GQ0#G0JM'G0 )7+9 -00 | E ( H ) | O r ( G ) := sup O r ( G ) ≤ f ( r ) O r ( G ) = max | V ( H ) | H ∈ G O r 0 G ∈ G 0 0 0 0 0 ,<>8H) %."#G./0:k<0#"FM%$G\J'0 1*"\$ 0%.g($%.0S*M[$*F0 )7+9 ( 22