????????? ????? ????
???????? ??? ?
?????????(?)??? ??? ???
??????(?)??????????? ??? ????
????????????(???)?????????? ????? ???
???????????(???)?????????????? ???? ??
???????????(?)???????????? ??? ?????
????????(?)???????? ??? ?? 
??????:????????
????????3.3???????12??
???A:2016???7449??????????…
?????????????????“????”
????!?????:??????????
????????????????????
???????????38?“????”???
?????????:4???????????
?????????????????????
?????????????????????
???????????6.1?????1?5?
LG???IV??:???-??????-??
???????????????????
????:????????????????
?????????????:????????
?????????????:????????
????:2016?????????????
????!?????:??????????
????????????????24657?
??????????????:??????
???:?????????????????
???:?????????????????
????????2016??????1550???
???17039?????:?10???7????
?????:2016????????????????…
???????:Libratus??????