新年的追逐戰

2022-06-29 19:33:08 字數 1125 閱讀 7643

研究兩個圖\(g1\)和\(g2\)的乘積的連通塊的性質(agc011c)

根據定義,兩個點\((a,b),(c,d)\)連通的條件:存在\(a,b\)和\(c,d\)之間長度為\(x\)的路徑

考慮\(g1\)的每個連通塊和\(g2\)每個連通塊合併後結果:

有任一是孤立點:顯然不會連出任何邊。

兩個非二分圖:會發現在\(x\)足夠大(大於兩個圖大小的最大值)時,奇,偶路徑都存在,所以會合併成乙個非二分圖。

乙個非二分圖,乙個二分圖:在\(x\)足夠大時只存在長為偶數的路徑,所以會合併成乙個二分圖。

兩個二分圖:會合併成兩個二分圖。

所以我們只需要關心每個連通塊是孤立點/非二分圖/二分圖。

考慮孤立點對答案的貢獻。

假設\(g_i\)的孤立點的個數是\(a_i\),則新圖中有\(\prod m_i-\prod a_i\)個孤立點。

這是因為正難則反原理,只有兩個非孤立點圖合併起來才是孤立點圖。

圖\(i\)中乙個點為孤立點的概率是其不向外面連任何邊,是\((1-(\frac)^)m_i\)

這也是由於正難則反原理。

考慮兩個非孤立點圖,設二分圖/所有連通塊數量為\((a_1,b_1),(a_2,b_2)\),根據前面的分析,合併後二分圖/所有連通塊的數目是\((a_1b_1+a_2b_2,a_1b_2+a_2b_1)\)

這長得很像fwt。

設\((a_i,b_i)\)為乙個圖的二分圖/所有連通塊數量。

所以我們只需要知道\(a_i+b_i,a_i-b_i\)的期望即可。

連通圖的生成函式可以通過解方程得到,是經典問題。

設\(f(x)\)表示所有圖的生成函式,\(g(x)\)表示連通圖的生成函式。

則\(f\)是\(g\)的拼接,所以可以使用exp描述。

從\(g\)解出\(f\)可以多項式ln。

令\(h(x)= \sum_^ \sum_^ \frac}\)

它的意義是:二分圖的判定可以染色,可以列舉染色方法和連的邊以生成二分圖的拼接。

則借鑑之前從\(g\)解出\(f\),可以用ln解\(i\),\(i(x)=\ln(h(x))\)

求\(h(x)\)可以用卷積,用czt拆解\(j(i - j)\)即可。

時間複雜度\(o(n\log_2n)\)

人工智慧追逐戰,國內的異軍突起能否彎道超車

在去年的i o大會上,有這麼乙個環節,使用人工智慧來通過圖靈測設,測試的結果也如眾人所料,高資料的佔比奠定了人工智慧的勝局。這標誌著人工智慧技術在語音互動方面又推進了一步。圖靈測試 the turing test 由艾倫 麥席森 圖靈發明,指測試者與被測試者 乙個人和一台機器 隔開的情況下,通過一些...

追逐汽車的女子

沒有人能忽略這樣一張臉孔 淚眼紛紛,嗚咽聲聲,求求,求求你們。黑夜在顫抖,墨鏡裡,必藏著一雙紅腫 深陷 因其絕望而絕美的眼睛。她叫蘇珊,她說 這原本是乙個溫良秋夜,她開車帶著3歲和14個月大的兩個孩子,行駛在靜謐的公路上,忽然乙個歹徒竄上車,持槍威逼她下車,帶著她的孩子們,揚長而去。而她,只能無助地...

追逐者的絕境

一 追逐者的絕境 現代社會我們都想要更多,要更好的車 更大的房子 更高的薪資等。我們都這麼想,但是這樣的話說出來就覺得不太合適或者不太合理,在此之前,還有兩種看法。極端環保主義 這一類人的觀點就是工業是地球的 癌症 地球現在已經不堪重負,甚至說我們應該放棄工業,多多種樹,追求人與自然的和諧發展。極簡...