Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.

ΠΛΗ31 ΜΑΘΗΜΑ 4.5 (ΕΚΤΥΠΩΣΗ)

1,892 views

Published on

.

Published in: Education
  • Be the first to comment

  • Be the first to like this

ΠΛΗ31 ΜΑΘΗΜΑ 4.5 (ΕΚΤΥΠΩΣΗ)

  1. 1. 31 4: 4.5: - SAT ! " # ! " # ! $% & ' & ( ') & " # * + & , & + ) # +- & ( . &" / 0 1 $ - 2 + " !" ! #! $ %&' A. $% & ! '( )( ! *$ & ! '( )( ! *$ & $& +$, -! $)& $. /! % $ $ 0 / & % 1 ! $& TSP, SAT . . $ $ 1 ( ! $ ( 0 % % $& ) & $ $ & $ $ 1 $ -0 2! ( 2$ ) & $ $ (, $ 0 $ . & # $# /& $ $/ % $ 1/ $ $ & / 1 - $ ( ( ! !" ! #! $ %&' B. $% & 1. (SAT) 1. # % ( ! !" ! #! $ %&' (Satisfiability - SAT): • : & $ . ( . $ ! (2$( ! .!. • : & . ! ; 3 $ # : . ( ! / ! . $& $ ! (2$( ! .! ( .'. .) $& .!: ) )! $ $& $ ( $ $& .! : ) )! $ $& ( $ $ $& $& $ & $ ! $& $ ! $ ! . & & . ( 1 $ $& & , ( -$ & % $ 0 ( 1 ,") ( ( !.
  2. 2. B. $% & 1. (SAT) 2. )$&/ ' / # % !" ! #! $ %&' )$ / 1: . ( SAT: & ! , / )$ / $ & )$ / 2: . ( SAT: $ $& ! . • $#$ 1 $ • '( $ 0 $& 1 $ • '( $ 0 $& 1 $ • '( $ 0 $& )$ $& ! . 4 . ( $& 5$()! . A. $% & 1. - SAT 3. '- / $ & ( ! & # & $ & )( ) ! ( $ ! ( n, ( 0 -& ( $ / "$()1 1 -& ( $ / 1 1 # & $ ) ( : 111 H 2 # & $ ) ( : 001 # $ ( 1-$ -0 2! $& $ $ 1 . )$ #$ $& 2n ( $ ) . $ 1 1 $ 0 $ 1 ). ! ( $ /$ $ / 0 $ $ #$ / ! (!" ! #! $ %&' A. $% & 2. $ $ / / SAT )!" ! #! $ %&' 1. ( ( # (Initialization) 2. 1 $: 1. $ -$& ( ( ( # 2. $ 1 ( ( # ( $ $ ! $ /! ) 3. -$&% ( ( # ( $ $ ! ) # % ) 4. -$&% ( ( # ( $ $ ! $ , ) % ( $& ( $ $ ! ( $ % # $ - ! ( $ /$ $ / / ( /& ( $ ! # / SAT. A. $% & 3. $ $ / / SAT -1. # % $ $ ! ( *!" ! #! $ %&' )$ / 6 % 1 ( $ ! ( $ / ! ( : $ - ! $ $ ! ( $& 0 1/ ! $& 5 ( . # . ( 1-$ 5 $ ) !"#!$# !"% &' () *&* +! , -)./0*$ 123 ,)45# ! 67 , -0%8,7 6 -), (&#6 -,' !" ,-,!,9 ! -. $4 -, 4$*&*: &' () *&* ' % #4 ! $! &' () *&* $#+!& ,-,4*&*7$#+!& ,-,4*&*7$#+!& ,-,4*&*7$#+!& ,-,4*&*7:
  3. 3. A. $% & 3. $ $ / / SAT 0. %) & % # $% +!" ! #! $ %&' )$ / .-. ) ( $ &% 1110 -$& $ % 0 $ 1 : • • • • ! ! . & # & )( ) ) ( ! ( n, ( 1 i 1- ( $ • 0 ! $ ! $& " • 1 ! $ ! $& A A. $% & 3. $ $ / / SAT 1. - & ,!" ! #! $ %&' - & 6 % ( 1-$ pop_size=4 / ( $ 4 ) # $ &% $ (- & : 0101 *: 1100 : 0000 : 0100 ' ! - & ) ( / # $ 1 (- & ( )( 1 # $ ! % (- &% # $% ( / $& pop_size ( $ ( ! ) - & $& /& $ : • & $ 1 % % (- &% 0 $ 1/ ( $ $ bit & $& 0 ! 1 ( .-. 1 0 (- & $& 70.50 1 0 ) • & $ $ $( $ / . A. $% & 3. $ $ / / SAT 2.1. , / !" ! #! $ %&' " : , / # $ $ 1 ( ( # $ ( , / : '( $ 0 , / % $ 0 ( ( # $& : : 0101 -$& , / f(A)=3 *: 1100 -$& , / f(*)=4 : 0000 -$& , / f( )=4 : 0100 -$& , / f( )=3 : , / /& $ $ $( # ( /&2 / $ # ! $ $ ! ( . A. $% & 3. $ $ / / SAT 2.2. /! !" ! #! $ %&' 4 $( $ $, / 1 ( 1 / /$ $ % ( . 8 ! $ ( & (- &% 0 0.112, 0.974, 0.412, 0.229 $ /! /& $ $ 1 ) $, / 1 ( 1 % $ $ ! $ $ / # $ . 1 $ $ 1 $ $, / 1 ( 1 $& /%/! $ % ( ( # $/1 ( pop_size
  4. 4. A. $% & 3. $ $ / / SAT 2.3. # % !" ! #! $ %&' : # ! ! ) # % /& $ $ ) # % # $& ( . # # /& $ $ )( ) ! ( $ $/1 ( n. 4 . $ $ $ ! ) # % # $& ( $% 0 & $ /! ( $& ( ) -% # / $ 2$#/ & $( $ / # $ ! . 8 ! $ ( (- & ( # : 0.442 0.793 A. $% & 3. $ $ / / SAT 2.4. $ , !" ! #! $ %&' $ , /& $ 1. ! ( bit $ / )& ( / $ (- & ( $ 1/$ 1-$ ! 7 $ , pm 1 $/- /& $ ) ) - / $ - % % / $ / &) - % 0 .4 . $ $ $ ! $ , ( 1- ( /$ , $% 0 $ , & $ 0.2. $& $ - ! $ $ % ( & (- &% 0 : 0.34, 0.30, 0.85, 0.56, 0.63, 0.47, 0.19, 0.80, 0.98, 0.58, 0.03, 0.57. - $ $& $ % (- & ( # $ $ $ -!. *. ! $ . /! 1 !" ! #! $ %&' 6 % 1 ( $ # $ $ 0 )( ) 1 $ 1 a, b, c, d, e f, 0 $ $& % -1 ($& / % / ! – SAT): G a c a c e b c d e a b c e f 1 ( $, , - ! ( $ $ $ / / $ # ( $ % SAT, 6 $ 0 . 1: 8 $& $ ( (- & ( # / ) ( /! $ $ - ( , / $ 1,$ $ 2$(/ - % % % , $& ) # % $ )$- $ $ $ ,$ . '$ $ & % ( - $ $& $ $ 1 (- & ( # , - $& $ & , -!. $% $& $ 1-$ $ /$ ! (- &% 0 & )& $ ( $ $ ) % ( & (- &% 0 0 % 1. 0.5653, 0.7850, 0.3352, 0.4554, 0.2919, 0.5357, 0.2466, 0.5077, 0.4815, 0.6790, 0.4668, 0.6764, 0.4161, 0.7796, 0.5559, 0.1280, 0.7301, 0.1737, 0.2309, 0.7655, 0.3338, 0.1255, 0.5173, 0.3148, 0.2881, 0.6349, 0.8326, 0.3914, 0.7681, 0.5750, 0.0540, 0.6870, 0.6314, 0.6923, 0.2917, 0.9627, 0.4428, 0.4976, 0.0262, 0.0744, 0.2175, 0.7504, 0.8668, 0.6196, 0.0340, 0.3349, 0.2569, 0.6596, 0.8477, 0.3751, 0.9119, 0.4655, 0.3057, 0.1837, 0.7605, 0.8132, 0.2156, 0.3142, 0.5552, 0.8473, 0.4889, 0.0474, 0.6617, 0.1524, 0.3824, 0.2644, 0.3426, 0.1142, 0.3901, 0.1443, 0.7898, 0.5873 (!" ! #! $ %&' ( ) (2/25) $& 1/$ ( -0 ( 2! ; ($) (2/25) $ 1,$ $ 1 %) & / (- % 0 ) ( ( #. $, /! $ $ / / $ /! )0 $ $ 1 )$ / ( (- % 0 ). ( ) (2/25) ) ( /! $ $ 1 - ( $ % - % % % $ (- & . ( ) (4/25) H G . 0 , )$ $& - $& ( , / & / $ ( $ ( )$ $& # , )& $ ! 0 (False), ( & - , / $ ( $ ( $& # )& $ ! 1 (True)), ( )$ $& # $ )& ( &) ( &) ( & $ / ( $& # $ ). & $ $ ( , ( )$ 1-$ (/ $ 1 .
  5. 5. )!" ! #! $ %&' ( ) (10/25) $ # $ $ $. 2 $- 1 ) # % $ , . $% $& $ ) # % & $ 1 $ , & $ 0.001. ( ) (5/25) ' ( -$) $ % $ % ! , $ $ 1 /$ 1 , ) ( /$& $ ( ( # /& ( ;

×