From fb6081d4748656587a4413b97a89eaf3f136d5d2 Mon Sep 17 00:00:00 2001
From: oncsr <khj20006@naver.com>
Date: Sat, 12 Jul 2025 21:31:11 +0900
Subject: [PATCH] =?UTF-8?q?[20250712]=20BOJ=20/=20P5=20/=20=EC=A0=95?=
 =?UTF-8?q?=EB=8B=A4=EA=B0=81=ED=98=95=20=EC=84=A0=EB=B6=84=20/=20?=
 =?UTF-8?q?=EA=B6=8C=ED=98=81=EC=A4=80?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 ...1\355\230\225 \354\204\240\353\266\204.md" | 130 ++++++++++++++++++
 1 file changed, 130 insertions(+)
 create mode 100644 "khj20006/202507/12 BOJ P5 \354\240\225\353\213\244\352\260\201\355\230\225 \354\204\240\353\266\204.md"

diff --git "a/khj20006/202507/12 BOJ P5 \354\240\225\353\213\244\352\260\201\355\230\225 \354\204\240\353\266\204.md" "b/khj20006/202507/12 BOJ P5 \354\240\225\353\213\244\352\260\201\355\230\225 \354\204\240\353\266\204.md"
new file mode 100644
index 00000000..aaa1dc72
--- /dev/null
+++ "b/khj20006/202507/12 BOJ P5 \354\240\225\353\213\244\352\260\201\355\230\225 \354\204\240\353\266\204.md"	
@@ -0,0 +1,130 @@
+```java
+import java.util.*;
+import java.io.*;
+
+class IOController {
+    BufferedReader br;
+    BufferedWriter bw;
+    StringTokenizer st;
+
+    public IOController() {
+        br = new BufferedReader(new InputStreamReader(System.in));
+        bw = new BufferedWriter(new OutputStreamWriter(System.out));
+        st = new StringTokenizer("");
+    }
+
+    String nextLine() throws Exception {
+        String line = br.readLine();
+        st = new StringTokenizer(line);
+        return line;
+    }
+
+    String nextToken() throws Exception {
+        while (!st.hasMoreTokens()) nextLine();
+        return st.nextToken();
+    }
+
+    int nextInt() throws Exception {
+        return Integer.parseInt(nextToken());
+    }
+
+    long nextLong() throws Exception {
+        return Long.parseLong(nextToken());
+    }
+
+    double nextDouble() throws Exception {
+        return Double.parseDouble(nextToken());
+    }
+
+    void close() throws Exception {
+        bw.flush();
+        bw.close();
+    }
+
+    void write(String content) throws Exception {
+        bw.write(content);
+    }
+
+}
+
+public class Main {
+
+    static IOController io;
+
+    //
+
+    static int N, M, R;
+    static long[][] dp;
+    static boolean[][] vis;
+
+    public static void main(String[] args) throws Exception {
+
+        io = new IOController();
+
+        init();
+        solve();
+
+        io.close();
+    }
+
+    public static void init() throws Exception {
+
+        N = io.nextInt();
+        M = io.nextInt();
+        dp = new long[N][1<<N];
+        vis = new boolean[N][1<<N];
+        R = io.nextInt()-1;
+        int state = 0, last = R;
+        for(int i=1;i<M;i++) {
+            last = io.nextInt()-1;
+            state |= (1<<last);
+        }
+        dp[last][state] = 1;
+        vis[last][state] = true;
+
+    }
+
+    static void solve() throws Exception {
+
+        io.write(get(R,(1<<N)-1) + "\n");
+
+    }
+
+    static long get(int n, int k) {
+        if(dp[n][k] != 0 || vis[n][k]) return dp[n][k];
+        vis[n][k] = true;
+        int state = k | (1<<R);
+
+        boolean can = false;
+        boolean[] leftCan = new boolean[N];
+        for(int i=(n+N-1)%N,x=0;x<N-1;x++) {
+            int min = Math.min(i,n), max = Math.max(i,n);
+            if(min+N-1 == max || max-min == 1) leftCan[i] = false;
+            else leftCan[i] = can;
+            if(!can) {
+                if((state & (1<<i)) != 0) can = true;
+            }
+            i = (i+N-1)%N;
+        }
+
+        can = false;
+        boolean[] rightCan = new boolean[N];
+        for(int i=(n+1)%N,x=0;x<N-1;x++) {
+            int min = Math.min(i,n), max = Math.max(i,n);
+            if(min+N-1 == max || max-min == 1) rightCan[i] = false;
+            else rightCan[i] = can;
+            if(!can) {
+                if((state & (1<<i)) != 0) can = true;
+            }
+            i = (i+1)%N;
+        }
+
+        for(int i=0;i<N;i++) if((k & (1<<i)) != 0 && leftCan[i] && rightCan[i]) {
+            dp[n][k] += get(i, k^(1<<n));
+        }
+
+        return dp[n][k];
+    }
+
+}
+```