半球符号化検索非対称性