結果

問題 No.635 自然門松列
ユーザー tottoripapertottoripaper
提出日時 2018-01-20 01:29:26
言語 Haskell
(9.8.2)
結果
AC  
実行時間 6 ms / 650 ms
コード長 1,635 bytes
コンパイル時間 4,545 ms
コンパイル使用メモリ 187,904 KB
実行使用メモリ 8,192 KB
最終ジャッジ日時 2024-06-23 08:50:04
合計ジャッジ時間 5,481 ms
ジャッジサーバーID
（参考情報） 		judge1 / judge4
このコードへのチャレンジ
（要ログイン）

テストケース

テストケース表示
入力 結果 実行時間
実行使用メモリ
testcase_00 AC 1 ms
5,248 KB
testcase_01 AC 1 ms
5,248 KB
testcase_02 AC 2 ms
5,376 KB
testcase_03 AC 2 ms
5,376 KB
testcase_04 AC 1 ms
5,376 KB
testcase_05 AC 5 ms
8,192 KB
testcase_06 AC 5 ms
7,808 KB
testcase_07 AC 5 ms
8,064 KB
testcase_08 AC 2 ms
5,376 KB
testcase_09 AC 2 ms
5,376 KB
testcase_10 AC 4 ms
7,936 KB
testcase_11 AC 5 ms
7,936 KB
testcase_12 AC 5 ms
8,064 KB
testcase_13 AC 5 ms
7,936 KB
testcase_14 AC 5 ms
7,936 KB
testcase_15 AC 1 ms
5,376 KB
testcase_16 AC 1 ms
5,376 KB
testcase_17 AC 5 ms
8,064 KB
testcase_18 AC 5 ms
7,936 KB
testcase_19 AC 5 ms
7,936 KB
testcase_20 AC 5 ms
8,192 KB
testcase_21 AC 6 ms
7,936 KB
testcase_22 AC 6 ms
7,936 KB
testcase_23 AC 6 ms
7,936 KB
権限があれば一括ダウンロードができます
コンパイルメッセージ
Loaded package environment from /home/judge/.ghc/x86_64-linux-9.8.2/environments/default
[1 of 2] Compiling Main             ( Main.hs, Main.o )
[2 of 2] Linking a.out

ソースコード

diff # 

import           Control.Monad (replicateM)
import           Data.List     (nub)

data Length = Short | Long
  deriving (Eq, Show)

f x y x1 y1
  | x < x1 = if y <= y1
             then (Short, (0, 10000), Long, (10000, 10000))
             else (Short, (0, t), Long, (t, 10000))
  | x == x1 = if y < y1
              then (Long, (0, 0), Short, (0, 10000))
              else if y == y1
                   then (Short, (0, 0), Long, (0, 0))
                   else (Short, (0, 0), Long, (0, 10000))
  | otherwise = if y < y1
                then (Long, (0, t), Short, (t, 10000))
                else (Long, (0, 10000), Short, (10000, 10000))
  where
    t = - (x - x1) / (y - y1)

-- [-, -)同士
intersect (a1, b1) (a2, b2) = a1 /= b1 && a2 /= b2 && not (b2 <= a1 || b1 <= a2)

-- [-, -)と(-, -]
intersect' (a1, b1) (a2, b2) = a1 /= b1 && a2 /= b2 && not (b2 < a1 || b1 <= a2)

main = do
  n <- readLn
  replicateM n $ do
    [x2, x1, x3, y2, y1, y3] <- fmap (map ((fromIntegral :: Int -> Double) . read) . words) getLine
    let (l1, r1, l2, r2) = f x2 y2 x1 y1
        (l1', r1', l2', r2') = f x3 y3 x1 y1
        can = (maximum [ x1, x2, x3 ] == x1 || minimum [ x1, x2, x3 ] == x1) && length (nub [ x1, x2, x3 ]) == length [ x1, x2, x3 ] ||
              (maximum [ y1, y2, y3 ] == y1 || minimum [ y1, y2, y3 ] == y1) && length (nub [ y1, y2, y3 ]) == length [ y1, y2, y3 ] ||
              (x2 - x1) * (y3 - y1) /= (x3 - x1) * (y2 - y1) &&
              (if l1 == l1'
               then intersect r1 r1' || intersect r2 r2'
               else intersect' r1 r2' || intersect' r1' r2)
    putStrLn $ if can then "YES" else "NO"
0