線性基求交(NFLSOJ #396)
(許可權題)題目連結
題解
首先顯然是容斥,根據二項式反演(或者做題經驗),可以算出容斥係數。接下來就是要對線性基求交,即對於兩個線性空間,求出其交集 。
於是接下來證明幾個引理:
引理1: 若 都是線性空間,則 也是線性空間。
考慮證明 的加法封閉性。令 ,那麼有 ,因此顯然交集是線性空間。
引理2: 若 是線性空間,且 分別是他們的基,則令 ,若 線性無關,則 是 的基。
考慮任意的 ,那麼 可以被 線性表示。考慮證明 可以被 線性表示。不妨令 可以被 和 共同線性表示,其中 ,,顯然,由於 可以被 線性表示,如果 不為空,則 與 顯然線性相關,與題目不符。因此 可以直接由 表示出。
但是顯然, 有可能線性相關。於是其實我們只要換一組基,即把 換一下即可。
考慮 表示 中前 個向量組成的基,令我們新構造的基為 ,第 個向量為 ,則若 中第 個向量能夠被 表示出,不妨令它能夠拆分為 ,其中 ,我們令 ;否則的話 就是 中的第 個向量。
顯然,這樣構造出的基滿足 線性無關,因此問題得以在 的時間內解決。其中 為向量維數。如果異或壓位的話,複雜度就是 了。
相關文章
- 線性基
- 線性基模板
- 空間或平面判斷兩線段相交(求交點)
- 異或線性基
- 線性代數基礎
- 基於TRE文章的非線性模型化線性方法模型
- 【scipy 基礎】--線性代數
- 異或線性基小記
- 線性基學習筆記筆記
- 線性迴歸基礎程式碼
- Python線性優化基礎講解~Python優化
- 變更性別--使用if 交換值
- 隱私集合求交(PSI)協議研究綜述協議
- 基礎設施建設——全域性請求引數校驗
- 交換機基礎及stp
- 交換機及路由基礎路由
- ut.cpp 最大線段並減線段交 [線段樹]
- java基礎變數的交換Java變數
- 資料結構基礎學習之線性表資料結構
- 人工智慧數學基礎----線性二階近似人工智慧
- 高等代數理論基礎22:線性相關性
- [JLOI2015]裝備購買-實數線性基
- 計算兩條直線的交點
- 人工智慧必備數學基礎:線性代數基礎(2)人工智慧
- 線性表
- 線性dp
- 實驗十一 ——————二層交換基礎
- GPG 的基礎使用:交換公鑰
- MIT 線性代數 Linear Algebra 9: 向量空間的一些定義 -- 線性獨立,基,維度MIT
- 【深度學習基礎-13】非線性迴歸 logistic regression深度學習
- 【深度學習基礎-10】簡單線性迴歸(上)深度學習
- P4301 [CQOI2013] 新Nim遊戲 線性基遊戲
- 資料科學必備基礎之線性迴歸資料科學
- 什麼是“非線性疊加”?線性又是哪條線?
- 線性代數中的線性方程組方法
- MATLAB版線性代數-線性方程組1Matlab
- 知否,知否,線性迴歸基礎教程值得擁有
- CF1902F.Trees and XOR Queries Again-點分治、線性基AI