結果

問題 No.5005 3-SAT
ユーザー ID 21712
提出日時 2025-02-04 01:37:22
言語 Go
(1.23.4)
結果
WA  
実行時間 -
コード長 613 bytes
コンパイル時間 12,437 ms
コンパイル使用メモリ 244,684 KB
実行使用メモリ 6,820 KB
スコア 738
最終ジャッジ日時 2025-02-04 01:37:50
合計ジャッジ時間 21,118 ms
ジャッジサーバーID
（参考情報） 		judge3 / judge4
このコードへのチャレンジ
（要ログイン）
ファイルパターン 結果
other AC * 98 WA * 2
権限があれば一括ダウンロードができます

ソースコード

diff # 

package main

import . "fmt"

type Cond struct {
	a,b,c,p,q,r int
}

func main() {
	conds := make([]*Cond, 2048)
	for i := range conds {
		c := new(Cond)
		conds[i] = c
		Scan(&c.a, &c.b, &c.c, &c.p, &c.q, &c.r)
	}
	
	ans := make([]int, 256)
	
	c0 := conds[0]
	ans[c0.a] = c0.p
	ans[c0.b] = c0.q
	ans[c0.c] = c0.r
	
	c1 := conds[1]
	ans[c1.a] = 1-c1.p
	ans[c1.b] = 1-c1.q
	ans[c1.c] = 1-c1.r
	if c1.a == c1.b && c1.p != c1.q {
		Println("pass")
	}
	if c1.a == c1.c && c1.p != c1.r {
		Println("pass")
	}
	if c1.b == c1.c && c1.q != c1.q {
		Println("pass")
	}
	
	for _, x := range ans {
		Print(x)
	}
	Println()
}
0