壘骰子

賭聖atm晚年迷戀上了壘骰子，就是把骰子一個壘在另一個上邊，不能歪歪扭扭，要壘成方柱體。
經過長期觀察，atm 發現了穩定骰子的奧秘：有些數字的面貼著會互相排斥！
我們先來規範一下骰子：1 的對面是 4，2 的對面是 5，3 的對面是 6。
假設有 m 組互斥現象，每組中的那兩個數字的面緊貼在一起，骰子就不能穩定的壘起來。 atm想計算一下有多少種不同的可能的壘骰子方式。
兩種壘骰子方式相同，當且僅當這兩種方式中對應高度的骰子的對應數字的朝向都相同。
由於方案數可能過多，請輸出模 10^9 + 7 的結果。

不要小看了 atm 的骰子數量哦～

「輸入格式」
第一行兩個整數 n m
n表示骰子數目

接下來 m 行，每行兩個整數 a b ，表示 a 和 b 不能緊貼在一起。

「輸出格式」
一行一個數，表示答案模 10^9 + 7 的結果。

「樣例輸入」
2 1
1 2

「樣例輸出」
544

「數據範圍」
對於 30% 的數據：n <= 5
對於 60% 的數據：n <= 100
對於 100% 的數據：0 < n <= 10^9, m <= 36

資源約定：
峰值內存消耗（含虛擬機） < 256M
CPU消耗 < 2000ms

請嚴格按要求輸出，不要畫蛇添足地打印類似：“請您輸入...” 的多余內容。

所有代碼放在同一個源文件中，調試通過後，拷貝提交該源碼。

註意：不要使用package語句。不要使用jdk1.7及以上版本的特性。
註意：主類的名字必須是：Main，否則按無效代碼處理。

我曾嘗試暴力解法，但費勁周折也難以搞定線程引用外部變量，線程同步問題。。。。。。

package lanqiao2015;

import java.math.BigInteger;
import java.util.ArrayList;
import java.util.Scanner;
import java.util.concurrent.ConcurrentSkipListSet;


public class T9 {
	static BigInteger count = new BigInteger("0");
	static ArrayList<ConcurrentSkipListSet<Integer>> setList = new ArrayList<ConcurrentSkipListSet<Integer>>();
	static {
		for (int i = 0; i <= 6; i++) {
			setList.add(new ConcurrentSkipListSet<Integer>());
		}
	}

	static BigInteger eachResult = new BigInteger("0");

	static int n;
	static int m;

	public static void main(String[] args) {
		Scanner scanner = new Scanner(System.in);

		n = scanner.nextInt();
		m = scanner.nextInt();

		for (int i = 0; i < m; i++) {
			int a, b;
			a = scanner.nextInt();
			b = scanner.nextInt();

			setList.get(a).add(b);
			setList.get(b).add(a);
		}

		eachResult = new BigInteger("4").pow(n);

		put(0, 0);

		try {
			Thread.sleep(5000);
		} catch (InterruptedException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		}

		System.out.println(count.multiply(eachResult).mod(new BigInteger("1000000007")));
	}

	static void put(int up, int total) {
//		 map += up;
//		 System.out.println("map is " + map);

		if (total >= n) {
			synchronized (count) {
				count = count.add(new BigInteger("1"));
				return;
			}
		}

		for (int i = 1; i <= 6; i++) {
			if (!setList.get(up).contains(i)) {
				// TODO Auto-generated method stub
//				put(i, total + 1);
				if(total%5 == 0)
					new MyThread(i, total+1).start();
				else 
					put(i, total+1);
//				 System.out.println("put(" + i + ", " + (total+1) + ")" + " : " + map);
			}
		}

	}
}

class MyThread extends Thread {
	int up;
	int total;
	
	public MyThread(int up, int total) {
		// TODO Auto-generated constructor stub
		this.up = up;
		this.total = total;
	}
	@Override
	public void run() {
		T9.put(up, total);
	}
}

　　正解如下，，，https://blog.csdn.net/qq_34594236/article/details/53616283

暴力解法不可靠，好好學數學才是正道......